A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design.
Robert ThorburnVladimiro SassoneAsieh Salehi FathabadiLeonardo AnielloMichael J. ButlerDana DghaymThai Son HoangPublished in: MoDELS (Companion) (2022)
Keyphrases
- formal methods
- lightweight
- safety critical
- knowledge based systems
- formal analysis
- model checker
- model checking
- development lifecycle
- formal specification
- process algebra
- reactive systems
- artificial intelligence
- software engineering
- formal specification language
- safety analysis
- wireless sensor networks
- communication infrastructure
- modeling language
- design process
- knowledge base
- building blocks
- web services
- nuclear power plant
- databases