Paper Info
Title
A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR
Abstract
This paper presents the design and implementation of an error detection service for multicore real-time in-vehicle embedded systems. The service aims at monitoring the data flows in a graph of communicating real-time tasks and detecting violation of the expected communication patterns. The service is not based on any specific system model. The monitors are automatically generated from formal models of the monitored system and the expected communication patterns. To minimize the time overhead of the service, the monitors are embedded in the RTOS kernel. The implementation targets an AUTOSAR-like platform based on the open-source RTOS Trampoline. Measures made on an ARM7 MCU show that the time and memory overheads are compatible with the stringent constraints of the application domain.
Year
DOI
Venue
2012
10.1109/HPCC.2012.220
High Performance Computing and Communication & 2012 IEEE 9th International Conference Embedded Software and Systems
Keywords
Field
DocType
real-time in-vehicle embedded system,open-source rtos trampoline,error detection service,data flow monitoring service,rtos kernel,arm7 mcu show,expected communication pattern,monitored system,time overhead,specific system model,real-time task,runtime verification,embedded software,multicore processing,formal verification,real time systems,error detection,automata,minimisation,data flow graph,rtos,embedded systems,public domain software
Computer science,Real-time computing,System model,Data flow diagram,Distributed computing,Embedded software,Parallel computing,Real-time operating system,Runtime verification,AUTOSAR,Application domain,Formal verification,Embedded system
Conference
ISSN
ISBN
Citations 
2576-3504
978-1-4673-2164-8
6
PageRank 
References 
Authors
0.48
9
5
Name
Order
Citations
PageRank
Sylvain Cotard170.84
Sebastien Faucou260.48
Jean-Luc Bechennec3223.77
Audrey Queudet4416.15
Yvon Trinquet59110.18