Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements.
Raphael Fonte Boa TrindadeLukas BulwahnChristoph AinhauserPublished in: SAFECOMP (2014)
Keyphrases
- automatically generated
- automatically generate
- safety critical
- manually generated
- requirements specification
- formal methods
- automatically created
- manually constructed
- manually created
- safety analysis
- source code
- requirements engineering
- software architecture
- software requirements
- fully automatic
- software systems
- software development