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
Continue readingCategory: About
STAMP stands for Software Testing AMPlification. Leveraging advanced research in automatic test generation, STAMP aims at pushing automation in DevOps one step further through innovative methods of test amplification. OW2 is focused on communication and dissemination of the STAMP project results. The community of open source projects is also involved in the Software Quality Platform use case.
Continue readingCOEMS External Expert Group
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)
Continue readingCOEMS Fact Sheet
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
Continue reading