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 Sustainable Agriculture Reviews 30 by Mathias Soeken, Rolf Drechsler
Cover of the book Essential Partial Differential Equations by Mathias Soeken, Rolf Drechsler
Cover of the book Sustainable Polymer Composites and Nanocomposites by Mathias Soeken, Rolf Drechsler
Cover of the book Regulating Corporate Criminal Liability by Mathias Soeken, Rolf Drechsler
Cover of the book Decision and Game Theory for Security by Mathias Soeken, Rolf Drechsler
Cover of the book Fractal Flow Design: How to Design Bespoke Turbulence and Why by Mathias Soeken, Rolf Drechsler
Cover of the book Advances in Social and Occupational Ergonomics by Mathias Soeken, Rolf Drechsler
Cover of the book Economic Objects and the Objects of Economics by Mathias Soeken, Rolf Drechsler
Cover of the book Objects and Modalities by Mathias Soeken, Rolf Drechsler
Cover of the book Femininity, Masculinity, and Sexuality in Morocco and Hollywood by Mathias Soeken, Rolf Drechsler
Cover of the book Enhanced Surface Imaging of Crustal Deformation by Mathias Soeken, Rolf Drechsler
Cover of the book Issues of Gender and Sexual Orientation in Humanitarian Emergencies by Mathias Soeken, Rolf Drechsler
Cover of the book Map Framework by Mathias Soeken, Rolf Drechsler
Cover of the book Nonlocal Diffusion and Applications by Mathias Soeken, Rolf Drechsler
Cover of the book Evolution of Karst in the Lower Part of Crna Reka River Basin 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