CyberSafety: CyberSecurity and Safety-Critical Software Engineering.
Chris W. JohnsonPublished in: SSS (2012)
Keyphrases
- safety critical
- formal methods
- software engineering
- safety analysis
- nuclear power plant
- fault tolerant
- embedded systems
- agent architecture
- software intensive systems
- software systems
- regulatory requirements
- formal specification
- support systems
- artificial intelligence
- model checking
- software development
- development process
- object oriented
- design patterns
- programming language
- reverse engineering
- adaptive systems
- knowledge representation
- information systems
- life cycle
- intelligent systems