Cross--layer Formal Verification of Robotic Systems

Autor: Raïs, Sylvain, Brunel, Julien, Doose, David, Herbreteau, Frédéric

Publikováno v: EPTCS 411, 2024, pp. 143-150

Robotic systems are widely used to interact with humans or to perform critical tasks. As a result, it is imperative to provide guarantees about their behavior. Due to the modularity and complexity of robotic systems, their design and verification are

Externí odkaz: http://arxiv.org/abs/2411.14373

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

RTProb - Outil probabilsitique en temps réel pour l'analyse probabiliste de la plannabilité à l'aide de la chaîne de Markov

Autor: Singh, Jasdeep, Santinelli, Luca, Infantes, Guillaume, Doose, David, Brunel, Julien

Publikováno v: WATERS 2018
WATERS 2018, Jul 2018, BARCELONE, Spain

International audience; This paper presents a probabilistic schedulability analysis tool for probabilistic Real-Time Systems (pRTS). By pRTS we intend a real-time system in which at least one of its parameter is defined using a probability distributi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2592::48e7c2fc9e115c4eac036a525e2240fa
https://hal.archives-ouvertes.fr/hal-02932058

Source Code Analysis with a Temporal Extension of First-Order Logic

Autor: Come, David, Brunel, Julien, Doose, David

Publikováno v: 21st Brazilian Symposium on Formal Methods
21st Brazilian Symposium on Formal Methods, Nov 2018, SALVADOR, Brazil

International audience; Formal methods and static analysis are widely used in software development, in particular in the context of safety-critical systems. They can be used to prove that the software behaviour complies to its specification: the soft

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5f500923c85085f7e387f1b1460db721
https://hal.archives-ouvertes.fr/hal-01977847

Mauve: a Component-based Modeling Framework for Real-time Analysis of Robotic Applications

Autor: Lesire, Charles, Doose, David, Cassé, Hugues

Publikováno v: 7th full day Workshop on Software Development and Integration in Robotics (ICRA2012-SDIR VII)
7th full day Workshop on Software Development and Integration in Robotics (ICRA2012-SDIR VII), May 2012, MINNESOTA, United States

Robots are more and more used in very diverse situations (services to persons, military missions, crisis management, . . . ) in which robots must give some guarantees of safety and reliability. To be really integrated in everyday life, robots must fu

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::02f741887d44932f1d72d22dce16f5c5
https://hal-onera.archives-ouvertes.fr/hal-01060327/document