Strategies on Space Deployment of Formal Methods Sample Clauses

Strategies on Space Deployment of Formal Methods. Even though space domain specific applications were of the most interest in the project and our initial key requirements for using FMs were drawn to satisfy these initial needs, practice and experience gained during the project lifetime showed that the domain specific requirements could be generalized and are as valid and applicable as those in other fields. As our experience of FMs grew larger, unforeseen needs started driving our further project engagement. For instance, SSF would benefit from code generation, even though this was not of big interest during the project lifetime. With now more mature experience on methods and tools usage, we can look forward to new improvements like incorporation of FMEA results etc. Modularization plug-in as well seems to bring a substantial potential when it comes to developing mode-oriented systems, quite typical not only in the space domain but other domains within SSF’s line of business as well. In general, the experience gained in the project creates a great base for further following up the tools and methods improvement especially those that are of greater need for SSF and which were not covered by this project alone. As we currently see it, FMs have significant potential to be used in the space domain but require much stronger verification power and higher automation level. Expressivity and ergonomy are important but not necessarily dominating factors. (For example, a useful model checker with an uncomfortable language is better than a less useful model checker with a comfortable language.)