An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems.
Chetan MuthaCarol S. SmidtsPublished in: HASE (2011)
Keyphrases
- software systems
- safety analysis
- source code
- software engineering
- software development
- metamodel
- software design
- software components
- safety critical
- software architecture
- embedded systems
- software maintenance
- symbolic model checking
- design patterns
- multi agent systems
- software evolution
- software engineers
- software quality
- nuclear power plant
- open source
- information systems
- requirements specification
- component based software
- databases
- software testing
- object oriented systems
- software projects
- control system
- complex software systems
- modeling language
- reverse engineering
- model checking
- fault model
- artificial intelligence
- real time