Continuous Observation of Embedded Multicore Systems

Livrables

Report on Multi-core Integration Efficiency, Revision A

Implementation of pre-processing, monitoring and energy measurement Rev B

FPGA 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 A

Industrial Requirements: Collection of industrial requirements from railway and avionic partners, Revision A

Implementation of pre-processing, monitoring and energy measurement Rev A

FPGA 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 A

6 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 A

Experiences of Test / Debug Efficiency, Revision A

Industrial Requirements Rev B

Industrial Requirements: Collection of industrial requirements from railway and avionic partners, Revision B

COEMS influence to future certifications analysis

COEMS influence to future certifications analysis: Summary about legal conditions regarding observation tool reliability

Formal Verification Rev A

Report on Formal Verification Testing, Revision A

Monitoring Specification Language

COEMS monitoring specification language

Validation report Rev A

Validation report: validating the concepts and present a comparison to existing and extended software infrastructure., Revision A

Formal Verification Rev B

Report on Formal Verification Testing, Revision B

Guidelines for tool qualification for avionics and railway Rev B

Guidelines for tool qualification for avionics and railway, Revision B

Multi-Core Integration Rev B

Report on Multi-core Integration Efficiency, Revision B

Validation report Rev B

Validation report: validating the concepts and present a comparison to existing and extended software infrastructure, Revision B

Management Instructions
Implementation 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 A

Guidelines for tool qualification for avionics and railway, Revision A

Experiences of Test / Debug Efficiency Rev B

Experiences of Test / Debug Efficiency, Revision B

Economic impact of software failure detection analysis Rev B

Economic 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 B

2 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 B

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 B: min. 2,000 Mio state machine operations per second

Economic impact of software failure detection analysis Rev A

Economic impact of software failure detection analysis: Analysis of costs for reproducing, understanding and fixing defects, Estimation of possible cost reductions, Revision A

Project internal and external IT infrastructures

Setup of public project web page Setup of joint project management and development tools

Data Management Plan Rev B

Data Management Plan Revision B

Data Management Plan Rev A

Data Management Plan Revision A

Communication Strategy Rev A

Communication Strategy & Plan Revision A

Training Suite v.2.0 Rev A

Training Suite (training), v.2.0, Revision A

Training Suite v.1.0

Training Suite (tutorial), v.1.0

Communication Strategy Rev C

Communication Strategy Revision C

Communication Strategy Rev B
Project website
Training Suite v.2.0 Rev B

Training Suite v.2.0 (Training), Revision B

Publications

Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems

Auteurs: Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, Alexander Weiss
Publié dans: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings, 2017, Page(s) 179-196, ISBN 978-3-319-70848-5
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-70848-5_12

Online analysis of debug trace data for embedded systems

Auteurs: Normann Decker, Boris Dreyer, Philip Gottschling, Christian Hochberger, Alexander Lange, Martin Leucker, Torben Scheffel, Simon Wegener, Alexander Weiss
Publié dans: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018, Page(s) 851-856, ISBN 978-3-9819263-0-9
Éditeur: IEEE
DOI: 10.23919/DATE.2018.8342124

Model-Checking Counting Temporal Logics on Flat Structures

Auteurs: Decker, N, Habermehl, P, Leucker, M, Sangnier, A, Thoma, D
Publié dans: 2017, ISBN 978-3-95977-048-4
Éditeur: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2017.29

TeSSLa - runtime verification of non-synchronized real-time streams

Auteurs: Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
Publié dans: Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18, 2018, Page(s) 1925-1933, ISBN 9781-450351911
Éditeur: ACM Press
DOI: 10.1145/3167132.3167338

Stream-based dynamic data race detection

Auteurs: Svetlana Jakšić, Dan Li, Ka I Pun, Volker Stolz
Publié dans: Norsk Informatikkonferanse, Numéro 2018, 2018
Éditeur: Bibsys.no

COEMS — open traces from the industry

Auteurs: Svetlana Jakšić, Martin Leucker, Dan Li, Volker Stolz
Publié dans: Kalpa Publications in Computing volume 3, 2017, Page(s) 96-85
Éditeur: EasyChair
DOI: 10.29007/gp13

Non-Intrusive MC/DC Measurement Based on Traces

Auteurs: Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma
Publié dans: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2019, Page(s) 86-92, ISBN 978-1-7281-3342-3
Éditeur: IEEE
DOI: 10.1109/tase.2019.00-15

The CEDARtools Platform – Massive External Memory with High Bandwidth and Low Latency Under Fine-Granular Random Access Patterns

Auteurs: Thomas Preusser, Alexander Weiss
Publié dans: 2019 29th International Conference on Field Programmable Logic and Applications (FPL), 2019, Page(s) 426-427, ISBN 978-1-7281-4884-7
Éditeur: IEEE
DOI: 10.1109/fpl.2019.00079

Was nach den Modul-Tests kommt - dynamische und strukturelle Test auf höheren Ebenen

Auteurs: Alexander Weiss; Thomas B. Preußer
Publié dans: Embedded Software Engineering Kongress 2019, 2019
Éditeur: MicroConsult GmbH; Vogel Communications Group GmbH & Co.KG
DOI: 10.13140/rg.2.2.29714.89286

Debugging Complex Failures of Real-Time Multi-Core Systems

Auteurs: Albert Schulz, Alexander Weiss, Franz Münz
Publié dans: embedded world Conference 2020, 2020
Éditeur: NürnbergMesse GmbH
DOI: 10.13140/rg.2.2.27827.45605

Conclusive On-the-fly Validation of High-Level Functional Tests

Auteurs: Thomas B. Preußer, Alexander Weiss
Publié dans: embedded world Conference 2020, 2020
Éditeur: NürnbergMesse GmbH
DOI: 10.13140/rg.2.2.31182.89923

Non-intrusive MC/DC Measurement based on Traces

Auteurs: Faustin Ahishakiye, Felix Dino Lange
Publié dans: Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications, 2018, ISBN 978-82-7368-435-6
Éditeur: University of Oslo

On Distributed Runtime Verification by Aggregate Computing

Auteurs: Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli
Publié dans: Electronic Proceedings in Theoretical Computer Science, Numéro 302, 2019, Page(s) 47-61, ISSN 2075-2180
Éditeur: EPTCS
DOI: 10.4204/EPTCS.302.4

Runtime verification of real-time event streams under non-synchronized arrival

Auteurs: Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
Publié dans: Software Quality Journal, 2020, ISSN 0963-9314
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s11219-019-09493-y

Runtime Verification for Timed Event Streams with Partial Information

Auteurs: Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
Publié dans: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings, Numéro 11757, 2019, Page(s) 273-291, ISBN 978-3-030-32078-2
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-32079-9_16

Test und Fehlersuche in komplexen Autonomen Systemen

Auteurs: Thomas Preusser, Albert Schulz, Alexander Weiss, Martin Heininger, Martin Leucker, Malte Schmitz, Torben Scheffel, Daniel Thoma
Publié dans: Echtzeit 2019 - Autonome Systeme – 50 Jahre PEARL, 2019, Page(s) 33-42, ISBN 978-3-658-27807-6
Éditeur: Springer Fachmedien Wiesbaden
DOI: 10.1007/978-3-658-27808-3_4

Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing

Auteurs: Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss
Publié dans: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings, Numéro 11237, 2018, Page(s) 43-63, ISBN 978-3-030-03768-0
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-03769-7_5

TeSSLa: Temporal Stream-Based Specification Language

Auteurs: Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
Publié dans: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings, Numéro 11254, 2018, Page(s) 144-162, ISBN 978-3-030-03043-8
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-03044-5_10

Tracing von eingebetteten Multicore-Systemen

Auteurs: Alexander Weiss, Max Jonas Friese, Stephan Grünfelder, Michael Paulitsch
Publié dans: HANSER automotive, Numéro 3/2020, 2020, ISSN 1860-5699
Éditeur: Carl Hanser Verlag GmbH & Co. KG
DOI: 10.13140/rg.2.2.29505.17764

Recherche de données OpenAIRE...

Livrables

Publications

Partager cette page

Télécharger