DocumentCode :
2583985
Title :
Testing real-time task networks with functional extensions using model-checking
Author :
Büker, Matthias ; Metzner, Alexander ; Stierand, Ingo
Author_Institution :
OFFIS, Oldenburg, Germany
fYear :
2009
fDate :
22-25 Sept. 2009
Firstpage :
1
Lastpage :
10
Abstract :
Analysis and verification of safety critical systems is inevitable to assure functional and temporal correctness. For checking temporal system behaviour, real-time scheduling analysis has been proved to be an efficient method. As an analytical method, real-time scheduling relies on rather simple task network models mostly ignoring functional behaviour in order to remain computable and efficient. Functional and temporal system behaviour however are often closely related. By abstracting from functional behaviour, scheduling analysis often results in large over-approximation for such systems. We propose a task network model providing extensions to describe also functional system behaviour. The main elements are explicit data objects and tasks with internal states and data dependant executions. Since there are no analytical methods known to be available for such extended models we propose an analysis based on a combination of model-checking and testing. Although this technique does not provide exhaustive verification, it is a first step towards time-accurate analysis of complex realtime systems. Moreover, the approach provides a convenient way to check systems against functional and temporal requirements in contrast to analytical methods that are usually restricted to simple temporal properties like deadlines.
Keywords :
program testing; program verification; real-time systems; safety-critical software; scheduling; complex systems; functional extensions; model checking; real-time scheduling analysis; real-time task network testing; safety critical systems; Buffer storage; Computer networks; Embedded computing; Interference; Memory; Processor scheduling; Real time systems; Safety; Streaming media; System testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Emerging Technologies & Factory Automation, 2009. ETFA 2009. IEEE Conference on
Conference_Location :
Mallorca
ISSN :
1946-0759
Print_ISBN :
978-1-4244-2727-7
Electronic_ISBN :
1946-0759
Type :
conf
DOI :
10.1109/ETFA.2009.5347060
Filename :
5347060
Link To Document :
بازگشت