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 Analysis and Simulation of Electrical and Computer Systems by Mathias Soeken, Rolf Drechsler
Cover of the book Governance and Performance of Water Utility Firms by Mathias Soeken, Rolf Drechsler
Cover of the book Workplace Innovation by Mathias Soeken, Rolf Drechsler
Cover of the book Design of Digital Chaotic Systems Updated by Random Iterations by Mathias Soeken, Rolf Drechsler
Cover of the book Distributed Computing by Mobile Entities by Mathias Soeken, Rolf Drechsler
Cover of the book Quantum Theory and Free Will by Mathias Soeken, Rolf Drechsler
Cover of the book Landform Dynamics and Evolution in Romania by Mathias Soeken, Rolf Drechsler
Cover of the book Limits of the Secular by Mathias Soeken, Rolf Drechsler
Cover of the book Textbook of Rapid Response Systems by Mathias Soeken, Rolf Drechsler
Cover of the book Acoustics-A Textbook for Engineers and Physicists by Mathias Soeken, Rolf Drechsler
Cover of the book Excel 2016 for Business Statistics by Mathias Soeken, Rolf Drechsler
Cover of the book Vitreoretinal Surgery: Strategies and Tactics by Mathias Soeken, Rolf Drechsler
Cover of the book Aware Food Choices: Bridging the Gap Between Consumer Knowledge About Nutritional Requirements and Nutritional Information by Mathias Soeken, Rolf Drechsler
Cover of the book Network Science In Education by Mathias Soeken, Rolf Drechsler
Cover of the book Metastatic Spine Disease 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