By Mathias Soeken,Rolf Drechsler

This e-book introduces a brand new point of abstraction that closes the distance among the textual specification of embedded platforms and the executable version on the digital process point (ESL). Readers might be enabled to function at this new, Formal Specification point (FSL), utilizing versions which not just permit major verification initiatives during this early degree of the layout move, but additionally should be extracted semi-automatically from the textual specification in an interactive manner.  The authors clarify easy methods to use those verification projects to envision conceptual houses, e.g. no matter if necessities are in clash, in addition to dynamic habit, by way of execution traces.

Show description

Read Online or Download Formal Specification Level: Concepts, Methods, and Algorithms PDF

Similar systems architecture books

Open Text Metastorm ProVision® 6.2 Strategy Implementation

This can be either a realistic and theoretical consultant detailing find out how to installation a winning ProVision® procedure, utilizing a few genuine company instances alongside the way in which. not like different structure books, the strategy is holistic - it seems to be on the complete lifecycle of creating a company case, via to utilizing the product.

SystemC and SystemC-AMS in Practice: SystemC 2.3, 2.2 and SystemC-AMS 1.0

This booklet describes how engineers could make optimal use of the 2 typical analysis/design instruments, SystemC and SystemC-AMS.  The authors use a system-level layout procedure, emphasizing how SystemC and SystemC-AMS positive aspects could be exploited so much successfully to analyze/understand a given digital method and discover the layout house.

HSPA Evolution: The Fundamentals for Mobile Broadband

This booklet is vital examining for these wishing to procure a structures standpoint and a vast view at the history, functionality and alertness of the newest advancements in HSPA within the context of the calls for on today’s cellular broadband units and networks. It takes the reader backstage of 3GPP and gives an simply obtainable realizing of the elemental rules, the newest steps within the standard’s evolution, and the motivations at the back of the advance of standardized good points.

Formal Specification Level: Concepts, Methods, and Algorithms

This ebook introduces a brand new point of abstraction that closes the space among the textual specification of embedded platforms and the executable version on the digital process point (ESL). Readers could be enabled to function at this new, Formal Specification point (FSL), utilizing versions which not just permit major verification projects during this early level of the layout circulation, but in addition will be extracted semi-automatically from the textual specification in an interactive demeanour.

Additional resources for Formal Specification Level: Concepts, Methods, and Algorithms

Example text

Download PDF sample

Rated 4.11 of 5 – based on 42 votes