This paper proposes an approach to modelling and analysis of time-critical cyber-physical systems (CPSs). The approach combines discrete-time actors with continuous modes which reproduce the dynamical laws by which some external variables change their value. In particular, the article introduces Hybrid Theatre which is an original actor formalism and an implementation framework in Java, for the development of CPSs. A Hybrid Theatre model is mapped onto Uppaal hybrid timed automata for property assessment by statistical model checking. A smart power control system in a micro grid is presented as a case study to demonstrate the usefulness of the proposed approach.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | Verification of a Smart Power Control System using Hybrid Actors |
Autori: | SCIAMMARELLA, PAOLO FRANCESCO [Membro del Collaboration Group] |
Data di pubblicazione: | 2019 |
Handle: | http://hdl.handle.net/20.500.11770/295157 |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |