Toward a validation process for model based safety analysis

International audienceToday, Model Based Safety Analysis processes become more and more widespread to achieve the safety analysis of a system. However and at our knowledge, there is no formal testing approach to ensure that the formal model is compliant with the real system. In the paper, we choose to study AltaRica model. We present a general process to well construct and validate an AltaRica formal model. The focus is made on this validation phase, i.e. verifying the compliance between the model and the real system. For it, the proposed process recommends to build a specification for the AltaRica model. Then, the validation process is transformed to a classical verification problem between an implementation and a specification. We present the first phase of a method to verify the compliance between the model and the specification

Modélisation de la dégradation d’un composant à partir du retour d’expériences

ACLInternational audienc

Modélisation de la dégradation d’un composant à partir du retour d’expériences

ACLInternational audienc

Annual variation of source contributions to PM10 and oxidative potential in a mountainous area with traffic, biomass burning, cement-plant and biogenic influences

Toxicity of particulate matter (PM) depends on its sources, size and composition. We identified PM10 sources and determined their contribution to oxidative potential (OP) as a health proxy for PM exposure in an Alpine valley influenced by cement industry. PM10 filter sample chemical analysis and equivalent black carbon (eBC) were measured at an urban background site from November 2020 to November 2021. Using an optimized Positive Matrix Factorization (PMF) model, the source chemical fingerprints and contributions to PM10 were determined. The OP assessed through two assays, ascorbic acid (AA) and dithiothreitol (DTT), was attributed to the PM sources from the PMF model with a multiple linear regression (MLR) model. Ten factors were found at the site, including biomass burning (34, 40 and 38% contribution to annual PM10, OPAA and OPDDT, respectively), traffic (14, 19 and 7%), nitrate- and sulphate-rich (together: 16, 5 and 8%), aged sea salt (2, 2 and 0%) and mineral dust (10, 12 and 17%). The introduction of innovative organic tracers allowed the quantification of the PM primary and secondary biogenic fractions (together: 13, 8 and 21%). In addition, two unusual factors due to local features, a chloride-rich factor and a second mineral dust-rich factor (named the cement dust factor) were found, contributing together 10, 14 and 8%. We associate these two factors to different processes in the cement plant. Despite their rather low contribution to PM10 mass, these sources have one of the highest OPs per µg of source. The results of the study provide vital information about the influence of particular sources on PM10 and OP in complex environments and are thus useful for PM control strategies and actions