Contract-based specification and analysis of AADL models

Download Now
Provided by: RWTH Aachen University
Topic: Hardware
Format: PDF
In this paper, the authors describe an approach to the specification, analysis and verification of AADL models using assume/guarantee behavioral contracts specified with the Property Specification Language (PSL). This approach aids the development process by supporting the reuse and replacement of components based on their contracts rather than only their interface or their implementation and thus reducing the need for re-engineering; providing early discovery of behavioral inconsistencies that may pose problems with integration and allowing an incremental and flexible application of specification and verification instead of requiring an all-or-nothing approach.
Download Now

Find By Topic