mirror of
http://172.16.200.102/MOISE/Pattern-Instanciation-On-System-Engineering-Model.git
synced 2025-12-23 17:53:57 +01:00
23 lines
844 B
Markdown
23 lines
844 B
Markdown
# Patterns for SEIM Event-B models
|
|
|
|
## Contributors
|
|
|
|
Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali
|
|
|
|
## Content
|
|
|
|
This project contains the Event-B models for the formalization of pattern instantiations on system engineering models.
|
|
|
|
### Structure
|
|
|
|
|
|
|
|
### Documentation
|
|
|
|
Documentation on the content of these models is provided on the deliverable.
|
|
|
|
### Additional elements
|
|
|
|
An other context is provided: pattern_safety.
|
|
This model contains the first version of an instance of pattern directly encoded using Event-B.
|
|
Using simulation tools such as Pro-B on this model may produce an instance of Model where the pattern is instantiated. This shall be checked as it is only a prototype. |