Zusammenfassung
In diesem Papier wird ein neuartiger Ansatz für Test und Fehlersuche in komplexen Autonomen Systemen vorgestellt. Basis der Lösung ist die Analyse von Trace-Daten, die von dem Zielsystem über eine dedizierte, häufig schon vorhandene Prozessoreinheit zur Verfügung gestellt werden. Im Vergleich mit dem aktuellen Stand der Technik wird der Ansatz eingeordnet und die besonderen Vorzüge hinsichtlich der Nicht-Intrusivität und der unbegrenzten Überwachungslaufzeit herausgestellt.
Nach einem kurzen Einblick in die Funktionsweise des Systems folgen zwei Anwendungsbeispiele, die Code-Coverage-Messung und die dynamische Analyse, mit welchen der praktische Nutzen des Systems verdeutlicht und ein Einblick in die Handhabung der neuen Methode geliefert wird. Die Möglichkeiten des Systems reichen von einfachen Zeitmessungen, über Wirkkettenmessungen (WCRT Abschätzung), bis hin zu komplexen funktionalen Tests. Wesentlicher Bestandteil für die dynamische Analyse stellt dabei die Verifikationssprache TeSSLa dar, welche dem Leser anhand von kurzen, prägnanten Beispielen näher gebracht wird. Abschließend werden Anforderungen an das zu beobachtende System gegeben, um den Einsatz des vorgestellten Werkzeugs zu ermöglichen.
This work was funded in part by the EU H2020 project 732016 COEMS and by the BMBF project ARAMiS II with funding ID 01 IS 16025.
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.
Similar content being viewed by others
Literatur
1. C. Jones und O. Bonsignour, The Economics of Software Quality. Addison-Wesley, 2011.
2. ‘ISO 26262:2018. Road vehicles – Functional safety’. International Organization for Standardization Std., 2018.
3. ‘ED-12C - Software Considerations in Airborne Systems and Equipment Certification’. EUROCAE, 2011.
4. ‘ISO 25119:2010 Tractors and machinery for agriculture and forestry – Safety related parts of control systems’. 2010.
5. ‘IEC 61508:2010 Functional safety of electrical/ electronic/programmable electronic safety-related systems’. International Electrotechnical Commission, 2010.
6. ‘DIN EN 50657:2017 Bahnanwendungen – Anwendungen für Schienenfahrzeuge – Software auf Schienenfahrzeugen’. 2017.
7. ‘EN 50128:2011 Railway applications – Communication, signalling and processing systems – Software for railway control and protection systems’. European Commitee for Electrotechnical Standardization, 2011.
8. V. Hilderman, ‘DO-178C Best Practices For Engineers & Managers’. AFusion / Jama Software.
9. VectorCAST embedded software testing platform. Vector Informatik GmbH.
10. TESSY - Test System. Razorcat Development GmbH.
11. gcov test coverage program. gnu.org.
12. ARM IHI 0035B – CoreSightTM Program Flow Trace TM PFTv1.0 and PFTv1.1 Architecture Specification. ARM Limited, 2011.
13. B. Dreyer, C. Hochberger, S. Wegener, und A. Weiss, “Precise Continuous Non-Intrusive Measurement-Based Execution Time Estimation”, in 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015), Dagstuhl, Germany, 2015, Bd. 47, S. 45–54.
14. A.Weiss und A. Lange, “Trace-Data Processing and Profiling Device”, US 9286186B2, 15-März-2016.
15. A.Weiss und A. Lange, “Trace-Data Processing and Profiling Device”, EP2873983A1, 20-Mai-2015.
16. B. Dreyer, C. Hochberger, A. Lange, S. Wegener, und A. Weiss, “Continuous Non-Intrusive Hybrid WCET Estimation Using Waypoint Graphs”, in 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), Dagstuhl, Germany, 2016, Bd. 55, S. 1–11.
17. N. Decker u. a., “Online Analysis of Debug Trace Data for Embedded Systems”, gehalten auf der Design, Automation and Test in Europe, Conference and Exhibition (DATE 2018), Dresden, Germany, 2018.
18. Intel®64 and IA-32 Architectures Software Developer’s Manual. Intel Corporation, 2016.
19. CoreSightTM Architecture Specification v2.0 ARM IHI 0029B. ARM Limited, 2013.
20. IEEE-ISTO, ‘The Nexus 5001 Forum - Standard for a Global Embedded Processor Debug Interface’, IEEE-ISTO 5001TM-2012, Jun. 2012.
21. e500mc Core Reference Manual. Freescale Semiconductor, Inc., 2012.
22. Aurora Protocol Specification. Xilinx Inc., 2007.
23. ‘1.125Gb: x18, x36 RLDRAM 3’. Micron Technology, Inc., 2016.
24. ‘Position Paper CAST-17: Structural Coverage of Object Code’. FAA Certification Authorities Software Team (CAST), Jun-2003.
25. L. Convent, S. Hungerecker, M. Leucker, T. Scheffel, M. Schmitz, und D. Thoma, “TeSSLa: Temporal Stream-Based Specification Language”, in Formal Methods: Foundations and Applications, Cham, 2018, S. 144–162.
26. T. Scheffel u. a., “Rapidly Adjustable Non-Intrusive Online Monitoring for Multicore Systems”, gehalten auf der Brazilian Symposium on Formal Methods (SBMF), 2017.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature
About this paper
Cite this paper
Preusser, T. et al. (2019). Test und Fehlersuche in komplexen Autonomen Systemen. In: Unger, H. (eds) Echtzeit 2019. Informatik aktuell. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-658-27808-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-658-27808-3_4
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-658-27807-6
Online ISBN: 978-3-658-27808-3
eBook Packages: Computer Science and Engineering (German Language)