Model-Based generation of run-time monitors for AUTOSAR

Authors:
Lars Patzina;Sven Patzina;Thorsten Piper;Paul Manns
Affiliations:
Real-Time Systems Lab, Technische Universität Darmstadt, Darmstadt, Germany;Real-Time Systems Lab, Technische Universität Darmstadt, Darmstadt, Germany;DEEDS Group, Technische Universität Darmstadt, Darmstadt, Germany;DEEDS Group, Technische Universität Darmstadt, Darmstadt, Germany
Venue:
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Year:
2013

Citing 11
Cited 0

Classification and detection of computer intrusions

Classification and detection of computer intrusions
LSCs: Breathing Life into Message Sequence Charts

Formal Methods in System Design
Message sequence charts

UML for real
Improving Translation of Live Sequence Charts to Temporal Logic

Electronic Notes in Theoretical Computer Science (ENTCS)
Microcontroller-based process monitoring using petri-nets

EURASIP Journal on Embedded Systems - Challenges on complexity and connectivity in embedded systems
Experimental Security Analysis of a Modern Automobile

SP '10 Proceedings of the 2010 IEEE Symposium on Security and Privacy
Monitor petri nets for security monitoring

Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
Secure vehicular communication systems: design and architecture

IEEE Communications Magazine
Instrumenting AUTOSAR for dependability assessment: A guidance framework

DSN '12 Proceedings of the 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR

HPCC '12 Proceedings of the 2012 IEEE 14th International Conference on High Performance Computing and Communication & 2012 IEEE 9th International Conference on Embedded Software and Systems
A case study based comparison of ATL and SDM

AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance

Quantified Score

Hi-index	0.00

Visualization

Abstract

Driven by technical innovation, embedded systems, especially in vehicles, are becoming increasingly interconnected and, consequently, have to be secured against failures and threats from the outside world. One approach to improve the fault tolerance and resilience of a system is run-time monitoring. AUTOSAR, the emerging standard for automotive software systems, specifies several run-time monitoring mechanisms at the watchdog and OS level that are neither intended, nor able to support complex run-time monitoring. This paper addresses the general challenges involved in the development and integration of a model-based generation process of complex run-time security and safety monitors. A previously published model-based development process for run-time monitors based on a special kind of Petri nets is enhanced and tailored to fit seamlessly into the AUTOSAR development process. In our evaluation, we show that efficient monitors for AUTOSAR can be directly modeled and generated from the corresponding AUTOSAR system model.