The AADL behaviour annex -- experiments and roadmap

Authors:
Ricardo Bedin Franca;Jean-Paul Bodeveix;Mamoun Filali;Jean-Francois Rolland;David Chemouil;Dave Thomas
Affiliations:
IRIT-Universite Paul Sabatier, France;IRIT-Universite Paul Sabatier, France;IRIT-Universite Paul Sabatier, France;IRIT-Universite Paul Sabatier, France;Centre national d'etudes spatiales, Toulouse;EADS Astrium Satellites
Venue:
ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
Year:
2007

Citing 0
Cited 14

Formal verification of AADL behavior models: a feasibility investigation

Proceedings of the 47th Annual Southeast Regional Conference
Validating Safety and Security Requirements for Partitioned Architectures

Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Modeling AADL Data Communication with BIP

Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Formal Verification of AADL Specifications in the Topcased Environment

Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines

QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
Investigating the usability of real-time scheduling theory with the Cheddar project

Real-Time Systems
Validate, simulate, and implement ARINC653 systems using the AADL

Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
Developing dependable software-intensive systems: AADL vs. EAST-ADL

Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
An architecture-based verification technique for AADL specifications

ECSA'11 Proceedings of the 5th European conference on Software architecture
Semantics, simulation, and formal analysis of modeling languages for embedded systems in real-time Maude

Formal modeling
Synchronous AADL and its formal analysis in real-time Maude

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Formal semantics and analysis of behavioral AADL models in real-time maude

FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
SETER: Towards Architecture-Model Based Security Engineering

International Journal of Secure Software Engineering
Hybrid AADL: a sublanguage extension to AADL

Proceedings of the 5th Asia-Pacific Symposium on Internetware

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present an evaluation of the AADL Behavioural Annex that is currently in evaluation phase. We relate our experiment with respect to a development concerning the reengineering of a flight software. This experiments has led us to introduce hierarchical aspects and study the link especially with AADL modes. We discuss about the definition of a semantics for the AADL execution model and propose some enhancements.