Formal Specification Level

Concepts, Methods, and Algorithms

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Engineering, Computer Architecture
Cover of the book Formal Specification Level by Mathias Soeken, Rolf Drechsler, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Mathias Soeken, Rolf Drechsler ISBN: 9783319086996
Publisher: Springer International Publishing Publication: November 12, 2014
Imprint: Springer Language: English
Author: Mathias Soeken, Rolf Drechsler
ISBN: 9783319086996
Publisher: Springer International Publishing
Publication: November 12, 2014
Imprint: Springer
Language: English

This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner.  The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner.  The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces.

More books from Springer International Publishing

Cover of the book The United States and Military Coups in Turkey and Pakistan by Mathias Soeken, Rolf Drechsler
Cover of the book Outlaw Motorcycle Clubs and Street Gangs by Mathias Soeken, Rolf Drechsler
Cover of the book Corporate Responsibility and Digital Communities by Mathias Soeken, Rolf Drechsler
Cover of the book Directed Enzyme Evolution: Advances and Applications by Mathias Soeken, Rolf Drechsler
Cover of the book Wooden Domes by Mathias Soeken, Rolf Drechsler
Cover of the book SmartParticipation by Mathias Soeken, Rolf Drechsler
Cover of the book The Origins of Public Diplomacy in US Statecraft by Mathias Soeken, Rolf Drechsler
Cover of the book Bioequivalence Requirements in Various Global Jurisdictions by Mathias Soeken, Rolf Drechsler
Cover of the book Design of Power-Efficient Highly Digital Analog-to-Digital Converters for Next-Generation Wireless Communication Systems by Mathias Soeken, Rolf Drechsler
Cover of the book Phenomenology in a New Key: Between Analysis and History by Mathias Soeken, Rolf Drechsler
Cover of the book Practical Text Analytics by Mathias Soeken, Rolf Drechsler
Cover of the book Microsystems for Enhanced Control of Cell Behavior by Mathias Soeken, Rolf Drechsler
Cover of the book Multiobjective Linear Programming by Mathias Soeken, Rolf Drechsler
Cover of the book Mathematical Methods in Physics by Mathias Soeken, Rolf Drechsler
Cover of the book Stepped-Frequency Radar Sensors by Mathias Soeken, Rolf Drechsler
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy