nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

Testing Avionics Software: Is FMI up to the Task?

verfasst von : Jörg Brauer, Oliver Möller, Jan Peleska

Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

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

This paper compares two test engine architectures, one based on the RT-Tester test system, and one based on FMI, and analyzes how these different approaches satisfy the needs for verification and validation of safety-critical avionics software. The study is based on an aircraft controller application, which motivates the requirements to the test engine designs.

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

Vorheriges Kapitel Engineering of Cyber-Physical Systems in the Automotive Context: Case Study of a Range Prediction Assistant

Nächstes Kapitel Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems

Handling of discrete I/O is necessary to start or reset the aircraft controller. Without discrete I/O, automated testing is thus not possible.

Controlling external devices is essential to reach the test goals, for instance, verify the stability of the SUT with respect to unexpected timings of incoming CAN messages.

The devices connected to the aircraft controller are configured via software parameters, and different tests may have to exercise different parameter settings. The parameter settings include, for example, the number of heating controllers and the association of heaters to heating controllers. It must therefore be possible to straightforwardly adapt the set of simulations, as well as simulation parameters and the order in which these simulations are executed, for each single test.

A predictable order is necessary since the different simulations and checkers running on the test engine may depend on one another.

Please note that this is one possibility for defining the interface to the actual aircraft controller. It would likewise be possible to summarize the interfaces to a specific hardware device in one FMU, or to structure the interfaces based on applications. This decision, however, does not influence the principled architecture.

Observe that this requirement is strongly related to predictable scheduling and a suitable scheduling policy, as specified by requirement REQ-SCHEDULING.

ACOSAR: Advanced Co-Simulation Open System Architecture. http://www.acosar.eu

Blochwitz, T.: Functional Mock-up Interface for Model Exchange and Co-Simulation, July 2014. https://www.fmi-standard.org/downloads

Formaggio, L., Fummi, F., Pravadelli, G.: A timing-accurate HW/SW co-simulation of an ISS with systemc. In: Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, pp. 152–157. CODES+ISSS 2004. ACM, New York (2004)

Fujimoto, R.M.: Parallel discrete event simulation. Commun. ACM 33(10), 30–53 (1990)CrossRef

Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: state of the art. CoRR abs/1702.00686 (2017). http://arxiv.org/abs/1702.00686

Larsen, P.G., et al.: Integrated tool chain for model-based design of cyber-physical systems: the INTO-CPS project. In: 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016, Vienna, Austria, 11 April 2016, pp. 1–6. IEEE (2016)

RTCA SC-167/EUROCAE WG-12: Software Considerations in Airborne Systems and Equipment Certification. Technical report RTCA/DO-178B, RTCA Inc., 1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 20036, December 1992

RTCA SC-205/EUROCAE WG-71: Software Considerations in Airborne Systems and Equipment Certification. Technical report RTCA/DO-178C, RTCA Inc., 1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 20036, December 2011

Saidi, S.E., Pernet, N., Sorel, Y., Khaled, A.B.: Acceleration of FMU co-simulation on multi-core architectures. In: The First Japanese Modelica Conferences, May 23–24, Tokyo, Japan. pp. 106–112. No. 124 in Linköping Electronic Conference Proceedings, Linköping University Electronic Press, Linköpings Universitet (2016)

Titel: Testing Avionics Software: Is FMI up to the Task?
verfasst von: Jörg Brauer
Oliver Möller
Jan Peleska
Verlag: Springer International Publishing
Buch: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Print ISBN: 978-3-030-03423-8

Electronic ISBN: 978-3-030-03424-5

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-030-03424-5_32

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"