More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours today>>

Lecture Notes in Electrical Engineering

Languages for Embedded Systems and their Applications

Selected Contributions on Specification, Design, and Verification from FDL'08

Editors: Radetzki, Martin (Ed.)

  • Covers the latest research results in the field
  • Gives an overview of current research trends in the field
  • Offers extended versions of the best-rated contributions to the number one conference in the field
  • Makes connections to applications in an industrial context
see more benefits

Buy this book

eBook $189.00
price for USA (gross)
valid through October 16, 2017
  • ISBN 978-1-4020-9714-0
  • 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 October 16, 2017
  • ISBN 978-1-4020-9713-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $239.00
price for USA
  • ISBN 978-90-481-8191-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Embedded systems take over complex control and data processing tasks in diverse application fields such as automotive, avionics, consumer products, and telecommunications. They are the primary driver for improving overall system safety, efficiency, and comfort. The demand for further improvement in these aspects can only be satisfied by designing embedded systems of increasing complexity, which in turn necessitates the development of new system design methodologies based on specification, design, and verification languages.

The objective of Languages for Embedded Systems and their Applications is to provide researchers and designers with an overview of current research trends, results, and application experiences in computer languages for embedded systems. The book builds upon the most relevant contributions to FDL’08, the premier international conference specializing in this field. These contributions have been selected based on the results of reviews provided by leading experts from research and industry. In many cases, the authors have improved their original work by adding breadth, depth, or explanation.

Table of contents (20 chapters)

  • Power and Energy Estimations in Model-Based Design

    Senn, Eric (et al.)

    Pages 3-26

  • MARTE vs. AADL for Discrete-Event and Discrete-Time Domains

    Mallet, Frédéric (et al.)

    Pages 27-41

  • Generation of MARTE Allocation Models from Activity Threads

    Liehr, Andreas W. (et al.)

    Pages 43-56

  • Model-Driven System Validation by Scenarios

    Carioni, A. (et al.)

    Pages 57-69

  • An Advanced Simulink Verification Flow Using SystemC

    Hylla, Kai (et al.)

    Pages 71-84

Buy this book

eBook $189.00
price for USA (gross)
valid through October 16, 2017
  • ISBN 978-1-4020-9714-0
  • 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 October 16, 2017
  • ISBN 978-1-4020-9713-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $239.00
price for USA
  • ISBN 978-90-481-8191-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
Languages for Embedded Systems and their Applications
Book Subtitle
Selected Contributions on Specification, Design, and Verification from FDL'08
Editors
  • Martin Radetzki
Series Title
Lecture Notes in Electrical Engineering
Series Volume
36
Copyright
2009
Publisher
Springer Netherlands
Copyright Holder
The Editor(s) (if applicable) and The Author(s) 2018
eBook ISBN
978-1-4020-9714-0
DOI
10.1007/978-1-4020-9714-0
Hardcover ISBN
978-1-4020-9713-3
Softcover ISBN
978-90-481-8191-9
Series ISSN
1876-1100
Edition Number
1
Number of Pages
XIV, 324
Topics