Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements.
Sergiy A. VilkomirAditya K. GhosePublished in: PROFES (2004)
Keyphrases
- safety critical
- regulatory requirements
- formal methods
- fault tolerant
- embedded systems
- support systems
- agent architecture
- adaptive systems
- knowledge based systems
- formal specification
- model checking
- real time
- software systems
- software engineering
- knowledge base
- artificial intelligence
- knowledge management
- open source
- case study