Abstract
The paper describes an approach to functional dependability modelling of discrete transport systems. The proposed method is based on specified description languages that can be seen as a bridge between system description (as a mathematical or expert specification) and an analysis tools. In this paper system analysis is based on computer simulation using Monte Carlo simulation. System is analysed from the functional point of view (focusing on business service realized by a system) with support of specified dependability measures. The paper presents some exemplar system modelling based on a case study. Proposed approach can be used as a tool helpful to administrate the system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Avižienis, A., Laprie, J., Randell, B.: Fundamental Concepts of Dependability. In: 3rd Information Survivability Workshop ISW 2000 (2000)
Cowie, J.H.: Scalable Simulation Framework API reference manual (1999), http://www.ssfnet.org/SSFdocs/ssfapiManual.pdf
Fishman, G.: Monte Carlo: Concepts, Algorithms, and Applications. Springer, Heidelberg (1996)
Gartner, N., Messer, C.J., Rathi, A.K.: Traffic Flow Theory and Characteristics. In: Board, T.R. (ed.), University of Texas at Austin, Texas (1998)
Gold, N., Knight, C., Mohan, A., Munro, M.: Understanding service-oriented software. IEEE Software 21, 71–77 (2004)
JooBeom, Y., Sohn, K., Hyunsoo, Y.: Dynamic Simulation on Network Security Simulator Using SSFNET. Convergence Information Technology, 1168–1172 (2007)
Liu, J.: Parallel Real-time Immersive Modeling Environment (PRIME), Scalable Simulation Framework (SSF), User’s manual, Colorado School of Mines Dep. of Mathematical and Computer Sciences (2006), http://prime.mines.edu
Liu, K.S.: Studies on the Transfer Data Modeling in the Public Transport Information System. In: 7th International Conference on ITS, Telecommunications, ITST 2007, pp. 1–6 (2007)
Michalska, K., Walkowiak, T.: Hierarchical Approach to Dependability Analysis of Information Systems by Modeling and Simulation. In: The Second International Conference on Emerging Security Information, Systems and Technologies SECURWARE 2008, pp. 356–361. IEEE Computer Society Press, Los Alamitos (2008)
Walkowiak, T., Mazurkiewicz, J.: Algorithmic Approach to Vehicle Dispatching in Discrete Transport Systems. In: Sugier, J., et al. (eds.) Technical approach to dependability, pp. 173–188. Oficyna Wydawnicza Politechniki Wroclawskiej, Wroclaw (2010)
Walkowiak, T., Mazurkiewicz, J.: Analysis of Critical Situations in Discrete Transport Systems. In: Proceedings of International Conference on Dependability of Computer Systems, pp. 364–371. IEEE Computer Society Press, Los Alamitos (2009)
Walkowiak, T., Mazurkiewicz, J.: Functional Availability Analysis of Discrete Transport System Realized by SSF Simulator. In: Bubak, M., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2008, Part I. LNCS (LNAI), vol. 5101, pp. 671–678. Springer, Heidelberg (2008)
Walkowiak, T., Mazurkiewicz, J.: Functional Availability Analysis of Discrete Transport System Simulated by SSF Tool. International Journal of Critical Computer-Based Systems 1(1-3), 255–266 (2010)
Walkowiak, T., Mazurkiewicz, J.: Reliability and Functional Analysis of Discrete Transport System with Dispatcher. In: Advances in Safety and Reliability - ESREL 2005, pp. 2017–2023. Taylor & Francis Group, Abington (2005)
Walkowiak, T., Mazurkiewicz, J.: Soft Computing Approach to Discrete Transport System Management. In: Rutkowski, L., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2010. LNCS (LNAI), vol. 6114, pp. 675–682. Springer, Heidelberg (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Michalska, K., Mazurkiewicz, J. (2011). Functional and Dependability Approach to Transport Services Using Modelling Language. In: Jędrzejowicz, P., Nguyen, N.T., Hoang, K. (eds) Computational Collective Intelligence. Technologies and Applications. ICCCI 2011. Lecture Notes in Computer Science(), vol 6923. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23938-0_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-23938-0_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23937-3
Online ISBN: 978-3-642-23938-0
eBook Packages: Computer ScienceComputer Science (R0)