ASAS: An Approach to Support Simulation of Smart Systems

Simple item page
dc.contributor.authorGraciano Neto, Valdemar Vicente
dc.contributor.authorGarcés, Lina
dc.contributor.authorGuessi, Milena
dc.contributor.authorPaes, Carlos
dc.contributor.authorManzano, Wallace
dc.contributor.authorOquendo, Flavio
dc.contributor.authorNakagawa, Elisa
dc.date.accessioned2017-12-28T02:21:29Z
dc.date.available2017-12-28T02:21:29Z
dc.date.issued2018-01-03
dc.description.abstractSmart systems, such as smart cities, smart buildings, and autonomous cars, have recently gained increasing popularity. Each such system is essentially a System-of-Systems (SoS). SoS are dynamically established as alliances among independent and heterogeneous software systems to offer complex functionalities as a result of constituents interoperability. An SoS often supports critical application domains, and, as such, must be reliable. Many SoS have been specified and evaluated for their correct operation using static models. However, speciï¬ cation languages have not supported to capture their inherent dynamic nature nor enabled to monitor their operation. The main contribution of this paper is to present ASAS, an approach to Automatically generate Simulation models for smArt Systems (ASAS) in order to support evaluation of their operation. In particular, our approach makes it possible to transform formal models of the SoS architecture (expressed in SoSADL) into simulation models (expressed in DEVS). We evaluated our approach by conducting two case studies using a flood monitoring system that is intended to be part of a smart city. Results indicate that ASAS can successfully generate functional simulations for the SoS operation, which in turn can enable to reason and monitor an SoS operation, taking into account its dynamic nature.
dc.format.extent10 pages
dc.identifier.doi10.24251/HICSS.2018.724
dc.identifier.isbn978-0-9981331-1-9
dc.identifier.urihttp://hdl.handle.net/10125/50613
dc.language.isoeng
dc.relation.ispartofProceedings of the 51st Hawaii International Conference on System Sciences
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectTurning Smart: Challenges and Experiences in Smart Application Development
dc.subjectModel Transformation, Simulation, Smart Systems, Software Architecture, Systems-of-Systems
dc.titleASAS: An Approach to Support Simulation of Smart Systems
dc.typeConference Paper
dc.type.dcmiText

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
paper0726.pdf
Size:
579.01 KB
Format:
Adobe Portable Document Format
Download

Collections

Turning Smart: Challenges and Experiences in Smart Application Development