B Method Training
– Level 1: Understand B
UNDERSTAND B
OBJECTIVES :
- Understand the fundamental principles of Method B.
- Discover Language B.
AUDIENCE :
- Any person who wishes to understand the principles of Method B and discover its benefits.
- Any person who must participate in the development of a B project or who wishes to review B models.
PREREQUISITES :
- Knowledge of general principles relating to the development cycle of a system or software (specification concepts).
- Basic IT knowledge.
- Mathematical knowledge of a scientific secondary education level.
PROGRAM
1 – B METHOD PRINCIPLES
- Definition of B: a formal specification and design method with proof that may reach a concrete level (C internet code, ADA).
- Advantage of formal specifications and the building of a model through the systematic description of its properties.
- Modularity and hierarchy concepts: a B model is built in a modular manner, its properties are introduced hierarchically.
- Validation through proof: proof guarantees conformity with invariant properties; it is exhaustive in ensuring that the code complies with its specifications.
- B Method benefits.
- Description of the main uses of B in industry.
2 – B LANGUAGE
Description of elements constituting the B Language:
- predicates,
- mathematical expressions (integers, Boolean, enumerations, sets, relations, functions),
- substitutions that form the dynamic of the modeled system.
The three types of B components (abstract machines, sophistication and implementation).