Skip to main content
SpringerLink
Log in

Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2018

  • Book
  • © 2020

Overview

Editors:
  1. Tom J. Kazmierski

    1. University of Southampton, Southampton, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sebastian Steinhorst

    1. Technical University of Munich, München, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Daniel Große

    1. University of Bremen and DFKI GmbH, Bremen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Covers Assertion Based Design, Verification & Debug
  • Includes language-based modeling and design techniques for embedded systems
  • Covers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domains
  • Includes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE)

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

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.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 (9 chapters)

  1. Front Matter

    Pages i-vii
    Download chapter PDF

  2. Time in SCCharts

    • Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni
    Pages 1-25

  3. Generation of Functional Mockup Units for Transactional Cyber-Physical Virtual Platforms

    • Stefano Centomo, Michele Lora, Franco Fummi
    Pages 27-46

  4. Safe Interoperability for Web of Things Devices and Systems

    • Ege Korkan, Sebastian Kaebisch, Matthias Kovatsch, Sebastian Steinhorst
    Pages 47-69

  5. Automatic Design of Microfluidic Devices: An Overview of Platforms and Corresponding Design Tasks

    • Robert Wille, Bing Li, Rolf Drechsler, Ulf Schlichtmann
    Pages 71-87

  6. A New Ageing-Aware Approach via Path Isolation

    • Yue Lu, Shengyu Duan, Tom J. Kazmierski
    Pages 89-98

  7. SystemC Coding Guideline for Faster Out-of-Order Parallel Discrete Event Simulation

    • Zhongqi Cheng, Tim Schmidt, Rainer Dömer
    Pages 99-114

  8. Extensible and Configurable RISC-V Based Virtual Prototype

    • Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler
    Pages 115-134

  9. AADD-Based Symbolic Simulation of SystemC AMS

    • Carna Zivkovic, Christoph Grimm
    Pages 135-160

  10. Blech, Imperative Synchronous Programming!

    • Friedrich Gretz, Franz-Josef Grosch
    Pages 161-186

  11. Back Matter

    Pages 187-192
    Download chapter PDF
Back to top

Keywords

About this book

This book brings together a selection of the best papers from the twenty-first edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 10-12, 2018, in Munich, Germany.  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.

  • Covers Assertion Based Design, Verification & Debug;
  • Includes language-based modeling and design techniques for embedded systems;
  • Covers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domains;
  • Includes formal and semi-formal system level design methods for complex embeddedsystems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE).

Editors and Affiliations

  • University of Southampton, Southampton, UK

    Tom J. Kazmierski

  • Technical University of Munich, München, Germany

    Sebastian Steinhorst

  • University of Bremen and DFKI GmbH, Bremen, Germany

    Daniel Große

About the editors

Tom J Kazmierski is an Associate Professor the Electronic Systems and Software Research Group at the Faculty of Physical Sciences and Engineering, University of Southampton, UK. He received the M.S. degree in Electronic Engineering from the Warsaw University of Technology, Warsaw, Poland, in 1973 and the Ph.D. degree from the Military University of Technology, Warsaw, in 1976.   He pursues research into numerical modelling, simulation, and synthesis techniques for computer-aided design of very large scale integration (VLSI) circuits and mixed-technology systems. From 1989 to 1990 he was a Lecturer in Microelectronics at the Griffith University in Brisbane, Australia. From 1990 to 1991 Tom worked as a Visiting Research Scientist at the IBM VLSI Technology Division, San Jose, CA, USA where he developed and patented synchronisation techniques for multi-solver simulation backplanes. He has contributed to the development of the VHDL-AMS standard by the IEEE, served as Chair of theIEEE DASC P1076.1 (VHDL-AMS) Working Group from 1999 to 2005. He has published over 160 papers, edited three books, and given a number of conference keynotes, invited talks and tutorials mostly in the area of analogue and mixed signal synthesis and hardware description languages. In recent years he has been working on simulation techniques, applications of VHDL-AMS and other hardware description languages to high-level system modelling and synthesis, including automated analogue and mixed-signal synthesis for ASIC design, synthesis of artificial VLSI neural networks, performance modelling of mixed-technology electromechanical systems and energy-harvester powered sensor nodes.

 

The research of Sebastian Steinhorst (b. 1980) centers around design methodology and the hard­ware/software co-design of distributed embedded systems for use in Internet of Things, smart energy and automotive applications. Key aspects are the architecture, modelling, verification, efficiency, dependability and security of such systems, taking all abstraction levels into consideration.

 

Prof. Steinhorst studied computer science at Goethe University Frankfurt, Germany. He received his PhD from the same university in 2011. From 2011 to 2016 he worked at the TUM CREATE research center in Singapore where he was leading the Embedded Systems Group as principal investigator (since 2015) and previously held senior research fellow and research fellow positions. From May till September 2016 he was an assistant professor in the Department of Engineering at Aarhus Uni­ver­sity, Denmark. Sebastian Steinhorst has been a Rudolf Moessbauer tenure track assistant professor at TUM since November 2016

 

Daniel Grosse is a Senior Researcher @ AGRA - University of Bremen, in Germany.

Bibliographic Information

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

  • Book Subtitle: Selected Contributions from FDL 2018

  • Editors: Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große

  • Series Title: Lecture Notes in Electrical Engineering

  • DOI: https://doi.org/10.1007/978-3-030-31585-6

  • Publisher: Springer Cham

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springer Nature Switzerland AG 2020

  • Hardcover ISBN: 978-3-030-31584-9Published: 21 December 2019

  • Softcover ISBN: 978-3-030-31587-0Published: 21 January 2021

  • eBook ISBN: 978-3-030-31585-6Published: 20 December 2019

  • Series ISSN: 1876-1100

  • Series E-ISSN: 1876-1119

  • Edition Number: 1

  • Number of Pages: VII, 192

  • Number of Illustrations: 36 b/w illustrations, 41 illustrations in colour

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

Publish with us

Policies and ethics

Back to top

Search

Navigation