Automatic Methods for the Refinement of System Models From the Specification to the Implementation /

• Main Authors: Seiter, Julia (Author), Wille, Robert (Author), Drechsler, Rolf (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: SpringerBriefs in Electrical and Computer Engineering,
• Subjects: Engineering.; Microprocessors.; Electronics.; Microelectronics.; Electronic circuits.; Circuits and Systems.; Processor Architectures.; Electronics and Microelectronics, Instrumentation.

This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two “directions” for refinement: Vertical refinement, for adding detail and precisio...

Table of Contents:

• Introduction
• Preliminaries
• Challenges in Model Refinement
• Verification of Vertical Refinement
• Extraction of a Relation for Vertical Refinement
• Verification of Horizontal Refinement
• Summary and Conclusions.