@inproceedings{537c552c6e824899ae50a3dcdf6f891b,
title = "A behavior annex for aadl using the devs formalism",
abstract = "It is essential to use modeling methods for specifying real-time and safety-critical specifications and executions as a set of computational and physical components. Thus, frameworks supporting modular, hierarchical specifications at multiple levels of abstraction for software-intensive systems are needed. Models for the structures, behaviors, and relationships benefit from separating and combining external properties and internal operations of components. Together, the Architecture Analysis and Design Language (AADL) and Discrete-Event System Specification (DEVS) provide an integrated framework where the structure and behavior designs can be systematically developed and evaluated. Needs including latency and safety analyses are supported by AADL whereas behavioral verification and validation can be supported with DEVS simulation. To create the proposed AADL-DEVS framework, a DEVS behavioral annex targeted for the DEVS-Suite simulator is developed and introduced to OSATE which supports AADL. The DEVS Annex language is detailed and exemplified using an infant incubator known as the Isolette system.",
keywords = "AADL, DEVS Annex, DEVS-Suite, OSATE, Safety-Critical Systems",
author = "Ahmad, {Ehsan M.} and Hessam Sarjoughian",
note = "Publisher Copyright: {\textcopyright} 2019 Society for Modeling & Simulation International (SCS).; 2019 Annual Simulation Symposium, ANSS 2019, Part of the 2019 Spring Simulation Multi-Conference, SpringSim 2019 ; Conference date: 29-04-2019 Through 02-05-2019",
year = "2019",
doi = "10.23919/SpringSim.2019.8732894",
language = "English (US)",
series = "Simulation Series",
publisher = "The Society for Modeling and Simulation International",
number = "1",
booktitle = "Simulation Series",
edition = "1",
}