Automatic Methods for the Refinement of System Models
Automatic Methods for the Refinement of System Models

Author: Julia Seiter

Publisher: Springer

Published: 2016-07-04

Total Pages: 100

ISBN-13: 3319414801

DOWNLOAD EBOOK

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 precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended.

Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking

Author: Chao Wang

Publisher: Springer Science & Business Media

Published: 2006-09-15

Total Pages: 186

ISBN-13: 0387346007

DOWNLOAD EBOOK

This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. The suite of algorithms presented here represents significant improvement over prior art; some have already been adopted by the EDA companies in their commercial/in-house verification tools.

Formal Methods and Models for System Design
Formal Methods and Models for System Design

Author: Rajesh Gupta

Publisher: Springer Science & Business Media

Published: 2004-10-01

Total Pages: 392

ISBN-13: 9781402080517

DOWNLOAD EBOOK

Perhaps nothing characterizes the inherent heterogeneity in embedded sys tems than the ability to choose between hardware and software implementations of a given system function. Indeed, most embedded systems at their core repre sent a careful division and design of hardware and software parts of the system To do this task effectively, models and methods are necessary functionality. to capture application behavior, needs and system implementation constraints. Formal modeling can be valuable in addressing these tasks. As with most engineering domains, co-design practice defines the state of the it seeks to add new capabilities in system conceptualization, mod art, though eling, optimization and implementation. These advances -particularly those related to synthesis and verification tasks -direct1y depend upon formal under standing of system behavior and performance measures. Current practice in system modeling relies upon exploiting high-level programming frameworks, such as SystemC, EstereI, to capture design at increasingly higher levels of ab straction and attempts to reduce the system implementation task. While raising the abstraction levels for design and verification tasks, to be really useful, these approaches must also provide for reuse, adaptation of the existing intellectual property (IP) blocks.

Embedded System Design: Topics, Techniques and Trends
Embedded System Design: Topics, Techniques and Trends

Author: Achim Rettberg

Publisher: Springer

Published: 2010-05-09

Total Pages: 456

ISBN-13: 0387722580

DOWNLOAD EBOOK

This volume presents the technical program of the 2007 International Embedded Systems Symposium held in Irvine, California. It covers timely topics, techniques and trends in embedded system design, including design methodology, networks-on-chip, distributed and networked systems, and system verification. It places emphasis on automotive and medical applications and includes case studies and special aspects in embedded system design.

Computer Aided Verification
Computer Aided Verification

Author: Orna Grumberg

Publisher: Springer Science & Business Media

Published: 1997-06-04

Total Pages: 504

ISBN-13: 9783540631668

DOWNLOAD EBOOK

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997. The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

FM 2012: Formal Methods
FM 2012: Formal Methods

Author: Dimitra Giannakopoulou

Publisher: Springer

Published: 2012-08-21

Total Pages: 503

ISBN-13: 3642327591

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

Formal Description Techniques VII
Formal Description Techniques VII

Author: D. Hogrefe

Publisher: Springer

Published: 2016-01-09

Total Pages: 512

ISBN-13: 0387348786

DOWNLOAD EBOOK

This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.

Formal Methods for Components and Objects
Formal Methods for Components and Objects

Author: Frank S. de Boer

Publisher: Springer

Published: 2010-11-11

Total Pages: 346

ISBN-13: 3642170714

DOWNLOAD EBOOK

All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This state-of-the-art survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009. The volume contains 17 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the IST-FP6 project BIONETS on biologically inspired services evolution for the pervasive age; the IST-FP7 project COMPAS on compliance-driven models, languages, and architectures for services; the IST-FP6 project CREDO on modelling and analysis of evolutionary structures for distributed services; the IST-FP7 DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; the IST-FP7 project HATS on highly adaptable and trustworthy software using formal methods; the IST-FP7 project INESS on integrated European railway signalling system; the IST-FP7 project MOGENTES on model-based generation of tests for dependable embedded systems; the IST-FP6 project PROTEST on property based testing; and the IST-FP7 project QUASIMODO on quantitative system properties in model-driven-design of embedded systems.