Hundreds of Mathematics books at half price + FREE shipping! Get yours now >>

Lecture Notes in Electrical Engineering

Embedded Systems Specification and Design Languages

Selected Contributions from FDL’07

Editors: Villar, Eugenio (Ed.)

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

Buy this book

eBook $149.00
price for USA (gross)
  • ISBN 978-1-4020-8297-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $199.00
price for USA
  • ISBN 978-1-4020-8296-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $199.00
price for USA
  • ISBN 978-90-481-7834-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (19 chapters)

  • How Different Are Esterel and SystemC

    Brandt, Jens (et al.)

    Pages 3-13

  • Timed Asynchronous Circuits Modeling and Validation Using SystemC

    Koch-Hofer, Cédric (et al.)

    Pages 15-29

  • On Construction of Cycle Approximate Bus TLMs

    Radetzki, Martin (et al.)

    Pages 31-43

  • Combinatorial Dependencies in Transaction Level Models

    Guenzel, Robert (et al.)

    Pages 45-58

  • An Integrated SystemC Debugging Environment

    Rogin, Frank (et al.)

    Pages 59-71

Buy this book

eBook $149.00
price for USA (gross)
  • ISBN 978-1-4020-8297-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $199.00
price for USA
  • ISBN 978-1-4020-8296-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $199.00
price for USA
  • ISBN 978-90-481-7834-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Embedded Systems Specification and Design Languages
Book Subtitle
Selected Contributions from FDL’07
Editors
  • Eugenio Villar
Series Title
Lecture Notes in Electrical Engineering
Series Volume
10
Copyright
2008
Publisher
Springer Netherlands
Copyright Holder
The Editor(s) (if applicable) and The Author(s) 2018
eBook ISBN
978-1-4020-8297-9
DOI
10.1007/978-1-4020-8297-9
Hardcover ISBN
978-1-4020-8296-2
Softcover ISBN
978-90-481-7834-6
Series ISSN
1876-1100
Edition Number
1
Number of Pages
IX, 275
Topics