Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Buchtitelbild

2016 | OriginalPaper | Buchkapitel

Temporal Logic Framework for Performance Analysis of Architectures of Systems

verfasst von : Ariane Piel, Jean Bourrely, Stéphanie Lala, Sylvain Bertrand, Romain Kervarc

Erschienen in: NASA Formal Methods

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

This paper presents a formal mathematical framework for performance analysis (in terms of success of given tasks) of complex systems, ATLAS. This method interestingly combines temporal aspects (for the description of the complex system) and probabilities (to represent performance). The system’s task to be evaluated is described using a temporal language, the ATLAS language: the architecture of the task is decomposed into elementary functionalities and temporal operators specify their arrangement. Starting with the success probabilities of the elementary functionalities, it is then possible to compute the overall success probability of the task using mathematical formulae which are proven in this paper. The method is illustrated with a deorbitation task for a retired satellite called ENVISAT.

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

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Nächstes Kapitel On Implementing Real-Time Specification Patterns Using Observers
Literatur
1.
Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)CrossRefMATH
2.
Allen, J.F.: Temporal reasoning and planning. In: Reasoning about Plans, pp. 1–67. Morgan Kaufmann Publishers Inc., San Francisco (1991)
3.
Bertrand, S., Donath, T., Kervarc, R., Lancien, A., Louyot, C., Merit, S., Piernas, A., Prudhomme, S.: Probabilistic performance evaluation of tactical ballistic missile defence architectures. In: 6th International Conference on Missile Defence (2009)
4.
Bertrand, S., Prudhomme, S., Merit, S., Jolly, C., Kervarc, R., Donath, T.: Space systems’ vulnerability assessment to space debris: a methodology and a program. In: 2012 IEEE Aerospace Conference, pp. 1–15. IEEE (2012)
5.
Bobbio, A., Ciancamerla, E., Franceschinis, G., Gaeta, R., Minichino, M., Portinale, L.: Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study. Reliab. Eng. Syst. Saf. 81, 269–280 (2003)CrossRef
6.
Bonnal, C., Ruault, J.M., Desjean, M.C.: Active debris removal: recent progress and current trends. Acta Astronaut. 85, 51–60 (2013)CrossRef
7.
Chan, F.K.: Spacecraft Collision Probability. Aerospace Press El Seg., CA (2008)CrossRef
8.
9.
Clerc, X., Retat, I.: Astrium vision on space debris removal. In: Proceeding of the 63rd International Astronautical Congress (IAC 2012), vol. 15, Napoli, Italy (2012)
10.
Dhillon, B.S.: Design Reliability: Fundamentals and Applications. CRC Press, Boca Raton (1999)CrossRef
11.
Dutuit, Y., Châtelet, E., Signoret, J.P., Thomas, P.: Dependability modelling and evaluation by using stochastic petri nets: application to two test cases. Reliab. Eng. Syst. Saf. 55(2), 117–124 (1997)CrossRef
12.
Hansen, K.M., Ravn, A.P., Stavridou, V.: From safety analysis to software requirements. IEEE Trans. Softw. Eng. 24(7), 573–584 (1998)CrossRef
13.
Hansen, M.R., Chaochen, Z.: Duration calculus: logical foundations. Formal Aspects Comput. 9(3), 283–330 (1997)CrossRefMATH
14.
van der Heijden, M., Lucas, P.J.: A probabilistic logic of qualitative time. In: Probabilistic Problem Solving in BioMedicine, p. 69 (2011)
15.
Kang, C., Golay, M.: A bayesian belief network-based advisory system for operational availability focused diagnosis of complex nuclear power systems. Expert Syst. Appl. 17(1), 21–32 (1999)CrossRef
16.
Kervarc, R., Bertrand, S., Prudhomme, S., Elie, A., Carle, P., Donath, T.: A functional approach to the assessment of debris effect on spatial systems. In: MASCOT&ISGG 2012 (2012)
17.
Kervarc, R., Bourrely, J., Quillien, C.: A generic logical-temporal performance analysis method for complex systems. Math. Comput. Simul. 81, 717–730 (2010)MathSciNetCrossRefMATH
18.
Lang, T., Kervarc, R., Bertrand, S., Carle, P., Donath, T., Destefanis, R., Grassi, L., Tiboldo, F., Schäfer, F., Kempf, S., et al.: Short and long term efficiencies of debris risk reduction measures: application to a european LEO mission. Adv. Space Res. 55(1), 282–296 (2015)CrossRef
19.
Morio, J., Piet-Lahanier, H., Poirion, F., Marzat, J., Seren, C., Bertrand, S., Brucy, Q., Kervarc, R., et al.: An overview of probabilistic performance analysis methods for large scale and time-dependent systems. AerospaceLab 3(4), 1 (2012)
20.
Nourelfath, M., Dutuit, Y.: A combined approach to solve the redundancy optimization problem for multi-state systems under repair policies. Reliab. Eng. Syst. Saf. 86(3), 205–213 (2004)CrossRef
21.
Perez, E.: Vega users manual. ARIANESPACE (3), 154 (2012)
22.
Perez, E.: Soyuz from the guiana space centre users manual. Technical report Arianespace (2012)
23.
Schellhorn, G., Thums, A., Reif, W.: Formal fault tree semantics. In: Proceedings of the 6th World Conference on Integrated Design & Process Technology (2002)
24.
Taylor, J.: Fault tree and cause consequence analysis for control software validation. Technical report (1982)
25.
Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault tree handbook. Technical report, DTIC Document (1981)
Metadaten
Titel
Temporal Logic Framework for Performance Analysis of Architectures of Systems
verfasst von
Ariane Piel
Jean Bourrely
Stéphanie Lala
Sylvain Bertrand
Romain Kervarc
Copyright-Jahr
2016
Buch
NASA Formal Methods

Print ISBN: 978-3-319-40647-3

Electronic ISBN: 978-3-319-40648-0

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-40648-0_1