Skip to main content
SpringerLink
Log in
Book cover

Advances in Design and Specification Languages for Embedded Systems

Selected Contributions from FDL’06

  • Book
  • © 2007

Overview

Editors:
  1. Sorin A. Huss

    1. Technische Universität Darmstadt, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Represents the state of the art in research and practice
  • Identifies new research directions
  • Highlights the role of specification and modelling languages
  • Presents practical experiences with specification and modelling languages

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Analog, Mixed-Signal, and Heterogeneous System Design

    1. Front Matter

      Pages 1-3
      Download chapter PDF

    2. Compact Modeling of Emerging Technologies with VHDL-AMS

      • Fabien Prégaldiny, Christophe Lallement, Birahim Diagne, Jean-Michel Sallese, François Krummenacher
      Pages 5-21

    3. Baseband Modeling Using Multidimensional Networks in VHDL-AMS

      • Joachim Haase
      Pages 23-35

    4. Verification-Oriented Behavioral Modeling of NonLinear Analog Parts of Mixed-Signal Circuits

      • Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock
      Pages 37-51

    5. Improving Efficiency and Robustness of Analog Behavioral Models

      • Daniel Platte, Shangjing Jing, Ralf Sommer, Erich Barke
      Pages 53-68

    6. ModelLib: A Web-Based Platform for Collecting Behavioural Models and Supporting the Design of AMS Systems

      • Torsten Mähne, Alain Vachoux
      Pages 69-88

  3. C/C++-Based System Design

    1. Front Matter

      Pages 89-91
      Download chapter PDF

    2. The Quiny SystemCTM Front End: Self-Synthesising Designs

      • Thorsten Schubert, Wolfgang Nebel
      Pages 93-109

    3. Mining Metadata from SystemC IP Library

      • Deepak A. Mathaikutty, Sandeep K. Shukla
      Pages 111-129

    4. Nonintrusive High-level SystemC Debugging

      • Frank Rogin, Erhard Fehlauer, Steffen Rülke, Sebastian Ohnewald, Thomas Berndt
      Pages 131-144

    5. Transaction-Level Modeling in Communication Engine Design: A Case Study

      • Vesa Lahtinen, Jouni Siirtola, Tommi Mäkeläinen
      Pages 145-156

    6. Object-Oriented Transaction-Level Modelling

      • Martin Radetzki
      Pages 157-174

  4. Formalisms for Property-Driven Design

    1. Front Matter

      Pages 175-178
      Download chapter PDF

    2. An Efficient Synthesis Method for Property-Based Design in Formal Verification: On Consistency and Completeness of Property-Sets

      • Martin Schickel, Volker Nimbler, Martin Braun, Hans Eveking
      Pages 179-196

    3. Online Monitoring of Properties Built on Regular Expressions Sequences

      • Katell Morin-Allory, Dominique Borrione
      Pages 197-207

    4. Observer-BasedVerification Using Introspection: A System-level Verification Implementation

      • M. Metzger, F. Bastien, F. Rousseau, J. Vachon, E. M. Aboulhamid
      Pages 209-224

    5. Formalizing TLM with Communicating State Machines

      • Bernhard Niemann, Christian Haubelt, Maite Uribe Oyanguren, Jürgen Teich
      Pages 225-242

    6. Different Kinds of System Descriptions as Synchronous Programs

      • Jens Brandt, Klaus Schneider
      Pages 243-260

  5. UML-Based System Specification and Design

    1. Front Matter

      Pages 261-263
      Download chapter PDF
Back to top

Keywords

About this book

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 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), in September 2006. FDL, an ECSI conference, is the premier European forum to present research results, exchange experiences, and 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.

Editors and Affiliations

  • Technische Universität Darmstadt, Germany

    Sorin A. Huss

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation