Publicaciones

Affichage de 4151 à 4160 sur 5747


  • Chapitre d'ouvrage

Différences de comportement chez une population saine lors d’une tâche de contrôle postural et effet des ceintures lombaires souples sur la stabilité et les activités musculaires du tronc

Cyril Garnier

La stabilisation lombo-pelvienne : du gainage au concept de core stability, Edition Sauramps medical, pp.63-73, 2014, 978-2-84023-930-7. ⟨hal-03456398⟩

  • Communication dans un congrès

Allocation rules of Safety Integrity Levels in a generic TCMS application

Abel Ouedraogo, Julie Beugin, El Miloudi El Koursi, Joffrey Clarhaut, Dominique Renaux, Frédéric Lisiecki

This article identifies and formalizes specific rules implicitly used for SIL allocation in TCMS (Train Control and Monitoring Systems). Firstly, the context of the SIL (Safety Integrity Level) used within the harmonized risk management process for railway systems in the European Union is presented...

10th FORMS-FORMAT symposium, Formal Methods for Automation and Safety in Railway and Automotive Systems, Sep 2014, Brunswick, Germany. pp.167-176. ⟨hal-01073402⟩