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 Anticoagulation Management by Mathias Soeken, Rolf Drechsler
Cover of the book Imaging and Metabolism by Mathias Soeken, Rolf Drechsler
Cover of the book Economic and Social Development of the Southern and Eastern Mediterranean Countries by Mathias Soeken, Rolf Drechsler
Cover of the book Model-Driven Design Using IEC 61499 by Mathias Soeken, Rolf Drechsler
Cover of the book Computing and Combinatorics by Mathias Soeken, Rolf Drechsler
Cover of the book The Spectrum of Gratitude Experience by Mathias Soeken, Rolf Drechsler
Cover of the book Astrobiological Neurosystems by Mathias Soeken, Rolf Drechsler
Cover of the book Proceedings of the 16th International Conference on Hybrid Intelligent Systems (HIS 2016) by Mathias Soeken, Rolf Drechsler
Cover of the book Populist Discourse in Venezuela and the United States by Mathias Soeken, Rolf Drechsler
Cover of the book Carbon Management, Technologies, and Trends in Mediterranean Ecosystems by Mathias Soeken, Rolf Drechsler
Cover of the book European Arrest Warrant by Mathias Soeken, Rolf Drechsler
Cover of the book Towards a Philosophy of Caring in Higher Education by Mathias Soeken, Rolf Drechsler
Cover of the book Hypotheses and Perspectives in the History and Philosophy of Science by Mathias Soeken, Rolf Drechsler
Cover of the book Communications and Networking by Mathias Soeken, Rolf Drechsler
Cover of the book Geophysical Methods for Cultural Heritage Management 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