EC Specification et conception des systèmes temps réel