OASIS project: deterministic real-time for safety critical embedded systems.
Stéphane LouiseVincent DavidJean DelcoigneChristophe AussaguèsPublished in: ACM SIGOPS European Workshop (2002)
Keyphrases
- safety critical
- embedded systems
- low cost
- real time
- real time systems
- safety analysis
- embedded software
- resource limited
- embedded devices
- embedded real time systems
- formal methods
- fault tolerant
- field programmable gate array
- case study
- machine learning
- software systems
- agent architecture
- high level
- load balancing
- software projects
- context aware
- software development
- mobile devices
- expert systems