.png){kind=icon}
.png){kind=icon}
Return
An Environment for Developing Simulatable AADL-DEVS Models
.png){kind=icon}
PRE
AI
DOI：10.1016/j.simpat.2022.102690.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Reducing complexity in system architecture and design specifications, and more specifically from the software aspect, is essential. The architecture specifications focus on what the requirements and static aspects of systems are. The design specifications define dynamic aspects of computational components that sense and react to external stimuli. As the architecture and design specifications serve complementary roles in developing systems, the use of Architecture Analysis & Design Language (AADL) and Discrete Event System Specification (DEVS) is proposed for developing, in a step-wise fashion, combined architecture and design models. The proposed AADL-DEVS framework is grounded in the foundational modularity and hierarchy principles common to the AADL and DEVS modeling approaches. A realization of this framework capable of transforming and simulating the AADL-DEVS specifications is developed using the Open Source AADL Tool Environment (OSATE) and DEVS-Suite simulator. The scope of this paper is on the computational aspect of systems. The proposed AADL-DEVS framework is demonstrated using a model for the software part of an infant incubator, a time-sensitive and safety-critical system.
Keywords:
AADL
Behavior modeling
Code generation
DEVS annex
DEVS-Suite
OSATE
Simulation
Structure modeling
Journal
IF:
4.6
Papers:
2.6K
Citations:
4.8K