12 search results - page 1 / 3 » Temporal Verification of Real-Time Multitasking Application ... |
DSRT
2004
IEEE
13 years 8 months ago
2004
IEEE
FMICS
2008
Springer
13 years 6 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
FASE
2004
Springer
13 years 8 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
ASWEC
2007
IEEE
13 years 11 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
RTS
2008
13 years 4 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...