nach oben

Erschienen in:

2019 | OriginalPaper | Buchkapitel

On Quantitative Assessment of Reliability and Energy Consumption Indicators in Railway Systems

verfasst von : Davide Basile, Felicita Di Giandomenico, Stefania Gnesi

Erschienen in: Green IT Engineering: Social, Business and Industrial Applications

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Stochastic model-based approaches are widely used for obtaining quantitative non-functional indicators of the analysed systems, as for example reliability, performance and energy consumption. However, a critical issue with models is their validation, in order to justifiably put reliance on the analysis results they provide. In this paper, we address cross-validation on a case study from the railway domain, by modelling and evaluating it with different formalisms and tools. Stochastic Activity Networks models and Stochastic Hybrid Automata models of rail road switch heaters, developed for the purpose of evaluating energy consumption and reliability indicators, will be evaluated with Mobius and Uppaal SMC. We will compare the obtained results, to improve their trustworthiness and to provide insights on the design and analysis of energy-saving cyber-physical systems.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Models and Algorithms for Prediction of Electrical Energy Consumption Based on Canonical Expansions of Random Sequences

Nächstes Kapitel Cooperative Ecology Human–Machine Interfaces for Safe Intelligent Transport Systems: Cloud-Based Software Case

Lee, E.A.: Cyber physical systems: design challenges. In: ISORC’08. IEEE C.S. (2008)

Basile, D., Di Giandomenico, F., Gnesi, S.: Model-based evaluation of energy saving systems. In: Kharchenko, V., Kondratenko, Y., Kacprzyk, J. (eds.) Green IT Engineering: Concepts, Models, Complex Systems Architectures. Studies in Systems, Decision and Control, vol. 74, pp. 187–208. Springer International Publishing, Cham (2017)CrossRef

Doukas, N.: Technologies for greener internet of things systems. In: Kharchenko, V., Kondratenko, Y., Kacprzyk, J. (eds.) Green IT Engineering: Components, Networks and Systems Implementation. Studies in Systems, Decision and Control, vol. 105, pp. 23–42. Springer International Publishing, Cham (2017)CrossRef

Hahanov, V., Litvinova, E., Chumachenko, S.: Green cyber-physical computing as sustainable development model. In: Kharchenko, V., Kondratenko, Y., Kacprzyk, J. (eds.) Green IT Engineering: Components, Networks and Systems Implementation. Studies in Systems, Decision and Control, vol. 105, pp. 65–85. Springer International Publishing, Cham (2017)CrossRef

Kharchenko, V., Illiashenko, O.: Concepts of green it engineering: taxonomy, principles and implementation. In: Kharchenko, V., Kondratenko, Y., Kacprzyk, J. (eds.) Green IT Engineering: Concepts, Models, Complex Systems Architectures. Studies in Systems, Decision and Control, vol. 74, pp. 3–19. Springer International Publishing, Cham (2017)CrossRef

Kharchenko, V., Kondratenko, Y., Kacprzyk, J. (eds.): Green IT Engineering: Components, Networks and Systems Implementation, Studies in Systems, Decision and Control, vol. 105, 1st edn. Springer Publishing Company, Incorporated, Cham (2017)

Kharchenko, V., Kondratenko, Y., Kacprzyk, J. (eds.): Green IT Engineering: Concepts, Models, Complex Systems Architectures, Studies in Systems, Decision and Control, vol. 74, 1st edn. Springer Publishing Company, Incorporated, Cham (2017)

Alur, R., Dill, D.L.: A theory of timed automata. TCS 126(2), 183–235 (1994)MathSciNetCrossRef

Henzinger, T.A.: The theory of hybrid automata, pp. 278. LICS’96, IEEE C.S. (1996)

10.

Krishna, S.N., Trivedi, A.: Hybrid automata for formal modeling and verification of cyberphysical systems. CoRR (2015). http://arxiv.org/abs/1503.04928

11.

Balbo, G.: Introduction to generalized stochastic Petri nets. In: Bernardo, M., Hillston, J. (eds.) Formal Methods for Performance Evaluation, LNCS, vol. 4486. Springer (2007)

12.

David, R., Alla, H.: On hybrid Petri nets. DEDS 11(1–2), 9–40 (2001)MathSciNetMATH

13.

Sanders, W.H., Meyer, J.F.: Stochastic activity networks: formal definitions and concepts. In: Lectures on Formal Methods and Performance Analysis (2000)

14.

Basile, D., Chiaradonna, S., Di Giandomenico, F., Gnesi, S.: A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems. JRTPM (2016). http://www.sciencedirect.com/science/article/pii/S2210970616300051

15.

Basile, D., Chiaradonna, S., Di Giandomenico, F., Gnesi, S., Mazzanti, F.: Stochastic model based analysis of energy consumption in a rail road switch heating system. In: SERENE 2015. LNCS 9274

16.

Basile, D., Di Giandomenico, F., Gnesi, S.: Tuning energy consumption strategies in the railway domain: a model-based approach. In: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2016 (2016)

17.

Haverkort, B.R.: Lectures on formal methods and performance analysis. In: Markovian Models for Performance and Dependability Evaluation, pp. 38–83. Springer (2002)

18.

Clark, G., Courtney, T., Daly, D., Deavours, D., Derisavi, S., Doyle, J.M., Sanders, W.H., Webster, P.: The Mӧbius modeling tool. In: PNPM. pp. 241–250 (2001)

19.

Legay, A., Delahaye, B., Bensalem, S.: RV 2010. Proceedings. In: Statistical Model Checking: An Overview. Springer

20.

Larsen, K.G., Legay, A.: Statistical model checking: past, present, and future. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, 10–14 Oct 2016, Proceedings, Part I. pp. 3–15 (2016)CrossRef

21.

David, A., Larsen, K.G., Legay, A., Mikuaionis, M., Poulsen, D.B.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17 (2015)CrossRef

22.

Basile, D., Giandomenico, F.D., Gnesi, S.: Statistical model checking of an energy-saving cyber-physical system in the railway domain. In: Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, 3–7 Apr 2017, pp. 1356–1363 (2017)

23.

Basile, D., Giandomenico, F.D., Gnesi, S.: Enhancing models correctness through formal verification: a case study from the railway domain. In: MODELSWARD 2017, Porto, Portugal, 19–21 Feb 2017, pp. 679–686 (2017)

24.

Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.P.: Performance evaluation and model checking join forces. Commun. ACM 53(9), 76–85 (2010)CrossRef

25.

Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1) (2014)CrossRef

26.

Sanders, W.H., Nicol, D.M., Trivedi, K.S.: Model-based evaluation: from dependability to security. IEEE Trans. Dependable and Secure Comput. 1(undefined), 48–65 (2004)CrossRef

27.

Karlin, H.M.T. (ed.) An Introduction to Stochastic Modeling (Revised Edition), revised edn. Academic Press (1994). http://www.sciencedirect.com/science/article/pii/B978012684885450001X

28.

Bernardi, S., Merseguer, J., Petriu, D.C.: Model-Driven Dependability Assessment of Software Systems. Springer (2013)

29.

Diab, H.B., Zomaya, A.Y.: Dependable computing systems: paradigms, performance issues and applications. Wiley (2005)

30.

Bause, F., Kritzinger, P.S.: Stochastic Petri nets: an introduction to the theory. SIGMETRICS Perform. Eval. Rev. 26(2)

31.

Reibman, A., Smith, R., Trivedi, K.: Markov and Markov reward model transient analysis: an overview of numerical approaches. Eur. J. Oper. Res. 40(2) (1989)MathSciNetCrossRef

32.

Ahmed, W., Hasan, O., Tahar, S.: Formal dependability modeling and analysis: A survey. In: CICM, Bialystok, Poland, July 25–29. LNAI, vol. 9791, pp. 132–147. Springer (2016)

33.

Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)

34.

Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: Prism: a tool for automatic verification of probabilistic systems. In: TACAS 2006, volume 3920 of LNCS, pp. 441–444. Springer

35.

Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. JSTTT 1 (1997)CrossRef

36.

David, A., Du, D., Guldstrand Larsen, K., Legay, A., Mikucionis, M.: NFM 2013, chap. Optimizing Control Strategy Using Statistical Model Checking, pp. 352–367. Springer (2013)

37.

Henzinger, T.A., Ho, P.: Algorithmic analysis of nonlinear hybrid systems. In: CAV (1995)

38.

http://www.railsco.com/electric_switch_heater_controls.htm. Accessed on June 2016

39.

Brodowski, D., Komosa, K.: A railroad switch and a method of melting snow and ice in railroad switches (2013). https://data.epo.org/publication-server/rest/v1.0/publication-dates/20131225/patents/EP2677079NWA1/document.html

40.

https://weatherspark.com/#!graphs;ws=27985. Accessed on Mar 2016

41.

Trivedi, K.S.: Probability & statistics with reliability, queuing and computer science applications. Wiley (2008)

42.

Mader, A., Bohnenkamp, H., Usenko, Y.S., Jansen, D.N., Hurink, J., Hermanns, H.: Synthesis and stochastic assessment of cost-optimal schedules. Int. J. Softw. Tools Technol. Transf. (STTT) 12(5), 305–317 (2009). http://doc.utwente.nl/69344/CrossRef

43.

Hartmanns, A., Hermanns, H.: The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification, pp. 593–598. Springer, Berlin (2014)CrossRef

44.

Lu, Q., Wu, T., Yan, J., Yan, J., Ma, F., Zhang, F.: Lightweight method-level energy consumption estimation for android applications. In: 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, 17–19 July 2016. pp. 144–151. IEEE (2016). http://doi.ieeecomputersociety.org/10.1109/TASE.2016.27

45.

Ahmad, W., van de Pol, J.: Synthesizing energy-optimal controllers for multiprocessor dataflow applications with uppaal stratego. In: ISOLA 2016 (2016)CrossRef

46.

David, A., Jensen, P.G., Larsen, K.G., Mikucionis, M., Taankvist, J.H.: Uppaal Stratego, pp. 206–211. Springer, Berlin (2015)

47.

Erbes, T., Shukla, S.K., Kachroo, P.: Stochastic learning feedback hybrid automata for dynamic power management in embedded systems. In: SMCia/05 (2005)

48.

Muller, S.C., Hager, U., Rehtanz, C., Wedde, H.F.: Application of self-organizing systems in power systems control. In: Dieste, O., Jedlitschka, A., Juzgado, N.J. (eds.) PROFES 2012 Proceedings, LNCS, vol. 7343, pp. 320–334. Springer (2012)

49.

Ghasemieh, H., Haverkort, B.R., Jongerden, M.R., Remke, A.: Energy resilience modeling for smart houses. In: 45th Annual IEEE/IFIP, DSN 2015, pp. 275–286. IEEE C.S. (2015)

50.

Zhu, D., Melhem, R., Mossè, D.: The effects of energy management on reliability in real-time embed DED systems. In: ICCAD, pp. 35–40, Nov 2004

51.

Causevic, A., Seceleanu, C., Pettersson, P.: Distributed energy management case study: a formal approach to analyzing utility functions. In: ISoLA Proc.II, LNCS, vol. 8803, pp. 74–87. Springer (2014). https://weatherspark.com/#!graphs;ws=27985. Accessed on Mar 2016

52.

Seceleanu, C., Vulgarakis, A., Pettersson, P.: Remes: a resource model for embedded systems. Eng. Complex Comput. Syst. 2009, 84–94 (2009)

53.

Antsaklis, P.: Goals and challenges in cyber-physical systems research editorial of the editor in chief. IEEE Trans. Autom. Control 59(12), 3117–3119 (2014)CrossRef

54.

Banerjee, A., Venkatasubramanian, K.K., Mukherjee, T., Gupta, S.K.S.: Ensuring safety, security, and sustainability of mission-critical cyber-physical systems. Proc. IEEE 100(1) (2012)CrossRef

55.

Kemper, P., Tepper, C.: Traviando—debugging simulation traces with message sequence charts. In: International Conference on Quantitative Evaluation of Systems, pp. 135–136 (2006)

Titel: On Quantitative Assessment of Reliability and Energy Consumption Indicators in Railway Systems
verfasst von: Davide Basile
Felicita Di Giandomenico
Stefania Gnesi
Verlag: Springer International Publishing
Buch: Green IT Engineering: Social, Business and Industrial Applications
Print ISBN: 978-3-030-00252-7

Electronic ISBN: 978-3-030-00253-4

Copyright-Jahr: 2019
DOI: https://doi.org/10.1007/978-3-030-00253-4_18

Premium Partner

Marktübersichten

Die im Laufe eines Jahres in der „adhäsion“ veröffentlichten Marktübersichten helfen Anwendern verschiedenster Branchen, sich einen gezielten Überblick über Lieferantenangebote zu verschaffen.

Zur Marktübersicht