@incollection{alshareef_using_2022,

title = {Using DEVS for Full Life Cycle Model-Based System Engineering in Complex Network Design},

author = {Abdurrahman Alshareef and Maria Julia Blas and Matias Bonaventura and Thomas Paris and Aznam Yacoub and Bernard P. Zeigler},

editor = {Nicopolitidis Petros and Sudip Misra and Laurence Yang and Ning Zhaolng and Bernard P. Zeigler and Zhaolng Ning},

url = {https://doi.org/10.1007/978-3-030-87049-2_8},

doi = {10.1007/978-3-030-87049-2_8},

isbn = {978-3-030-87049-2},

year  = {2022},

date = {2022-01-01},

booktitle = {Lecture Notes in Networks and Systems},

volume = {289},

pages = {215–266},

publisher = {Springer International Publishing},

abstract = {The Discrete Event System Specification (DEVS) is a modeling formalism that supports a general methodology for describing discrete event systems with the capability to represent continuous, discrete, and hybrid systems due to its system theoretic basis. In this chapter, we discuss the use of DEVS as the basic modeling and simulation framework for Model-Based System Engineering methodology that supports the critical stages in a top down design of complex networks. Focusing on the design of communication networks for emergency response, we show how such networks pose challenges to current technologies that current simulators cannot address. This sets the stage for considering how the DEVS formalism supports the required phases of top down design and the transitions from one phase to the next. After describing the proposed DEVS-based system engineering methodology in depth, we conclude with a discussion of the current state of its application, also mentioning open research needed to bring it into general practice.},

note = {ISSN: 23673389},

keywords = {Activity diagrams, Co-simulation, Complex Networks, DEVS, Emergency disaster response, High-level system specification, Hybrid simulation, Model-based system engineering, Network simulation infrastructure, Routing mechanisms, Simulation-based testing},

pubstate = {published},

tppubtype = {incollection}

}