From Specification to Embedded Systems Application

  • Editors
  • Achim Rettberg
  • Mauro C. Zanella
  • Franz J. Rammig
Conference proceedings

Part of the IFIP On-Line Library in Computer Science book series (IFIPAICT, volume 184)

Table of contents

  1. Front Matter
    Pages i-xii
  2. Stefan Kubica, Wolfgang Friess, Allmann Christian, Thorsten Koelzow
    Pages 1-12
  3. Thomas Heurung
    Pages 13-22
  4. Eva Rakotomalala, Jean-Pierre Elloy, Pierre Molinaro, Bernard Bavoux, Didier Jampi
    Pages 23-34
  5. Marcio F. S. da Oliveira, Lisane B. de Brisolara, Luigi Carro, FláAvio R. Wagner
    Pages 45-54
  6. Fauze V. Polpeta, Antônio A. Fröhlich
    Pages 55-64
  7. Haobo Yu, Rainer Dömer, Daniel D. Gajski
    Pages 65-76
  8. Raimundo Barreto, Eduardo Tavares, Paulo Maciel, Marília Neves, Meuse Oliveira Jr, Leonardo Amorim et al.
    Pages 77-86
  9. R. Brockers, M. Botte, B. Mertsching
    Pages 87-96
  10. A. G. Silva-Filho, R. Eskinazi, P. S. B. Nascimento, M. E. Lima
    Pages 97-102
  11. Manuel Núñez, Ismael Rodríguez
    Pages 115-124
  12. Manuel Núñez, Fernando L. Pelayo, Ismael Rodríguez
    Pages 125-136
  13. Sylvain Robert, Ansgar Radermacher, Vincent Seignole, Sébastien Gérard, Virginie Watine, François Terrier
    Pages 137-146
  14. Júlio C. B. Mattos, Emilena Specht, Bruno Neves, Luigi Carro
    Pages 147-156
  15. Gustavo Neuberger, Fernanda Lima Kastensmidt, Ricardo Reis
    Pages 157-168
  16. Ricardo J. Machado, João M. Fernandes
    Pages 169-178
  17. Dongwan Shin, Andreas Gerstlauer, Rainer Dömer, Daniel D. Gajski
    Pages 179-188
  18. Gunar Schirner, Rainer Dömer
    Pages 189-200
  19. Ralf Eickhoff, Jörg-Christian Niemann, Mario Porrmann, Ulrich Rückert
    Pages 201-210
  20. R. Obermaisser, E. Henrich, K. H. Kim, H. Kopetz, M. H. Kim
    Pages 211-222
  21. Marco A. Wehrmeister, Fernando H. Athaide, Fabiano C. Carvalho, Carlos E. Pereira
    Pages 223-234
  22. André Luiz Freitas de Francisco, Bernd Schulz, Christian Henke
    Pages 245-254
  23. Marcelo Götz, Achim Rettberg, Carlos Eduardo Pereira
    Pages 255-266
  24. Björn Griese, Simon Oberthür, Mario Porrmann
    Pages 267-276
  25. Christo Angelov, Jesper Berthing, Krzysztof Sierszecki
    Pages 277-288

About these proceedings


As almost no other technology, embedded systems is an essential element of many innovations in automotive engineering.  New functions and improvements of already existing functions, as well as the compliance with traffic regulations and customer requirements, have only become possible by the increasing use of electronic systems, especially in the fields of driving, safety, reliability, and functionality.  Along with the functionalities that increase in number and have to cooperate, the complexity of the entire system will increase.

Synergy effects resulting from distributed application functionalities via several electronic control devies, exchanging information through the network brings about more complex system architectures with many different sub-networks, operating with different velocities and different protocol implementations.

To manage the increasing complexity of these systems, a deterministic behaviour of the control units and the communication network must be provided for, in particular when dealing with a distributed functionality.

From Specification to Embedded Systems Application documents recent approaches and results presented at the International Embedded Systems Symposium (IESS 2005), which was held in August 2005 in Manaus (Brazil) and sponsored by International Federation for Information Processing (IFIP).

The topics which have been chosen for this working conference are very timely: design methodology, modeling, specification, software synthesis, power management, formal verification, testing, network, communication systems, distributed control systems, resource management and special aspects in system design.


EDAC code KAP_D009 KAP_D024 distributed signal processing embedded systems exploration heuristics fault tolerance formal specification mechatronic design mobile robot multiprocessor architecture networks-on-chip pattern based analysis real-ti

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag US 2005
  • Publisher Name Springer, Boston, MA
  • eBook Packages Computer Science
  • Print ISBN 978-0-387-27557-4
  • Online ISBN 978-0-387-27559-8
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • Buy this book on publisher's site