Towards a hybrid formal analysis technique for safety-critical software architectures.
Ammar BoucheritLaura M. CastroOsman HasanAbdallah KhababaPublished in: Int. J. Crit. Comput. Based Syst. (2021)
Keyphrases
- formal analysis
- safety critical
- formal methods
- software architecture
- software engineering
- safety analysis
- software systems
- model checking
- formal specification
- artificial intelligence
- knowledge based systems
- embedded systems
- agent architecture
- regulatory requirements
- distributed systems
- security requirements
- fault tolerant
- software development
- ban logic
- design patterns
- database
- databases
- agent model
- modeling language
- adaptive systems
- autonomous agents
- real time