, A comparison of compositional schedulability analysis techniques for hierarchical real-time systems, ACM Transactions on Embedded Computing Systems, vol.13, issue.1, 2013.
DOI : 10.1145/2501626.2501629
, MARTE for enabling timing analysis of automotive applications, SDL 2011: Integrating System and Software Modeling -15th International SDL Forum, pp.262-275, 2011.
, Enabling Scheduling Analysis for AUTOSAR Systems, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.28-31, 2011.
DOI : 10.1109/ISORC.2011.28
, Requirement boilerplates: Transition from manually-enforced to automatically-verifiable natural language patterns, 2014 IEEE 4th International Workshop on Requirements Patterns (RePa), pp.1-8, 2014.
DOI : 10.1109/RePa.2014.6894837
, 10 years Autosar, 2013.
, Constraints specification at higher levels of abstraction, Sixth IEEE International High-Level Design Validation and Test Workshop, pp.129-133, 2001.
DOI : 10.1109/HLDVT.2001.972819
, A formal approach to system level design: metamodels and unified design environments, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05., pp.155-163, 2005.
DOI : 10.1109/MEMCOD.2005.1487909
, Moving from specifications to contracts in component-based design, Lecture Notes in Computer Science, vol.7212, pp.43-58, 2012.
, A unifying view of loosely time-triggered architectures, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, pp.189-198, 2010.
DOI : 10.1145/1879021.1879047
URL : https://hal.archives-ouvertes.fr/hal-00955496
, Multiple Viewpoint Contract-Based Specification and Design, Proceedings of the Software Technology Concertation on Formal Methods for Components and Objects, FMCO'07, pp.200-225, 2008.
DOI : 10.1109/43.736561
, A contract-based formalism for the specification of heterogeneous systems, 2008 Forum on Specification, Verification and Design Languages, pp.142-147, 2008.
DOI : 10.1109/FDL.2008.4641436
, The effectiveness of synchronous languages for the development of safety-critical systems, 2003.
, Unified Modeling Language User Guide, The
, Overcoming heterophobia: modeling concurrency in heterogeneous systems, Proceedings Second International Conference on Application of Concurrency to System Design, pp.13-32, 2001.
DOI : 10.1109/CSD.2001.981761
, Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, 2005.
DOI : 10.1007/0-387-27578-9
, A Modal Interface Compositional Analysis Library, 2011.
, Boosting reuse of embedded automotive applications through rich components, Proceedings of FIT 2005 -Foundations of Interface Technologies, 2005.
, II, ACM Transactions on Embedded Computing Systems, vol.12, issue.1s, pp.1-4931, 2013.
DOI : 10.1145/2435227.2435245
, A Platform-Based Taxonomy for ESL Design, IEEE Design & Test of Computers, vol.23, issue.5, pp.359-374, 2006.
DOI : 10.1109/MDT.2006.112
, A Compositional Scheduling Framework for Digital Avionics Systems, 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp.24-26, 2009.
DOI : 10.1109/RTCSA.2009.46
, Taming heterogeneity - the Ptolemy approach, Proc. of the IEEE, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829
, Formal Model-Based Test for AUTOSAR Multicore RTOS, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp.251-259, 2012.
DOI : 10.1109/ICST.2012.105
, A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics, IEEE Real-Time System Symposium (RTSS), Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, 2008.
, Principles of Object-Oriented Modeling and Simulation with Modelica 2.1, 2003.
DOI : 10.1109/9780470545669
, A Refinement Checking Technique for Contract-Based Architecture Designs, Fourth International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB'11, 2011.
, Software Components for Reliable Automotive Systems, Design, Automation and Test in Europe, pp.8-549, 2008.
, Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts, Formal Methods and Software Engineering -15th International Conference on Formal Engineering Methods, ICFEM 2013 Proceedings, pp.165-181, 2013.
DOI : 10.1007/978-3-642-41202-8_12
, Introduction to Simulink with Engineering Applications, 2006.
, Model-integrated development of embedded software, Proceedings of the IEEE, pp.145-164, 2003.
DOI : 10.1109/JPROC.2002.805824
, Component-based system design: analytic real-time interfaces for state-based component implementations, International Journal on Software Tools for Technology Transfer, vol.14, issue.3, pp.155-170, 2013.
DOI : 10.1007/s10009-012-0257-7
, Real-Time Systems, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00544464
, Modular scheduling of distributed heterogeneous time-triggered automotive systems, 17th Asia and South Pacific Design Automation Conference, pp.665-670, 2012.
DOI : 10.1109/ASPDAC.2012.6165039
, A framework for compositional and hierarchical real-time scheduling, 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications, pp.91-96, 2006.
, A UML profile for MARTE, beta 1. OMG Adopted Specification ptc, 2007.
, The Architecture Analysis and Design Language (AADL): An Introduction. Software Engineering Institute (SEI) Technical Note, 2006.
, Metamodels in Europe: Languages, Tools, and Applications, Metamodels in Europe: Languages , tools, and applications, pp.38-53, 2009.
DOI : 10.1109/MDT.2009.64
, Modeling a BSG-E Automotive System with the Timing Augmented Description Language, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies -5th International Symposium Proceedings, Part II, pp.111-125, 2012.
DOI : 10.1007/978-3-642-34032-1_14
URL : https://hal.archives-ouvertes.fr/hal-00757185
, CARTS: a tool for compositional analysis of real-time systems, SIGBED Review, vol.8, issue.1, pp.62-63, 2011.
, System level design paradigms, ACM Transactions on Design Automation of Electronic Systems, vol.11, issue.3, pp.537-563, 2006.
DOI : 10.1145/1142980.1142982
, Compositional timing analysis of realtime systems based on resource segregation abstraction, Embedded Systems: Design, Analysis and Verification -4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013 Proceedings, volume 403 of IFIP Advances in Information and Communication Technology, pp.181-192, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01466672
, Real-Time Contracts -A Contract Theory Considering Resource Supplies and Demands. Reports of SFB, 2014.
, Real Time Scheduling Theory: A Historical Perspective, Real-Time Systems, vol.28, issue.2/3, pp.101-155, 2004.
DOI : 10.1023/B:TIME.0000045315.61234.1e
, Compositional real-time scheduling framework, Proceedings of the 25th IEEE Real-Time Systems Symposium, pp.5-8, 2004.
, Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction, Formal Modeling and Analysis of Timed Systems -12th International Conference Proceedings, pp.206-221, 2014.
DOI : 10.1007/978-3-319-10512-3_15
, Realtime scheduling interfaces and contracts for the design of distributed embedded systems, 8th IEEE International Symposium on Industrial Embedded Systems, SIES 2013, pp.130-139, 2013.
, Interface-based design of real-time systems In Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years), pp.83-101, 2012.
, Real-time interfaces for composing real-time systems, Proceedings of the 6th ACM & IEEE International conference on Embedded software , EMSOFT '06, pp.34-43, 2006.
DOI : 10.1145/1176887.1176894
, Interface-Based Design of Real-Time Systems with Hierarchical Scheduling, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), pp.243-252, 2006.
DOI : 10.1109/RTAS.2006.23