%0 Conference Paper
%F Oral 
%T A Problem-Oriented Approach to Critical System Design and Diagnosis Support
%+ Lab-STICC_ENSTAB_ CACS_MOCS
%+ Lab-STICC_UBO_CACS_MOCS
%A Leilde, Vincent
%A Ribaud, Vincent
%A Teodorov, Ciprian
%A Dhaussy, Philippe
%< avec comité de lecture
%B 1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018)
%C Marrakesh, Morocco
%8 2018-10-24
%D 2018
%K Problem Oriented Method
%K Diagnosis
%K Security Patterns
%Z Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
%Z Computer Science [cs]/Software Engineering [cs.SE]
%Z Computer Science [cs]/Symbolic Computation [cs.SC]
%Z Computer Science [cs]/Programming Languages [cs.PL]
%Z Computer Science [cs]/Modeling and SimulationConference papers
%X 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.
%G English
%2 https://hal.science/hal-01933792/document
%2 https://hal.science/hal-01933792/file/detect_2018.pdf
%L hal-01933792
%U https://hal.science/hal-01933792
%~ UNIV-BREST
%~ INSTITUT-TELECOM
%~ ENSTA-BRETAGNE
%~ CNRS
%~ UNIV-UBS
%~ ENSTA-BRETAGNE-STIC
%~ LAB-STICC_UBO_CACS
%~ LAB-STICC_UBO
%~ ENIB
%~ LAB-STICC_ENIB
%~ LAB-STICC
%~ TDS-MACS
%~ IBNM
%~ INSTITUTS-TELECOM