Incorporating Formal Methods and Measures Obtained through Analysis, Simulation Testing for Dependable Self-Adaptive Software in Avionics Systems.
Rajanikanth N. KashiMeenakshi D'SouzaKoyalkar Raman KishorePublished in: COMPUTE (2017)
Keyphrases
- formal methods
- safety critical
- formal analysis
- development lifecycle
- knowledge based systems
- computer systems
- artificial intelligence
- reactive systems
- software engineering
- formal specification language
- model checking
- formal specification
- static analysis
- process algebra
- complex systems
- embedded systems
- simulation environment
- test cases
- software development
- security properties
- user interface
- expert systems
- provably correct
- information systems
- databases