Innovative Approach in AGILE Policies Validation

Abstract In this paper an innovative approach in providing formalised method of analysis AGILE policies was in short presented. For the purpose of such policies validation the Definition Language was undertaken. The proposed method plays a significant role while using AGILE policies in certain applications such as inter alia control systems or safety critical systems. The method proposed in this paper can be successfully applied for the purpose of AGILE policies validation. One version of a policy used for managing an Air Cooling system will be as an example discussed.

[1]  Mariusz Pelc,et al.  Self-tuning run-time reconfigurable PID controller , 2011 .

[2]  Saeed Jalili,et al.  Towards modeling and runtime verification of self-organizing systems , 2016, Expert Syst. Appl..

[3]  Julie A. McCann,et al.  A survey of autonomic computing—degrees, models, and applications , 2008, CSUR.

[4]  Marcin Jamro,et al.  CPDev Engineering Environment for Modeling, Implementation, Testing, and Visualization of Control Software , 2014, Recent Advances in Automation, Robotics and Measuring Techniques.

[5]  Luigi V. Mancini,et al.  Towards a formal model for security policies specification and validation in the selinux system , 2004, SACMAT '04.

[6]  Soumya Banerjee,et al.  Design and Implementation of a Policy Recommender System Towards Social Innovation: An Experience With Hybrid Machine Learning , 2015, ECC.

[7]  Salim Hariri,et al.  Autonomic Computing: An Overview , 2004, UPP.

[8]  Mikko Siuko,et al.  Iterative and Participative Axiomatic Design Process in complex mechanical assemblies: case study on fusion engineering , 2015 .

[9]  Jorge Lobo,et al.  Analysis of privacy and security policies , 2009, IBM J. Res. Dev..

[10]  Guilherme Carvalho Januario,et al.  A Survey of Policy Refinement Methods as a Support for Sustainable Networks , 2016, IEEE Communications Surveys & Tutorials.

[11]  Mariusz Pelc.  Context-aware Fuzzy Control Systems , 2014, Int. J. Softw. Eng. Knowl. Eng..

[12]  Sushil Jajodia,et al.  A logic-based framework for attribute based access control , 2004, FMSE '04.

[13]  Luciano Baresi,et al.  Formal verification and validation of embedded systems: the UML-based MADES approach , 2015, Software & Systems Modeling.

[14]  Mariusz Pelc.  A framework for verification of context-aware policy-supervised autonomic systems , 2011 .