AbsInt: Neuigkeiten, Ankündigungen, Termine

Neues zu Produkten

Release 19.10 von allen Produkten ist da
StackAnalyzer und ValueAnalyzer unterstützen jetzt RISC-V
Neues Eclipse-Plugin für Astrée und RuleChecker jetzt erhältlich
Unsere neuen Distributoren:
PiTask in der Türkei,
Phaedrus für Großbritannien,
Indes für Benelux und EDAWAY für Italien
TimeWeaver unterstützt jetzt PowerPC, ARM und TriCore
StackAnalyzer und ValueAnalyzer unterstützen nun 64-Bit-PowerPCs, -x86s und -ARM.
aiT jetzt erhältlich für Cortex-M0, Cortex-M1, ARM7TDMI, ST SPC58 uvm.

EMPHASE
Energiesparende Multi-Prozessorplattform für hochautomatisiertes elektrisches Fahren
AQUAS
PROFORMA
EMPHYSIS

Medizin-Elektronik 02/2019
„Von der Vision zur Wirklichkeit“ (PDF)
Elektronik automotive 9/2018
„Der perfekte Compiler“ (PDF)
Funktionale Sicherheit 7/2015
„Multicore-CPUs in sicherheitskritischen Echtzeitsystemen“ (PDF)
Elektronik embedded 2014
„Echtzeitanalyse für softwaregesteuerte Systeme“ (PDF)

Analyze this! Sound static analysis for integration verification of large-scale automotive software. D. Kästner, B. Schmidt, M. Schlund, L. Mauborgne et al. SAE Technical Paper 2019-01-1246, 2019.
Obtaining worst-case execution time bounds on modern microprocessors (PDF, 900kB) by D. Kästner, M. Pister, S. Wegener, and C. Ferdinand. Embedded World Congress, Nuremberg, 2018.
CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler (PDF, 600kB) by D. Kästner, J. Barrho, U. Wünsche, M. Schlickling, B. Schommer et al., in ERTS² 2018 — Embedded Real Time Software and Systems, January 2018, Toulouse, France. <hal-01643290>.
Continuous non-intrusive hybrid WCET estimation using waypoint graphs (PDF, 660kB). B. Dreyer, C. Hochberger, A. Lange, S. Wegener and A. Weiss. Proceedings of the 16th International Workshop on Worst-Case Execution-Time Analysis (WCET 2016).
T-CREST: time-predictable multi-core architecture for embedded systems. M. Schoeberl, S. Abbaspour, B. Akesson, N. Audsley, R. Capasso, J. Garside, K. Goossens, S. Goossens, S. Hansen, R. Heckmann, S. Hepp, B. Huber, A. Jordan, E. Kasapaki, J. Knoop, Y. Li, D. Prokesch, W. Puffitsch, P. Puschner, A. Rocha, C. Silva, J. Sparsø, and A. Tocchi. Journal of Systems Architecture, 61/2015, pp. 449–471.