Composable Safety-Critical Systems Based on Pre-certified Software Components.
Andreas SöderbergBenjamin VedderPublished in: ISSRE Workshops (2012)
Keyphrases
- software components
- safety critical
- software systems
- formal methods
- commercial off the shelf
- building blocks
- embedded systems
- software development
- fault tolerant
- software reuse
- support systems
- real time
- distributed systems
- database
- open source
- formal specification
- adaptive systems
- machine learning
- knowledge management
- agent architecture
- high level
- artificial intelligence
- safety analysis