TY - GEN
T1 - ML dependency analysis for assessors
AU - Ayrault, Philippe
AU - Benayoun, Vincent
AU - Dubois, Catherine
AU - Pessaux, François
PY - 2012/11/6
Y1 - 2012/11/6
N2 - Critical software needs to obtain an assessment before commissioning. 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 languages such as those of the ML family lack such adapted tools. Providing similar tools for ML languages requires special attention on specific features such as higher-order functions and pattern-matching. This paper presents an information-flow analysis for such a language specifically 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.
AB - Critical software needs to obtain an assessment before commissioning. 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 languages such as those of the ML family lack such adapted tools. Providing similar tools for ML languages requires special attention on specific features such as higher-order functions and pattern-matching. This paper presents an information-flow analysis for such a language specifically 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.
UR - https://www.scopus.com/pages/publications/84868248063
U2 - 10.1007/978-3-642-33826-7_19
DO - 10.1007/978-3-642-33826-7_19
M3 - Conference contribution
AN - SCOPUS:84868248063
SN - 9783642338250
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 278
EP - 292
BT - Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Proceedings
T2 - 10th International Conference on Software Engineering and Formal Methods, SEFM 2012
Y2 - 1 October 2012 through 5 October 2012
ER -