A behavior annex for AADL using the DEVS formalism

Ehsan M. Ahmad, Hessam Sarjoughian

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publication2019 Spring Simulation Conference, SpringSim 2019
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781510883888
DOIs
StatePublished - Apr 1 2019
Event2019 Spring Simulation Conference, SpringSim 2019 - Tucson, United States
Duration: Apr 29 2019May 2 2019

Publication series

Name2019 Spring Simulation Conference, SpringSim 2019

Conference

Conference2019 Spring Simulation Conference, SpringSim 2019
CountryUnited States
CityTucson
Period4/29/195/2/19

Fingerprint

Discrete Event Systems
Discrete event simulation
Specification
Specifications
Safety
Specification languages
Verification and Validation
Specification Languages
Architecture
Design
Language
Modeling Method
Software System
Latency
Simulator
Simulators
Internal
Real-time
Framework
Simulation

Keywords

  • AADL
  • DEVS Annex
  • DEVS-Suite
  • OSATE
  • Safety-Critical Systems

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Control and Optimization
  • Modeling and Simulation

Cite this

Ahmad, E. M., & Sarjoughian, H. (2019). A behavior annex for AADL using the DEVS formalism. In 2019 Spring Simulation Conference, SpringSim 2019 [8732894] (2019 Spring Simulation Conference, SpringSim 2019). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.23919/SpringSim.2019.8732894

A behavior annex for AADL using the DEVS formalism. / Ahmad, Ehsan M.; Sarjoughian, Hessam.

2019 Spring Simulation Conference, SpringSim 2019. Institute of Electrical and Electronics Engineers Inc., 2019. 8732894 (2019 Spring Simulation Conference, SpringSim 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ahmad, EM & Sarjoughian, H 2019, A behavior annex for AADL using the DEVS formalism. in 2019 Spring Simulation Conference, SpringSim 2019., 8732894, 2019 Spring Simulation Conference, SpringSim 2019, Institute of Electrical and Electronics Engineers Inc., 2019 Spring Simulation Conference, SpringSim 2019, Tucson, United States, 4/29/19. https://doi.org/10.23919/SpringSim.2019.8732894
Ahmad EM, Sarjoughian H. A behavior annex for AADL using the DEVS formalism. In 2019 Spring Simulation Conference, SpringSim 2019. Institute of Electrical and Electronics Engineers Inc. 2019. 8732894. (2019 Spring Simulation Conference, SpringSim 2019). https://doi.org/10.23919/SpringSim.2019.8732894
Ahmad, Ehsan M. ; Sarjoughian, Hessam. / A behavior annex for AADL using the DEVS formalism. 2019 Spring Simulation Conference, SpringSim 2019. Institute of Electrical and Electronics Engineers Inc., 2019. (2019 Spring Simulation Conference, SpringSim 2019).
@inproceedings{8c54864fceee40969708e1cedea9df5d,
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",
year = "2019",
month = "4",
day = "1",
doi = "10.23919/SpringSim.2019.8732894",
language = "English (US)",
series = "2019 Spring Simulation Conference, SpringSim 2019",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "2019 Spring Simulation Conference, SpringSim 2019",

}

TY - GEN

T1 - A behavior annex for AADL using the DEVS formalism

AU - Ahmad, Ehsan M.

AU - Sarjoughian, Hessam

PY - 2019/4/1

Y1 - 2019/4/1

N2 - 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.

AB - 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.

KW - AADL

KW - DEVS Annex

KW - DEVS-Suite

KW - OSATE

KW - Safety-Critical Systems

UR - http://www.scopus.com/inward/record.url?scp=85068609812&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85068609812&partnerID=8YFLogxK

U2 - 10.23919/SpringSim.2019.8732894

DO - 10.23919/SpringSim.2019.8732894

M3 - Conference contribution

T3 - 2019 Spring Simulation Conference, SpringSim 2019

BT - 2019 Spring Simulation Conference, SpringSim 2019

PB - Institute of Electrical and Electronics Engineers Inc.

ER -