Embedded Systems: Design, Analysis and Verification

4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

  • Gunar Schirner
  • Marcelo Götz
  • Achim Rettberg
  • Mauro C. Zanella
  • Franz J. Rammig
Conference proceedings IESS 2013

Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT, volume 403)

Table of contents

  1. Front Matter
  2. Design Methodologies

    1. Takuya Azumi, Yasaman Samei Syahkal, Yuko Hara-Azumi, Hiroshi Oyama, Rainer Dömer
      Pages 1-13
    2. Truong-Giang Le, Dmitriy Fedosov, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo
      Pages 14-25
    3. Marco A. Wehrmeister, Gian R. Berkenbrock
      Pages 39-48
  3. Non-functional Aspects of Embedded Systems

    1. Rafael B. Parizi, Ronaldo R. Ferreira, Luigi Carro, Álvaro F. Moreira
      Pages 49-60
    2. Leonardo Steinfeld, Marcus Ritt, Fernando Silveira, Luigi Carro
      Pages 73-81
  4. Verification

    1. Marcel Pockrandt, Paula Herber, Verena Klös, Sabine Glesner
      Pages 92-103
    2. Marcela Šimková, Zdeněk Přikryl, Zdeněk Kotásek, Tomáš Hruška
      Pages 128-138
  5. Performance Analysis

    1. Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet
      Pages 139-150
    2. Artur Mariano, Dongwook Lee, Andreas Gerstlauer, Derek Chiou
      Pages 151-158
    3. Gustavo Kunzel, Jean Michel Winter, Ivan Muller, Carlos Eduardo Pereira, João Cesar Netto
      Pages 159-170
    4. Yuki Ando, Seiya Shibata, Shinya Honda, Hiroyuki Tomiyama, Hiroaki Takada
      Pages 171-180
  6. ARAMIS Special Session

    1. Simon Gansel, Stephan Schnitzer, Frank Dürr, Kurt Rothermel, Christian Maihöfer
      Pages 193-204
    2. Dirk Nowotka, Johannes Traub
      Pages 218-227
  7. Real-Time Systems

  8. Embedded System Applications

  9. Real-Time Aspects in Distributed Systems

  10. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013. The 22 full revised papers presented together with 8 short papers were carefully reviewed and selected from 42 submissions. The papers have been organized in the following topical sections: design methodologies; non-functional aspects of embedded systems; verification; performance analysis; real-time systems; embedded system applications; and real-time aspects in distributed systems. The book also includes a special chapter dedicated to BMBF funded ARAMIS project on Automotive, Railway and Avionics Multicore Systems.


formal verification model checking open hardware performance evaluation system-on-chip

Editors and affiliations

  • Gunar Schirner
    • 1
  • Marcelo Götz
    • 2
  • Achim Rettberg
    • 3
  • Mauro C. Zanella
    • 4
  • Franz J. Rammig
    • 5
  1. 1.Department of Electrical and Computer EngineeringNortheastern UniversityBostonUSA
  2. 2.Departamento de Engenharia ElétricaFederal University of Rio Grande do SulPorto AlegreBrazil
  3. 3.Carl von Ossietzky University OldenburgOldenburgGermany
  4. 4.ZF Friedrichshafen AGFriedrichshafenGermany
  5. 5.Heinz Nixdorf InstitutePaderborn UniversityPaderbornGermany

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-38852-1
  • Online ISBN 978-3-642-38853-8
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • Buy this book on publisher's site