Requirements, Configuration Management and Traceability for Safety Critical Software.
George RomanskiPublished in: RE (2003)
Keyphrases
- configuration management
- safety critical
- regulatory requirements
- fault tolerant
- software artifacts
- formal methods
- version control
- safety analysis
- embedded systems
- nuclear power plant
- agent architecture
- network management
- software development
- software architecture
- reverse engineering
- adaptive systems
- knowledge base
- artificial intelligence
- support systems
- modeling language
- life cycle
- computer systems
- software engineering
- reinforcement learning