Parallel runtime verification of temporal properties for embedded software

2012 ◽  
Author(s):  
Thomas Reinbacher ◽  
Johannes Geist ◽  
Patrick Moosbrugger ◽  
Martin Horauer ◽  
Andreas Steininger
Keyword(s):  
Embedded Software ◽  
Runtime Verification ◽  
Temporal Properties

Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets

2017 ◽  
pp. 115-130 ◽  
Author(s):  
Matteo Camilli ◽  
Angelo Gargantini ◽  
Patrizia Scandurra ◽  
Carlo Bellettini
Keyword(s):  
Petri Nets ◽  
Runtime Verification ◽  
Temporal Properties ◽  
Event Based

scholarly journals Hardware runtime verification of embedded software in SoPC

2016 ◽  
Author(s):  
Dimitry Solet ◽  
Jean-Luc Bechennec ◽  
Mikaol Briday ◽  
Sebastien Faucou ◽  
Sebastien Pillement
Keyword(s):  
Embedded Software ◽  
Runtime Verification

Verification of temporal properties in automotive embedded software

2008 ◽  
Author(s):  
Djones Lettnin ◽  
Pradeep K. Nalla ◽  
Jürgen Ruf ◽  
Thomas Kropf ◽  
Wolfgang Rosenstiel ◽  
...  
Keyword(s):  
Embedded Software ◽  
Temporal Properties ◽  
Automotive Embedded Software

HW-based Architecture for Runtime Verification of Embedded Software on SoPC systems

2018 ◽  
Author(s):  
Dimitry Solet ◽  
Sebastien Pillement ◽  
Jean-Luc Bechennec ◽  
Mikael Briday ◽  
Sebastien Faucou
Keyword(s):  
Embedded Software ◽  
Runtime Verification

Verification of Temporal Properties in Automotive Embedded Software

2008 ◽  
Author(s):  
Djones Lettnin ◽  
Pradeep K. Nalla ◽  
Jurgen Ruf ◽  
Thomas Kropf ◽  
Wolfgang Rosenstiel ◽  
...  
Keyword(s):  
Embedded Software ◽  
Temporal Properties ◽  
Automotive Embedded Software

scholarly journals Runtime Verification of Component-Based Embedded Software

2011 ◽  
pp. 471-477 ◽  
Author(s):  
Hasan Sözer ◽  
Christian Hofmann ◽  
Bedir Tekinerdoğan ◽  
Mehmet Akşit
Keyword(s):  
Embedded Software ◽  
Runtime Verification
Sign in / Sign up

Export Citation Format

Share Document