|
 
|
[ABD12] ML Dependency Analysis for Assessors
Conférence Internationale avec comité de lecture : International Conference on Software Engineering and Formal Methods (SEFM'12), October 2012, Vol. 7504, pp.278-292, Series LNCS, Thessaloniki, Greece,
motcle:
Résumé:
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 languages 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.
Equipe:
sys
BibTeX
| @inproceedings { | |||
| ABD12, | |||
| title | = | "{ML Dependency Analysis for Assessors}", | |
| author | = | " P. Ayrault and V. Benayoun and C. Dubois and F. Pessaux ", | |
| booktitle | = | "{International Conference on Software Engineering and Formal Methods (SEFM'12)}", | |
| year | = | 2012, | |
| edition | = | "Springer", | |
| month | = | "October", | |
| series | = | "LNCS", | |
| volume | = | 7504, | |
| pages | = | "278-292", | |
| address | = | "Thessaloniki, Greece", | |
| } | |||
