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

Celý popis

Podrobná bibliografie

Vydáno v:	Concurrency and computation Ročník 28; číslo 14; s. 3773 - 3797
Hlavní autoři:	Sudhakar, Krishna, Zhao, Yuhong, Rammig, Franz-Josef
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Blackwell Publishing Ltd 25.09.2016
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!