img Leseprobe Leseprobe

Formal Specification Level

Concepts, Methods, and Algorithms

Rolf Drechsler, Mathias Soeken

PDF
ca. 96,29 €
Amazon iTunes Thalia.de Weltbild.de Hugendubel Bücher.de ebook.de kobo Osiander Google Books Barnes&Noble bol.com Legimi yourbook.shop Kulturkaufhaus ebooks-center.de
* Affiliatelinks/Werbelinks
Hinweis: Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.

Springer International Publishing img Link Publisher

Naturwissenschaften, Medizin, Informatik, Technik / Elektronik, Elektrotechnik, Nachrichtentechnik

Beschreibung

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.

Weitere Titel von diesem Autor
Cover Computer
Computer
Rolf Drechsler
14,99 €
Weitere Titel in dieser Kategorie
Cover ARDUINO DETECTION
ARDUINO DETECTION
ADDISON GARDNER
19,99 €

Kundenbewertungen

Schlagwörter

Formal Verification, Formal Specification Level, Software abstraction, Natural language processing, Electronic System Level, Verification of Embedded Systems