By Julia Seiter,Robert Wille,Rolf Drechsler

This booklet offers a complete evaluate of computerized version refinement, which is helping readers shut the space among preliminary textual specification and its wanted implementation. The authors permit readers to stick with “directions” for refinement: Vertical refinement, for including aspect and precision to unmarried description for a given version and Horizontal refinement, which considers numerous perspectives on one point of abstraction, refining the approach specification via committed descriptions for constitution or habit. The dialogue comprises a number of equipment which aid designers of digital structures during this refinement technique, together with verification easy methods to payment instantly no matter if a refinement has been performed as intended.

Show description

Read Online or Download Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (SpringerBriefs in Electrical and Computer Engineering) PDF

Best systems architecture books

Open Text Metastorm ProVision® 6.2 Strategy Implementation

This is often either a pragmatic and theoretical advisor detailing the best way to installation a profitable ProVision® approach, utilizing a few actual enterprise circumstances alongside the way in which. not like different structure books, the strategy is holistic - it appears on the entire lifecycle of establishing 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 e-book describes how engineers could make optimal use of the 2 ordinary analysis/design instruments, SystemC and SystemC-AMS.  The authors use a system-level layout process, emphasizing how SystemC and SystemC-AMS gains could be exploited so much successfully to analyze/understand a given digital approach and discover the layout area.

HSPA Evolution: The Fundamentals for Mobile Broadband

This publication is key analyzing for these wishing to procure a structures viewpoint and a extensive view at the heritage, 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 behind the curtain of 3GPP and offers an simply obtainable knowing of the fundamental rules, the most recent steps within the standard’s evolution, and the motivations in 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 method point (ESL). Readers can be enabled to function at this new, Formal Specification point (FSL), utilizing versions which not just let major verification initiatives during this early degree of the layout circulation, but additionally could be extracted semi-automatically from the textual specification in an interactive demeanour.

Extra resources for Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (SpringerBriefs in Electrical and Computer Engineering)

Sample text

Download PDF sample

Rated 4.95 of 5 – based on 13 votes