Overview
- 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
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (20 chapters)
-
Analog, Mixed-Signal, and Heterogeneous System Design
-
Formalisms for Property-Driven Design
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
Bibliographic Information
Book Title: Advances in Design and Specification Languages for Embedded Systems
Book Subtitle: Selected Contributions from FDL’06
Editors: Sorin A. Huss
DOI: https://doi.org/10.1007/978-1-4020-6149-3
Publisher: Springer Dordrecht
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer Science+Business Media B.V. 2007
Hardcover ISBN: 978-1-4020-6147-9Published: 29 June 2007
Softcover ISBN: 978-90-481-7549-9Published: 19 October 2010
eBook ISBN: 978-1-4020-6149-3Published: 19 July 2007
Edition Number: 1
Number of Pages: X, 358
Topics: Circuits and Systems, Programming Languages, Compilers, Interpreters, Special Purpose and Application-Based Systems, Computer System Implementation