Automated Freedom from Interference Analysis for Automotive Software

Conference object English OPEN
Leitner-Fischer , Florian; Leue , Stefan; Liu , Sirui;
  • Publisher: HAL CCSD
  • Subject: [ INFO.INFO-DC ] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

International audience; Freedom from Interference for automotive software systems developed according to the ISO 26262 standard means that a fault in a less safety critical software component will not lead to a fault in a more safety critical component. It is an importa... View more
  • References (8)

    [1] ISO, “Road vehicles - functional safety,” International Organization for Standardization, Geneva, Switzerland, ISO 26262, 2011.

    [2] C. Baier, J.-P. Katoen et al., Principles of model checking. MIT press Cambridge, 2008, vol. 26202649.

    [3] F. Leitner-Fischer and S. Leue, “Causality checking for complex system models,” in VMCAI, ser. Lecture Notes in Computer Science, vol. 7737. Springer, 2013, pp. 248-267.

    [4] --, “Quantum: Quantitative safety analysis of UML models,” in QAPL, ser. EPTCS, vol. 57, 2011, pp. 16-30.

    [5] --, “Probabilistic fault tree synthesis using causality computation,” IJCCBS, vol. 4, no. 2, pp. 119-143, 2013. [Online]. Available:

    [6] OMG, “Omg systems modeling language,” OMG, Tech. Rep., 2015. [Online]. Available:

    [7] F. Leitner-Fischer and S. Leue, “Spincause: a tool for causality checking,” in SPIN. ACM, 2014, pp. 117-120.

    [8] G. J. Holzmann, The SPIN Model Checker: Primer and Reference Manual. Addision-Wesley, 2003.

  • Metrics
Share - Bookmark