Skip to main content

Continuous Observation of Embedded Multicore Systems

Deliverables

Multi Core Integration Rev A

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

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

Communication Strategy Rev B

Project website

Project website

Training Suite v.2.0 Rev B

Training Suite v.2.0 (Training), Revision B

Searching for OpenAIRE data...

Publications

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

Author(s): Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, Alexander Weiss
Published in: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings, 2017, Page(s) 179-196
DOI: 10.1007/978-3-319-70848-5_12

Online analysis of debug trace data for embedded systems

Author(s): Normann Decker, Boris Dreyer, Philip Gottschling, Christian Hochberger, Alexander Lange, Martin Leucker, Torben Scheffel, Simon Wegener, Alexander Weiss
Published in: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018, Page(s) 851-856
DOI: 10.23919/DATE.2018.8342124

Model-Checking Counting Temporal Logics on Flat Structures

Author(s): Decker, N, Habermehl, P, Leucker, M, Sangnier, A, Thoma, D
Published in: 2017
DOI: 10.4230/LIPIcs.CONCUR.2017.29

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

Author(s): Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
Published in: Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18, 2018, Page(s) 1925-1933
DOI: 10.1145/3167132.3167338

Stream-based dynamic data race detection

Author(s): Svetlana Jakšić, Dan Li, Ka I Pun, Volker Stolz
Published in: Norsk Informatikkonferanse, Issue 2018, 2018

COEMS — open traces from the industry

Author(s): Svetlana Jakšić, Martin Leucker, Dan Li, Volker Stolz
Published in: Kalpa Publications in Computing volume 3, 2017, Page(s) 96-85
DOI: 10.29007/gp13

Non-Intrusive MC/DC Measurement Based on Traces

Author(s): Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma
Published in: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2019, Page(s) 86-92
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

Author(s): Thomas Preusser, Alexander Weiss
Published in: 2019 29th International Conference on Field Programmable Logic and Applications (FPL), 2019, Page(s) 426-427
DOI: 10.1109/fpl.2019.00079

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

Author(s): Alexander Weiss; Thomas B. Preußer
Published in: Embedded Software Engineering Kongress 2019, 2019
DOI: 10.13140/rg.2.2.29714.89286

Debugging Complex Failures of Real-Time Multi-Core Systems

Author(s): Albert Schulz, Alexander Weiss, Franz Münz
Published in: embedded world Conference 2020, 2020
DOI: 10.13140/rg.2.2.27827.45605

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

Author(s): Thomas B. Preußer, Alexander Weiss
Published in: embedded world Conference 2020, 2020
DOI: 10.13140/rg.2.2.31182.89923

Non-intrusive MC/DC Measurement based on Traces

Author(s): Faustin Ahishakiye, Felix Dino Lange
Published in: Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications, 2018

On Distributed Runtime Verification by Aggregate Computing

Author(s): Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 302, 2019, Page(s) 47-61, ISSN 2075-2180
DOI: 10.4204/EPTCS.302.4

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

Author(s): Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
Published in: Software Quality Journal, 2020, ISSN 0963-9314
DOI: 10.1007/s11219-019-09493-y

Runtime Verification for Timed Event Streams with Partial Information

Author(s): Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
Published in: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings, Issue 11757, 2019, Page(s) 273-291
DOI: 10.1007/978-3-030-32079-9_16

Test und Fehlersuche in komplexen Autonomen Systemen

Author(s): Thomas Preusser, Albert Schulz, Alexander Weiss, Martin Heininger, Martin Leucker, Malte Schmitz, Torben Scheffel, Daniel Thoma
Published in: Echtzeit 2019 - Autonome Systeme – 50 Jahre PEARL, 2019, Page(s) 33-42
DOI: 10.1007/978-3-658-27808-3_4

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

Author(s): Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss
Published in: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings, Issue 11237, 2018, Page(s) 43-63
DOI: 10.1007/978-3-030-03769-7_5

TeSSLa: Temporal Stream-Based Specification Language

Author(s): Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
Published in: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings, Issue 11254, 2018, Page(s) 144-162
DOI: 10.1007/978-3-030-03044-5_10

Tracing von eingebetteten Multicore-Systemen

Author(s): Alexander Weiss, Max Jonas Friese, Stephan Grünfelder, Michael Paulitsch
Published in: HANSER automotive, Issue 3/2020, 2020, ISSN 1860-5699
DOI: 10.13140/rg.2.2.29505.17764