An Approach to Support the Specification of Agile Artifacts in the Development of Safety-Critical Systems.
Ana Isabella Muniz LeitePublished in: RE (2017)
Keyphrases
- safety critical
- support systems
- formal methods
- nuclear power plant
- safety analysis
- fault tolerant
- embedded systems
- agent architecture
- knowledge based systems
- software engineering
- decision support system
- software intensive systems
- learning systems
- knowledge base
- formal specification
- intelligent systems
- development process
- specification language
- real time
- regulatory requirements
- domain independent
- decision support
- decision makers
- case based reasoning
- management system
- control system
- user interface
- multi agent systems
- decision making
- information systems