© 2005

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

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

Industry Sectors
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences