International Conference on Software Technology and Engineering (ICSTE 2012)
51 Evaluation of Static Conflict Avoidance Algorithm
Download citation file:
- Ris (Zotero)
- Reference Manager
Standard verification techniques such as testing and simulation have serious limitations in new systems that are significantly more autonomous. Formal methods are known to be imperative when an unambiguous description of systems is required, or when these systems are required to be validated for security matters. In our previous work policies are used to adapt the system behavior, coordinate managers’ tasks and allow us to decouple the adaptation concerns from the application code. Thus, it is required to verify if the governing policies are enforced correctly. This paper proposes LTL patterns for checking and evaluating of the static policy conflict avoidance algorithm that achieves the automated enforcement of obligations for resource-handling based on management policies.