Modelling of computer systems : an approach for functional and dependability analysis

• Autorzy: Michalska K.
• Języki publikacji: EN

Abstrakty

EN

The paper presents a method of analyzing dependability aspects of service oriented information systems based on functional and dependability modelling. Analysis approach is based on integrating different computer system models into one coherent model suitable for simulation. To simplify integration of the models author propose an automatic solution that is integrated with the tools chosen for system analysis. Analysis is done with a usage of open-source simulation environment that can be easily modified and extended for farther work. Based on the simulation results, with respect to defined dependability and functionality metrics, some alternatives can be chosen in case of system or service failure. The paper presents developed software which implements described methodology and results of analysis for an exemplary business service oriented complex information system.

Słowa kluczowe

EN

dependability; modelling; computer systems; service

• Wydawca: Polskie Towarzystwo Bezpieczeństwa i Niezawodności
• Czasopismo: Journal of Polish Safety and Reliability Association
• Rocznik: 2011
• Tom: Vol. 2, No. 1
• Strony: 153--162
• Opis fizyczny: Bibliogr. 31 poz., rys., tab., wykr.

Twórcy

autor

Michalska K.

• Wrocław University of Technology, Poland

Bibliografia

• [1] Aime, M. & Atzeni, A. & Pomi, P. (2007). AMBRA - Automated Model-Based Risk Analysis. The 3rd Interna-tional Workshop on Quality of Protection (QoP 2007) (Affiliated with ACM CCS) Alexandria, VA, USA.
• [2] Avižienis, A. & Laprie, J-C. & Randell, B. (2000). Fundamental Concepts of Dependability. 3rd Information Survivability Workshop (ISW2000), Boston, Massachusetts, USA.
• [3] Business Process Management Initiative; http://www.bpmi.org/
• [4] BPMN (Business Process Modelling Notation); http://www.bpmn.org/
• [5] Chang, X. (1999). Network simulations with OPNET, Proc. Simulation Conference, Vol. 1, 307-314.
• [6] CIM (Common Information Model); http://dmtf.org/standards/cim
• [7] DESEREC Project Home Page, www.deserec.eu
• [8] Domain Modeling Language (DML) reference Home Page, http://www.ssfnet.org/SSFdocs/dmlReference.ht ml
• [9] Duflos, S. & Diallo, A.A. & Le Grand, G. (2007). An Overlay Simulator for Interdependent Critical Information Infrastructures. Dependability of Computer Systems, DepCoS-RELCOMEX '07, IEEE Press, 27-34.
• [10] Fishman, G. (1996). Monte Carlo: Concepts, Algorithms, and Applications. Springer-Verlag, New York
• [11] Hongli, Y. & Xiangpeng, Z. & Zongyan, Q., Geguang, P. & Shuling, W. (2006). A formal Model for Web Service Choreography Description Language (WS-CDL). Proc. of ICWS 2006. IEEE Computer Society.
• [12] Nicol, D. & Liu, J., Liljenstam, M. & Guanhua, Y. (2003). Simulation of large scale networks using SSF. Proc. of the 2003 Winter, Vol. 1, 650 – 657.
• [13] Michalska, K. & Walkowiak, T. (2008). Hierarchical approach to dependability analysis of information systems by modeling and simulation. The First International Workshop on Dependability and Security in Complex and Critical Information Systems, DEPEND 2008, August 25-31, 2008 - Cap Esterel, France, IEEE Computer Society Press 2008.
• [14] NS-2 Simulator Home Page, www.isi.edu.nsnam/nas/
• [15] Object Management Group; http://www.omg.org/
• [16] OMNeT++ Simulator Home Page, www.omnetpp.org
• [17] Organization for the Advancement of Structured Information Standards; http://www.oasisopen.org/
• [18] OPNet Modeler Home Page, http://www.opnet.com/
• [19] Open Applications Group; http://www.openapplications.org/
• [20] PI4SOA project web page: http://sourceforge.net/projects/pi4soa
• [21] QualNet Simulator Home Page, www.scaleblenetworks.com
• [22] Riley, G.F. (2003). Large-scale network simulations with GTNetS. Proc. of the 2003 Winter, Vol. 1, 676-684.
• [23] SSFNet Simulator Home Page, www.ssfnet.org
• [24] Walkowiak, T. & Michalska, K. (2010). Performance analysis of service-based information system with load balancer - simulation approach. Dependability of networks. 155-168.
• [25] Michalska, K. & Walkowiak, T. (2009). Simulation approach to performance analysis information systems with load balancer. Information systems architecture and technology: advances in Web-Age Information Systems. 269-278.
• [26] UML2 (The Unified Modelling Language 2: Activity Diagram); http://www.uml.org/
• [27] Wang, S. & Liu, K.Z. & Hu, F.P. (2005). Simulation of Wireless Sensor Networks Localization with OMNeT. Mobile Technology, Applications and Systems, 1-6.
• [28] World Wide Web Consortium; http://www.w3.org/
• [29] Workflow Management Coalition; http://www.wfmc.org/
• [30] WSCI (Web Service Choreography Interface); http://www.w3.org/TR/wsci/
• [31] WSCL (Hewlett-Packard’s Web Service Choreography Language); http://www.w3.org/TR/wscl10/