AbsInt: новости

Актуальные проекты

TeamPlay
Time, energy and security analysis for multi-/many-core heterogenous platforms
AQUAS
Aggregated quality assurance for systems
EMPHYSIS
Embedded systems with physical models in the production code software

Журнал «Электроника — наука, технология, бизнес», №4/2022
«Статический анализатор стека AbsInt StackAnalyzer поддерживает архитектуры MIPS32 и RISC-V»
Medizin-Elektronik 02/2019
«Von der Vision zur Wirklichkeit» (PDF)
Elektronik automotive 9/2018
«Der perfekte Compiler» (PDF)

D. Kaestner, X. Leroy, S. Blazy, B. Schommer, M. Schmidt, C. Ferdinand. Closing the gap — the formally verified optimizing compiler CompCert. Proceedings of the 25th Safety-Critical System Symposium SSS 2017, Bristol, UK.
B. Dreyer, C. Hochberger, A. Lange, S. Wegener and A. Weiss. Continuous non-intrusive hybrid WCET estimation using waypoint graphs (PDF, 660kB). Proceedings of the 16th International Workshop on Worst-Case Execution-Time Analysis (WCET 2016).
H. Falk, S. Altmeyer, P. Hellinckx, B. Lisper, W. Puffitsch, C. Rochange, M. Schoeberl, R. Bo Sørensen, P. Waegemann and S. Wegener. TACLeBench: a benchmark collection to support worst-case execution time research (PDF, 443kB). Proceedings of the 16th International Workshop on Worst-Case Execution-Time Analysis (WCET 2016).
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. T-CREST: time-predictable multi-core architecture for embedded systems. Journal of Systems Architecture, 61/2015, pp. 449–471.