Overview
- 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
Part of the book series: Lecture Notes in Electrical Engineering (LNEE, volume 10)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (19 chapters)
-
Front Matter
-
C/C++ Based System Design
-
UML-Based System Specification and Design
Keywords
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. Specification and Design Languages for Heterogeneous HW/SW Embedded Systems 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 Specification and Design Languages for Heterogeneous HW/SW Embedded Systems 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.
Editors and Affiliations
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
DOI: https://doi.org/10.1007/978-1-4020-8297-9
Publisher: Springer Dordrecht
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer Science+Business Media B.V. 2008
Hardcover ISBN: 978-1-4020-8296-2Published: 13 May 2008
Softcover ISBN: 978-90-481-7834-6Published: 28 October 2010
eBook ISBN: 978-1-4020-8297-9Published: 15 May 2008
Series ISSN: 1876-1100
Series E-ISSN: 1876-1119
Edition Number: 1
Number of Pages: IX, 275
Topics: Circuits and Systems, Computer Hardware, Special Purpose and Application-Based Systems, Software Engineering/Programming and Operating Systems