Editorial

摘要

We are pleased to see in the second year of production of our journal how the field of Intelligent Environments Reliability is expanding to encompass new research topics, growing in quantity and quality. This issue includes four papers. Two are related to situational-awareness in intelligent environments and adopt formal modeling and verification in order to prevent dangerous situations or manage changes within the environment. The third article reports a study on the deployment of smart home applications for elderly people. The fourth paper is focused on performance of basic infrastructure based on mobile ad hoc networks.