We are proud to have Daniel Kästner (CTO of AbsInt) present our joint paper “Multi-core WCET Analysis Using Non-Intrusive Continuous Observation” at this year’s ERTS Congress in Toulouse. In this paper we explain how the product bundle CEDARtools & TimeWeaver helps our customers to fulfill the objectives “MCP_Resource_Usage_3“, “MCP_Resource_usage_4“, “MCP_Software_1“, and “MCP_Software_2” objectives of EASA […]
Non-intrusive online monitoring of embedded processors can only be realized with high-end FPGA solutions.To get an impression of the underlying complexity, check out Tom’s presentation held at the 30th International Conference on Field-Programmable Logic and Applications (FPL 2020). Abstract: Content-Addressable Memory (CAM) is a powerful abstraction for building memory caches, routing tables and hazard detection logic. Without […]
Alexander Weiss und Martin Heininger (HEICON):Strukturelle Tests auf höheren Testebenen Wie kann die Vollständigkeit von Integrations- und Systemtests eingebetteter Systeme gemessen werden? Mathematisch exakt tut man dies mit strukturellen Tests. Leider hat die hierzu oftmals verwendete SW-Instrumentierung den Nachteil, dass sie das Zeitverhalten des Releasecodes und eine ganze Menge anderer Dinge verfälscht. Bei Modultests kommt […]
Martin Heininger (HEICON) and Alexander Weiss: Strukturelle Tests auf höheren Testebenen Wie kann die Vollständigkeit von Integrations- und Systemtests eingebetteter Systeme gemessen werden? Mathematisch exakt tut man dies mit strukturellen Tests. Leider hat die hierzu oftmals verwendete SW-Instrumentierung den Nachteil, dass sie das Zeitverhalten des Releasecodes und eine ganze Menge anderer Dinge verfälscht. Bei Modultests […]
Alexander Weiss: Dynamische und strukturelle Tests auf höheren Ebenen Fehlerfreie Software ist ein unerfüllbarer Traum. Jedoch muss eine Annäherung an dieses Ideal eines der wichtigsten Entwicklungsziele sein, besonders im Bereich der sicherheitskritischen Systeme. Neben einer wohl überlegten Systemarchitektur und einer guten Implementierung sind daher (a) möglichst vollständige funktionale und strukturelle Tests und (b) Vorkehrungen für […]