© 2008

Embedded Systems Specification and Design Languages

Selected contributions from FDL’07

  • Eugenio Villar
  • Unique collection of selected papers from FDL’07

  • Improved version of papers from FDL’07

  • Latest research results in C/C++ Based System Design

  • Latest research results in Analog, Mixed-Signal, and Heterogeneous System Design

  • Latest research results in UML-Based System Specification and Design

  • Latest research results in Formalisms for Property-Driven Design


Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 10)

Table of contents

  1. Front Matter
    Pages i-ix
  2. C/C++ Based System Design

    1. Jens Brandt, Klaus Schneider
      Pages 3-13
    2. Cédric Koch-Hofer, Marc Renaudin
      Pages 15-29
    3. Martin Radetzki, Rauf Salimi Khaligh
      Pages 31-43
    4. Robert Guenzel, Wolfgang Klingauf, James Aldis
      Pages 45-58
    5. Frank Rogin, Christian Genz, Rolf Drechsler, Steffen Rülke
      Pages 59-71
    6. Daniel Große, Hernan Peraza, Wolfgang Klingauf, Rolf Drechsler
      Pages 73-86
    7. Dragos Truscan, Kim Sandström, Johan Lilius, Ivan Porres
      Pages 87-103
  3. Analog, Mixed-Signal, and Heterogeneous System Design

    1. F. Herrera, E. Villar, C. Grimm, M. Damm, J. Haase
      Pages 107-121
    2. Leran Wang, Chenxu Zhao, Tom J. Kazmierski
      Pages 123-136
    3. Jürgen Weber, Andreas Lemke, Andreas Lehmler, Mario Anton, Sorin A. Huss
      Pages 137-152
  4. UML-Based System Specification and Design

    1. Charles André, Frédéric Mallet, Robert de Simone
      Pages 155-168
    2. Frédéric Thomas, Sébastien Gérard, Jérôme Delatour, François Terrier
      Pages 169-182
    3. Huafeng Yu, Abdoulaye Gamatié, Eric Rutten, Jean-Luc Dekeyser
      Pages 183-198
    4. S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra
      Pages 211-226
    5. Marcello Mura, Marco Paolieri
      Pages 227-239
  5. Formalisms for Property-Driven Design

    1. K. Morin-Allory, L. Fesquet, B. Roustan, D. Borrione
      Pages 243-253
    2. D. Karlsson, P. Eles, Z. Peng
      Pages 255-270
    3. Martin Schickel, Martin Oberkönig, Martin Schweikert, Hans Eveking
      Pages 271-275

About this book


FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and to learn about new trends in the application of specification and design languages and the associated design and modeling methods and tools for complex, heterogeneous HW/SW embedded systems. FDL’07 was the tenth of a series of successful events held all around Europe. FDL’07 was held in Barcelona, the capital city of Catalonia, Spain. The high number of submissions to the conference this year allowed the Program Committee to prepare a high quality conference program. Embedded Systems Specification and Design Languages includes a selection of the most relevant contributions based on the review made by the program committee members and the quality of the contents of the presentation at the conference. In many cases, the authors have improved the original content with additional technical information. The papers cover the most important aspects in system modeling and specification, an essential area in Embedded Systems design.

The objective of Embedded Systems Specification and Design Languages is to serve as a reference text for researchers and designers interested in the extension and improvement of the application of design and verification languages in the area of Embedded Systems.


C++ programming language Debugging Embedded System Signal SystemC Unified Modeling Language (UML) analog design embedded systems language modeling system design system specification transistor verification

Editors and affiliations

  • Eugenio Villar
    • 1
  1. 1.University of CantabriaSpain

Bibliographic information

Industry Sectors
IT & Software
Energy, Utilities & Environment
Oil, Gas & Geosciences