Christele Faure Personal Homepage
Professional theme of interest
-
Industrial work:
- Software functional safety SafeRiver :
- Development of static tools to produce software level conformity evidences:
- DataRace : Detection of shared variables (atomicity and coherency of shared variables) and verification protection by critical section;
- IFFree : Detection of spatial interference points in the code to prove Freedom From Interference between two software partition (ASIL / QM);
- SpecChk: Verification of traceability between source code and specification documentation;
- StackWalker : Computation of maximum user and system used stack size.
- SafeProver: Proof of functional (vital) properties on a system description.
- Review of SW requirements for conformance to:
- Railways: EN 50128;
- Automotive: ISO 26262
- Software cyber security at SafeRiver :
- Lead of the French Network and Information Security
Agency ANSSI LabOSSec project
- Development of Cyber Security kits :
- Development of cyber security tools
- Static Cyber Security Scanners:
- Carto-C : Detection of a subset of CWEs
- Cyber Security applications:
Xml validator with respect to XML schema (XSD):
- Prototype publicly available:
XSVgen
- Product integrated in
a
CC EAL4+ certified system
- Usage of existing tools for safety or cyber security for C, C++, Java
Polyspace,
Frama-C,
Astrée, QAC, Coverity, Klocwork;
- Automatic proof of absence of Runtime Error (RTE);
- Detection of CWEs;
- Automatised proof of user defined properties on
augmented software.
- Software safety at The MathWorks:
- Lead of development of PolySpace for C++;
- Development of alias analysis for PolySpace for C;
- Development of the PolySpace for Java mockup (never industrialised).
Academic work:
2022, Christèle Faure