Modélisation discrète et formelle des exigences temporelles pour la validation et l'évaluation de la sécurité ferroviaire

Autor: Defossez, François

Le but de ce rapport est de présenter une méthode globale de développement à partir de spécifications informelles, depuis la modélisation graphique des exigences temporelles d'un système ferroviaire critique jusqu'à une implantation systémat

Externí odkaz: http://www.theses.fr/2010ECLI0004/document

Functioning mode Management and formal assessment of safety

Autor: Bon, Philippe, Collart-Dutilleul, Simon, Defossez, François

Publikováno v: In IFAC Proceedings Volumes 2010 43(8):186-191

Taking advantage of some complementary modeling methods to meet critical system requirement specification

Autor: Defossez, François, Bon, Philippe, Collart-Dutilleul, Simon

Publikováno v: COMPRAIL 2008
Eleventh International Conference on Computer System Design and Operations in the Railway and Other Transit Systems
Eleventh International Conference on Computer System Design and Operations in the Railway and Other Transit Systems, Sep 2008, Tolède, Spain. pp.CDROM

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::568cb887aca44077aa2b958a802cbab1
https://hal.science/hal-00838026