A formal approach for correct-by-construction system substitution
Safety-critical systems depend on the fact that their software components provide services that behave correctly (i.e. satisfy their requirements). Additionally, in many cases, these systems have to be adapted or reconfigured in case of failures or when changes in requirements or in quality of servi...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
2017
|
| Subjects: | |
| Online Access: | http://oatao.univ-toulouse.fr/19205/13/BABIN_Guillaume.pdf |