IEEE - Institute of Electrical and Electronics Engineers, Inc. - Expressing and Enforcing User-Defined Constraints of AADL Models

2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)

Author(s): Gilles, O. ; Hugues, J.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2010
Conference Location: Oxford, United Kingdom, United Kingdom
Conference Date: 22 March 2010
Page(s): 337 - 342
ISBN (Electronic): 978-1-4244-6639-9
ISBN (Paper): 978-1-4244-6638-2
DOI: 10.1109/ICECCS.2010.26
Regular:

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... View More

Advertisement