The aim of the proposed project is to develop new software technologies to enable (self-)adaptivity of IoT systems while reinforcing the safety of their operation. The obtained results will be applied and evaluated in the context of a real industrial IoT system designed for tracking and management of equipment parks.
Essentially, any software entity that goes beyond simply computing a certain function necessarily has to interact and share resources with other such entities. Correct coordination of access to resources among concurrent software entities is fundamental to ensuring that they satisfy user and system requirements avoiding operational faults and deadlock situations. This proposal targets the correct coordination of access to cloud resources among concurrent cloud application entities.
Trình Lê Khánh is now working on this project