\n> <\/strong>Practice building \u201cgood\u201d B models.
\n> <\/strong>Understand advanced Language B concepts.
\n> <\/strong>Discover event-driven B.<\/p>\n
WHO SHOULD PARTICIPATE :<\/h5>\n
> <\/strong>Any person who wishes to acquire further knowledge on Method B. > <\/strong>Level 1, B Training, or knowledge of Method B principles. > <\/strong>9 persons at most per formation 4 days<\/p>\n >\u00a0<\/strong>A rebate of 15% is granted for a group of at least 3 people from the same organization.<\/p>\n[\/vc_column_text][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1469437922623{padding-top: 55px !important;padding-bottom: 55px !important;background-color: #f7f7f7 !important;}”][vc_column][st_customheading heading=”PROGRAM” heading_color=”#eb690b” content_align=”text-default”][vc_row_inner gap=”35″ css=”.vc_custom_1469437942603{margin-top: 55px !important;}”][vc_column_inner width=”1\/2″][vc_column_text]\n >\u00a0<\/strong>Description of the path leading from informal specifications to formal specifications. A review of the modular construction of a B project and a description of the various types of links between B modules, as well as the rules governing these links. A first methodological base on which to build a B project as an assembly of modules.<\/p>\n >\u00a0<\/strong>Through exercises, the formal significance of \u201ccomplying with specifications\u201d is explained, as well as the manner in which it translates into the duty to provide proof with Workshop B. Then, the participant creates formal specifications in practical sessions on complete examples based on informal prerequisites, and designs and analyzes how proof renders any non-compliance impossible. The principles for drafting models facilitating proof are studied.<\/p>\n >\u00a0<\/strong>Description of all of the advanced principles of Language B that have not been presented or detailed in the Level 1 training. This involves challenges relating to link invariants, homonymy of data and the building of loops.<\/p>\n[\/vc_column_text][\/vc_column_inner][vc_column_inner width=”1\/2″][vc_column_text]\n >\u00a0<\/strong>Presentation of event-driven B principles. An entire Practical Task session will study its practical application while examining the significance of sophistication proof in this type of modeling. Benchmarks for the appropriate choosing of abstract variables and events will be studied to define in depth their real interpretation.<\/p>\n >\u00a0<\/strong>More than half of the training is in the form of Tutorials and Practical Tasks in order to better become familiar with the modular building of a B project and advanced notions of Language B. To this end, the Practical Task session on the modeling and design of a control system for traffic lights at an intersection will take up the greatest portion of the Practical Tasks. It is followed by a Tutorial and Practical Task session on event-driven B.<\/p>\n[\/vc_column_text][\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” content_placement=”middle” css=”.vc_custom_1469438201516{padding-top: 55px !important;padding-bottom: 55px !important;}”][vc_column width=”1\/6″ offset=”vc_hidden-sm vc_hidden-xs”][\/vc_column][vc_column width=”1\/6″][vc_single_image image=”2420″ img_size=”135×135″][\/vc_column][vc_column width=”2\/6″][vc_column_text]\n
\n>\u00a0<\/strong>Any person who must participate in a B project by writing models.<\/p>\nPREREQUISITES:<\/h5>\n
\n> <\/strong>Basic IT knowledge.
\n>\u00a0<\/strong>Mathematical knowledge of a scientific secondary education level.<\/p>\n[\/vc_column_text][\/vc_column][vc_column width=”1\/2″][vc_column_text css=”.vc_custom_1469545295404{padding-left: 25px !important;}”]\nORGANIZATION :<\/h5>\n
\n> <\/strong>The training takes place in the CLEARSY<\/b> offices in Aix<\/span> or Paris<\/span> (Except in exceptional circumstances).
\n> <\/strong>Contact CLEARSY for future training dates.<\/p>\nDURATION :<\/h5>\n
PRICES:<\/h5>\n
1 – DEVELOPMENT OF A B PROJECT<\/h5>\n
2 – B MODEL BUILDING PRACTICE<\/h5>\n
3 – ADVANCED CONCEPTS IN B<\/h5>\n
4 – INTRODUCTION TO EVENT-DRIVEN B<\/h5>\n
5 – PRACTICAL ORGANIZATION<\/h5>\n
![\"pictos-fleche1\"](\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/pictos-fleche1.png\")
<\/a>[\/vc_column_text][\/vc_column][vc_column width=”1\/6″ offset=”vc_hidden-sm vc_hidden-xs”][\/vc_column][\/vc_row][vc_row full_width=”stretch_row_content_no_spaces” css=”.vc_custom_1469435402528{margin-bottom: -60px !important;background-image: url(https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/footer-visu2.jpg?id=2296) !important;background-position: center !important;background-repeat: no-repeat !important;background-size: cover !important;}”][vc_column][vc_empty_space height=”350″][\/vc_column][\/vc_row]\n","protected":false},"excerpt":{"rendered":"