Design and Modelling of the Nocturnal AAL Care System

Journal of Systems and Software

Clark

2016

176

137

Context-awareness is an essential component of systems developed in areas like Intelligent Environments, Pervasive & Ubiquitous Computing and Ambient Intelligence. In these emerging fields, there is a need for computerized systems to have a higher understanding of the situations in which to provide services or functionalities, to adapt accordingly. The literature shows that researchers modify existing engineering methods in order to better fit the needs of context-aware computing. These efforts are typically disconnected from each other and generally focus on solving specific development issues. We encourage the creation of a more holistic and unified engineering process that is tailored for the demands of these systems. For this purpose, we study the state-of-the-art in the development of context-aware systems, focusing on: A) Methodologies for developing context-aware systems, analysing the reasons behind their lack of adoption and features that the community wish they can use; B) Context-aware system engineering challenges and techniques applied during the most common development stages; C) Context-aware systems conceptualization.

Section: Design Evaluationmentioning

confidence: 99%

Engineering context-aware systems and applications: A survey

Alegre

Journal of Systems and Software

Clark

2016

176

137

“…Hence iterations 2 and 3 were more related to the company's technological offer and the algorithms the university team used to materialize the services with different technology. The modelling, design, simulation and verification stages [9] remained very much the same and the adjustments were more at the interface between service programming and sensors/actuators. The overall lessons learnt from that experience were that the U-C SDP was organized but at the same time flexible enough to accommodate for changes and refinements which delivered the best compromise for the stakeholders within the resources available.…”

Section: U-c Sdp In Practicementioning

confidence: 99%

User-Centric Software Development Process

2014 International Conference on Intelligent Environments

2014

Abstract-The Software Engineering community has produced plenty of recipes on how to build software systems. Through the decades, we have seen a shift from the more structured and organized to the most flexible approaches, lately with emphasis on speed. Although these methods in principle apply to all software, in being generic they may not address specific needs of some areas where systems have special features and demands. We argue in this paper that Intelligent Environments is one such area to be considered and in need of a tailored software development process. We introduce a new software development process and explain how is to be applied in systems of the Intelligent Environments field.

“…In the similar way (in lines [23][24][25][26][27][28], if a sensor is reachable or not alive or all of its neighbor sensors are not alive or not reachable, then it cannot join to the network, remaining isolated. I s L i n k e d ( sensor , from_sensor2 ) , time ) ) & [ 6 ] Neighbor ( from_sensor2 , s e n s o r ) ) −> [ 7 ] Happens ( I s o l a t e ( s e n s o r ) , time ) . …”

Section: General Correctness Specificationmentioning

confidence: 99%

“…For example, if we have coverage in the interval [0,6], and during this period three failure/disconnection events can be counted, then the connection resiliency is 2, that is, the WSN was able to tolerate two failures or disconnections while preserving more than 50% of the nodes connected.…”

Section: Metrics Computationmentioning

confidence: 99%

“…Typical critical scenarios are environmental monitoring (e.g., detection of fires in forests [1]), structural monitoring of civil engineering structures [3], health monitoring (in medical scenarios) [4] and patient monitoring [5,6] by means of Ambient Intelligence (AmI [7]) systems. For example, in the case of remote patient monitoring, alerts must be raised and processed within a temporal threshold; functional incorrectness or runtime failures may result in catastrophic consequences for the patient.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks

Cinque

Coronato³

et al. 2016

Preprint

Wireless Sensor Networks (WSNs) are being increasingly adopted in critical applications, where verifying the correct operation of sensor nodes is a major concern. Undesired events may undermine the mission of the WSNs. Hence, their effects need to be properly assessed before deployment, to obtain a good level of expected performance; and during the operation, in order to avoid dangerous unexpected results. In this paper, we propose a methodology that aims at assessing and improving the dependability level of WSNs by means of an event-based formal verification technique. The methodology includes a process to guide designers towards the realization of a dependable WSN and a tool ("ADVISES") to simplify its adoption. The tool is applicable to homogeneous WSNs with static routing topologies. It allows the automatic generation of formal specifications used to check correctness properties and evaluate dependability metrics at design time and at runtime for WSNs where an acceptable percentage of faults can be defined. During the runtime, we can check the behavior of the WSN accordingly to the results obtained at design time and we can detect sudden and unexpected failures, in order to trigger recovery procedures. The effectiveness of the methodology is shown in the context of two case studies, as proof-of-concept, aiming to illustrate how the tool is helpful to drive design choices and to check the correctness properties of the WSN at runtime. Although the method scales up to very large WSNs, the applicability of the methodology may be compromised by the state space explosion of the reasoning model, which must be faced by partitioning large topologies into sub-topologies.