Category: About

Rico Backasch, Christian Hochberger, Alexander Weiss, Martin Leucker, Richard Lasslop: Runtime verification for multicore SoC with high-quality trace data. ACM Trans. Design Autom. Electr. Syst. 18(2): 18 (2013) Boris Dreyer, Christian Hochberger, Simon Wegener, and Alexander Weiss. Precise Continuous Non-Intrusive Measurement-Based Execution Time Estimation. In Francisco J. Cazorla, editor, 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015), volume 47 of OpenAccess Series in Informatics (OASIcs), pages 45-54, Dagstuhl, Germany, 2015. Schloss Dagstuhl — Leibniz-Zentrum fuer Informatik. Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma: Runtime Monitoring with Union-Find Structures. In Marsha Chechik, Jean-François Raskin (Eds.): 22nd International Conference on Tools and Algorithms

Andreas Griesmayer Staff Research Engineer at ARM Technology Service Group Stephan Grünfelder Trainer for Testing of Embedded Systems Head of the Testing Team at Riedel Communications Austria Author of the book “Software Test für Eingebette Systeme” www.methver.webs.com Klaus Havelund Senior Research Scientist at NASA www.havelund.com Einar B. Johnson Professor at the University of Oslo, Norway http://einarj.at.ifi.uio.no Bernard Schmidt Research Engineer at Robert Bosch GmbH / Verification and Validation (CR)

COEMS is a novel observer platform with supporting verification methods for software systems. Key Data Project title: Continuous Observation of Embedded Multicore Systems Project coordinator: Martin Leucker, ISP/ Universität zu Lübeck (DE) leucker@isp.uni-luebeck.de Partners: Accemic GmbH & Co. KG (DE), SC Thales Systems Romania SRL (RO), Høgskulen på Vestlandet (NO) (formerly Høgskolen i Bergen), Thales Austria GmbH (AT), Airbus Defence and Space GmbH (DE) Duration: Nov. 2016 – Apr. 2020 (42 months) Total cost: EUR 3 961 082,50 Call: H2020-ICT-2016-1 Website: https://www.coems.eu Follow @coems_eu About The ability to observe the internals of an execution of a computer-based system is a

Please contact the Institute for Softwareengineering and Programming Languages in Lübeck for more information. Address Institut für Softwaretechnik und Programmiersprachen Ratzeburger Allee 160 D-23562 Lübeck Germany Contact Nina Strugalla E-Mail:  office@isp.uni-luebeck.de Phone:  +49 451 3101-6530

        Institut für Softwaretechnik und Programmiersprachen, Universität zu Lübeck (DE)          Accemic Technologies GmbH (DE) (formerly Accemic GmbH & Co. KG)       SC Thales Systems Romania SRL (RO) Thales Austria GmbH (AT)   Høgskulen på Vestlandet (NO) (formerly Høgskolen i Bergen)  Airbus (DE)

The ability to observe the internals of an execution of a computer-based system is a fundamental requirement for ultimately ensuring correctness and safe behaviour. Within COEMS (Continuous Observation of Embedded Multicore Systems) a novel observer platform with supporting verification methods for software systems is created. COEMS tackles the issues of detection and identification of non-deterministic software failures caused by race conditions and access to inconsistent data. It gives insight to the system’s actual behaviour without affecting it allowing new verification methods. An efficient real-time access and analysis as a critical element for operating safe systems will be developed and validated