Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems, LNCS 2941, 2004. ,
DOI : 10.1007/978-3-540-24626-8_17
Translating AADL into BIPApplication to the verification of real-time systems, Models in Software Engineering, 2009. ,
Formal Verification of AADL Specifications in the Topcased Environment, Proc. of the 14th Ada-Europe Int'l Conf. on Reliable Software Technologies, 2009. ,
DOI : 10.1007/978-3-540-24756-2_8
Modes in Asynchronous Systems, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008), 2008. ,
DOI : 10.1109/ICECCS.2008.28
Virtual prototyping AADL architectures in a polychronous model of computation, 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design, 2008. ,
DOI : 10.1109/MEMCOD.2008.4547701
URL : https://hal.archives-ouvertes.fr/inria-00265059
Essay on semantics definition in MDEAn instrumented approach for model verification, Journal of Software, vol.4, issue.9, 2009. ,
Separation of concerns in translational semantics for DSLs in model engineering, Proceedings of the 2007 ACM symposium on Applied computing , SAC '07, 2007. ,
DOI : 10.1145/1244002.1244218
AADL execution semantics transformation for formal verification, Proc. of the 13th IEEE Int'l Conf. on Engineering of Complex Computer Systems, 2008. ,
Formal semantics and analysis of behavioral AADL models in real-time Maude, Formal Techniques for Distributed Systems, pp.978-981 ,
Schedulability analysis of AADL models, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, 2006. ,
DOI : 10.1109/IPDPS.2006.1639421
Virtual execution of AADL models via a translation into synchronous programs, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, 2007. ,
DOI : 10.1145/1289927.1289951
URL : https://hal.archives-ouvertes.fr/hal-00189563
Dependability modeling and evaluationFrom AADL to stochastic Petri nets, 2008. ,
The origins and the development of the ASM method for high level system design and analysis, Journal of Computer Science, vol.8, issue.1, p.274, 2001. ,
The TASM Language Reference Manual Version 1.1. Cambridge, 2006. ,
A formal framework for specification-based embedded real-time system engineering, 2008. ,
The Definition of Standard ML (Revised), 1997. ,
An extensible open source AADL tool environment (OSATE) Software Engineering Institute, CMU, 2006. ,
A Tutorial on Uppaal, LNCS, vol.3185, 2004. ,
DOI : 10.1007/978-3-540-30080-9_7
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems, Computer Aided Verification, 2007. ,
DOI : 10.1007/978-3-540-73368-3_15
AADL: An architecture design and analysis language for complex embedded real-time systems. Ruan Jian Xue Bao, Journal of Software, vol.21, issue.5, p.899915, 2010. ,
The AADL constraint annex, Proc. of the SAE 2013 AeroTech Congress & Exhibition. Montreal, 2013. ,
BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software, NASA Formal Methods ,
DOI : 10.1007/978-3-642-38088-4_19
Transforming Models with ATL, Proc. of the 2005 Int'l Conf. on Satellite Events at the MoDELS, 2006. ,
DOI : 10.1007/11663430_14
URL : https://hal.archives-ouvertes.fr/hal-00448120
Application research of AADL in design of spacecraft control system Aerospace Control and Application, p.55, 2011. ,
Reliability analysis and assessment tool for AADL model Ruan Jian Xue Bao, Journal of Software, vol.22, issue.6, p.12521266, 2011. ,
UCaS: A Schedulability Analysis Tool for AADL Models, 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, p.449454, 2008. ,
DOI : 10.1109/EUC.2008.115
From AADL to timed abstract state machines: A verified model transformation. The Journal of Systems and Software, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01123837
Two Formal Semantics of a Subset of the AADL, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems ,
DOI : 10.1109/ICECCS.2011.41
Interactive theorem proving and program development (CoqArt: The calculus of inductive constructions), Proc. of the Texts in Theoretical Computer Science, p.899915, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00344237