Local and metropolitan area networks -Audio Video Bridging (AVB) Systems. IEEE Standard IEEE 802, vol.1, 2011. ,
, Local and metropolitan area networks -Timing and Synchronization for Time-Sensitive Applications in Bridged Local Area Network, 1QAS, 2011.
, Virtual Bridged Local Area Networks Amendment 14 : Stream Reservation Protocol (SRP), 2010.
, Virtual Bridged Local Area Networks Amendment 12 : Forwarding and Queuing Enhancements for Time-Sensitive Streams, 2010.
, IEEE Standard for Local and metropolitan area networks -Bridges and Bridged Networks -Amendment 26 : Frame Preemption, 2016.
, IEEE Standard for Local and metropolitan area networks-Bridges and Bridged Networks-Amendment 25 : Enhancements for Scheduled Traffic, IEEE Standard, vol.802, p.1, 2015.
, IEEE Standard for Ethernet Amendment 5 : Specification and Management Parameters for Interspersing Express Traffic, IEEE Standard, vol.802, p.3, 2016.
, Aircraft data network part 7 : Avionics full duplex switched ethernet (AFDX) network, AFDX, 2005.
Comparison of event-triggered and time-triggered concepts with regard to distributed control systems, Embedded world, pp.235-252, 2004. ,
A theory of timed automata. Theoretical computer science, vol.126, pp.183-235, 1994. ,
, General standardization of CAN (Controller Area Network) bus protocol for airborne use, ARINC Specification, vol.825, pp.825-827, 2011.
Applying and optimizing trajectory approach for performance evaluation of AFDX avionics network, Emerging Technologies & Factory Automation, pp.1-8, 2009. ,
Improving the worst-case delay analysis of an AFDX network using an optimized trajectory approach, IEEE Transactions on Industrial informatics, vol.6, issue.4, pp.521-533, 2010. ,
Better bounds by worse assumptions -improving network calculus accuracy by adding pessimism to the network model, Proc. of the 9th EAI Int. Conf. on Performance Evaluation Methodologies and Tools, 2015. ,
Improving cross-traffic bounds in feed-forward networks -there is a job for everyone, Proc. of the 18th Int. GI/ITG Conf. on "Measurement, Modelling and Evaluation of Computing Systems" and "Dependability and Fault Tolerance, vol.300240, p.72, 1991. ,
Deterministic Network Calculus : From Theory to Practical Implementation, pp.978-979, 2018. ,
Tight performance bounds in the worst-case analysis of feed-forward networks, Proceedings of the 29th Conference on Computer Communications (INFOCOM 2010), pp.1-9, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01583741
Exact worst-case delay for FIFO-multiplexing feed-forward networks, IEEE/ACM Transactions on Networking, 2014. ,
Tight performance bounds in the worst-case analysis of feed-forward networks, Discrete Event Dynamic Systems, vol.26, issue.3, pp.383-411, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01583741
Performance impact of the interactions between time-triggered and rate-constrained transmissions in TTEthernet, Proceedings of the 8th European Congress on Embedded Real Time Software and Systems, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01255939
Continuity for network calculus, Proceedings of the 21st International conference on Real-Time Networks and Systems, pp.235-244, 2013. ,
An efficient and simple class of functions to model arrival curve of packetised flows, Proc. of the 1st Int. Workshop on Worst-Case Traversal Time (WCTT'2011), pp.43-50, 2011. ,
Combining static priority and weighted round-robin like packet scheduling in afdx for incremental certification and mixed-criticality support, Proc. of the 5th European Conference for Aeronautics and Space Sciences -Real Time Avionics and Networks Session (EUCASS 2013), pp.1-8, 2013. ,
Deficit round robin with network calculus, Performance Evaluation Methodologies and Tools, pp.138-147, 2012. ,
Real-time in the prime-time, Keynote speech at the 24th Euromicro Conference on Real-Time Systems, 2012. ,
Time-Division Multiple Access, Handbook of Computer Networks : LANs, MANs, WANs, the Internet, and Global, Cellular, and Wireless Networks, vol.2, pp.769-778, 2007. ,
Performance Guarantees in Communication Networks, 2000. ,
A calculus for network delay. I. Network elements in isolation, IEEE Transactions on information theory, vol.37, issue.1, pp.114-131, 1991. ,
A calculus for network delay. II. Network analysis, IEEE Transactions on information theory, vol.37, issue.1, pp.132-141, 1991. ,
Traversal time for weakly synchronized CAN bus, Proceedings of the 24th International Conference on Real-Time Networks and Systems, pp.35-44, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01399151
Evaluation of admissible CAN bus load with weak synchronization mechanism, Proceedings of the 25th International Conference on Real-Time Networks and Systems, pp.277-286, 2017. ,
Reducing CAN latencies by use of weak synchronization between stations, Proceedings of the 16th International CAN Conference, 2017. ,
Modelling in network calculus a TSN architecture mixing Time-Triggered, Credit Based Shaper and Best-Effort queues, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01814211
Robust priority assignment for messages on Controller Area Network (CAN). Real-Time Systems, vol.41, pp.152-180, 2009. ,
Controller Area Network (CAN) schedulability analysis : Refuted, revisited and revised. Real-Time Systems, vol.35, pp.239-272, 2007. ,
Controller Area Network (CAN) schedulability analysis with FIFO queues, Real-Time Systems (ECRTS), pp.45-56, 2011. ,
Schedulability analysis for Controller Area Network (CAN) with FIFO queues priority queues and gateways. Real-Time Systems, vol.49, pp.73-116, 2013. ,
Controller Area Network (CAN) schedulability analysis for messages with arbitrary deadlines in FIFO and workconserving queues, Factory Communication Systems (WFCS), 2012 9th IEEE International Workshop on, pp.33-42, 2012. ,
Complete Modelling of AVB in Network Calculus Framework, Proceedings of the 22Nd International Conference on Real-Time Networks and Systems, RTNS '14, vol.55, pp.55-55, 2014. ,
Worst-case analysis of a mixed CAN/Switched Ethernet architecture, Proc. of the Real-Time and Network System Conference, 2006. ,
FlexRay Protocol Specification V2. 1 Rev, Ethernet, 2005. ,
Using network calculus to optimize AFDX network, Proceeding of the 3thd European congress on Embedded Real Time Software (ERTS06), 2006. ,
, Preemptive and nonpreemptive real-time uniprocessor scheduling, 1996.
Network calculus : application to switched real-time networking, Proc. of the 5th Int. ICST Conf. on Performance Evaluation Methodologies and Tools, VALUETOOLS '11, pp.399-407, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00595156
, Graphes, dioïdes et semi-anneaux : Nouveaux modèles et algorithmes. Editions Tec & Doc, 2001.
Near-Optimal Fixed Priority Preemptive Scheduling of Offset Free Systems, 14th International Conference on Real-Time and Networks Systems (RTNS'06), pp.35-42, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00083863
Pushing the limits of CAN-scheduling frames with offsets provides a major performance boost, 4th European Congress on Embedded Real Time Software, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00273946
An Event Model for Deadline Verification of Hard Real-Time Systems, Proc. of the Fifth Euromicro Workshop on Real-Time Systems, pp.118-123, 1993. ,
Analyse etévaluation de techniques de commutation Ethernet pour l'interconnexion des systèmes avioniques, 2004. ,
CAN with flexible data-rate, Proc. iCC, pp.1-9, 2012. ,
System level performance analysis -the SymTA/S approach, IEEE Proceedings on Computers and Digital Techniques, vol.152, issue.2, pp.148-166, 2005. ,
Improving AFDX end-to-end delays analysis, Emerging Technologies & Factory Automation (ETFA), 2015 IEEE 20th Conference on, pp.1-8, 2015. ,
A Forward end-to-end delays analysis to packet switched networks, Emerging Technologies & Factory Automation (ETFA), 2013 IEEE 18th Conference on, pp.1-8, 2012. ,
Delay bounds for CAN communication in automotive applications. In Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB), 14th GI/ITG Conference, pp.1-15, 2008. ,
TTP-A timetriggered protocol for fault-tolerant real-time systems, Fault-Tolerant Computing, 1993. FTCS-23. Digest of Papers., The Twenty-Third International Symposium on, pp.524-533, 1993. ,
Timed Automata Approach to Real Time Distributed System Verification, Factory Communication Systems, pp.407-410, 2004. ,
Network calculus : a theory of deterministic queuing systems for the internet, vol.2050, 2001. ,
IEEE 1588-standard for a precision clock synchronization protocol for networked measurement and control systems, Conference on IEEE, vol.1588, p.2, 2005. ,
TTCAN : a new timetriggered controller area network, Microprocessors and Microsystems, vol.26, issue.2, pp.77-94, 2002. ,
On the complexity of fixed-priority scheduling of periodic, real-time tasks, Performance evaluation, vol.2, issue.4, pp.237-250, 1982. ,
The Trajectory approach for AFDX FIFO networks revisited and corrected, Embedded and Real-Time Computing Systems and Applications (RTCSA), pp.1-10, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00975730
Network Design Consideration for Distributed Control Systems, IEEE Transactions on Control Systems Technology, vol.10, issue.2, pp.297-307, 2002. ,
Scheduling algorithms for multiprogramming in a hard-real-time environment, Journal of the ACM (JACM), vol.20, issue.1, pp.46-61, 1973. ,
Beyond the AccuracyComplexity Tradeoffs of CompositionalAnalyses using Network Calculus for Complex Networks, 10th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, pp.1-8, 2004. ,
Event model interfaces for heterogeneous system analysis, Proceedings of the conference on Design, Automation and Test in Europe (DATE'2002), pp.506-513, 2002. ,
A probabilistic analysis of end-to-end delays on an AFDX avionic network, IEEE transactions on industrial informatics, vol.5, issue.1, pp.38-49, 2009. ,
Amélioration des délais de traversée pire cas des réseaux embarquésà l'aide du calcul réseau), International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, pp.258-272, 2006. ,
, TTEthernet dataflow concept, Eighth IEEE International Symposium on, pp.319-322, 2009.
Comparision of fieldbus systems can, ttcan, flexray and lin in passenger vehicles, Distributed Computing Systems Workshops, 2009. ICDCS Workshops' 09. 29th IEEE International Conference on, pp.26-31, 2009. ,
Formal Worst-Case Performance Analysis of Time-Sensitive Ethernet with Frame Preemption, Emerging Technologies and Factory Automation (ETFA), pp.1-9, 2016. ,
Guaranteed message latencies for distributed safety-critical hard real-time control networks, 1994. ,
, Analysing Real-Time Communications : Controller Area Network (CAN), RTSS, pp.259-263, 1994.
Performance analysis of industrial Ethernet networks by means of timed model-checking, 12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM, p.101, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00361042
Controller Area Network (CAN) : Response time analysis with offsets, Factory Communication Systems (WFCS), pp.43-52, 2012. ,
Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network, IEEE Transactions on Industrial Informatics, vol.6, issue.4, pp.678-691, 2010. ,
, la présentation d'une nouvelle façon d'envisager l'utilisation des dates d'émission sur le bus CAN : la synchronisation faible. Ainsi que la modélisation complète d'un tel système et enfin l'évaluation du gain apporté par cette solution
, une modélisation complète du réseau TTEthernet permettant d'évaluer finement l'impact des flux synchrones sur le temps de traversée des flux asynchrones
, une présentation de l'utilisation de la synchronisation dans le réseau TSN ainsi qu'un modèle complet permettant d'analyser cette nouvelle technologie