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...

Full description

Bibliographic Details

Published in:	Concurrency and computation Vol. 28; no. 14; pp. 3773 - 3797
Main Authors:	Sudhakar, Krishna, Zhao, Yuhong, Rammig, Franz-Josef
Format:	Journal Article
Language:	English
Published:	Blackwell Publishing Ltd 25.09.2016
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!