Algebraic software analysis and embedded simulation of a driving robot

Authors:
L. L. F. Merkx;P. J. L. Cuijpers;H. M. Duringhof
Affiliations:
Technische Universiteit Eindhoven, MB Eindhoven, Netherlands;Technische Universiteit Eindhoven, MB Eindhoven, Netherlands;TNO Automotive, AT Helmond, Netherlands
Venue:
Proceedings of the 2007 Summer Computer Simulation Conference
Year:
2007

Citing 6
Cited 0

Safety Critical Computer Systems

Safety Critical Computer Systems
Fault Tolerance: Principles and Practice

Fault Tolerance: Principles and Practice
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Large state space visualization

TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Modelling Distributed Systems

Modelling Distributed Systems
PHAVer: algorithmic verification of hybrid systems past hytech

HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control

Quantified Score

Hi-index	0.00

Visualization

Abstract

At TNO Automotive the Generic Driving Actuator (GDA) is developed. The GDA is a device capable of driving a vehicle fully automatically using the same interface as a human driver does. In this paper, the design of the GDA is discussed. The software and hardware of the GDA and its effect on vehicle behaviour are analyzed from a safety point of view. The hardware design of the GDA is adapted to achieve an acceptable level of fault tolerance. The software is designed and verified using formal methods and finally, a simulation model is built in Simulink to design a strategy to maintain safety during component failures and emergencies.