Friday 29th of March 2024
 

Practical application of a light-weight formal implementation for specifying a multi-agent robotic system


Nadeem Akhtar and Malik M. Saad Missen

Light-weight formal specifications are flexible, have a concrete syntax, and play vital role in correctness of a multi-agent robotic system. To specify such systems in a way that it ensures correctness properties of safety and liveness is important, especially as these systems have high concurrency and in most of the cases have dynamic environment. We have considered a case-study of a multi-agent robotic system for the transport of stock between storehouses to exemplify light-weight formal specifications. The specifications have been modelled as a Labelled Transition System for light-weight formal verification.

Keywords: Multi-Agent System, Formal methods, Light-weight formal methods, Finite State Process (FSP), Labelled Transition System (LTS), Safety property, Liveness property.

Download Full-Text


ABOUT THE AUTHORS

Nadeem Akhtar
Dr. Nadeem Akhtar is Assistant Professor at the Department of Computer Science & IT, The Islamia University of Bahawalpur. He has a PhD from the research Lab. VALORIA of Computer Science, University of South Brittany (UBS), France in 2010. His research areas are formal specification, formal architecture, and service-oriented architecture for robotics.

Malik M. Saad Missen
Dr. Malik M. Saad Missen is Assistant Professor at the Islamia University of Bahawalpur. He has a PhD from University of Toulouse in 2011. His research interests include text data mining, information retrieval, social network research. He is currently exploring formal specification fronts.


IJCSI Published Papers Indexed By:

 

 

 

 
+++
About IJCSI

IJCSI is a refereed open access international journal for scientific papers dealing in all areas of computer science research...

Learn more »
Join Us
FAQs

Read the most frequently asked questions about IJCSI.

Frequently Asked Questions (FAQs) »
Get in touch

Phone: +230 911 5482
Email: info@ijcsi.org

More contact details »