Formal Safety Assessment and Improvement of DDS Protocol for Industrial Data Distribution Service.
Jinze DuChengtai GaoTao FengPublished in: Future Internet (2023)
Keyphrases
- data distribution
- protocol specification
- formal analysis
- data streams
- web services
- formal methods
- quality improvement
- formal specification
- index structure
- distributed data
- data points
- high dimensional data
- message delivery
- service composition
- decision boundary
- concept drift
- management system
- data analysis
- tcp ip
- multi dimensional data
- computer vision
- data mining
- communication cost
- hash functions
- skyline queries
- pattern recognition
- feature extraction
- training instances
- database systems
- trusted third party
- decision trees