Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems.
Raja OueslatiOlfa MosbahiMohamed KhalguiZhiwu LiTing QuPublished in: IEEE Access (2018)
Keyphrases
- formal methods
- safety critical
- knowledge based systems
- software engineering
- formal analysis
- control system
- development lifecycle
- provably correct
- formal specification
- artificial intelligence
- model checking
- temporal properties
- cooperative
- process algebra
- distributed systems
- model checker
- expert systems
- decision support
- case study
- low cost
- high level
- development process
- knowledge acquisition
- real time
- reactive systems
- database