Advertisement

CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems

  • Ajitha Rajan
  • Thomas Wahl

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Eric Armengaud, Stephane Bonnet, Laurent Duffau, Gianfranco Fenu, Gerhard Griessnig, Christian Hein et al.
    Pages 1-14
  3. Nikolaos Priggouris, Adeline Silva, Markus Shawky, Magnus Persson, Vincent Ibanez, Joseph Machrouh et al.
    Pages 15-67
  4. Markus Ortel, Marc Malot, Andreas Baumgart, Jan Steffen Becker, Ralf Bogusch, Stefan Farfeleder et al.
    Pages 69-143
  5. Magnus Persson, Stéphane Bonnet, DeJiu Chen, Martin Törngren, Sergey Zverlov, Matthias Biehl et al.
    Pages 145-178
  6. Kung-Kiu Lau, Marc Pantel, DeJiu Chen, Magnus Persson, Martin Törngren, Cuong Tran
    Pages 179-212
  7. Alain Rossignol
    Pages 213-236
  8. Christian Hein, Tom Ritter, Michael Wagner
    Pages 237-262
  9. Parham Vasaiely, Rainer Ersch, Christian Hein, Andreas Keis, Fabien Paganelli, Gerald Stieglbauer et al.
    Pages 263-293
  10. Gianfranco Fenu, Eric Armengaud, Olle Bridal, Salvatore De Martino, Øystein Haugen, Odile Laurent et al.
    Pages 295-335
  11. Eric Armengaud, Gerhard Griessnig, Ingrid Kundner, Fabien Paganelli
    Pages 337-350
  12. Back Matter
    Pages 351-391

About this book

Introduction

The book summarizes the findings and contributions of the European ARTEMIS project, CESAR, for improving and enabling interoperability of methods, tools, and processes to meet the demands in embedded systems development across four domains - avionics, automotive, automation, and rail.
The contributions give insight to an improved engineering and safety process life-cycle for the development of safety critical systems. They present new concept of engineering tools integration platform to improve the development of safety critical embedded systems and illustrate capacity of this framework for end-user instantiation to specific domain needs and processes. They also advance state-of-the-art in component-based development as well as component and system validation and verification, with tool support. And finally they describe industry relevant evaluated processes and methods especially designed for the embedded systems sector as well as easy adoptable common interoperability principles for software tool integration.

Keywords

ARTEMIS CESAR Component based Development Embedded Systems Tool Integration and Interoperability Validation and Verification

Editors and affiliations

  • Ajitha Rajan
    • 1
  • Thomas Wahl
    • 2
  1. 1., Dept. of Computer ScienceUniversity of OxfordOxfordUnited Kingdom
  2. 2., Dept. of Computer ScienceUniversity of OxfordOxfordUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-7091-1387-5
  • Copyright Information Springer-Verlag Wien 2013
  • Publisher Name Springer, Vienna
  • eBook Packages Engineering
  • Print ISBN 978-3-7091-1386-8
  • Online ISBN 978-3-7091-1387-5
  • Buy this book on publisher's site