Work-in-Progress: Cloud Computing for Time-Triggered Safety-Critical Systems.
Gautam GalaJavier Castillo RiveraGerhard FohlerPublished in: RTSS (2021)
Keyphrases
- cloud computing
- safety critical
- formal methods
- computing resources
- data management
- data center
- fault tolerant
- support systems
- safety analysis
- service providers
- cloud computing environment
- embedded systems
- expert systems
- management system
- agent architecture
- computing systems
- computing infrastructure
- intelligent systems
- distributed systems
- software engineering
- adaptive systems
- wireless sensor networks
- database
- cloud computing platform