Managing system complexity with a motivated interface: examining the effects parameter variation has on system stability

2003 ◽  
Author(s):  
T.M. Vitolo
Keyword(s):  
Parameter Variation ◽  
System Stability ◽  
System Complexity ◽  
Managing System

Towards Designing FPGA-Based Systems by Refinement in B

2012 ◽  
pp. 92-112
Author(s):  
Sergey Ostroumov ◽  
Elena Troubitsyna ◽  
Linas Laibinis ◽  
Vyacheslav Kharchenko
Keyword(s):  
System Development ◽  
General Pattern ◽  
Smooth Transition ◽  
Formal Approach ◽  
System Complexity ◽  
Synchronous Systems ◽  
System Representation ◽  
Managing System

In this chapter, we propose a formal approach to designing FPGA-based systems. In particular, we introduce a general pattern for specifying synchronous systems and components as well as their typical interconnections. The proposed methodology for developing FPGA-based systems is based on the notion of refinement in the Event-B formalism. System development by refinement and proof-based verification provide the designers with powerful techniques for managing system complexity and achieving higher degree of system dependability. We aim at enabling a smooth transition from a formal Event-B specification to an implementable VHDL system representation. The proposed approach is illustrated by a case study – a development of an aircraft anti-icing system.

Sign in / Sign up

Export Citation Format

Share Document