Skip to Main Content
ASME Press Select Proceedings

International Conference on Software Technology and Engineering (ICSTE 2012)

Jianhong Zhou
Jianhong Zhou
Search for other works by this author on:
No. of Pages:
ASME Press
Publication date:

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.

This content is only available via PDF.
Close Modal
This Feature Is Available To Subscribers Only

Sign In or Create an Account

Close Modal
Close Modal