Overview
- Covers design verification, automatic synthesis and mechanized debug aids
- 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)
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Electrical Engineering (LNEE, volume 106)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (15 papers)
Editors and Affiliations
Bibliographic Information
Book Title: System Specification and Design Languages
Book Subtitle: Selected Contributions from FDL 2010
Editors: Tom J. Kaźmierski, Adam Morawiec
Series Title: Lecture Notes in Electrical Engineering
DOI: https://doi.org/10.1007/978-1-4614-1427-8
Publisher: Springer New York, NY
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer Science+Business Media, LLC 2012
Hardcover ISBN: 978-1-4614-1426-1Published: 02 December 2011
Softcover ISBN: 978-1-4899-9441-7Published: 03 March 2014
eBook ISBN: 978-1-4614-1427-8Published: 02 December 2011
Series ISSN: 1876-1100
Series E-ISSN: 1876-1119
Edition Number: 1
Number of Pages: XII, 256
Topics: Circuits and Systems, Electronics and Microelectronics, Instrumentation, Processor Architectures