Consistency Preserving Development of Embedded Systems Using AADL

Abstract

Architecture Analysis and Design Language (AADL) supports consistence modeling and several analyses in designing of real-time systems. Additional features supporting modeling and analysis is proposed in the paper. The concept is based on automatic translation of AADL components into Colored Petri Net (CPN) models. The translated model may be verified using CPN tools, and also checking satisfability of requirements (described using temporal logic) in the model. The proposed extension supports detection of structural errors in early development stages.