FSF

Fiabilité et Sûreté de Fonctionnement

Objectifs

Le projet FSF a été lancé en mai 2013 afin d’encourager l’émergence d’une filière autour des plateformes d’exécutions pour systèmes ferroviaires, aussi bien grandes lignes qu’urbains. Plus précisément, les travaux menés au sein du projet ont répondu à trois grands objectifs :

  • Organiser les ressources matérielles et le logiciel d’exploitation de telle sorte que la plateforme d’exécution atteigne les objectifs de performance, de sûreté de fonctionnement, de disponibilité et de sécurité pour un système donné.
  • Spécifier les services nécessaires et caractériser les ressources disponibles entre la plateforme d’exécution et les sous-systèmes logiciels pour que l’indépendance des cycles de conception des deux parties puisse être assurée.
  • Intégrer dans le workflow de conception logiciel un processus de validation continue prenant en compte les caractéristiques de la plateforme d’exécution configurée pour le système en développement.

Résultats

D0503_Infographie_FSF_vFR_v2 1

Publications du projet FSF

Ensuring Dependability and Performance for CPS Design: Application to a Signaling System

D. Cancila, F. Guenab, A. Koudri, E. Soubiran, L. Wouters

Elseveir Volume: Cyber-physical systems: foundation, principle and application, 2016

Hard Real Time and Mixed Time Criticality on Off-The-Shelf Embdedded Multi-cores

A. Cohen, D. Potop Butucaru, M. Pouzet, E. Soubiran, Z. Zhang, V. Perrelle

ERTS, 2016

A meta-model for the Isabelle API

F. Tuong, B. Wolf

Archive of Formal Proof, 2015

Automatic selection and composition of model transformations alternatives using evolutionary algorithms

S. Rahmoun, E. Borde, L. Pautet

VAQUITA, 2015

Collaborative Model-Driven Engineering

L. Wouters

IRT SystemX, 2015

Integration the ISO/EIC 15288 Systems Engineering Standard with the PMBoK Project Management Guide to Optimize the Management of Engineering Project

R. Xue, C. Baron, P. Esteban, L. Zheng

CSD&M, 2015

Multi-Objectives Refinement of AADL Models for the Synthesis Embedded Systems (μ -RAMSES)

S. Rahmoun, E. Borde, L. Pautet

ICECCS, 2015

Architecture Models Refinement for Fine Grain Timing Analysis

E. Borde, L. Pautet, S. Rahmoun

RSP, 2014

Feasibility Study in the use of contract-based approaches to deal with safety-related properties in CPS

D. Cancila, R. Passerone, E. Soubiran

De-CPS, 2014

Meta-Programming in Isabelle/HOL The Case of UML

Longuet, F. Turon, B. Wolf

DigiCosme, 2014

Mixed-criticality in Railway Systems: A Case Study on Signalling Application

A. Cohen, V. Perrelle, D. Potop-Butucaru, E. Soubiran, Z. Zhang

Workshop on Mixed Criticality for Industrial Systems, 2014

PDP 4PS: Periodic-Delayed Protocol for Partitioned Systems

A. Jaouën, E. Borde, L. Pautet, T. Robert

AdaEurope, 2014

Reconciling performance and predictability on a many-core through off-line mapping

A. Jaouën, E. T. Carle, M. Djemal, D. Potop Butucaru, R. de Simone, Z. Zhang, F. Pecheux, F. Wajbuers

RePP, 2014

R Static mapping of real-time applications onto massively parallel processor arrays

T. Carle, M. Djemal, D. Potop Butucaru, R. de Simone, Z. Zhang, F. Pecheux, F. Wajbuers

14th International Conference on Application of Concurrency to System Design, 2014

Towards a Tool for Featherweight OCL: A Case Study On Semantic Reection

D. Longuet, F. Tuong, B. Wolff

OCL, 2014

New modelling approach to construct Test model for railway embedded systems

A. Mechraoui, P. Poisson, E. Soubiran

UCAAT, 2013

Médiathèque

Documents à télécharger :

Actualités :

Vidéo :

Rétrospective

 

Terminé
Transport Autonome
Partenaires industriels
Alstom Transport APSYS Esterel Technologies Krono-Safe Scaleo Chip
Partenaires académiques
CEA Inria Institut Mines-Télécom Université Paris-Sud
Chef de projet
Elie Soubiran
elie.soubiran[at]irt-systemx.fr