Designing Safety Critical Software Systems to Manage Inherent Uncertainty.
Alexandru Constantin SerbanPublished in: ICSA Companion (2019)
Keyphrases
- software systems
- inherent uncertainty
- safety critical
- embedded systems
- software intensive systems
- software engineering
- formal methods
- source code
- agent architecture
- fault tolerant
- multi agent systems
- software development
- software architecture
- software maintenance
- complex software systems
- adaptive systems
- metamodel
- software components
- support systems
- real time
- component based software
- relational databases
- cooperative
- design patterns
- development process
- learning systems
- open source
- linux kernel
- clone detection
- real world
- database