{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:46:32Z","timestamp":1726044392875},"publisher-location":"Wiesbaden","reference-count":26,"publisher":"Springer Fachmedien Wiesbaden","isbn-type":[{"type":"print","value":"9783658278076"},{"type":"electronic","value":"9783658278083"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-658-27808-3_4","type":"book-chapter","created":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T15:05:01Z","timestamp":1568732701000},"page":"33-42","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Test und Fehlersuche in komplexen Autonomen Systemen"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Preusser","sequence":"first","affiliation":[]},{"given":"Albert","family":"Schulz","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Weiss","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Heininger","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Leucker","sequence":"additional","affiliation":[]},{"given":"Malte","family":"Schmitz","sequence":"additional","affiliation":[]},{"given":"Torben","family":"Scheffel","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Thoma","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,9,18]]},"reference":[{"key":"4_CR1","unstructured":"1. C. Jones und O. Bonsignour, The Economics of Software Quality. Addison-Wesley, 2011."},{"key":"4_CR2","unstructured":"2. \u2018ISO 26262:2018. Road vehicles \u2013 Functional safety\u2019. International Organization for Standardization Std., 2018."},{"key":"4_CR3","unstructured":"3. \u2018ED-12C - Software Considerations in Airborne Systems and Equipment Certification\u2019. EUROCAE, 2011."},{"key":"4_CR4","unstructured":"4. \u2018ISO 25119:2010 Tractors and machinery for agriculture and forestry \u2013 Safety related parts of control systems\u2019. 2010."},{"key":"4_CR5","unstructured":"5. \u2018IEC 61508:2010 Functional safety of electrical\/ electronic\/programmable electronic safety-related systems\u2019. International Electrotechnical Commission, 2010."},{"key":"4_CR6","unstructured":"6. \u2018DIN EN 50657:2017 Bahnanwendungen \u2013 Anwendungen f\u00fcr Schienenfahrzeuge \u2013 Software auf Schienenfahrzeugen\u2019. 2017."},{"key":"4_CR7","unstructured":"7. \u2018EN 50128:2011 Railway applications \u2013 Communication, signalling and processing systems \u2013 Software for railway control and protection systems\u2019. European Commitee for Electrotechnical Standardization, 2011."},{"key":"4_CR8","unstructured":"8. V. Hilderman, \u2018DO-178C Best Practices For Engineers & Managers\u2019. AFusion \/ Jama Software."},{"key":"4_CR9","unstructured":"9. VectorCAST embedded software testing platform. Vector Informatik GmbH."},{"key":"4_CR10","unstructured":"10. TESSY - Test System. Razorcat Development GmbH."},{"key":"4_CR11","unstructured":"11. gcov test coverage program. gnu.org."},{"key":"4_CR12","unstructured":"12. ARM IHI 0035B \u2013 CoreSightTM Program Flow Trace TM PFTv1.0 and PFTv1.1 Architecture Specification. ARM Limited, 2011."},{"key":"4_CR13","unstructured":"13. B. Dreyer, C. Hochberger, S. Wegener, und A. Weiss, \u201cPrecise Continuous Non-Intrusive Measurement-Based Execution Time Estimation\u201d, in 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015), Dagstuhl, Germany, 2015, Bd. 47, S. 45\u201354."},{"key":"4_CR14","unstructured":"14. A.Weiss und A. Lange, \u201cTrace-Data Processing and Profiling Device\u201d, US 9286186B2, 15-M\u00e4rz-2016."},{"key":"4_CR15","unstructured":"15. A.Weiss und A. Lange, \u201cTrace-Data Processing and Profiling Device\u201d, EP2873983A1, 20-Mai-2015."},{"key":"4_CR16","unstructured":"16. B. Dreyer, C. Hochberger, A. Lange, S. Wegener, und A. Weiss, \u201cContinuous Non-Intrusive Hybrid WCET Estimation Using Waypoint Graphs\u201d, in 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), Dagstuhl, Germany, 2016, Bd. 55, S. 1\u201311."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"17. N. Decker u. a., \u201cOnline Analysis of Debug Trace Data for Embedded Systems\u201d, gehalten auf der Design, Automation and Test in Europe, Conference and Exhibition (DATE 2018), Dresden, Germany, 2018.","DOI":"10.23919\/DATE.2018.8342124"},{"key":"4_CR18","unstructured":"18. Intel\u00ae64 and IA-32 Architectures Software Developer\u2019s Manual. Intel Corporation, 2016."},{"key":"4_CR19","unstructured":"19. CoreSightTM Architecture Specification v2.0 ARM IHI 0029B. ARM Limited, 2013."},{"key":"4_CR20","unstructured":"20. IEEE-ISTO, \u2018The Nexus 5001 Forum - Standard for a Global Embedded Processor Debug Interface\u2019, IEEE-ISTO 5001TM-2012, Jun. 2012."},{"key":"4_CR21","unstructured":"21. e500mc Core Reference Manual. Freescale Semiconductor, Inc., 2012."},{"key":"4_CR22","unstructured":"22. Aurora Protocol Specification. Xilinx Inc., 2007."},{"key":"4_CR23","unstructured":"23. \u20181.125Gb: x18, x36 RLDRAM 3\u2019. Micron Technology, Inc., 2016."},{"key":"4_CR24","unstructured":"24. \u2018Position Paper CAST-17: Structural Coverage of Object Code\u2019. FAA Certification Authorities Software Team (CAST), Jun-2003."},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"25. L. Convent, S. Hungerecker, M. Leucker, T. Scheffel, M. Schmitz, und D. Thoma, \u201cTeSSLa: Temporal Stream-Based Specification Language\u201d, in Formal Methods: Foundations and Applications, Cham, 2018, S. 144\u2013162.","DOI":"10.1007\/978-3-030-03044-5_10"},{"key":"4_CR26","unstructured":"26. T. Scheffel u. a., \u201cRapidly Adjustable Non-Intrusive Online Monitoring for Multicore Systems\u201d, gehalten auf der Brazilian Symposium on Formal Methods (SBMF), 2017."}],"container-title":["Informatik aktuell","Echtzeit 2019"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-658-27808-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T15:05:50Z","timestamp":1568732750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-658-27808-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783658278076","9783658278083"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-658-27808-3_4","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"18 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}