Advances in Design and Specification Languages for Embedded Systems

Selected Contributions from FDL’06

Editors: Huss, Sorin Alexander (Ed.)

  • 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
see more benefits

Buy this book

eBook $189.00
price for USA (gross)
  • ISBN 978-1-4020-6149-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $239.00
price for USA
valid through November 5, 2017
  • ISBN 978-1-4020-6147-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $239.00
price for USA
  • ISBN 978-90-481-7549-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (3 chapters)

  • 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

  • Formalizing TLM with Communicating State Machines

    Bernhard Niemann, Christian Haubelt, Maite Uribe Oyanguren, et al.

    Pages 225-242

  • Different Kinds of System Descriptions as Synchronous Programs

    Jens Brandt, Klaus Schneider

    Pages 243-260

Buy this book

eBook $189.00
price for USA (gross)
  • ISBN 978-1-4020-6149-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $239.00
price for USA
valid through November 5, 2017
  • ISBN 978-1-4020-6147-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $239.00
price for USA
  • ISBN 978-90-481-7549-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Advances in Design and Specification Languages for Embedded Systems
Book Subtitle
Selected Contributions from FDL’06
Editors
  • Sorin Alexander Huss
Copyright
2007
Publisher
Springer Netherlands
Copyright Holder
Springer Science+Business Media B.V.
eBook ISBN
978-1-4020-6149-3
DOI
10.1007/978-1-4020-6149-3
Hardcover ISBN
978-1-4020-6147-9
Softcover ISBN
978-90-481-7549-9
Edition Number
1
Number of Pages
X, 358
Topics