Editors:
- 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)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (9 chapters)
-
Front Matter
-
Back Matter
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
The research of Sebastian Steinhorst (b. 1980) centers around design methodology and the hardware/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 University, 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