An Integrated Modeling, Simulation and Analysis Framework for Engineering Complex Systems
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 automa...
Main Authors: | , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2019-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/8718666/ |
id |
doaj-c2fc57c013fa47b38f3f230ffa4261a8 |
---|---|
record_format |
Article |
spelling |
doaj-c2fc57c013fa47b38f3f230ffa4261a82021-03-29T23:37:56ZengIEEEIEEE Access2169-35362019-01-017674976751410.1109/ACCESS.2019.29176528718666An Integrated Modeling, Simulation and Analysis Framework for Engineering Complex SystemsImran Mahmood0https://orcid.org/0000-0003-0138-7510Tameen Kausar1Hessam S. Sarjoughian2Asad Waqar Malik3https://orcid.org/0000-0003-3804-997XNaveed Riaz4Center for Research in Modeling and Simulation (Crimson), School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, PakistanCenter for Research in Modeling and Simulation (Crimson), School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, PakistanArizona Center for Integrative Modeling and Simulation (ACIMS), School of Computing, Informatics, and Decision Systems Engineering, Arizona State University, Tempe, AZ, USACenter for Research in Modeling and Simulation (Crimson), School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, PakistanCenter for Research in Modeling and Simulation (Crimson), School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, PakistanThe 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.https://ieeexplore.ieee.org/document/8718666/Component-based developmentmodel driven engineeringcomplex systemsanylogic simulationprobabilistic model checkingadaptive cruise control system |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Imran Mahmood Tameen Kausar Hessam S. Sarjoughian Asad Waqar Malik Naveed Riaz |
spellingShingle |
Imran Mahmood Tameen Kausar Hessam S. Sarjoughian Asad Waqar Malik Naveed Riaz An Integrated Modeling, Simulation and Analysis Framework for Engineering Complex Systems IEEE Access Component-based development model driven engineering complex systems anylogic simulation probabilistic model checking adaptive cruise control system |
author_facet |
Imran Mahmood Tameen Kausar Hessam S. Sarjoughian Asad Waqar Malik Naveed Riaz |
author_sort |
Imran Mahmood |
title |
An Integrated Modeling, Simulation and Analysis Framework for Engineering Complex Systems |
title_short |
An Integrated Modeling, Simulation and Analysis Framework for Engineering Complex Systems |
title_full |
An Integrated Modeling, Simulation and Analysis Framework for Engineering Complex Systems |
title_fullStr |
An Integrated Modeling, Simulation and Analysis Framework for Engineering Complex Systems |
title_full_unstemmed |
An Integrated Modeling, Simulation and Analysis Framework for Engineering Complex Systems |
title_sort |
integrated modeling, simulation and analysis framework for engineering complex systems |
publisher |
IEEE |
series |
IEEE Access |
issn |
2169-3536 |
publishDate |
2019-01-01 |
description |
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. |
topic |
Component-based development model driven engineering complex systems anylogic simulation probabilistic model checking adaptive cruise control system |
url |
https://ieeexplore.ieee.org/document/8718666/ |
work_keys_str_mv |
AT imranmahmood anintegratedmodelingsimulationandanalysisframeworkforengineeringcomplexsystems AT tameenkausar anintegratedmodelingsimulationandanalysisframeworkforengineeringcomplexsystems AT hessamssarjoughian anintegratedmodelingsimulationandanalysisframeworkforengineeringcomplexsystems AT asadwaqarmalik anintegratedmodelingsimulationandanalysisframeworkforengineeringcomplexsystems AT naveedriaz anintegratedmodelingsimulationandanalysisframeworkforengineeringcomplexsystems AT imranmahmood integratedmodelingsimulationandanalysisframeworkforengineeringcomplexsystems AT tameenkausar integratedmodelingsimulationandanalysisframeworkforengineeringcomplexsystems AT hessamssarjoughian integratedmodelingsimulationandanalysisframeworkforengineeringcomplexsystems AT asadwaqarmalik integratedmodelingsimulationandanalysisframeworkforengineeringcomplexsystems AT naveedriaz integratedmodelingsimulationandanalysisframeworkforengineeringcomplexsystems |
_version_ |
1724189238237331456 |