Algebraic software analysis and embedded simulation of a driving robot

L.L.F. Merkx; H.M. Duringhof; P.J.L. Cuijpers

Algebraic software analysis and embedded simulation of a driving robot

L.L.F. Merkx
, H.M. Duringhof
, P.J.L. Cuijpers

Interconnected Resource-aware Intelligent Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

10 Downloads (Pure)

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.

Original language	English
Title of host publication	Proceedings of the 2007 Summer Computer Simulation Conference (SCSC'07), July 15-18, 2007, San Diego CA, USA
Publisher	Association for Computing Machinery, Inc.
ISBN (Print)	1-56555-316-0
Publication status	Published - 2007

Cite this

@inproceedings{a3e0a070adf04c9da2e07b876c9e2293,

title = "Algebraic software analysis and embedded simulation of a driving robot",

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.",

author = "L.L.F. Merkx and H.M. Duringhof and P.J.L. Cuijpers",

year = "2007",

language = "English",

isbn = "1-56555-316-0",

booktitle = "Proceedings of the 2007 Summer Computer Simulation Conference (SCSC'07), July 15-18, 2007, San Diego CA, USA",

publisher = "Association for Computing Machinery, Inc.",

address = "United States",

}

Algebraic software analysis and embedded simulation of a driving robot. / Merkx, L.L.F.; Duringhof, H.M.; Cuijpers, P.J.L.
Proceedings of the 2007 Summer Computer Simulation Conference (SCSC'07), July 15-18, 2007, San Diego CA, USA. Association for Computing Machinery, Inc., 2007.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Algebraic software analysis and embedded simulation of a driving robot

AU - Merkx, L.L.F.

AU - Duringhof, H.M.

AU - Cuijpers, P.J.L.

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

M3 - Conference contribution

SN - 1-56555-316-0

BT - Proceedings of the 2007 Summer Computer Simulation Conference (SCSC'07), July 15-18, 2007, San Diego CA, USA

PB - Association for Computing Machinery, Inc.

ER -

Algebraic software analysis and embedded simulation of a driving robot

Abstract

Fingerprint

Cite this