Skip to Main content Skip to Navigation
Conference papers

ML Dependency Analysis for Assessors

Abstract : Critical software needs to obtain an assessment before com- missioning. This assessment is given after a long task of software analysis performed by assessors. They may be helped by tools, used interactively, to build models using information-flow analysis. Tools like SPARK-Ada exist for Ada subsets used for critical software. But some emergent lan- guages such as those of the ML family lack such adapted tools. Pro- viding similar tools for ML languages requires special attention on spe- cific features such as higher-order functions and pattern-matching. This paper presents an information-flow analysis for such a language specifi- cally designed according to the needs of assessors. This analysis can be parametrized to allow assessors getting a view of dependencies at several levels of abstraction and gives the basis for an efficient fault tolerance analysis.
Document type :
Conference papers
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download
Contributor : François Pessaux <>
Submitted on : Monday, September 28, 2015 - 11:24:28 AM
Last modification on : Wednesday, July 3, 2019 - 10:48:05 AM
Document(s) archivé(s) le : Tuesday, December 29, 2015 - 10:13:40 AM


Files produced by the author(s)



François Pessaux, Vincent Benayoun, Catherine Dubois, Philippe Ayrault. ML Dependency Analysis for Assessors. Software Engineering and Formal Methods (SEFM) 2012, Oct 2012, Thessaloniki, Greece. pp.278-292, ⟨10.1007/978-3-642-33826-7_19⟩. ⟨hal-01203505⟩



Record views


Files downloads