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

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.