Fig 3 - available via license: Creative Commons Attribution 4.0 International
Content may be subject to copyright.
Download
View publication
All the dependencies between the sub-systems of a military vehicle analyzed with Composys, and used for defining a non-trivial efficient integration testing policy. This drawing is for illustrating the complexity of the model.

All the dependencies between the sub-systems of a military vehicle analyzed with Composys, and used for defining a non-trivial efficient integration testing policy. This drawing is for illustrating the complexity of the model.

Source publication
Fig. 2: Text-based model editor combining proof information with modeling
Fig. 3: All the dependencies between the sub-systems of a military...
Fig. 4: Example of verification rule. Signals belonging to an...
Fig. 5: The safe generation and execution of a function on the double...
Fig. 8: State after the successful completion of the drudges : with a...
Applying a Formal Method in Industry: a 25-Year Trajectory
Preprint
Full-text available
  • May 2020
Industrial applications involving formal methods are still exceptions to the general rule. Lack of understanding, employees without proper education, difficulty to integrate existing development cycles, no explicit requirement from the market, etc. are explanations often heard for not being more formal. Hence the feedback provided by industry to ac...
Cite
Download full-text

Context in source publication

Context 1
... Event-B models were sided by a dictionary containing natural language descriptions of the variables, events and substitutions, allowing for the automatic generation of document. Events were allocated to "sub-systems", allowing to analyze data-flows (see figure 3) between these sub-systems (where the variables are read/modified). ...