Embedded systems specification and design languages: selected contributions from FDL’07

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. Unique collection of selected papers from FDL’07 Improved version of papers from FDL’07 Latest research results in C/C++ Based SystemDesign 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 INDICE: From the contents Part I: C/C++ Based System Design. Part II: Analog, Mixed-Signal, and Heterogeneous System Design. Part III: UML-Based System Specification and Design. Part IV: Formalisms for Property-Driven Design.

• ISBN: 978-1-4020-8296-2
• Editorial: Springer
• Encuadernacion: Cartoné
• Páginas: 400
• Fecha Publicación: 01/03/2008
• Nº Volúmenes: 1
• Idioma: Inglés