Software reliability and dependability, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.175-188, 2000. ,
DOI : 10.1145/336512.336551
Model-driven Software Development: Technology, Engineering , Management, 2006. ,
Beyond objects, ACM SIGSOFT Software Engineering Notes, vol.20, issue.1, pp.27-38, 1995. ,
DOI : 10.1145/225907.225911
A Domain-Specific Approach to Architecturing Error Handling in Pervasive Computing, OOPSLA'10: Proceedings of the Conference on Object Oriented Programming Systems Languages and Applications, p.2010 ,
URL : https://hal.archives-ouvertes.fr/inria-00486930
A Step-Wise Approach for Integrating QoS throughout Software Development, FASE'11: Proceedings of the 14th European Conference on Fundamental Approaches to Software Engineering, 2011. ,
DOI : 10.1007/978-3-642-19811-3_16
URL : https://hal.archives-ouvertes.fr/inria-00561619
Leveraging software architectures to guide and verify the development of sense/compute/control applications, Proceeding of the 33rd international conference on Software engineering, ICSE '11, 2011. ,
DOI : 10.1145/1985793.1985852
URL : https://hal.archives-ouvertes.fr/inria-00537789
A Generative Programming Approach to Developing Pervasive Computing Systems, GPCE'09: Proceedings of the 8th International Conference on Generative Programming and Component Engineering, pp.137-146, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00405819
The FlightGear Flight Simulator, Proceedings of the USENIX Annual Technical Conference, 2004. ,
Specifying the mode logic of a flight guidance system in CoRE and SCR, Proceedings of the second workshop on Formal methods in software practice , FMSP '98, pp.44-53, 1998. ,
DOI : 10.1145/298595.298856
Time and Space Partitioning in Spacecraft Avionics, 2009 Third IEEE International Conference on Space Mission Challenges for Information Technology, pp.13-20, 2009. ,
DOI : 10.1109/SMC-IT.2009.11
Transformational Patterns for the Improvement of Safety Properties in Architectural Specifications Software Safety Analysis of a Flight Guidance System, VikingPLoP'03: Proceedings of the Nordic Conference on Pattern Languages of Programs DASC'02: Proceedings of the 21st Digital Avionics Systems Conference, pp.3-5, 2002. ,
Software architecture, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, 2009. ,
DOI : 10.1145/1595696.1595754
URL : https://hal.archives-ouvertes.fr/hal-00444077
Engineering Self-Adaptive Systems through Feedback Loops, Software Engineering for Self-Adaptive Systems, pp.48-70, 2009. ,
DOI : 10.1007/978-3-642-02161-9
An event-based architecture definition language, IEEE Transactions on Software Engineering, vol.21, issue.9, 1995. ,
DOI : 10.1109/32.464548
The Architecture Analysis & Design Language (AADL): An Introduction, DTIC Document, Tech. Rep, 2006. ,
An Overview of the Architecture Analysis & Design Language (AADL) Error Model Annex, AADL Workshop, 2005. ,
Stood and Cheddar: AADL as a Pivot Language for Analysing Performances of Real Time Architectures, Proceedings of the European Real Time System conference, 2008. ,
Cheddar, ACM SIGAda Ada Letters, vol.XXIV, issue.4, pp.1-8, 2004. ,
DOI : 10.1145/1046191.1032298
URL : https://hal.archives-ouvertes.fr/hal-01166136
From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite, ACM Transactions on Embedded Computing Systems, vol.7, issue.42, pp.1-4225, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01175916
Modeling Reconfigurable Mechatronic Systems with Mechatronic UML, Proceedings of Model-Driven Architecture: Foundations and Applications. Citeseer, 2004. ,
MARTE: Also an UML Profile for Modeling AADL Applications, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) ,
DOI : 10.1109/ICECCS.2007.29
Correct-By-Construction Methods for the Development of Safety-Critical Applications, SAE Technical Paper Series, pp.242-249, 2004. ,
DOI : 10.4271/2004-01-1735
Certifiable Program Generation, GPCE'05: Proceedings of the 4th International Conference on Generative Programming and Component Engineering, pp.17-28, 2005. ,
DOI : 10.1007/11561347_3