Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems.
Irene BicchieraiGiacomo BucciCarlo NocentiniEnrico VicarioPublished in: Ada-Europe (2013)
Keyphrases
- safety critical
- formal methods
- embedded systems
- regulatory requirements
- safety analysis
- agent architecture
- support systems
- fault tolerant
- nuclear power plant
- knowledge based systems
- design process
- adaptive systems
- development process
- data mining
- learning systems
- software engineering
- management system
- data warehouse
- knowledge representation