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
Table of contents (15 papers)
Keywords
About this book
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