Verifying Distributed Adaptive Real (DART) Systems
• Poster
This poster describes the authors' research efforts in verifying distributed adaptive real-time systems.
Publisher
Software Engineering Institute
Abstract
A sound engineering approach based on the judicious use of precise semantics, formal analysis, and design constraints leads to assured behavior of (DART) systems while accounting for:
- critical requirements
- probabilistic requirements
- uncertain environments
- necessary coordination
- assurance at source code level