{"id":10,"date":"2024-11-22T15:28:22","date_gmt":"2024-11-22T14:28:22","guid":{"rendered":"https:\/\/wp.laas.fr\/smof\/?page_id=10"},"modified":"2024-11-25T17:50:58","modified_gmt":"2024-11-25T16:50:58","slug":"case-studies","status":"publish","type":"page","link":"https:\/\/wp.laas.fr\/smof\/case-studies\/","title":{"rendered":"Case studies"},"content":{"rendered":"\n

The 4mob Robot, a Case Study from Sterela, in the context of CPSE Labs Project<\/h2>\n\n\n\n
\"\"<\/td>\"\"<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
The system is a robot from the French company STERELA<\/a> studied as part of the European project CPSE-Labs<\/a> .
Its mission is to control the lights along the airport runways.
The robot consists of a mobile platform and a commutable payload.
The payload is a photometric sensor deported on the side of the platform. The deported sensor moves above the lights (15-20cm) with a maximum speed of 1.4m\/s.
A human operator is supervising the mission with a digital tablet from the extremity of the runway.
As the robot operates at night and at long distances, the operator has no direct visual contact with it.<\/td>		\"\"\"\"<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

After the Hazop-UML analysis, the following list of safety invariants has been identified:<\/p>\n\n\n\n

– The robot must not collide with an obstacle (static or mobile);
– The robot must not fall;
– The robot must not enter a prohibited zone;
– The robot must not travel a long distance if the communication with the operator is broken;
– The robot must not exceed a certain velocity.<\/p>\n\n\n\n

Those invariants are modelled and safety strategies synthesized with SMOF.<\/p>\n\n\n\n

Those models for the synthesis with SMOF are available for download:<\/p>\n\n\n\n

Download examples<\/a><\/p>\n\n\n\n

In this archive you will find<\/p>\n\n\n\n

– The template for modelling ;<\/p>\n\n\n\n

– 7 example of models from the analysis performed with Sterela for the European project CPSE-Labs ;<\/p>\n\n\n\n

– A consistency analysis between the strategies found ;<\/p>\n\n\n\n

– A brief explanation of the models availables ;<\/p>\n\n\n\n

– A paper that will be published at IEEE Robotic Computing 2017 detailing three of the available models.<\/p>\n","protected":false},"excerpt":{"rendered":"

The 4mob Robot, a Case Study from Sterela, in the context of CPSE Labs Project The system is a robot from the French company STERELA studied as part of the European project CPSE-Labs .Its mission is to control the lights along the airport runways.The robot consists of a mobile platform and a commutable payload.The payload is a photometric sensor […]<\/p>\n","protected":false},"author":51,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-10","page","type-page","status-publish","hentry","post"],"_links":{"self":[{"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/pages\/10","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/users\/51"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/comments?post=10"}],"version-history":[{"count":1,"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/pages\/10\/revisions"}],"predecessor-version":[{"id":11,"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/pages\/10\/revisions\/11"}],"wp:attachment":[{"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/media?parent=10"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}