References

  1. S. Abdelwahed, G. Karsai, N. Mahadevan & S.C. Ofsthun (2009): Practical implementation of diagnosis systems using timed failure propagation graph models. Instrumentation and Measurement, IEEE Transactions on 58(2), pp. 240–247, doi:10.1109/TIM.2008.2005958.
  2. P.A. Abdulla, J. Deneux, G. Stålmarck, H. Ågren & O. Åkerlund (2004): Designing Safe, Reliable Systems Using Scade. In: Proc. ISoLA 2004, pp. 115–129, doi:10.1007/11925040_8.
  3. E. Alaña, H. Naranjo, Y. Yushtein, M. Bozzano, A. Cimatti, M. Gario, R. de Ferluc & G. Garcia (2012): Automated generation of FDIR for the compass integrated toolset (AUTOGEF). In: Proc. DAta Systems In Aerospace, DASIA 2012 ESA SP 701.
  4. C. Baier & J.-P. Katoen (2008): Principles of Model Checking. MIT Press.
  5. P. Bieber, C. Bougnol, C. Castel, J.-P. C. Kehren, S. Metge & C. Seguin (2004): Safety Assessment with AltaRica. In: Building the Information Society, IFIP International Federation for Information Processing 156. Springer, pp. 505–510, doi:10.1007/978-1-4020-8157-6_45.
  6. B. Bittner (2016): Formal Failure Analyses for Effective Fault Management: An Aerospace Perspective. University of Trento.
  7. B. Bittner, M. Bozzano, R. Cavada, A. Cimatti, M. Gario, A. Griggio, C. Mattarei, A. Micheli & G. Zampedri (2016): The xSAP Safety Analysis Platform. In: Proc TACAS. Springer, pp. 533–539, doi:10.1007/978-3-662-49674-9_31.
  8. B. Bittner, M. Bozzano & A. Cimatti (2016): Automated Synthesis of Timed Failure Propagation Graphs. In: Proc. IJCAI, pp. 972–978.
  9. B. Bittner, M. Bozzano, A. Cimatti, R. de Ferluc, M. Gario, A. Guiotto & Y. Yushtein (2014): An Integrated Process for FDIR Design in Aerospace. In: Proc. IMBSA 2014, LNCS 8822, pp. 82–95, doi:10.1007/978-3-319-12214-4_7.
  10. B. Bittner, M. Bozzano, A. Cimatti & X. Olive (2012): Symbolic Synthesis of Observability Requirements for Diagnosability. In: AAAI Conference on Artificial Intelligence.
  11. B. Bittner, M. Bozzano, A. Cimatti & G. Zampedri (2016): Automated Verification and Tightening of Failure Propagation Models. In: Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016), pp. 907–913.
  12. M. Bozzano, A. Cavallo, M. Cifaldi, L. Valacca & A. Villafiorita (2003): Improving Safety Assessment of Complex Systems: An Industrial Case Study. In: Proc. FME, LNCS 2805, pp. 208–222, doi:10.1007/978-3-540-45236-2_13.
  13. M. Bozzano, A. Cimatti, M. Gario & A. Micheli (2015): SMT-based Validation of Timed Failure Propagation Graphs. In: Twenty-ninth AAAI Conference on Artificial Intelligence, pp. 3724–3730.
  14. M. Bozzano, A. Cimatti, M. Gario & S. Tonetta (2014): Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. In: Proc. TACAS, pp. 326–340, doi:10.1007/978-3-642-54862-8_22.
  15. M. Bozzano, A. Cimatti, M. Gario & S. Tonetta (2015): Formal Design of Asynchronous FDI Components using Temporal Epistemic Logic. Logical Methods in Computer Science 11, doi:10.2168/LMCS-11(4:4)2015.
  16. M. Bozzano, A. Cimatti, J.-P. Katoen, V.Y. Nguyen, T. Noll & M. Roveri (2011): Safety, Dependability and Performance Analysis of Extended AADL Models. Computer Journal 54(5), pp. 754–775, doi:10.1093/comjnl/bxq024.
  17. M. Bozzano, A. Cimatti, C. Mattarei & A. Griggio (2015): Efficient Anytime Techniques for Model-Based Safety Analysis. In: CAV, pp. 603–621, doi:10.1007/978-3-319-21690-4_41.
  18. M. Bozzano, A. Cimatti & F. Tapparo (2007): Symbolic Fault Tree Analysis for Reactive Systems. In: Proc. ATVA, LNCS 4762. Springer, pp. 162–176, doi:10.1007/978-3-540-75596-8_13.
  19. M. Bozzano & A. Villafiorita (2003): Integrating Fault Tree Analysis with Event Ordering Information. Proc. ESREL 2003, pp. 247–254.
  20. M. Bozzano & A. Villafiorita (2010): Design and Safety Assessment of Critical Systems. CRC Press (Taylor and Francis), an Auerbach Book, doi:10.1201/b10094.
  21. M. Bozzano & A. Villafiorita (2003): ESACS: An Integrated Methodology for Design and Safety Analysis of Complex Systems. Proc. ESREL 2003, pp. 237–245.
  22. A.R. Bradley (2011): SAT-Based Model Checking without Unrolling. In: VMCAI, pp. 70–87, doi:10.1007/978-3-642-18275-4_7.
  23. G. Caltais, S. Leue & M. Reza Mousavi (2016): (De-)Composing Causality in Labeled Transition Systems. In: Proc. CREST: Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, doi:10.4204/EPTCS.224.3.
  24. A. Cimatti, E.M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani & A. Tacchella (2002): NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: CAV, pp. 359–364, doi:10.1007/3-540-45657-0_29.
  25. A. Cimatti, A. Griggio, S. Mover & S. Tonetta (2013): Parameter synthesis with IC3. In: Proceedings of FMCAD. IEEE, pp. 165–168, doi:10.1109/FMCAD.2013.6679406.
  26. A. Cimatti, C. Pecheur & R. Cavada (2003): Formal Verification of Diagnosability via Symbolic Model Checking. In: IJCAI, pp. 363–369.
  27. A. Cimatti, M. Roveri, A. Susi & S. Tonetta (2012): Validation of requirements for hybrid systems: A formal approach. ACM Transactions on Software Engineering and Methodology 21(4), pp. 22, doi:10.1145/2377656.2377659.
  28. E.M. Clarke, O. Grumberg & D.A. Peled (2000): Model Checking. MIT Press.
  29. J. Ezekiel, A. Lomuscio, L. Molnar & S.M. Veres (2011): Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle. In: IJCAI, pp. 1659–1664.
  30. P. Gammie & R. Van Der Meyden (2004): MCK: Model checking the logic of knowledge. In: CAV. Springer, pp. 256–259, doi:10.1007/978-3-540-27813-9_41.
  31. A. Guiotto, R. De Ferluc, M. Bozzano, A. Cimatti, M. Gario & Y.Yushtein (2014): Fame process: A dedicated development and V&V process for FDIR. In: Proc. DASIA, European Space Agency, (Special Publication) ESA SP 725.
  32. J. Halpern (2015): A modification of the Halpern-Pearl definition of causality. In: Proc. IJCAI 2015, pp. 3022–3033.
  33. J.Y Halpern & J. Pearl (2005): Causes and explanations: A structural-model approach. Part I: Causes. The British journal for the philosophy of science 56(4), pp. 843–887, doi:10.1093/bjps/axi147.
  34. J.Y. Halpern & M.Y Vardi (1989): The complexity of Reasoning About Knowledge and Time. Lower Bounds. Journal of Computer and System Sciences 38(1), pp. 195–237, doi:10.1016/0022-0000(89)90039-1.
  35. X. Huang (2013): Diagnosability in Concurrent Probabilistic Systems. In: AAMAS, pp. 853–860.
  36. S. Jiang & R. Kumar (2001): Failure Diagnosis of Discrete Event Systems with Linear-time Temporal Logic Fault Specifications. In: IEEE Transactions on Automatic Control, pp. 128–133, doi:10.1109/ACC.2002.1024792.
  37. A. Joshi, S.P. Miller, M. Whalen & M.P.E. Heimdahl (2005): A Proposal for Model-Based Safety Analysis. In: Proc. DASC. IEEE Computer Society, doi:10.1109/DASC.2005.1563469.
  38. F. Leitner-Fischer & S. Leue (2013): Probabilistic Fault Tree Synthesis using Causality Computation. International Journal of Critical Computer-Based Systems 4(2), pp. 119–143, doi:10.1504/IJCCBS.2013.056492.
  39. A. Misra, J. Sztipanovits, A. Underbrink, R. Carnes & B. Purves (1992): Diagnosability of Dynamical Systems. In: Third International Workshop on Principles of Diagnosis.
  40. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen & D. C. Teneketzis (1996): Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology 4(2), pp. 105–124, doi:10.1109/87.486338.
  41. A. Schumann (2004): Diagnosis of discrete-event systems using binary decision diagrams. Workshop on Principles of Diagnosis (DX'04), pp. 197–202.
  42. W.E. Vesely, M. Stamatelatos, J. Dugan, J. Fragola, J. Minarick III & J. Railsback (2002): Fault Tree Handbook with Aerospace Applications. Technical Report. NASA.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org