No abstract

No abstract

No abstract

No abstract

No abstract

No abstract

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.

The innovation and development of software systems in the Ambient Assisted Living (AAL) domain have brought huge challenges for academia and software industry as well. Despite the existence of architectural models that can be used as references to build AAL systems, their selection for new AAL projects is a difficult task. In this work, the authors present the state of the art on Reference Architectures (RA) and Reference Models (RM) found through the conduction of a systematic literature review. The authors identified, analyzed, and assessed 24 existing RA&RM for AAL domain, and, as result, the authors spotted interesting research directions that should be further explored to improve existing and future RA&RM and software systems for that domain.