A Diagnosis Framework for Critical Systems Verification (Short Paper)

Leildé, Vincent; Ribaud, Vincent; Teodorov, Ciprian; Dhaussy, Philippe

doi:10.1007/978-3-319-66197-1_27

Cited by 2 publications

(3 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [12], we proposed a formalization of diagnosis. Based on the formalization, a diagnosis can be captured together with problem cases, allowing design or model causes inference (figure 5).…”

Section: Diagnosis Supportmentioning

confidence: 99%

“…Our research work is focused on methods and tools intended to ease this verification activity, especially the diagnosis activities. Briefly stated, our approach aims to answer diagnosis issues with a general diagnosis ontology [12], a management system to perform and enable verification and diagnosis activities [11], and a domain-oriented method [13].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

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

Leildé

Ribaud

Teodorov

et al. 2018

Communications in Computer and Information Science

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Section: Diagnosis Supportmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

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

Leildé

Ribaud

Teodorov

et al. 2018

Communications in Computer and Information Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…Briefly stated, our approach aims to answer the issues above with a general diagnosis ontology [25], a Verification Organizing System [24], and a domainoriented method, the latter being the subject of this paper. Some relevant parts of the ontology will be presented in section 3.1.…”

Section: Introductionmentioning

confidence: 99%

Domain-Oriented Verification Management

Leildé

Ribaud

Teodorov

et al. 2018

Model and Data Engineering

Self Cite

View full text Add to dashboard Cite

V. Basili stated twenty years ago that a software organization that manages quality should have a corporate infrastructure that links together and transcends the single projects by capitalizing on successes and learning from failures. For critical systems design, the verification tasks play a crucial role; when an unexpected situation is detected, the engineer analyzes the cause, performing a diagnosis activity. To improve the quality of the design, diagnosis information have to be managed through a well-defined method and with a suitable system. In this paper we present how a Verification Organizing System together with a problem-oriented method could achieve these issues. The key aspect of the approach is to follow a step-wise building of the solution, reusing known problems that are relevant for the system under study.

show abstract

A Diagnosis Framework for Critical Systems Verification (Short Paper)

Cited by 2 publications

References 16 publications

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

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

Domain-Oriented Verification Management

Contact Info

Product

Resources

About