Synchronous Equivalence: Formal Methods for Embedded Systems

Synchronous Equivalence: Formal Methods for Embedded Systems
McGraw-Hill Osborne Media
Проектирование ПО
Искать в интернет библиотекахКупить


Общедоступная история астрономии в XIX столетии


An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionally, one or more electronic circuits or microprocessors are literally embedded in the system, either taking up roles that used to be performed by mechanical devices, or providing functionality that is not otherwise possible. The goal of this book is to investigate how formal methods can be applied to the domain of embedded system design. The emphasis is on the specification, representation, validation, and design exploration of such systems from a high-level perspective. The authors review the framework upon which the theories and experiments are based, and through which the formal methods are linked to synthesis and simulation. A formal verification methodology is formulated to verify general properties of the designs and demonstrate that this methodology is efficient in dealing with the problem of complexity and effective in finding...

Похожие книги

IEEE standard for a software quality metrics methodology (IEEE Std 1061-1998)IEEE standard for a software quality metrics methodology (IEEE Std 1061-1998)
Автор: Software Engineering Standards Committee of the IEEE Computer Society, USA
Год: 1998
Introduction to Behavioral Research MethodsIntroduction to Behavioral Research Methods
Автор: Mark R. Leary
Год: 2000
Moments, Positive Polynomials and Their ApplicationsMoments, Positive Polynomials and Their Applications
Автор: Jean-Bernard Lasserre
Год: 2009
Building ASIPs: The Mescal MethodologyBuilding ASIPs: The Mescal Methodology
Автор: Matthias Gries
Год: 2005