Abstract
AADL (Architecture Analysis Design Language) is a standardized and hierarchical modeling language which contributes to designing and analyzing architectures of both software and hardware of Embedded Real-Time Systems. However, the problems of AADL models are unenforceability and the absence of formal semantics, which limit formal analysis of attributes in AADL models. This paper proposes an approach to build formal semantics to AADL's software component models. We use Machine-Readable CSP as the formal language. Comparing with behaviors and relationships of processes in Machine-Readable CSP, we analyze features and interactions of various kinds of AADL software component. Some descriptive rules are made for certain applications of AADL software component. A case study illustrated by MBS (Multiple Buffering System) will be given to validate the feasibility. Properties of MBS such as deadlock, live lock, failure divergence relationship between specification and implementation are checked by the tool FDR.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
