Critical Systems for Smart Cities: Towards Certifying Software

Author(s):  
Erick Grilo ◽  
Bruno Lopes
Author(s):  
Bruno G. A. Lebtag ◽  
Valdemar Vicente Graciano Neto

Systems of Systems (SoS) are complex systems composed of managerially and operationally independent constituent systems (CS). Smart cities are examples of SoS. However, these types of systems impose challenges to traditional software architecture such as highly evolutionary architecture due to the evolution of individual CS and emergent behaviors that results from the interoperability of CS. Executable Models (ExM) are a class of models that can be executed and that can assist on architectural design of SoS. By using them, architects can predict the SoS structure and behavior by visualizing and simulating the SoS still at design-time. On the other hand, as any other emergent technologies, it suffers with absent scientific evidences of its benefits, mainly in industrial context. The main contribution of this master thesis project intends to be the presentation of evidences about the use of ExM to solve problems in the SoS software architecture design. For achieving such purpose, this project is structured in well-defined steps: (i) a systematic mapping study, (ii) elaboration of a conceptual map derived from the mapping study, (iii) a survey to obtain perceptions from software engineering professionals on the use of ExM in the context of engineering simple systems and (iv) a new survey expanding the previous study and to obtain perceptions from software engineering professionals on the use of ExM in the context of architectural design of SoS. Preliminary results reveal that ExM have been reported in diverse SoS domains, offering a dynamic and interactive view to the SoS. We also found that software engineering professionals see ExM as suitable solution for dealing with complex and critical systems as SoS.


Author(s):  
Tomas Brusell

When modern technology permeates every corner of life, there are ignited more and more hopes among the disabled to be compensated for the loss of mobility and participation in normal life, and with Information and Communication Technologies (ICT), Exoskeleton Technologies and truly hands free technologies (HMI), it's possible for the disabled to be included in the social and pedagogic spheres, especially via computers and smartphones with social media apps and digital instruments for Augmented Reality (AR) .In this paper a nouvel HMI technology is presented with relevance for the inclusion of disabled in every day life with specific focus on the future development of "smart cities" and "smart homes".


2015 ◽  
pp. 13-39
Author(s):  
Luisa Enrichiello ◽  
Alessandra Marasco
Keyword(s):  

2018 ◽  
pp. 60-67
Author(s):  
Henrika Pihlajaniemi ◽  
Anna Luusua ◽  
Eveliina Juntunen

This paper presents the evaluation of usersХ experiences in three intelligent lighting pilots in Finland. Two of the case studies are related to the use of intelligent lighting in different kinds of traffic areas, having emphasis on aspects of visibility, traffic and movement safety, and sense of security. The last case study presents a more complex view to the experience of intelligent lighting in smart city contexts. The evaluation methods, tailored to each pilot context, include questionnaires, an urban dashboard, in-situ interviews and observations, evaluation probes, and system data analyses. The applicability of the selected and tested methods is discussed reflecting the process and achieved results.


2015 ◽  
Vol 12 (1) ◽  
pp. 35-39
Author(s):  
Alexander Roos
Keyword(s):  

Alexander Roos schließlich geht deutlich weiter, er stellt alle auf digitale Kommunikationsmedien aufbauende Lösungen in das Zentrum seines Begriffsverständnisses und kommt so – zumindest implizit – zu einem ausgeweiteten Verständnis der Medienbranche, das z. B. auch die mediale Ausstattung von Städten („Smart Cities“) und die Nutzung digitaler Medien in der industriellen Produktion („Industrie 4.0“) umfasst.


Sign in / Sign up

Export Citation Format

Share Document