Application of Software Engineering techniques to improve the reliability of Intelligent Environments

As its own title indicates, this special issue is devoted to the Application of Software Engineering Techniques to Improve the Reliability of Intelligent Environments (ASET2IRIE). Although this is a follow-up special issue connected to the 5th International Workshop on the Reliability of Intelligent Environments (WoRIE 2016),1 which seeks to strengthen and make more visible the close relationship existing between this journal and the workshop, there was an open call for papers so that any researcher working on the topics addressed, regardless of whether or not s/he had participated in the mentioned workshop, could submit articles to this special issue. In fact, only one of the four selected articles to be published in this special issue corresponds to an extension of a paper presented at WoRIE 2016. The main purpose of this workshop is to serve as a forum to discuss the state of the art, trends and novelties onmethodologies, techniques and tools to improve the reliability, safety and security of Intelligent Environments (IE). It also intends to build solid bridges of collaboration among the researches and practitioners belonging to the different communities involved in the research and development of IE. This special issue aims to expand in a more detailed way some of the most exciting and challenging topics addressed in the work-

[1]  Miguel J. Hornos,et al.  Enabling correct design and formal analysis of Ambient Assisted Living systems , 2012, J. Syst. Softw..

[2]  Juan Carlos Augusto,et al.  Designing More Reliable MAS-based Ambient Intelligence Systems , 2012, Agents and Ambient Intelligence.

[3]  Xingshe Zhou,et al.  Methodology and Tools for Pervasive Application Development , 2014, Int. J. Distributed Sens. Networks.

[4]  Carlisle George,et al.  Developing a comprehensive information security framework for mHealth: a detailed analysis , 2017, Journal of Reliable Intelligent Environments.

[5]  Juan Carlos Augusto,et al.  Ambient Intelligence—the Next Step for Artificial Intelligence , 2008, IEEE Intelligent Systems.

[6]  Juan Carlos Augusto,et al.  Engineering context-aware systems and applications: A survey , 2016, J. Syst. Softw..

[7]  Wouter Joosen,et al.  QoC$$^{2}$$2Breaker: intelligent software circuit breakers for fault-tolerant distributed context-aware applications , 2017, Journal of Reliable Intelligent Environments.

[8]  Juan Carlos Augusto,et al.  Software simulation and verification to increase the reliability of Intelligent Environments , 2013, Adv. Eng. Softw..

[9]  María-del-Mar Gallardo,et al.  A constraint-based language for modelling intelligent environments , 2017, Journal of Reliable Intelligent Environments.

[10]  Frank Eliassen,et al.  A development framework and methodology for self-adapting applications in ubiquitous computing environments , 2012, J. Syst. Softw..

[11]  Damien Cassou,et al.  DiaSuite: A tool suite to develop Sense/Compute/Control applications , 2014, Sci. Comput. Program..

[12]  Giuseppe Cicotti.  An evidence-based risk-oriented V-model methodology to develop ambient intelligent medical software , 2017, Journal of Reliable Intelligent Environments.

[13]  Paulo Novais,et al.  A survey of software engineering best practices for the development of smart applications in Ambient Intelligence , 2012, J. Ambient Intell. Smart Environ..

[14]  Juan Carlos Augusto,et al.  Ambient Intelligence and Smart Environments: A State of the Art , 2010, Handbook of Ambient Intelligence and Smart Environments.

[15]  Giuseppe De Pietro,et al.  Formal Specification and Verification of Ubiquitous and Pervasive Systems , 2011, TAAS.