Efficient integration of online model checking into a small-footprint real-time operating system

Summary For highly safety‐critical applications, rigorous offline verification should be complemented by online verification. One promising technique is Online Model Checking (OMC). The basic approaches on how to design and implement OMC have been discussed in a couple of papers. As OMC is a run‐tim...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Concurrency and computation Jg. 28; H. 14; S. 3773 - 3797
Hauptverfasser:	Sudhakar, Krishna, Zhao, Yuhong, Rammig, Franz-Josef
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Blackwell Publishing Ltd 25.09.2016
Schlagworte:	Architecture (computers) Feasibility studies online model checking Operating systems ORCOS QEMU and PowerPC Real time real-time operating system Running State of the art Tasks Traffic flow
ISSN:	1532-0626, 1532-0634
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!