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 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.

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

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

Communication Strategy Rev A

Communication Strategy & Plan Revision A

Training Suite v.1.0

Training Suite (tutorial), v.1.0

Communication Strategy Rev B

Communication Strategy Rev 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

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

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


Published in: ISSN 1860-5699
DOI: 10.13140/rg.2.2.29505.17764