Improvement of Formal Methods Approach Using Pattern Perspective in Real Time System Applications

Abstract

The systematic approach (formal method) is a correct valid path to convert software requirement to executable code. Each Formal Method with Proofs FMP have theorem behind it as B theorem with Event-B formal method. By formal method we can build large computerized complex systems. That is by three techniques: refinement, decomposition and generic instantiation. In this thesis, we integrate refinement and generic instantiation techniques in Event-B formal method. Practically, we used RODIN platform and its database tools of the Static Checker, the Proof Obligation Generator, the Prover and the Translator from B model to a programming language.