Formalizing Software Architectures for Embedded Systems, EMSOFT 2001, International Workshop on Embedded Software, 2001. ,
DOI : 10.1007/3-540-45449-7_31
Hrt-hood: a design method for hard realtime, Real-Time Systems, vol.6, 1994. ,
Analysis and simulation methods for evaluation of a networked embedded architecture, IEEE Trans. on Industrial Electronics, vol.49, 2002. ,
URL : https://hal.archives-ouvertes.fr/inria-00100726
EAST- ADL -An Architecture Description Language -Validation and Verification Aspects, Architecture Description Language, pp.15-2004 ,
DOI : 10.1007/0-387-24590-1_12
URL : https://hal.archives-ouvertes.fr/inria-00100020
EAST- ADL -An Architecture Description Language -Validation and Verification Aspects An Architecture Description Language for In-Vehicle Embedded System Development, IFIP Workshop on Architecture Description Languages 15th Triennial World Congress of the International Federation of Automatic Control -B'02, pp.53-62, 2002. ,
The SAE Avionics Architecture Description Language (AADL) Standard, 9th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2003, 2003. ,
Achievements and exploitation of the AUTOSAR development partnership, 2006. ,
Model-Based Design of ECU Software: A Component-Based Approach, OMER LNI, Lecture Notes of Informatics, GI Series, 2002. ,
AUTOSAR for Safety-Related Systems: Objectives, Approach and Status, 2nd IEE Conference on Automotive Electronics, 2006. ,
Maximizing the Robustness of TDMA Networks with Applications to TTP/C. Real-Time Systems, pp.5-31, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00071971
Automotive virtual integration platforms: why's, what's, and how's, Proceedings. IEEE International Conference on Computer Design: VLSI in Computers and Processors, 2002. ,
DOI : 10.1109/ICCD.2002.1106796
BASEMENT: an architecture and methodology for distributed automotive real-time systems, IEEE Transactions on Computers, vol.46, issue.9, 1997. ,
DOI : 10.1109/12.620482
A methodology to design and prototype optimized embedded robotic systems, 2nd IMACS International Multiconference CESA'98, 1998. ,
Real-time system development: The programming model of MARS, Proceedings ISAD 93: International Symposium on Autonomous Decentralized Systems, 1993. ,
DOI : 10.1109/ISADS.1993.262691
A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, 2000. ,
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077
Integrated modular avionics for next generation commercial airplanes, IEEE Aerospace and Electronic Systems Magazine, vol.6, issue.8, pp.9-12, 1991. ,
DOI : 10.1109/62.90950
Scheduling messages with offsets in automotive networks -a major performance boost, Seminar of the, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00168531
Fault Tolerant Services for Safe In-Car Embedded Systems The Embedded Systems Handbook, 2005. ,
Frame Packing under real-time constraints, 5th IFAC International Conference on Fieldbus Systems and their Applications -FeT'2003, pp.185-192, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00107676
Network bandwidth optimization in automotive middlewares, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00100234
Configuration of in-vehicle embedded systems under real-time constraints, 10th IEEE International Conference on Emerging Technologies and Factory Automation -ETFA'2005, pp.407-414, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00000385
MetaH support for real-time multi-processor avionics, Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems, 1997. ,
DOI : 10.1109/WPDRTS.1997.637858
Requirements Engineering in Automotive Development -Experiences and Challenges, IEEE Software, vol.20, 2003. ,