SmartTies - Management of Safety-Critical Developments.
Serge AutexierDominik DietrichDieter HutterChristoph LüthChristian MaederPublished in: ISoLA (1) (2012)
Keyphrases
- safety critical
- fault tolerant
- formal methods
- management system
- safety analysis
- nuclear power plant
- agent architecture
- information systems
- embedded systems
- artificial intelligence
- real time
- knowledge management
- support systems
- machine learning
- adaptive systems
- decision support
- patient care
- case based reasoning
- knowledge representation
- cooperative
- regulatory requirements