References

  1. A. Aziz, K. Sanwal, V. Singhal & R. K. Brayton (1996): Verifying Continuous-Time Markov Chains. In: CAV '96: Proceedings of the 8th International Conference on Computer Aided Verification 1102. Springer Verlag LNCS, New Brunswick, NJ, USA, pp. 269–276, doi:10.1007/3-540-61474-5_75.
  2. M. Ajmone Marsan & G. Chiola (1987): On Petri nets with deterministic and exponentially distributed firing times. Advances in Petri Nets 1987, pp. 132–145, doi:10.1007/3-540-18086-9_23.
  3. H. Aljazzar & S. Leue (2008): Debugging of Dependability Models Using Interactive Visualization of Counterexamples. In: QEST '08: Proceedings of the Fifth International Conference on the Quantitative Evaluation of Systems. IEEE Computer Science Press, pp. 189–198, doi:10.1109/QEST.2008.40.
  4. Husain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer & Stefan Leue (2009): Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. In: QEST '09: Proceedings of the Sixth International Conference on Quantitative Evaluation of Systems. IEEE Computer Society, Los Alamitos, CA, USA, pp. 299–308, doi:10.1109/QEST.2009.8.
  5. Husain Aljazzar & Stefan Leue (2009): Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking. IEEE Transactions on Software Engineering, doi:10.1109/TSE.2009.57.
  6. Adnan Aziz, Kumud Sanwal, Vigyan Singhal & Robert Brayton (2000): Model-Checking Continuous-Time Markov Chains. ACM Trans. Comput. Logic 1(1), pp. 162–170, doi:10.1145/343369.343402.
  7. Christel Baier, Boudewijn Haverkort, Holger Hermanns & Joost-Pieter Katoen (2003): Model-Checking Algorithms for Continuous-Time Markov Chains. IEEE Transactions on Software Engineering 29(7), doi:10.1109/TSE.2003.1205180.
  8. S. Bernardi, J. Merseguer & D.C. Petriu (2009): A dependability profile within MARTE. Software and Systems Modeling, pp. 1–24, doi:10.1007/s10270-009-0128-1.
  9. H. Boudali, P. Crouzen, B.R. Haverkort, M. Kuntz & M.I.A. Stoelinga (2008): Architectural Dependability Modelling with Arcade. In: Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, pp. 512–521, doi:10.1109/DSN.2008.4630122.
  10. E. M. Clarke, E. A. Emerson & A. P. Sistla (1986): Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems 8(2), pp. 244–263, doi:10.1145/5397.5399.
  11. Lars Grunske (2008): Specification patterns for probabilistic quality properties. In: ICSE '08: Proceedings of the 30th international conference on Software engineering. ACM, New York, NY, USA, pp. 31–40, doi:10.1145/1368088.1368094.
  12. Lars Grunske, Robert Colvin & Kirsten Winter (2007): Probabilistic Model-Checking Support for FMEA. In: QEST '07: Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems. IEEE Computer Society, Washington, DC, USA, pp. 119–128, doi:10.1109/QEST.2007.34.
  13. 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.
  14. A. Hinton, M. Kwiatkowska, G. Norman & D. Parker (2006): PRISM: A Tool for Automatic Verification of Probabilistic Systems. In: TACAS '06: Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science. Springer, pp. 441–444, doi:10.1007/11691372_29.
  15. ITU-TS recommendation Z.120 (1996): Message Sequence Chart (MSC).
  16. David Nicolaas Jansen (2003): Extensions of statecharts : with probability, time, and stochastic timing. University of Twente. Available at http://doc.utwente.nl/58230/.
  17. V.G. Kulkarni (1995): Modeling and analysis of stochastic systems. Chapman & Hall/CRC.
  18. Matthias Kuntz, Florian Leitner-Fischer & Stefan Leue (2011): From Probabilistic Counterexamples via Causality to Fault Trees. Technical Report soft-11-02. Chair for Software Engineering, University of Konstanz. url = "http://www.inf.uni-konstanz.de/soft/research/publications/pdf/soft-11-02.pdf",.
  19. Leslie Lamport (1978): Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, pp. 558–565, doi:10.1145/359545.359563.
  20. D. Latella, I. Majzik & M. Massink (1999): Towards a formal operational semantics of UML statechart diagrams. In: IFIP TC6/WG6 1. Citeseer, pp. 331–347.
  21. Florian Leitner-Fischer (2010): Quantitative Safety Analysis of UML Models. University of Konstanz. Available at http://kops.ub.uni-konstanz.de/volltexte/2010/12520/.
  22. I. Majzik, A. Pataricza & A. Bondavalli (2003): Stochastic dependability analysis of system architecture based on UML models. Architecting dependable systems, pp. 219–244, doi:10.1007/3-540-45177-3_10.
  23. Object Management Group (2007): XML Metadata Interchange (XMI), v2.1.1. http://www.omg.org/technology/documents/formal/xmi.htm.
  24. Object Management Group (2008): UML Profile for Modeling and Analysis of Real Time Embedded Systems. http://www.omgmarte.org/.
  25. Object Management Group (2010): Object Constraint Language (OCL), v2.2. http://www.omg.org/spec/OCL/2.2/.
  26. Object Management Group (2010): SysML. Specification v1.2. http://www.sysml.org.
  27. Object Management Group (2010): Unified Modeling Language. Specification v2.3. http://www.uml.org.
  28. U.S. Nuclear Regulatory Commission (1981): Fault Tree Handbook. NUREG-0492.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org