Article thumbnail

Towards a Formal Verification Methodology for Collective Robotic Systems

By Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari and Marco Dorigo


We introduce a UML-based notation for graphically modeling systems’ security aspects in a simple and intuitive way and a model-driven process that transforms graphical specifications of access control policies in XACML. These XACML policies are then translated in FACPL, a policy language with a formal semantics, and the resulting policies are evaluated by means of a Java-based software tool

Topics: QA75 Electronic computers. Computer science
Publisher: 'Springer Science and Business Media LLC'
Year: 2012
DOI identifier: 10.1007/978-3-642-34281-3_7
OAI identifier:

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.

Suggested articles


  1. (2005). A Review of Probabilistic Macroscopic Models for Swarm Robotic Systems. doi
  2. (1996). Formal methods: state of the art and future directions. doi
  3. (2005). Formal techniques for the modelling and validation of a co-operating UAV team that uses Dubins set for path planning. doi
  4. (2010). Formal verification of probabilistic swarm behaviours. doi
  5. (1998). KLAIM: A Kernel Language for Agents Interaction and Mobility. doi
  6. (2002). Klava: a Java Package for Distributed and Mobile Applications. Software - Practice and Experience, doi
  7. (2007). Model checking mobile stochastic logic. doi
  8. (2005). Modeling and Mathematical Analysis of Swarms of Microscopic Robots. doi
  9. (2012). Modelling and analyzing adaptive self-assembling strategies with maude. doi
  10. (2005). On Formal Specification of Emergent Behaviours in Swarm Robotic Systems. doi
  11. (1997). On the formal specification and verification of multi-agent systems. doi
  12. (2012). Property-driven design for swarm robotics. doi
  13. SAM: Stochastic Analyser for Mobility.
  14. (2010). Simulation and Analysis of Distributed Systems in Klaim. doi
  15. (2010). Socially-Mediated Negotiation for Obstacle Avoidance in Collective Transport. doi
  16. (2011). Specification and Analysis of a Collective Robotics Scenario in SAM,
  17. (1996). Strategic directions in real-time and embedded systems. doi
  18. (2004). Synthesis and analysis of non-reactive controllers for multi-robot sequential task domains. doi
  19. (2010). The marxbot, a miniature mobile robot opening new perspectives for the collective-robotic research. doi
  20. (2011). Towards a formal verification methodology for collective robotic systems. doi
  21. (2011). Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems. doi