• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Towards Designing FPGA-Based Systems by Refinement in B

Sergey Ostroumov, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko, Towards Designing FPGA-Based Systems by Refinement in B. In: Luigia Petre, Kaisa Sere, Elena Troubitsyna (Eds.), Dependability and Computer Engineering: Concepts for Software-Intensive Systems, 92–112, IGI Global, 2011.

Abstract:

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.

BibTeX entry:

@INBOOK{cOsTrLaKh11a,
  title = {Towards Designing FPGA-Based Systems by Refinement in B},
  booktitle = {Dependability and Computer Engineering: Concepts for Software-Intensive Systems},
  author = {Ostroumov, Sergey and Troubitsyna, Elena and Laibinis, Linas and Kharchenko, Vyacheslav},
  editor = {Petre, Luigia and Sere, Kaisa and Troubitsyna, Elena},
  publisher = {IGI Global},
  pages = {92–112},
  year = {2011},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication