Skip to main content

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s

Selected Contributions on Specification, Design, and Verification from FDL 2009

  • Book
  • © 2010

Overview

  • FDL is the unique yearly European event that focuses on design languages their use
  • Includes a selection of the best contributions of the 12th FDL
  • FDL contributions are original works that are intended to become practically useful
  • Includes supplementary material: sn.pub/extras

Part of the book series: Lecture Notes in Electrical Engineering (LNEE, volume 63)

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 chapters)

  1. UML and MDE for Embedded Systems

  2. C/C++-Based System Design

  3. Embedded Analog and Mixed-Signal System Design

  4. Assertion Based Design, Verification & Debug

Keywords

About this book

More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeling and design methods, and their latest supporting tools, for complex embedded systems, systems on chip, and heterogeneous systems.

FDL 2009 is the twelfth in a series of events that were held all over Europe, in selected locations renowned for their Universities and Reseach Institutions as well as the importance of their industrial environment in Computer Science and Micro-electronics. In 2009, FDL was organized in the attractive south of France area of Sophia Antipolis. together with the DASIP (Design and Architectures for Signal and Image Processing) Conference and the SAME (Sophia Antipolis MicroElectronics ) Forum.

All submitted papers were carefully reviewed to build a program with 27 full and 10 short contributions. From these, the Program Committee selected a shorter list, based on the evaluations of the reviewers, and the originality and relevance of the work that was presented at the Forum. The revised, and sometimes extended versions of these contributions constitute the chapters of this volume.

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s presents extensions to standard specification and description languages, as well as new language-based design techniques and methodologies to solve the challenges raised by mixed signal and multi-processor systems on a chip. It is intended as a reference for researchers and lecturers, as well as a state of the art milestone for designers and CAD developers.

Editors and Affiliations

  • , (CNRS, Grenoble INP, UJF), TIMA Laboratory, Grenoble, France

    Dominique Borrione

Bibliographic Information

  • Book Title: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s

  • Book Subtitle: Selected Contributions on Specification, Design, and Verification from FDL 2009

  • Editors: Dominique Borrione

  • Series Title: Lecture Notes in Electrical Engineering

  • DOI: https://doi.org/10.1007/978-90-481-9304-2

  • Publisher: Springer Dordrecht

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springer Science+Business Media B.V. 2010

  • Hardcover ISBN: 978-90-481-9303-5Published: 18 September 2010

  • Softcover ISBN: 978-94-007-3333-6Published: 06 November 2012

  • eBook ISBN: 978-90-481-9304-2Published: 24 August 2010

  • Series ISSN: 1876-1100

  • Series E-ISSN: 1876-1119

  • Edition Number: 1

  • Number of Pages: VIII, 248

  • Topics: Circuits and Systems, Programming Languages, Compilers, Interpreters

Publish with us