Výsledky vyhledávání - "Mohammed Foughali"

Akademický článek

Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach

Autor: Mohammed Foughali, Alexander Zuepke

Publikováno v: Frontiers in Robotics and AI, Vol 9 (2022)

Due to the severe consequences of their possible failure, robotic systems must be rigorously verified as to guarantee that their behavior is correct and safe. Such verification, carried out on a model, needs to cover various behavioral properties (e.

Externí odkaz: https://doaj.org/article/32b6134a219e43c6ac14f5696ec47cfe

Zobrazit plný text záznamu

Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach

Autor: Mohammed Foughali, Alexander Zuepke

Publikováno v: Frontiers in robotics and AI. 9

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ef2deb6d217d37dad96c2088d363321c
https://pubmed.ncbi.nlm.nih.gov/35494538

Zobrazit plný text záznamu

Contract-Based Verification of Model Transformations: A Formally Founded Approach

Autor: Guillaume Brau, Mohammed Foughali

Publikováno v: 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021), Mar 2021, Gwangju (virtual), South Korea
SAC

International audience; In safety-critical applications, using a Model Driven Engineering (MDE) approach requires a high level of trust in its underlying model transformations, the correctness of which should be verified formally. However, such verif

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c71cb9503b41a1054a31324c4987fbf
https://hal.laas.fr/hal-03059942/file/main.pdf

Zobrazit plný text záznamu

Runtime Verification of Timed Properties in Autonomous Robots

Autor: Saddek Bensalem, Mohammed Foughali, Jacques Combaz, Félix Ingrand

Publikováno v: 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), ACM/IEEE, Dec 2020, Jaipur (virtual), India. ⟨10.1109/MEMOCODE51338.2020.9315156⟩
MEMOCODE

International audience; Throughout the last few decades, researchers and practitioners are showing more and more interest in using formal methods in order to predict and prevent software failures in robotic and autonomous systems. However, the applic

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3009f6f483332a6727699350493ebcf5
https://hal.science/hal-03093298

Zobrazit plný text záznamu

Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics

Autor: Pierre-Emmanuel Hladik, Mohammed Foughali

Publikováno v: Journal of Systems Architecture
Journal of Systems Architecture, Elsevier, 2020, 111, pp.101817. ⟨10.1016/j.sysarc.2020.101817⟩
Journal of Systems Architecture, 2020, 111, pp.101817. ⟨10.1016/j.sysarc.2020.101817⟩

International audience; The challenges of deploying robots and autonomous vehicles call for further efforts to bridge the gap between the robotics, the real-time systems and the formal methods communities. Indeed, with robots being more and more invo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::80fb02a295f2e9655d72abdfe617e865
https://hal.archives-ouvertes.fr/hal-02864928v3/document

Zobrazit plný text záznamu

A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems

Autor: Mohammed Foughali

Publikováno v: RTCSA
2020 IEEE 26th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
2020 IEEE 26th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2020, Gangnueng (virtual conference), South Korea. pp.1-10, ⟨10.1109/RTCSA50079.2020.9203687⟩

International audience; Due to the severe consequences of their possible failure, robotic systems must be rigorously verified against (i) behavioral properties, such as safety and (ii) real-time properties, such as schedulability, while taking into a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ffa878b453d3f3a719bcc36616bcc4af
https://doi.org/10.1109/rtcsa50079.2020.9203687

Zobrazit plný text záznamu

On Reconciling Schedulability Analysis and Model Checking in Robotics

Autor: Mohammed Foughali

Publikováno v: MEDI Workshops. 9th International Conference on Model and Data Engineering
MEDI Workshops. 9th International Conference on Model and Data Engineering, Oct 2019, Toulouse, France
Communications in Computer and Information Science ISBN: 9783030322120
MEDI Workshops

International audience; The challenges of deploying robots and autonomous vehicles call for further efforts to bring the real-time systems and the formal methods communities together. In this paper, we discuss the practicality of paramount model chec

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4621cc9652999efafdf32d34e45ad35e
https://hal.laas.fr/hal-02346015

Zobrazit plný text záznamu

Statistical Model Checking of Complex Robotic Systems

Autor: Cristina Seceleanu, Mohammed Foughali, Félix Ingrand

Publikováno v: 26th International SPIN Symposium on Model Checking of Software
26th International SPIN Symposium on Model Checking of Software, Jul 2019, Beijing, China
Model Checking Software ISBN: 9783030309220
SPIN
HAL

International audience; Failure of robotic software may cause catastrophic damages. In order to establish a higher level of trust in robotic systems, formal methods are often proposed. However, their applicability to the functional layer of robots re

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3561c106a87cdbc5a706b08f99e13a0c
https://hal.laas.fr/hal-02152286

Zobrazit plný text záznamu

Repeatable Decentralized Simulations for Cyber-Physical Systems

Autor: Mohammed Foughali, Simon Lacroix, Christophe Reymann

Publikováno v: QRS
International Conference on Software Quality, Reliability and Security (QRS)
International Conference on Software Quality, Reliability and Security (QRS), Jun 2019, Sofia, Bulgaria

International audience; Simulation is very helpful for the development of cyber-physical systems, as it enables testing functionalities and their integration without full hardware deployment. For complex systems, such as fleets of heterogeneous robot

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a481fdeebb08ce948620548afae2ede0
https://doi.org/10.1109/qrs.2019.00040

Zobrazit plný text záznamu

Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms

Autor: Anthony Mallet, Mohammed Foughali, Bernard Berthomieu, Pierre-Emmanuel Hladik, Silvano Dal Zilio, Félix Ingrand

Publikováno v: FormaliSE: 6th International Conference on Formal Methods in Software Engineering
FormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden
FormaliSE@ICSE
HAL

International audience; Software constitutes a major part of the development of robotic and autonomous systems and is critical to their successful deployment in our everyday life. Robotic software must thus run and perform as specified. Since most of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::95ab1b2fa84c4d0e3a9f16ad8c282cb4
https://hal.laas.fr/hal-01778960

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání