Leistungen
Report on Multi-core Integration Efficiency, Revision A
Implementation of pre-processing, monitoring and energy measurement Rev BFPGA implementation of trace data pre-processing, external bus monitoring and energy measurement Revision B: Trace data pre-processing for QorIQ (Nexus Aurora interface, min 1.5 GHz, min 2 cores) and ARM Cortex-A53 (Coresight interface, min 1.2 GHz, min 2 cores), trace integration from multiple sources, external bus trace pre-processing (CAN, Ethernet), Revision B
Industrial Requirements Rev AIndustrial Requirements: Collection of industrial requirements from railway and avionic partners, Revision A
Implementation of pre-processing, monitoring and energy measurement Rev AFPGA implementation of trace data pre-processing, external bus monitoring and energy measurement Revision A: Trace data pre-processing for QorIQ (Nexus Aurora interface, min 1 GHz, 1 core)
Hardware Prototypes Rev A6 COEMS hardware platform prototypes with observation interfaces, which will be distributed as follows: TAT, TSR, UZL, HIG, AGI, ACC: each partner receives one COEMS hardware incl. general purpose target system (QorIQ / Cortex A9) development system, based on Xilinx 7-Series (or higher) FPGA.
Experiences of Test / Debug Efficiency Rev AExperiences of Test / Debug Efficiency, Revision A
Industrial Requirements Rev BIndustrial Requirements: Collection of industrial requirements from railway and avionic partners, Revision B
COEMS influence to future certifications analysisCOEMS influence to future certifications analysis: Summary about legal conditions regarding observation tool reliability
Formal Verification Rev AReport on Formal Verification Testing, Revision A
Monitoring Specification LanguageCOEMS monitoring specification language
Validation report Rev AValidation report: validating the concepts and present a comparison to existing and extended software infrastructure., Revision A
Formal Verification Rev BReport on Formal Verification Testing, Revision B
Guidelines for tool qualification for avionics and railway Rev BGuidelines for tool qualification for avionics and railway, Revision B
Multi-Core Integration Rev BReport on Multi-core Integration Efficiency, Revision B
Validation report Rev BValidation report: validating the concepts and present a comparison to existing and extended software infrastructure, Revision B
Management InstructionsImplementation of event processing, monitoring and condition detection Rev A
FPGA implementation of generic event processing, data flow monitoring and race condition detection, performance measurement, code coverage, and adaptive changeable observation focus including command filter Revision A: min. 400 Mio state machine operations per second
Guidelines for tool qualification for avionics and railway Rev AGuidelines for tool qualification for avionics and railway, Revision A
Experiences of Test / Debug Efficiency Rev BExperiences of Test / Debug Efficiency, Revision B
Economic impact of software failure detection analysis Rev BEconomic impact of software failure detection analysis: Analysis of costs for reproducing, understanding and fixing defects, Estimation of possible cost reductions, Revision B
Hardware Prototypes Rev B2 COEMS hardware platform prototypes with observation interfaces, which will be distributed as follow AGI: COEMS hardware incl. avionics target system ACC: COEMS hardware incl. avionics target system based on Xilinx Zynq Ultrascale+ SoC, linkable, external bus trace (CAN, Ethernet)
Implementation of event processing, monitoring and condition detection Rev BFPGA implementation of generic event processing, data flow monitoring and race condition detection, performance measurement, code coverage, and adaptive changeable observation focus including command filter Revision B: min. 2,000 Mio state machine operations per second
Economic impact of software failure detection analysis Rev AEconomic impact of software failure detection analysis: Analysis of costs for reproducing, understanding and fixing defects, Estimation of possible cost reductions, Revision A
Setup of public project web page Setup of joint project management and development tools
Data Management Plan Revision B
Data Management Plan Rev AData Management Plan Revision A
Communication Strategy & Plan Revision A
Training Suite v.2.0 Rev ATraining Suite (training), v.2.0, Revision A
Training Suite v.1.0Training Suite (tutorial), v.1.0
Communication Strategy Rev CCommunication Strategy Revision C
Communication Strategy Rev BProject website
Training Suite v.2.0 Rev B
Training Suite v.2.0 (Training), Revision B
Veröffentlichungen
Autoren:
Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, Alexander Weiss
Veröffentlicht in:
20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings, 2017, Seite(n) 179-196, ISBN 978-3-319-70848-5
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-70848-5_12
Autoren:
Normann Decker, Boris Dreyer, Philip Gottschling, Christian Hochberger, Alexander Lange, Martin Leucker, Torben Scheffel, Simon Wegener, Alexander Weiss
Veröffentlicht in:
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018, Seite(n) 851-856, ISBN 978-3-9819263-0-9
Herausgeber:
IEEE
DOI:
10.23919/DATE.2018.8342124
Autoren:
Decker, N, Habermehl, P, Leucker, M, Sangnier, A, Thoma, D
Veröffentlicht in:
2017, ISBN 978-3-95977-048-4
Herausgeber:
Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CONCUR.2017.29
Autoren:
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
Veröffentlicht in:
Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18, 2018, Seite(n) 1925-1933, ISBN 9781-450351911
Herausgeber:
ACM Press
DOI:
10.1145/3167132.3167338
Autoren:
Svetlana Jakšić, Dan Li, Ka I Pun, Volker Stolz
Veröffentlicht in:
Norsk Informatikkonferanse, Ausgabe 2018, 2018
Herausgeber:
Bibsys.no
Autoren:
Svetlana Jakšić, Martin Leucker, Dan Li, Volker Stolz
Veröffentlicht in:
Kalpa Publications in Computing volume 3, 2017, Seite(n) 96-85
Herausgeber:
EasyChair
DOI:
10.29007/gp13
Autoren:
Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma
Veröffentlicht in:
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2019, Seite(n) 86-92, ISBN 978-1-7281-3342-3
Herausgeber:
IEEE
DOI:
10.1109/tase.2019.00-15
Autoren:
Thomas Preusser, Alexander Weiss
Veröffentlicht in:
2019 29th International Conference on Field Programmable Logic and Applications (FPL), 2019, Seite(n) 426-427, ISBN 978-1-7281-4884-7
Herausgeber:
IEEE
DOI:
10.1109/fpl.2019.00079
Autoren:
Alexander Weiss; Thomas B. Preußer
Veröffentlicht in:
Embedded Software Engineering Kongress 2019, 2019
Herausgeber:
MicroConsult GmbH; Vogel Communications Group GmbH & Co.KG
DOI:
10.13140/rg.2.2.29714.89286
Autoren:
Albert Schulz, Alexander Weiss, Franz Münz
Veröffentlicht in:
embedded world Conference 2020, 2020
Herausgeber:
NürnbergMesse GmbH
DOI:
10.13140/rg.2.2.27827.45605
Autoren:
Thomas B. Preußer, Alexander Weiss
Veröffentlicht in:
embedded world Conference 2020, 2020
Herausgeber:
NürnbergMesse GmbH
DOI:
10.13140/rg.2.2.31182.89923
Autoren:
Faustin Ahishakiye, Felix Dino Lange
Veröffentlicht in:
Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications, 2018, ISBN 978-82-7368-435-6
Herausgeber:
University of Oslo
Autoren:
Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli
Veröffentlicht in:
Electronic Proceedings in Theoretical Computer Science, Ausgabe 302, 2019, Seite(n) 47-61, ISSN 2075-2180
Herausgeber:
EPTCS
DOI:
10.4204/EPTCS.302.4
Autoren:
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
Veröffentlicht in:
Software Quality Journal, 2020, ISSN 0963-9314
Herausgeber:
Kluwer Academic Publishers
DOI:
10.1007/s11219-019-09493-y
Autoren:
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
Veröffentlicht in:
Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings, Ausgabe 11757, 2019, Seite(n) 273-291, ISBN 978-3-030-32078-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-32079-9_16
Autoren:
Thomas Preusser, Albert Schulz, Alexander Weiss, Martin Heininger, Martin Leucker, Malte Schmitz, Torben Scheffel, Daniel Thoma
Veröffentlicht in:
Echtzeit 2019 - Autonome Systeme – 50 Jahre PEARL, 2019, Seite(n) 33-42, ISBN 978-3-658-27807-6
Herausgeber:
Springer Fachmedien Wiesbaden
DOI:
10.1007/978-3-658-27808-3_4
Autoren:
Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss
Veröffentlicht in:
Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings, Ausgabe 11237, 2018, Seite(n) 43-63, ISBN 978-3-030-03768-0
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-03769-7_5
Autoren:
Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
Veröffentlicht in:
Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings, Ausgabe 11254, 2018, Seite(n) 144-162, ISBN 978-3-030-03043-8
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-03044-5_10
Autoren:
Alexander Weiss, Max Jonas Friese, Stephan Grünfelder, Michael Paulitsch
Veröffentlicht in:
HANSER automotive, Ausgabe 3/2020, 2020, ISSN 1860-5699
Herausgeber:
Carl Hanser Verlag GmbH & Co. KG
DOI:
10.13140/rg.2.2.29505.17764
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor