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)
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)
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)
E mbedded software is implementing more and more functions in aerospace , including critical ones. Model Driven Engineering has changed software life cycle development by introducing models in the early steps of software development. Verification and validation is essential, at model and at code levels, and still mostly done by simulation and test. However,(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)
— In this paper, we propose a mechanism allowing to evaluate the schedulability of a robotic software architecture , and then validate its real-time properties. The robotic software architecture is described through a Domain Speciic Language (DSL), MAUVE, that allows to model communicating components. The evaluation of schedulability of the architecture(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)