Formal assessment of some properties of Context-Aware Systems

Context-Aware systems are becoming useful components in autonomic and monitoring applications and the assessment of their properties is an important step towards reliable implementation, especially in safety-critical applications. In this paper, using an avalanche/landslide alert system as a running...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2020-05
Hauptverfasser:	Schreiber, Fabio A, Valcher, Maria Elena
Format:	Artikel
Sprache:	eng
Schlagworte:	Alarm systems Boolean algebra Context Landslides Properties (attributes) Safety critical System dynamics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!