I N D U S T R I A L I N F O R M A T I O N TECHNOLOGY SERIES

Automotive Embedded

Systems Handbook

Edited by

Nicolas Navet Fran^oise Simonot-Lion

CRC Press Taylor & Francis Croup Boca Raton London New York

CRC Press is an imprint of the Taylor & Francis Group, an informa business

Contents

Preface vü

Editors xv

Contributors xvü

Part I Automotive Architectures

1 Vehicle Functional Domains and Their Requirements Francoise Simonot-Lion and Yvon Trinquet 1-1

2 Application of the AUTOSAR Standard Stefan Voget, Michael Golm, Bernard Sanchez, and Friedhelm Stappert 2-1

3 Intelligent Vehicle Technologies Michel Parent and Patrice Bodu 3-1

Part II Embedded Communications

4 A Review of Embedded Automotive Protocols Nicolas Navet and Francoise Simonot-Lion 4-1

5 FlexRay Protocol Bernhard Schätz, Christian Kühnel, and Michael Gonschorek 5-1

6 Dependable Automotive CAN Networks Juan Pimentel, Julian Proenza, Luis Almeida, Guillermo Rodriguez-Navas, Manuel Barranco, and Joaquim Ferreira 6-1

Part III Embedded Software and Development Processes

7 Product Lines in Automotive Electronics Matthias Weber and Mark-Oliver Reiser 7-1

8 Reuse of Software in Automotive Electronics Andreas Krüger, Bernd Hardung, and Thorsten Kölzow 8-1

v

vi Contents

9 Automotive Architecture Description Languages Henrik Lönn and Ulrich Freund 9-1

10 Model-Based Development of Automotive Embedded Systems Martin Törngren, Dejiu Chen, Diana Malvius and Jakob Axelsson 10-1

Part IV Verification, Testing, and Timing Analysis

11 Testing Automotive Control Software Mirko Conrad and Ines Fey 11-1

12 Testing and Monitoring of FlexRay-Based Applications Roman Pallierer and Thomas M. Galla 12-1

13 Timing Analysis of CAN-Based Automotive Communication Systems Thomas Nolte, Hans A. Hansson, Mikael Nolin, and Sasikumar Punnekkat 13-1

14 Scheduling Messages with Offsets on Controller Area Network: A Major Performance Boost Mathieu Grenier, Lionel Havet, and Nicolas Navet 14-1

15 Formal Methods in the Automotive Domain: The Case of TTA Holger Pfeifer 15-1

Index I-l