Publications

Affichage de 4091 à 4100 sur 5714


  • Communication dans un congrès

A metaheuretic based on controlled genetic operators to optimize Dynamic Carpooling Service

Sondes Ben Cheikh, Slim Hammadi, Christian Tahon

International Conference on metaheuristics and nature inspired computing , 2014, Marrakech, Morocco. ⟨hal-01716648⟩

  • Rapport

Déploiement du Processus d’Aide à la Décision dans l’inspection filtrage aéroportuaire

Igor Crevits

[Rapport de recherche] Laboratoire automatique, de mécanique et d'informatique industrielles et humaines. 2014. ⟨hal-03405180⟩

  • 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⟩