Efficient Software Component Reuse in Safety-Critical Systems - An Empirical Study.
Rikard LandMikael ÅkerholmJan CarlsonPublished in: SAFECOMP (2012)
Keyphrases
- safety critical
- software components
- software reuse
- formal methods
- embedded systems
- safety analysis
- reusable components
- nuclear power plant
- building blocks
- fault tolerant
- intelligent systems
- learning objects
- software systems
- learning systems
- support systems
- agent architecture
- knowledge based systems
- distributed systems
- web services
- real time
- software development
- formal specification
- source code
- low cost
- management system
- learning environment
- database systems