A Formal Analysis Framework for AADL

As system failure of mission-critical embedded systems may result in serious consequences, the development process should include verification techniques already at the architectural design stage, ...

[1]  Kristina Lundqvist,et al.  The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems , 2007, CAV.

[2]  W. Marsden.  I and J , 2012 .

[3]  Paul Pettersson,et al.  ABV - A Verifier for the Architecture Analysis and Design Language (AADL) , 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.

[4]  Joost-Pieter Katoen,et al.  A Model Checker for AADL , 2010, CAV.

[5]  Peter Csaba Ölveczky,et al.  Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude , 2010, FMOODS/FORTE.

[6]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[7]  Dave Thomas,et al.  The AADL behaviour annex -- experiments and roadmap , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

[8]  Philippe Dhaussy,et al.  AADL Execution Semantics Transformation for Formal Verification , 2008, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).

[9]  Paul Pettersson,et al.  The Architecture Analysis and Design Language and the Behavior Annex: A Denotational Semantics , 2011 .

[10]  Dianfu Ma,et al.  Towards a formal semantics for the AADL behavior annex , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[11]  Amir Pnueli,et al.  Temporal Logic in Specification , 1987, Lecture Notes in Computer Science.

[12]  Marius Bozga,et al.  IF-2.0: A Validation Environment for Component-Based Real-Time Systems , 2002, CAV.

[13]  Conal Elliott.  Denotational design with type class morphisms , 2011 .

[14]  Egon Börger,et al.  Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .

[15]  Jonathan Krueger,et al.  Technical and Historical Overview of MetaH January 1 , 2000 , 2000 .

[16]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[17]  Conal Elliott.  Denotational design with type class morphisms (extended version) DRAFT — comments please , 2009 .