Learn More
Real time systems must respect their temporal constraints both in nominal and degraded conditions. Environment disturbances cause faults which are revealed by errors during task execution. Therefore, schedulers must be fault tolerant to guarantee no missed deadline. Phenomena like electromagnetic fields disturb real-time systems on an extended period of(More)
A robotic system has to enforce some properties: For example the safety about the environment Software architecture: functional chain analysis Do not collide into the environment. Deployment: contract respect analysis Take into account the intrinsic parameters of the robot. Software functional analysis Obstacle avoidance or emergency stop guarantee.(More)
Real-time embedded systems can be used in hightly important or even vital tasks (avionic and medical systems, etc.), thus having strict temporal constraints that need to be validated. Existing solutions use temporal logic, automata or scheduling techniques. However, scheduling techniques are often pessimistic and require an almost complete knowledge of the(More)
The PAM project has developed techniques and tools based on constraint solving to assist the avionics platform design team to select the adequate number of resources, the topology of resource interconnection and the safe allocation of resources to functions and data-flows of the supported applications. We explain how avionics platforms and supported(More)
Providing guarantees on the system behavior is mandatory in order to let the robots enter our every-day life. Among these guarantees, proving the fulfillment of real-time constraints on the software is a key issue, as their violation could result into unexpected and unsafe behaviors. In this paper, we present a methodology to guarantee real-time constraints(More)
Nowadays dangerous, repetitive or precision requiring jobs are done by robots like flying drones, industrial assembly arms or medical assistants. In all these cases, human beings can interact with the machines, therefore it is essential to guarantee that every part of the robot's software and hardware will produce a safe behavior: both the overall behavior(More)
Nowadays embedded real-time systems are often large distributed communicating systems, and the need for bounds on worst-case execution times (WCET) now includes the need of bound on worst-case network traversal time (WCTT). Network calculus is one method used to compute such bounds, and has been successfully applied on Airbus A380 [13]. Nevertheless, the(More)
Developing robotic applications requires to design and implement complex software architectures. These architectures must embed advanced algorithms that include capacities to adapt to unforeseen events like external disturbances, sensor or actuator failures. To improve the system robustness, its behavior should be adapted at runtime by a reconfiguration of(More)