Skip to main content
SpringerLink
Log in

Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2013

  • Book
  • © 2015

Overview

Editors:
  1. Marie-Minerve Louërat

    1. UMR 7606, LIP6, Sorbonne Universités, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Torsten Maehne

    1. CNRS, UMR 7606, LIP6, Sorbonne Universités, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Covers applications of formal methods for specification, verification and debug
  • Includes embedded analog and mixed-signal system design
  • Enables model-driven engineering for embedded systems design and development
  • Includes supplementary material: sn.pub/extras

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

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

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 109.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 (15 chapters)

  1. Front Matter

    Pages i-xxxiv
    Download chapter PDF

  2. Applications of Formal Methods for Specification and Verification

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Optimal Component Selection for Energy-Efficient Systems

      • Matthias Sauppe, Thomas Horn, Erik Markert, Ulrich Heinkel, Hans-Werner Sahm, Klaus-Holger Otto
      Pages 3-20

    3. Assisting Refinement in System-on-Chip Design

      • Hocine Mokrani, Rabéa Ameur-Boulifa, Emmanuelle Encrenaz-Tiphene
      Pages 21-42

  3. Embedded Analog and Mixed-Signal System Verification

    1. Front Matter

      Pages 43-43
      Download chapter PDF

    2. A New Assertion Property Language for Analog/Mixed-Signal Circuits

      • Andrew N. Fisher, Dhanashree Kulkarni, Chris J. Myers
      Pages 45-65

    3. Integrating Circuit Analyses for Assertion-Based Verification of Programmable AMS Circuits

      • Dogan Ulus, Alper Sen, Faik Baskaya
      Pages 67-84

  4. Embedded Analog and Mixed-Signal System Design

    1. Front Matter

      Pages 85-85
      Download chapter PDF

    2. Hybrid Dynamical Systems for Memristor Modelling

      • Joachim Haase, André Lange
      Pages 87-101

    3. Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity

      • Franco Fummi, Michele Lora, Francesco Stefanni, Sara Vinco
      Pages 103-124

  5. Digital Hardware/Software Embedded System Design

    1. Front Matter

      Pages 125-125
      Download chapter PDF

    2. SystemC Modeling with Transaction Events

      • Bastian Haetzer, Martin Radetzki
      Pages 127-146

    3. Automatic Generation of Virtual Prototypes from Platform Templates

      • Seyed Hosein Attarzadeh Niaki, Marcus Mikulcak, Ingo Sander
      Pages 147-166

    4. Combining Analytical and Simulation-Based Design Space Exploration for Efficient Time-Critical and Mixed-Criticality Systems

      • Fernando Herrera, Ingo Sander
      Pages 167-188

    5. Bridging Algorithm and ESL Design: MATLAB/Simulink Model Transformation and Validation

      • Liyuan Zhang, Michael Glaß, Nils Ballmann, Jürgen Teich
      Pages 189-206

    6. Software Allocation in Automotive Networked Embedded Systems: A Graph-Based Approach

      • Yasser Shoukry, M. Watheq El-Kharashi , Sherif Hammad, Ajay Kumar, Ghada Bahig
      Pages 207-221

    7. Fine-Grained Adaptive Simulation

      • Marcus Eggenberger, Martin Radetzki
      Pages 223-242

  6. Model-Driven Engineering for Embedded System Design

    1. Front Matter

      Pages 243-243
      Download chapter PDF

    2. Model-Based Design of Real Time Embedded Application Reconfiguration

      • Mouna Ben Said, Yessine Hadj Kacem, Nader Ben Amor, Mickaël Kerboeuf, Mohamed Abid
      Pages 245-264

    3. Split of Composite Components for Distributed Applications

      • Ansgar Radermacher, Önder Gürcan, Arnaud Cuccuru, Sébastien Gérard, Brahim Hamid
      Pages 265-280
Back to top

Keywords

About this book

This book brings together a selection of the best papers from the sixteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2013 in Paris, France. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems and mixed-technology systems.

Editors and Affiliations

  • UMR 7606, LIP6, Sorbonne Universités, Paris, France

    Marie-Minerve Louërat

  • CNRS, UMR 7606, LIP6, Sorbonne Universités, Paris, France

    Torsten Maehne

Bibliographic Information

  • Book Title: Languages, Design Methods, and Tools for Electronic System Design

  • Book Subtitle: Selected Contributions from FDL 2013

  • Editors: Marie-Minerve Louërat, Torsten Maehne

  • Series Title: Lecture Notes in Electrical Engineering

  • DOI: https://doi.org/10.1007/978-3-319-06317-1

  • Publisher: Springer Cham

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springer International Publishing Switzerland 2015

  • Hardcover ISBN: 978-3-319-06316-4Published: 04 September 2014

  • Softcover ISBN: 978-3-319-35913-7Published: 10 September 2016

  • eBook ISBN: 978-3-319-06317-1Published: 21 August 2014

  • Series ISSN: 1876-1100

  • Series E-ISSN: 1876-1119

  • Edition Number: 1

  • Number of Pages: XXXIV, 305

  • Number of Illustrations: 67 b/w illustrations, 50 illustrations in colour

  • Topics: Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation

Publish with us

Policies and ethics

Back to top

Search

Navigation