Advertisement

Advances in Design and Specification Languages for Embedded Systems

Selected Contributions from FDL'06

  • Sorin A. Huss

Table of contents

  1. Front Matter
    Pages i-x
  2. Analog, Mixed-Signal, and Heterogeneous System Design

    1. Front Matter
      Pages 1-3
    2. Fabien Prégaldiny, Christophe Lallement, Birahim Diagne, Jean-Michel Sallese, François Krummenacher
      Pages 5-21
    3. Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock
      Pages 37-51
    4. Daniel Platte, Shangjing Jing, Ralf Sommer, Erich Barke
      Pages 53-68
  3. C/C++-Based System Design

    1. Front Matter
      Pages 89-91
    2. Thorsten Schubert, Wolfgang Nebel
      Pages 93-109
    3. Deepak A. Mathaikutty, Sandeep K. Shukla
      Pages 111-129
    4. Frank Rogin, Erhard Fehlauer, Steffen Rülke, Sebastian Ohnewald, Thomas Berndt
      Pages 131-144
    5. Vesa Lahtinen, Jouni Siirtola, Tommi Mäkeläinen
      Pages 145-156
    6. Martin Radetzki
      Pages 157-174
  4. Formalisms for Property-Driven Design

    1. Front Matter
      Pages 175-178
    2. Katell Morin-Allory, Dominique Borrione
      Pages 197-207
    3. M. Metzger, F. Bastien, F. Rousseau, J. Vachon, E. M. Aboulhamid
      Pages 209-224
    4. Bernhard Niemann, Christian Haubelt, Maite Uribe Oyanguren, Jürgen Teich
      Pages 225-242
    5. Jens Brandt, Klaus Schneider
      Pages 243-260
  5. UML-Based System Specification and Design

    1. Front Matter
      Pages 261-263
    2. Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra
      Pages 265-284
    3. Klaus Kronlöf, Samu Kontinen, Ian Oliver, Timo Eriksson
      Pages 285-300
    4. Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet, Éric Rutten
      Pages 301-317
    5. Deepak A. Mathaikutty, Sandeep K. Shukla
      Pages 319-337
    6. Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal
      Pages 339-358

About this book

Introduction

Embedded systems are meanwhile in the focus of industry in quite different application domains such as automotive, avionics, telecom, and consumer products. The need for a shift in design methodologies towards system level design is widely recognised and design flows aimed to an integration of software and hardware specification and implementation approaches are being developed.

Standardization efforts, such as SystemC Transaction Level Modelling and Model Driven Architecture of the OMG, provide the foundations of these new design flows. Design and specification languages are of utmost interest in the area of embedded systems and the Forum on Specification and design Languages has been once again been the main European event for the embedded systems and chip design community.

Advances in Design and Specification Languages for Embedded Systems is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'06), which took place in September 2006 at Technische Universität Darmstadt, Germany. FDL, an ECSI conference, is the premier European forum to present research results, to exchange experiences, and to learn about new trends in the application of specification and design languages as well as of associated design and modelling methods and tools for integrated circuits, embedded systems, and heterogeneous systems. Modelling and specification concepts push the development of new methodologies for design and verification to system level, they thus provide the means for a model-driven design of complex information processing systems in a variety of application domains.

Keywords

Action C programming language C++ C++ programming language C/C++ Debugging metal-oxide-semiconductor transistor single-electron transistor static-induction transistor tools

Editors and affiliations

  • Sorin A. Huss
    • 1
  1. 1.Technische Universität DarmstadtGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4020-6149-3
  • Copyright Information Springer 2007
  • Publisher Name Springer, Dordrecht
  • eBook Packages Engineering
  • Print ISBN 978-1-4020-6147-9
  • Online ISBN 978-1-4020-6149-3
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering