PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems.
Kangli HeYixiang ChenMin ZhangYuanrui ZhangPublished in: MMB/DFT (2016)
Keyphrases
- real time systems
- real time
- data driven
- distributed systems
- embedded systems
- real time database systems
- probabilistic reasoning
- bayesian networks
- timing constraints
- knowledge representation
- real time embedded
- architectural model
- uncertain data
- causal reasoning
- embedded real time systems
- probabilistic model
- data management
- mission critical
- mobile devices
- database systems
- case study