Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Evénements > Séminaires > Séminaires IRIT-UPS

Séminaires IRIT-UPS

 

 

How to increase efficiency with the certification of process compliance

Barbara GALLINA - Mälardalen University (Suède)

Mercredi 25 Octobre 2017, 11h00 - 12h30
UT3 Paul Sabatier, IRIT, Salle des Thèses
Version PDF :

Abstract

Certification as well as self-assessment of safety-critical systems is an expensive and time-consuming activity due to the necessity of providing numerous deliverables. These deliverables can be process-related or product-related. Process-related deliverables are aimed at showing compliance with normative documents (e.g., safety standards), which impose specific requirements on the development process (e.g., reference models for the safety life-cycles). In this talk, we limit our attention to process-related deliverables and we propose a solution aimed at reducing time and cost related to their provision. Our solution consists of the combination of three approaches: the safety-oriented process line engineering approach, the process-based argumentation line approach, and the model driven certification-oriented approach. More specifically, we define how these three approaches are combined and which techniques, tools and guidelines should be used to implement the resulting approach. Then, via small-sized but realistic process-fragments, we illustrate it. Finally, we present a roadmap for future research directions.

Short Bio: Barbara Gallina is Associate Professor of Dependable Software Engineering at Mälardalen University, where she also leads the group on Certifiable Evidences & Justification Engineering. Currently, she is Vice-chair of the security subgroup within EWICS and member of IEEE SMC Technical Committee on Homeland Security (TCHS). Within AMASS, a large EU-ECSEL funded project, she is playing various roles: technical manager at the global level, work package leader, task leader, and land coordinator.

 

Retour