A methodological approach for checking safety-critical systems software.
Luis Eduardo MendozaManuel I. CapelPublished in: Int. J. Crit. Comput. Based Syst. (2017)
Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- agent architecture
- fault tolerant
- support systems
- nuclear power plant
- real time
- adaptive systems
- regulatory requirements
- software intensive systems
- learning systems
- software development
- formal specification
- model checking
- distributed systems
- management system
- data mining