Continuous Observation of Embedded Multicore Systems

Resultado final

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

Publicaciones

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

Autores: Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, Alexander Weiss
Publicado en: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings, 2017, Página(s) 179-196, ISBN 978-3-319-70848-5
Editor: Springer International Publishing
DOI: 10.1007/978-3-319-70848-5_12

Online analysis of debug trace data for embedded systems

Autores: Normann Decker, Boris Dreyer, Philip Gottschling, Christian Hochberger, Alexander Lange, Martin Leucker, Torben Scheffel, Simon Wegener, Alexander Weiss
Publicado en: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018, Página(s) 851-856, ISBN 978-3-9819263-0-9
Editor: IEEE
DOI: 10.23919/DATE.2018.8342124

Model-Checking Counting Temporal Logics on Flat Structures

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

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

Autores: Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
Publicado en: Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18, 2018, Página(s) 1925-1933, ISBN 9781-450351911
Editor: ACM Press
DOI: 10.1145/3167132.3167338

Stream-based dynamic data race detection

Autores: Svetlana Jakšić, Dan Li, Ka I Pun, Volker Stolz
Publicado en: Norsk Informatikkonferanse, Edición 2018, 2018
Editor: Bibsys.no

COEMS — open traces from the industry

Autores: Svetlana Jakšić, Martin Leucker, Dan Li, Volker Stolz
Publicado en: Kalpa Publications in Computing volume 3, 2017, Página(s) 96-85
Editor: EasyChair
DOI: 10.29007/gp13

Non-Intrusive MC/DC Measurement Based on Traces

Autores: Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma
Publicado en: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2019, Página(s) 86-92, ISBN 978-1-7281-3342-3
Editor: 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

Autores: Thomas Preusser, Alexander Weiss
Publicado en: 2019 29th International Conference on Field Programmable Logic and Applications (FPL), 2019, Página(s) 426-427, ISBN 978-1-7281-4884-7
Editor: IEEE
DOI: 10.1109/fpl.2019.00079

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

Autores: Alexander Weiss; Thomas B. Preußer
Publicado en: Embedded Software Engineering Kongress 2019, 2019
Editor: 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

Autores: Albert Schulz, Alexander Weiss, Franz Münz
Publicado en: embedded world Conference 2020, 2020
Editor: NürnbergMesse GmbH
DOI: 10.13140/rg.2.2.27827.45605

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

Autores: Thomas B. Preußer, Alexander Weiss
Publicado en: embedded world Conference 2020, 2020
Editor: NürnbergMesse GmbH
DOI: 10.13140/rg.2.2.31182.89923

Non-intrusive MC/DC Measurement based on Traces

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

On Distributed Runtime Verification by Aggregate Computing

Autores: Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli
Publicado en: Electronic Proceedings in Theoretical Computer Science, Edición 302, 2019, Página(s) 47-61, ISSN 2075-2180
Editor: EPTCS
DOI: 10.4204/EPTCS.302.4

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

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

Runtime Verification for Timed Event Streams with Partial Information

Autores: Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
Publicado en: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings, Edición 11757, 2019, Página(s) 273-291, ISBN 978-3-030-32078-2
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-32079-9_16

Test und Fehlersuche in komplexen Autonomen Systemen

Autores: Thomas Preusser, Albert Schulz, Alexander Weiss, Martin Heininger, Martin Leucker, Malte Schmitz, Torben Scheffel, Daniel Thoma
Publicado en: Echtzeit 2019 - Autonome Systeme – 50 Jahre PEARL, 2019, Página(s) 33-42, ISBN 978-3-658-27807-6
Editor: Springer Fachmedien Wiesbaden
DOI: 10.1007/978-3-658-27808-3_4

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

Autores: Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss
Publicado en: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings, Edición 11237, 2018, Página(s) 43-63, ISBN 978-3-030-03768-0
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-03769-7_5

TeSSLa: Temporal Stream-Based Specification Language

Autores: Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
Publicado en: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings, Edición 11254, 2018, Página(s) 144-162, ISBN 978-3-030-03043-8
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-03044-5_10

Tracing von eingebetteten Multicore-Systemen

Autores: Alexander Weiss, Max Jonas Friese, Stephan Grünfelder, Michael Paulitsch
Publicado en: HANSER automotive, Edición 3/2020, 2020, ISSN 1860-5699
Editor: Carl Hanser Verlag GmbH & Co. KG
DOI: 10.13140/rg.2.2.29505.17764

Buscando datos de OpenAIRE...

Resultado final

Publicaciones

Compartir esta página

Descargar