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 Ethnoarchaeology of the Kel Tadrart Tuareg by Mathias Soeken, Rolf Drechsler
Cover of the book Re-Examining The Crime Drop by Mathias Soeken, Rolf Drechsler
Cover of the book Coastal Cliffs: Morphology and Management by Mathias Soeken, Rolf Drechsler
Cover of the book The Social and Human Sciences in Global Power Relations by Mathias Soeken, Rolf Drechsler
Cover of the book Beta-Lactams by Mathias Soeken, Rolf Drechsler
Cover of the book Geothermics by Mathias Soeken, Rolf Drechsler
Cover of the book Noncolorectal, Nonneuroendocrine Liver Metastases by Mathias Soeken, Rolf Drechsler
Cover of the book The Ocimum Genome by Mathias Soeken, Rolf Drechsler
Cover of the book The Happy Mind: Cognitive Contributions to Well-Being by Mathias Soeken, Rolf Drechsler
Cover of the book Adolescent Gynecology by Mathias Soeken, Rolf Drechsler
Cover of the book NATO, Civilisation and Individuals by Mathias Soeken, Rolf Drechsler
Cover of the book Production and Breeding of Chilli Peppers (Capsicum spp.) by Mathias Soeken, Rolf Drechsler
Cover of the book Global Supply Chain and Operations Management by Mathias Soeken, Rolf Drechsler
Cover of the book Neuroprotective Therapy for Stroke and Ischemic Disease by Mathias Soeken, Rolf Drechsler
Cover of the book Trade Credit and Temporary Employment 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