David Doose

Learn 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)
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)
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)
que la vérification consiste à assurer la correction du produit par rapport aux entrées fournies et aux standards applicables dans les phases de conception et de réalisation, et que la validation consiste à déterminer si les exigences sont correctes et complètes dans les phases de recette. Cependant, l'utilisation des méthodes formelles tend à brouiller(More)
  • 1