Timing-failure risk assessment of UML design using time petri net bound techniques

IEEE Transactions on Industrial Informatics

Volumn 7, Issue 1, 2011, Pages 90-104

  Bernardi, Simona ^a   Campos, Javier ^b   Merseguer, José ^b  

^a CENTRO UNIVERSITARIO DE LA DEFENSA   (Spain)

^b UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

MARTE profile; risk assessment; time Petri net (TPN) bound techniques; unified modeling language (UML)

Indexed keywords

COMPREHENSIVE METHOD; DESIGN SPECIFICATION; FAILURE RISK ASSESSMENT; MARTE PROFILE; MODEL TRANSFORMATION; MODELING AND ANALYSIS; REAL-TIME EMBEDDED SYSTEMS; RISK EVALUATION; RISK MANAGEMENT PROCESS; SOFTWARE SPECIFICATION; SOFTWARE SYSTEMS; SYSTEM PROPERTY; TIME PETRI NETS; TIMING CONSTRAINTS; UML DESIGN; UNIFIED MODELING;

DESIGN; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; GRAPH THEORY; PETRI NETS; QUALITY ASSURANCE; RATING; REAL TIME SYSTEMS; RISK ANALYSIS; RISK ASSESSMENT; RISK MANAGEMENT; RISK PERCEPTION; SOFTWARE DESIGN; SPECIFICATIONS; TIMING CIRCUITS; UNIFIED MODELING LANGUAGE;

TIME DOMAIN ANALYSIS;

EID: 79951577313     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2010.2098415     Document Type: Article

References (51)

1. E. Lazowska, J. Zahorjan, G. Scott Graham, and C. Sevcik, Quantitative System Performance: Computer System Analysis Using Queueing Network Models. New York: Prentice-Hall, 1984.
2. R. Alur and D. Dill, "A theory of timed automata," Theor. Comput. Sci., no. 126, pp. 183-235, 1994.
3. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modelling With Generalized Stochastic Petri Nets, ser. John Wiley Series in Parallel Computing. Chichester, U.K.: Wiley, 1995.
4. B. Berthomieu and M. Diaz, "Modeling and verification of time dependent systems using time petri nets," IEEE Trans. Soft. Eng., vol. 12, no. 3, pp. 259-273, Mar. 1991.
5. P. Merlin and D. Faber, "Recoverability of communication protocols," IEEE Trans. Commun., vol. COM-24, no. 9, pp. 1036-1043, Sep. 1976.
6. Object Management Group, [Online]. Available: http://www.omg.org
7. Australian Standard AZ/NZS4360: Risk Management, AZ/NZS4360:, 1999.
8. Unified Modeling Language: Superstructure OMG, May 2010, ver. 2.3, formal/10-05-05.
9. A UML Profile for Modeling and Analysis of Real Time Embedded Systems (MARTE), OMG, 2009, document ptc/09-11-02.
10. A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, "Basic concepts and taxonomy of dependable and secure computing," IEEE Trans. Dependable and Secure Computing, vol. 1, no. 1, pp. 11-33, Jan.-Mar. 2004. (Pubitemid 40134576)
11. S. Bernardi and J. Campos, "Computation of performance bounds for real-time systems using time petri nets," Trans. Ind. Informat., vol. 5, no. 2, May 2009.
12. "IEC-60300-3-1: Dependability Management," 2001, International Electrotechnical Commission, 3 rue de Varembé CH 1211. Geneva, Switzerland.
13. "MIL-STD-882: System Safety Program Requirements," 1999, Dept. Defense Military Standard, USA.
14. N. Leveson, SAFEWARE: System Safety and Computers. Reading, MA: Addison-Wesley, 1995.
15. M. Stamatelatos and H. Dezfuli, "Probabilistic Risk Assessment Procedures Guide for NASA Managers and Practitioners," Aug., 2002, ver. 1.1, Prepared for Office of Safety and Mission Assurance,NASA Headquarters. Washington, DC.
16. C. Rodger and J. Petch, "Uncertainty & Risk Analysis," Apr. 1999, Business Dynamics, PriceWaterHouseCoopers.
17. UML Profile for Modeling Quality of Service and Fault Tolerant Characteristics and Mechanisms, OMG, Apr. 2008, ver. 1.1, formal/08-04-05.
18. Information Technology. Security Techniques: Information Security Risk Management, iSO/IEC 27005:2008, International Electrotechnical Commission, 2008.
19. NIST National Vulnerability Database, , National Institute of Standards and Technology. [Online]. Available: http://nvd.nist.gov/
20. BSI Standard 100-1: Information Security Management Systems (ISMS), Standard 100-1, Federal Office for Information Security. [Online]. Available: http://www.bsi.de/english/gshb/
21. E. Zambon, S. Etalle, R. J. Wieringa, and P. Hartel, "Model-based qualitative risk assessment for availability of IT infrastructures," Softw. Syst. Modeling, 10.1007/s10270-010-0166-8, to appear.
22. F. den Braber, I. Hogganvik, M. Lund, K. Stolen, and F. Vraalsen, "Model-based security analysis in seven steps. A guided tour to the CORAS method," BT Technol. J., vol. 1, no. 25, pp. 101-117, 2007. (Pubitemid 46455705)
23. C. Alberts and A. Dorofee, "OCTAVE Criteria," Carnegie Mellon-Software Engineering Institute, Pittsburgh, PA, Tech. Rep. ESC-TR-2001- 016, Dec. 2001.
24. "EBIOS: Expression des Besoins et Identification des Objectifs de Sécurité," Agence Nationale de la Sécurité des Systèmes d'information. [Online]. Available: http://www.ssi.gouv.fr/en/
25. "CRAMM v5.1 Information Security Toolkit," Siemens [Online]. Available: http://www.cramm.com
26. K. Goseva-Popstojanova, A. E. Hassan, A. Guedem, W. Abdelmoez, D. E. M. Nassar, H. H. Ammar, and A. Mili, "Architectural-level risk analysis using UML," IEEE Trans. Softw. Eng., vol. 29, no. 10, pp. 946-960, 2003.
27. V. Cortellessa, K. Goseva-Popstojanova, K. Appukkutty, A. Guedem, A. Hassan, R. Elnaggar,W. Abdelmoez, and H. Ammar, "Model-based performance risk analysis," IEEE Trans. Softw. Eng., vol. 31, no. 1, pp. 3-20, Jan. 2005. (Pubitemid 40556094)
28. S. Balsamo, A. Di Marco, P. Inverardi, and M. Simeoni, "Model-based performance prediction in software development: A survey," IEEE Trans. Softw. Eng., vol. 30, no. 5, pp. 295-310, May 2004.
29. I. Ober, S. Graf, and I. Ober, "Validating timed UML models by simulation and verification," Int. J. Softw. Tools for Technol., vol. 8, no. 2, pp. 128-145, 2006. (Pubitemid 43631931)
30. S. Bernardi, J. Merseguer, and D. Petriu, "A dependability profile within MARTE," J. Softw. Syst. Modeling, 10.1007/s10270-009- 0128-1, to appear.
31. P. King and R. Pooley, "Derivation of Petri Net performance models from UML specifications of communications software," in Proc. 15th U.K. Performance EngineeringWorkshop, Specifications of Communication Software, , 2000, pp. 262-276, Springer.
32. S. Bernardi, S. Donatelli, and J. Merseguer, "From UML sequence diagrams and statecharts to analyzable Petri Net models," in Proc. 3rd Workshop on Software and Performance (WOSP'02), Roma, Italy, July 2002, pp. 35-45, ACM.
33. M.Woodside, D. Petriu, D. Petriu, H. Shen, T. Israr, and J. Merseguer, "Performance by Unified Model Analysis (PUMA)," in Proc. 5th Int. Workshop on Software and Performance (WOSP'05), Palma de Mallorca, Spain, Jul. 2005, pp. 1-12. (Pubitemid 44447376)
34. S. Bernardi and J. Merseguer, "Performance evaluation of UML design with stochastic well-formed nets," J. Syst. Softw., vol. 80, no. 11, pp. 1843-1865, Nov. 2007. (Pubitemid 47404641)
35. J. Cardoso and C. Sibertin-Blanc, "Ordering actions in sequence diagrams of UML," in Proc. 23th Int. Conf. Inform. Technol. Interfaces, Pula, Croatia, 2001, pp. 3-14.
36. O. Kluge, "Petri Nets as a semantic model for message sequence charts specification," in Proc. 2nd Int. Workshop on Integration of Specification Techniques for Applications in Engineering (INT02), Grenoble, France, Apr. 2002, pp. 138-147.
37. C. Eichner, H. Fleischhack, R. Meyer, U. Schrimpf, and C. Stehno, "Compositional semantics for UML 2.0 sequence diagrams using Petri Nets," in Proc. 12th Int. SDL Forum, SDL 2005: Model Driven, A. Prinz, R. Reed, and J. Reed, Eds., Grimstad, Norway, Jun. 20-23, 2005, vol. 3530, Lecture Notes in Computer Science, pp. 133-148. (Pubitemid 41422147)
38. J. Fernandes, S. Tjell, J. Jørgensen, and O. Ribeiro, "Designing tool support for translating use cases and UML2.0 sequence diagrams into a Coloured Petri Net," in Proc. 6th International Workshop on Scenarios and State Machines (SCESM07), Minneapolis, MN, 2007, p. 2.
39. D. Petriu and M. Woodside, "An intermediate metamodel with scenarios and resources for generating performance models fromUMLdesigns," Softw. Syst. Modeling, vol. 6, no. 2, pp. 163-184, 2007, 10.1007/ s10270-006-0026-8. (Pubitemid 46882234)
40. E. Vicario, "Static analysis and dynamic steering of time-dependent systems," IEEE Trans. Softw. Eng., vol. 27, no. 8, pp. 728-748, Aug. 2001. (Pubitemid 32829713)
41. D. Xu, X. He, and Y. Deng, "Compositional schedulability analysis of real-time systems using Time Petri Nets," IEEE Trans. Softw. Eng., vol. 28, no. 10, pp. 984-996, Oct. 2002.
42. E. Vicario, L. Sassoli, and L. Carnevali, "Using stochastic state classes in quantitative evaluation of dense-time reactive-time reactive systems," IEEE Trans. Softw. Eng., vol. 35, no. 5, pp. 703-719, Nov. 2009.
43. D. Cancila, F. Terrier, F. Belmonte, H. Dubois, H. Espinoza, S. Girard, and A. Cucurru, "Sophia: A modeling language for model-based safety engineering," in Proc. 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems, Denver, CO, Oct. 6, 2009, pp. 11-26.
44. S. Bernardi and J. Campos, "On performance bounds for interval Time Petri Nets," in Proc. 1st Int. Conf. Quantitative Evaluation of Systems (QEST'04), Enschede, The Netherlands, Sep. 2004, pp. 50-59. (Pubitemid 40456761)
45. R. Kearfott, "Interval computations: Introduction, uses, and resources," Euromath Bulletin, vol. 2, no. 1, pp. 95-112, 1996.
46. S. Donatelli and G. Franceschinis, "The PSR methodology: Integrating hardware and software models," in Proc. 17th Int. Conf. Application and Theory of Petri Nets (ICATPN96), Osaka, Japan, Jun. 1996, vol. 1091, LNCS.
47. G. Upton and I. Cook, The Oxford Dictionary of Statistics. Oxford, U.K.: Oxford Univ. Press, 2002.
48. ARP4761: Aerospace Recommended Practise: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airbone Systems and Equipment, 12 ed. Warrendale, PA: Society of Automotive Engineers, 1996.
49. Y. Papadopolous and J. McDermid, "Hierarchically performed hazard origin and propagation studies," in Proc. SAFECOMP'99, 1999, vol. 1698, LNCS, pp. 139-152.
50. G. Mauri, "Integrating safety analysis techniques, supporting identification of common cause failures," Ph.D. dissertation, Dept. Comput. Sci., Univ. York, York, 2000.
51. E. Pacini, S. Bernardi, and M. Gribaudo, "ITPN-PerfBound: A performance bound tool for Interval Time Petri Nets," in Proc. 15th Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), S.Kowalewski and A. Philippou, Eds.,York, U.K., Mar. 2009, pp. 50-53.