Expressing and Enforcing User-Defined Constraints of AADL Models

Authors:
Olivier Gilles;Jerome Hugues
Affiliations:
-;-
Venue:
ICECCS '10 Proceedings of the 2010 15th IEEE International Conference on Engineering of Complex Computer Systems
Year:
2010

Citing 0
Cited 4

Enforcing applicability of real-time scheduling theory feasibility tests with the use of design-patterns

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
An Ada design pattern recognition tool for AADL performance analysis

SIGAda '11 Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language
Compositional verification of architectural models

NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Generation and validation of traces between requirements and architecture based on formal trace semantics

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Architecture Analysis and Design Language AADL allows one to model complete systems, but also to define specific extensions through property sets and library of models. Yet, it does not define an explicit mechanism to enforce some semantics or consistency checks to ensure property sets are correctly used. In this paper, we present REAL (Requirements and Enforcements Analysis Language) as an integrated solution to this issue. REAL is defined as an AADL annex language. It adds the possibility to express constraints as theorems based on set theory to enforce implicit semantics of property sets or AADL models. We illustrate the use of the language on case studies we developed with industrial partners.