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

1 Scopus citations

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
Publication statusPublished - Jan 1 2019

    Fingerprint

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