Abstract
Trade-offs between extra-functional properties, such as performance, reliability and resource utilisation, have been recognised as crucial in system design. The concept of Holistic Fault Tolerance (HFT) is aimed at targeting these trade-offs in run-time system control. Previous work has shown that HFT systems can have significant complexity, which may require sophisticated modelling at the design stage. This paper presents a novel HFT design methodology based on hierarchical modelling and stochastic simulations. The former caters to system complexity and the latter estimates extra-functional properties in the trade-offs. The method is demonstrated with an application example of number plate recognition software.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Rafiev, A., Xia, F., Iliasov, A., Gensh, R., Aalsaud, A., Romanovsky, A., Yakovlev, A.: Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems. In: 2016 Forum on Specification and Design Languages (FDL), pp. 1–7. (2016)
Sanders, W.H., Meyer, J.F.: Stochastic activity networks: formal definitions and concepts. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000. LNCS, vol. 2090, pp. 315–343. Springer, Heidelberg (2001). doi:10.1007/3-540-44667-2_9
Gensh, R., Romanovsky, A., Yakovlev, A.: On structuring Holistic Fault Tolerance. In: Proceedings of the 15th International Conference on Modularity (MODULARITY 2016). ACM, Málaga, Spain (2016)
Gensh, R., Rafiev, A., Garcia, A., Xia, F., Romanovsky, A., Yakovlev, A.: Architecting Holistic Fault Tolerance. In: 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE), pp. 5–8 (2017)
Gensh, R., Garcia, A., Romanovsky, A.: Experience report: evaluation of Holistic Fault Tolerance. School of Computing Science Technical report Series. School of Computing Science, Newcastle University (2017)
Rafiev, A., Xia, F., Iliasov, A., Gensh, R., Aalsaud, A., Romanovsky, A., Yakovlev, A.: Order Graphs and cross-layer parametric significance-driven modelling. In: 2015 15th International Conference on Application of Concurrency to System Design, pp. 110–119. (2015)
Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Englewood Cliffs (1981)
The Möbius modelling tool. https://www.mobius.illinois.edu
Zurcher, F.W., Randell, B.: Iterative multi-level modelling - a methodology for computer system design. In: Proceedings IFIP Congress 1968, pp. 138–142 (1968). http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.4270
Ehrenfeucht, A., Rozenberg, G.: Zoom structures and reaction systems yield exploration systems. Int. J. Found. Comput. Sci. 25, 275–305 (2014)
Laddad, R.: AspectJ in Action: Practical Aspect-Oriented Programming. Manning Publications Co., Greenwich (2003)
Bradski, G.: The OpenCV Library. Dr. Dobb’s J. Softw. Tools 25(11), 120–123 (2000). https://scholar.google.com/citations?view_op=view_citation%20hl=en%20user=yeDFJgoAAAAJ%20citation_for_view=yeDFJgoAAAAJ:9yKSN-GCB0IC
Smith, R.: An overview of the Tesseract OCR engine. In: Ninth International Conference on Document Analysis and Recognition (ICDAR 2007), pp. 629–633 (2007)
Baggio, D.L., Emami, S., Escrivá, D.M., Ievgen, K., Mahmood, N., Saragih, J., Shilkrot, R.: Mastering OpenCV with Practical Computer Vision Projects. Packt Publishing Ltd., Birmingham (2012)
Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. Trans. Dependable Secure Comput. 1, 11–33 (2004)
Bubnicki, Z.: Modern Control Theory. Springer-Verlag, Heidelberg (2005). doi:10.1007/3-540-28087-1
Metropolis, N., Ulam, S.: The Monte Carlo method. J. Am. Stat. Assoc. 44(247), 335–341 (1949)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Gensh, R., Rafiev, A., Xia, F., Romanovsky, A., Yakovlev, A. (2017). Modelling for Systems with Holistic Fault Tolerance. In: Romanovsky, A., Troubitsyna, E. (eds) Software Engineering for Resilient Systems. SERENE 2017. Lecture Notes in Computer Science(), vol 10479. Springer, Cham. https://doi.org/10.1007/978-3-319-65948-0_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-65948-0_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-65947-3
Online ISBN: 978-3-319-65948-0
eBook Packages: Computer ScienceComputer Science (R0)