A Problem-Oriented Approach to Critical System Design and Diagnosis Support - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

A Problem-Oriented Approach to Critical System Design and Diagnosis Support

Vincent Leilde
Vincent Ribaud
Ciprian Teodorov

Résumé

For critical software applications, dependability and safety are required features that should respect security principles. To cope with these constraints, the design activity should use new methods that foster knowledge sharing and reuse, in particular security problems and their solutions. In this paper, we present a problem-oriented method that follows a step-wise building of the solution. Problems are reused using various mechanisms, and a solution is conceived, verified and diagnosed. We illustrate the approach on the problem of building a secure SCADA architecture.
Fichier principal
Vignette du fichier
detect_2018.pdf (461 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01933792 , version 1 (24-11-2018)

Identifiants

  • HAL Id : hal-01933792 , version 1

Citer

Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. A Problem-Oriented Approach to Critical System Design and Diagnosis Support. 1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco. ⟨hal-01933792⟩
178 Consultations
285 Téléchargements

Partager

Gmail Facebook X LinkedIn More