Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

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

Vincent Leilde 1 Vincent Ribaud 2 Ciprian Teodorov 1 Philippe Dhaussy 1
1 Lab-STICC_ENSTAB_ CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
2 Lab-STICC_UBO_CACS_MOCS
UBO - Université de Brest, Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : 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.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01933792
Contributeur : Ciprian Teodorov <>
Soumis le : samedi 24 novembre 2018 - 11:49:31
Dernière modification le : vendredi 7 août 2020 - 15:56:05
Archivage à long terme le : : lundi 25 février 2019 - 12:36:17

Fichier

detect_2018.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01933792, version 1

Citation

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⟩

Partager

Métriques

Consultations de la notice

274

Téléchargements de fichiers

302