ZAFETY: Zone-based specificAtion and veriFication of rEal-time self-adapTive sYstems

Code

Matteo Camilli, Angelo Gargantini and Patrizia Scandurra

2016

Handle:

https://hdl.handle.net/10863/15787

Abstract

Software Engineering (SwSE)

url

https://zafety.bitbucket.io/View

Title: ZAFETY: Zone-based specificAtion and veriFication of rEal-time self-adapTive sYstems
Creators: Matteo Camilli
Angelo Gargantini
Patrizia Scandurra
Identifiers: (UNIBZ)31322236
991005902647401241
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Code
Author Names String: Camilli M, Gargantini A, Scandurra P
Additional Description: MIURSSDCODE: INF/01;ING-INF/05
MIURSSD: Informatica;Sistemi di elaborazione delle informazioni
unibz-area: Software Engineering (SwSE)
description: The ZAFETY framework is a Zone-based approach to specify and verify real-time self-adaptive systems. It relies on a zone-based modeling technique to support separation of concerns. The formalism is called zone-based Time Basic nets (an extension of Time Basic Petri nets). The zones identified during the modeling phase can be used as modules either in isolation, to verify intra-zone properties, or all together, to verify inter-zone properties over the entire system. In addition, the framework allows the verification of (timed) robustness properties to guarantee self-healing capabilities when higher levels of reliability and availability are required to the system, especially when dealing with time-critical system.

15 Record Views