ASAS: An Approach to Support Simulation of Smart Systems

Smart 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, specification 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. Keywords-System-of-Systems; Simulation; Model-Based Engineering.

[1]  Axel Legay,et al.  Statistical Model Checking of Dynamic Software Architectures , 2016, ECSA.

[2]  Bernard P. Zeigler,et al.  Guide to Modeling and Simulation of Systems of Systems , 2012, SpringerBriefs in Computer Science.

[3]  Gio Wiederhold,et al.  Mediators in the architecture of future information systems , 1992, Computer.

[4]  Flávio Oquendo,et al.  A systematic literature review on the description of software architectures for systems of systems , 2015, SAC.

[5]  Valdemar Vicente Graciano Neto.  A Model-Based Approach Towards the Building of Trustworthy Software-Intensive Systems-of-Systems , 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).

[6]  Jan Peleska,et al.  Systems of Systems Engineering , 2015 .

[7]  Valdemar Vicente Graciano Neto.  Validating Emergent Behaviours in Systems-of-Systems through Model Transformations , 2016, SRC@MoDELS.

[8]  Christian Stary,et al.  Enabling emergent behavior in systems-of-systems through bigraph-based modeling , 2015, 2015 10th System of Systems Engineering Conference (SoSE).

[9]  Ruchika Malhotra.  Empirical Research in Software Engineering: Concepts, Analysis, and Applications , 2015 .

[10]  Guilherme Horta Travassos,et al.  Experimentation with dynamic simulation models in software engineering: planning and reporting guidelines , 2015, Empirical Software Engineering.

[11]  Flávio Oquendo.  Formally describing the software architecture of Systems-of-Systems with SosADL , 2016, 2016 11th System of Systems Engineering Conference (SoSE).

[12]  Barry Boehm,et al.  A view of 20th and 21st century software engineering , 2006, ICSE.

[13]  M. Janishidi.  System of Systems - Innovations for 21st Century , 2008, 2008 IEEE Region 10 and the Third international Conference on Industrial and Information Systems.

[14]  Flávio Oquendo,et al.  Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language , 2014, ECSA.

[15]  Jó Ueyama,et al.  Development of a spatial decision support system for flood risk management in Brazil that combines volunteered geographic information with wireless sensor networks , 2015, Comput. Geosci..

[16]  Mark W. Maier,et al.  Architecting Principles for Systems‐of‐Systems , 1996 .

[17]  Ji Wu,et al.  A Model-Driven Approach for Evaluating System of Systems , 2013, 2013 18th International Conference on Engineering of Complex Computer Systems.

[18]  Per Runeson,et al.  Guidelines for conducting and reporting case study research in software engineering , 2009, Empirical Software Engineering.

[19]  Flávio Oquendo,et al.  Software Architecture Challenges and Emerging Research in Software-Intensive Systems-of-Systems , 2016, ECSA.