An Integrated Modeling, Simulation and Analysis Framework for Engineering Complex Systems

Imran Mahmood, Tameen Kausar, Hessam Sarjoughian, Asad Waqar Malik, Naveed Riaz

Research output: Contribution to journalArticle

Abstract

The discipline of component-based modeling and simulation offers promising gains in reducing cost, time, and the complexity of model development through the (re)use of modular components. Model-driven development suggests 1) the realization of a complex system using a conceptual model; 2) its automatic transformation into an executable form using transformation rules, and; 3) its automatic verification using a formal analysis technique for an accurate assessment of its correctness. Both approaches have numerous complementary benefits in rapid prototyping of complex systems using model reuse. In this paper, we propose a framework grounded in a combination of component-based and model-driven approaches to promote rapid prototyping of complex systems through the effective reuse of the simulation models. Our proposed process allows developers to 1) build or select existing components and compose them to formulate the conceptual models of complex systems; 2) automatically transform the conceptual models for the rapid implementation and simulation, and; 3) automatically verify them as per the requirement specifications. We propose the use of the extended finite-state machine (EFSM) as conceptual modeling formalism, anylogic simulation platform for the implementation, and probabilistic model checking technique using communicating sequential process (CSP) formalism for the verification. Finally, we present a case study of a real-time adaptive cruise control system to demonstrate the functionality of our framework. Our proposed component-based model-driven approach facilitates rapid prototyping and effective meaningful reuse of complex system models, which further accelerates the modeling, simulation, and analysis process of real-time systems and aids in complex engineering designs and implementations.

Original languageEnglish (US)
Article number8718666
Pages (from-to)67497-67514
Number of pages18
JournalIEEE Access
Volume7
DOIs
StatePublished - Jan 1 2019

Fingerprint

Large scale systems
Computer simulation
Rapid prototyping
Adaptive cruise control
Model checking
Finite automata
Real time systems
Specifications
Control systems

Keywords

  • adaptive cruise control system
  • anylogic simulation
  • complex systems
  • Component-based development
  • model driven engineering
  • probabilistic model checking

ASJC Scopus subject areas

  • Computer Science(all)
  • Materials Science(all)
  • Engineering(all)

Cite this

An Integrated Modeling, Simulation and Analysis Framework for Engineering Complex Systems. / Mahmood, Imran; Kausar, Tameen; Sarjoughian, Hessam; Malik, Asad Waqar; Riaz, Naveed.

In: IEEE Access, Vol. 7, 8718666, 01.01.2019, p. 67497-67514.

Research output: Contribution to journalArticle

Mahmood, Imran ; Kausar, Tameen ; Sarjoughian, Hessam ; Malik, Asad Waqar ; Riaz, Naveed. / An Integrated Modeling, Simulation and Analysis Framework for Engineering Complex Systems. In: IEEE Access. 2019 ; Vol. 7. pp. 67497-67514.
@article{a2f5521fd87c42108cdf9f04342f2419,
title = "An Integrated Modeling, Simulation and Analysis Framework for Engineering Complex Systems",
abstract = "The discipline of component-based modeling and simulation offers promising gains in reducing cost, time, and the complexity of model development through the (re)use of modular components. Model-driven development suggests 1) the realization of a complex system using a conceptual model; 2) its automatic transformation into an executable form using transformation rules, and; 3) its automatic verification using a formal analysis technique for an accurate assessment of its correctness. Both approaches have numerous complementary benefits in rapid prototyping of complex systems using model reuse. In this paper, we propose a framework grounded in a combination of component-based and model-driven approaches to promote rapid prototyping of complex systems through the effective reuse of the simulation models. Our proposed process allows developers to 1) build or select existing components and compose them to formulate the conceptual models of complex systems; 2) automatically transform the conceptual models for the rapid implementation and simulation, and; 3) automatically verify them as per the requirement specifications. We propose the use of the extended finite-state machine (EFSM) as conceptual modeling formalism, anylogic simulation platform for the implementation, and probabilistic model checking technique using communicating sequential process (CSP) formalism for the verification. Finally, we present a case study of a real-time adaptive cruise control system to demonstrate the functionality of our framework. Our proposed component-based model-driven approach facilitates rapid prototyping and effective meaningful reuse of complex system models, which further accelerates the modeling, simulation, and analysis process of real-time systems and aids in complex engineering designs and implementations.",
keywords = "adaptive cruise control system, anylogic simulation, complex systems, Component-based development, model driven engineering, probabilistic model checking",
author = "Imran Mahmood and Tameen Kausar and Hessam Sarjoughian and Malik, {Asad Waqar} and Naveed Riaz",
year = "2019",
month = "1",
day = "1",
doi = "10.1109/ACCESS.2019.2917652",
language = "English (US)",
volume = "7",
pages = "67497--67514",
journal = "IEEE Access",
issn = "2169-3536",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - An Integrated Modeling, Simulation and Analysis Framework for Engineering Complex Systems

AU - Mahmood, Imran

AU - Kausar, Tameen

AU - Sarjoughian, Hessam

AU - Malik, Asad Waqar

AU - Riaz, Naveed

PY - 2019/1/1

Y1 - 2019/1/1

N2 - The discipline of component-based modeling and simulation offers promising gains in reducing cost, time, and the complexity of model development through the (re)use of modular components. Model-driven development suggests 1) the realization of a complex system using a conceptual model; 2) its automatic transformation into an executable form using transformation rules, and; 3) its automatic verification using a formal analysis technique for an accurate assessment of its correctness. Both approaches have numerous complementary benefits in rapid prototyping of complex systems using model reuse. In this paper, we propose a framework grounded in a combination of component-based and model-driven approaches to promote rapid prototyping of complex systems through the effective reuse of the simulation models. Our proposed process allows developers to 1) build or select existing components and compose them to formulate the conceptual models of complex systems; 2) automatically transform the conceptual models for the rapid implementation and simulation, and; 3) automatically verify them as per the requirement specifications. We propose the use of the extended finite-state machine (EFSM) as conceptual modeling formalism, anylogic simulation platform for the implementation, and probabilistic model checking technique using communicating sequential process (CSP) formalism for the verification. Finally, we present a case study of a real-time adaptive cruise control system to demonstrate the functionality of our framework. Our proposed component-based model-driven approach facilitates rapid prototyping and effective meaningful reuse of complex system models, which further accelerates the modeling, simulation, and analysis process of real-time systems and aids in complex engineering designs and implementations.

AB - The discipline of component-based modeling and simulation offers promising gains in reducing cost, time, and the complexity of model development through the (re)use of modular components. Model-driven development suggests 1) the realization of a complex system using a conceptual model; 2) its automatic transformation into an executable form using transformation rules, and; 3) its automatic verification using a formal analysis technique for an accurate assessment of its correctness. Both approaches have numerous complementary benefits in rapid prototyping of complex systems using model reuse. In this paper, we propose a framework grounded in a combination of component-based and model-driven approaches to promote rapid prototyping of complex systems through the effective reuse of the simulation models. Our proposed process allows developers to 1) build or select existing components and compose them to formulate the conceptual models of complex systems; 2) automatically transform the conceptual models for the rapid implementation and simulation, and; 3) automatically verify them as per the requirement specifications. We propose the use of the extended finite-state machine (EFSM) as conceptual modeling formalism, anylogic simulation platform for the implementation, and probabilistic model checking technique using communicating sequential process (CSP) formalism for the verification. Finally, we present a case study of a real-time adaptive cruise control system to demonstrate the functionality of our framework. Our proposed component-based model-driven approach facilitates rapid prototyping and effective meaningful reuse of complex system models, which further accelerates the modeling, simulation, and analysis process of real-time systems and aids in complex engineering designs and implementations.

KW - adaptive cruise control system

KW - anylogic simulation

KW - complex systems

KW - Component-based development

KW - model driven engineering

KW - probabilistic model checking

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

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

U2 - 10.1109/ACCESS.2019.2917652

DO - 10.1109/ACCESS.2019.2917652

M3 - Article

VL - 7

SP - 67497

EP - 67514

JO - IEEE Access

JF - IEEE Access

SN - 2169-3536

M1 - 8718666

ER -