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.
Type de document :
Communication dans un congrès
Software Engineering and Formal Methods (SEFM) 2012, Oct 2012, Thessaloniki, Greece. Springer Verlag, 7504, pp.278-292, 〈10.1007/978-3-642-33826-7_19〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01203505
Contributeur : François Pessaux <>
Soumis le : lundi 28 septembre 2015 - 11:24:28
Dernière modification le : vendredi 16 novembre 2018 - 01:43:34
Document(s) archivé(s) le : mardi 29 décembre 2015 - 10:13:40

Fichier

ML_deps_assess.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

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. Springer Verlag, 7504, pp.278-292, 〈10.1007/978-3-642-33826-7_19〉. 〈hal-01203505〉

Partager

Métriques

Consultations de la notice

207

Téléchargements de fichiers

71