Toward Model-Based Engineering for Space Embedded Systems and Software, 2006. ,
Schedulability Analysis of AADL Models," presented at 20th Parallel and Distributed Processing Symposium, 2006. ,
Scheduling and Memory Requirements Analysis with AADL, presented at SIGAda Int. Conf. on Ada, 2005. ,
DOI : 10.1145/1103846.1103847
Automatic Generation of Static Fault Trees from AADL Models," presented at Workshop on Architecting Dependable Systems of The 37th Annual IEEE, Conference on Dependable Systems and Networks, 2007. ,
SAE Architecture Analysis and Design Language (AADL) Annex Volume 1, Annex E: Error Model Annex International Society of Automotive EngineersA System Dependabiliy Modeling Framework using AADL and GSPNs, Architecting Dependable Systems IV, pp.14-38, 2006. ,
Dependability Modeling and Evaluation - From AADL to Stochastic Petri Nets Toulouse: PhD dissertation, Systèmes Informatiques, p.151, 2007. ,
Surf-2: a program for dependability evaluation of complex hardware and software systemsTransforming Models with ATLModel Transformation Language MOLAGraph Transformations on Domain-Specific Models Institute for Software Integrated SystemsClassification of Model Transformation Approaches Eclipse Modeling FrameworkA Library Implementing Propagation Rules defined in the AADL Error Model AnnexError Model Meta Model and Plug-in, Practice Workshop at ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Model Diven Architecture Generative Techniques in the Context of Model-Driven Architecture of ACM Conference on Object-Oriented Programming, Systems, Languages, and ApplicationsSAE Architecture Analysis and Design Language (AADL) Annex Volume Annex C: AADL Meta-Model and Interchange FormatsSoftware and Systems Engineering -Highlevel Petri Nets, pp.62-76, 1993. ,