Software and Systems Traceability for Safety-Critical Projects (Dagstuhl Seminar 15162).
Jane Cleland-HuangSanjai RayadurgamPatrick MäderWilhelm SchäferPublished in: Dagstuhl Reports (2015)
Keyphrases
- safety critical
- safety analysis
- formal methods
- embedded systems
- fault tolerant
- nuclear power plant
- agent architecture
- support systems
- software intensive systems
- regulatory requirements
- software projects
- software engineering
- software development
- distributed systems
- case study
- adaptive systems
- real time
- cooperative
- software architecture
- low cost
- machine learning
- life cycle
- software agents
- software systems
- medical images
- knowledge representation
- information systems