Continuous Observation of Embedded Multicore Systems

Informacje na temat projektu

COEMS

Identyfikator umowy o grant: 732016

DOI

10.3030/732016

Projekt został zamknięty

Data podpisania przez KE 12 Października 2016

Data rozpoczęcia 1 Listopada 2016

Data zakończenia 30 Kwietnia 2020

Finansowanie w ramach

• INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT)

Koszt całkowity

€ 3 961 082,50

Wkład UE

€ 3 961 082,50

Koordynowany przez

UNIVERSITAET zu LUEBECK
Germany

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Documents, reports (23)

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

Other (1)

Project internal and external IT infrastructures

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

Open Research Data Pilot (2)

Data Management Plan Rev B

Data Management Plan Revision B

Data Management Plan Rev A

Data Management Plan Revision A

Websites, patent fillings, videos etc. (7)

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

Publikacje

Conference proceedings (11)

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

Autorzy: Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, Alexander Weiss
Opublikowane w: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings, 2017, Strona(/y) 179-196, ISBN 978-3-319-70848-5
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-70848-5_12

Online analysis of debug trace data for embedded systems

Autorzy: Normann Decker, Boris Dreyer, Philip Gottschling, Christian Hochberger, Alexander Lange, Martin Leucker, Torben Scheffel, Simon Wegener, Alexander Weiss
Opublikowane w: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018, Strona(/y) 851-856, ISBN 978-3-9819263-0-9
Wydawca: IEEE
DOI: 10.23919/DATE.2018.8342124

Model-Checking Counting Temporal Logics on Flat Structures

Autorzy: Decker, N, Habermehl, P, Leucker, M, Sangnier, A, Thoma, D
Opublikowane w: 2017, ISBN 978-3-95977-048-4
Wydawca: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2017.29

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

Autorzy: Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
Opublikowane w: Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18, 2018, Strona(/y) 1925-1933, ISBN 9781450351911
Wydawca: ACM Press
DOI: 10.1145/3167132.3167338

Stream-based dynamic data race detection

Autorzy: Svetlana Jakšić, Dan Li, Ka I Pun, Volker Stolz
Opublikowane w: Norsk Informatikkonferanse, Numer 2018, 2018
Wydawca: Bibsys.no

COEMS — open traces from the industry

Autorzy: Svetlana Jakšić, Martin Leucker, Dan Li, Volker Stolz
Opublikowane w: Kalpa Publications in Computing volume 3, 2017, Strona(/y) 96-85
Wydawca: EasyChair
DOI: 10.29007/gp13

Non-Intrusive MC/DC Measurement Based on Traces

Autorzy: Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma
Opublikowane w: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2019, Strona(/y) 86-92, ISBN 978-1-7281-3342-3
Wydawca: 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

Autorzy: Thomas Preusser, Alexander Weiss
Opublikowane w: 2019 29th International Conference on Field Programmable Logic and Applications (FPL), 2019, Strona(/y) 426-427, ISBN 978-1-7281-4884-7
Wydawca: IEEE
DOI: 10.1109/fpl.2019.00079

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

Autorzy: Alexander Weiss; Thomas B. Preußer
Opublikowane w: Embedded Software Engineering Kongress 2019, 2019
Wydawca: 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

Autorzy: Albert Schulz, Alexander Weiss, Franz Münz
Opublikowane w: embedded world Conference 2020, 2020
Wydawca: NürnbergMesse GmbH
DOI: 10.13140/rg.2.2.27827.45605

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

Autorzy: Thomas B. Preußer, Alexander Weiss
Opublikowane w: embedded world Conference 2020, 2020
Wydawca: NürnbergMesse GmbH
DOI: 10.13140/rg.2.2.31182.89923

Other (1)

Non-intrusive MC/DC Measurement based on Traces

Autorzy: Faustin Ahishakiye, Felix Dino Lange
Opublikowane w: Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications, 2018, ISBN 978-82-7368-435-6
Wydawca: University of Oslo

Peer reviewed articles (2)

On Distributed Runtime Verification by Aggregate Computing

Autorzy: Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli
Opublikowane w: Electronic Proceedings in Theoretical Computer Science, Numer 302, 2019, Strona(/y) 47-61, ISSN 2075-2180
Wydawca: EPTCS
DOI: 10.4204/EPTCS.302.4

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

Autorzy: Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
Opublikowane w: Software Quality Journal, 2020, ISSN 0963-9314
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s11219-019-09493-y

Book chapters (4)

Runtime Verification for Timed Event Streams with Partial Information

Autorzy: Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
Opublikowane w: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings, Numer 11757, 2019, Strona(/y) 273-291, ISBN 978-3-030-32078-2
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-32079-9_16

Test und Fehlersuche in komplexen Autonomen Systemen

Autorzy: Thomas Preusser, Albert Schulz, Alexander Weiss, Martin Heininger, Martin Leucker, Malte Schmitz, Torben Scheffel, Daniel Thoma
Opublikowane w: Echtzeit 2019 - Autonome Systeme – 50 Jahre PEARL, 2019, Strona(/y) 33-42, ISBN 978-3-658-27807-6
Wydawca: Springer Fachmedien Wiesbaden
DOI: 10.1007/978-3-658-27808-3_4

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

Autorzy: Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss
Opublikowane w: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings, Numer 11237, 2018, Strona(/y) 43-63, ISBN 978-3-030-03768-0
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-03769-7_5

TeSSLa: Temporal Stream-Based Specification Language

Autorzy: Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
Opublikowane w: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings, Numer 11254, 2018, Strona(/y) 144-162, ISBN 978-3-030-03043-8
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-03044-5_10

Non-peer reviewed articles (1)

Tracing von eingebetteten Multicore-Systemen

Autorzy: Alexander Weiss, Max Jonas Friese, Stephan Grünfelder, Michael Paulitsch
Opublikowane w: HANSER automotive, Numer 3/2020, 2020, ISSN 1860-5699
Wydawca: Carl Hanser Verlag GmbH & Co. KG
DOI: 10.13140/rg.2.2.29505.17764