International audienceSoftware 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 these systems are used in a hard real-time context, the schedulability of their tasks is a crucial property. In this work, we propose to use formal methods to check whether the tasks of a robotic application are schedulable with respect to a given hardware platform. For this, we automatically translate functional components specified in GenoM into FIACRE, a formal language for timed systems. The generated models integrate realistic real-time schedulers based on the FCFS and the SJF cooperative po...
Abstract. We present a novel formal verification approach for collective robotic systems that is bas...
This paper presents an approach to the specification of requirements, and verification of design, fo...
Model-Driven Engineering enables to assess a system's model properties since the early phases of its...
International audienceSoftware constitutes a major part of the development of robotic and autonomous...
International audienceDue to the severe consequences of their possible failure, robotic systems must...
International audienceThe challenges of deploying robots and autonomous vehicles call for further ef...
International audienceDue to the severe consequences of their possible failure, robotic systems must...
International audienceThe challenges of deploying robots and autonomous vehicles call for further ef...
International audienceValidation and Verification (V&V) of autonomous robotic system software is bec...
International audienceSoftware is an essential part of robotic systems. As robots and autonomous sys...
International audienceThroughout the last few decades, researchers and practitioners are showing mor...
A robot is a complex system combining hardware and software parts. In order to simplify the robot de...
Mutiprocessor real-time systems have become ubiquitous in the past few years. Some of them (e.g., au...
International audienceThe design of embedded real-time systems requires specific toolchains to guara...
International audienceFormal verification of robotic functional components is extremely important. I...
Abstract. We present a novel formal verification approach for collective robotic systems that is bas...
This paper presents an approach to the specification of requirements, and verification of design, fo...
Model-Driven Engineering enables to assess a system's model properties since the early phases of its...
International audienceSoftware constitutes a major part of the development of robotic and autonomous...
International audienceDue to the severe consequences of their possible failure, robotic systems must...
International audienceThe challenges of deploying robots and autonomous vehicles call for further ef...
International audienceDue to the severe consequences of their possible failure, robotic systems must...
International audienceThe challenges of deploying robots and autonomous vehicles call for further ef...
International audienceValidation and Verification (V&V) of autonomous robotic system software is bec...
International audienceSoftware is an essential part of robotic systems. As robots and autonomous sys...
International audienceThroughout the last few decades, researchers and practitioners are showing mor...
A robot is a complex system combining hardware and software parts. In order to simplify the robot de...
Mutiprocessor real-time systems have become ubiquitous in the past few years. Some of them (e.g., au...
International audienceThe design of embedded real-time systems requires specific toolchains to guara...
International audienceFormal verification of robotic functional components is extremely important. I...
Abstract. We present a novel formal verification approach for collective robotic systems that is bas...
This paper presents an approach to the specification of requirements, and verification of design, fo...
Model-Driven Engineering enables to assess a system's model properties since the early phases of its...