Formalism of Requirements for Safety-Critical Software: Where Does the Benefit Come From?
Ibrahim HabliAndrew RaePublished in: CoRR (2014)
Keyphrases
- safety critical
- regulatory requirements
- formal methods
- fault tolerant
- embedded systems
- nuclear power plant
- safety analysis
- agent architecture
- software intensive systems
- support systems
- requirements engineering
- software systems
- real time
- software development
- information systems
- artificial intelligence
- case study
- adaptive systems
- knowledge base
- domain independent
- health care
- user interface
- learning environment