Последние новости

  • Вышел в свет релиз 21.04.
  • СтекАналайзер теперь поддерживает Nios II, RISC-V, dsPIC33, S12Z и MSP430(x), а также 64-разрядные x86, PPC и ARM.
  • Наш новый дистрибутор в Великобритании и Ирландии — Phaedrus Systems
  • Доступен ТаймВивер для PowerPC, ARM и TriCore
  • айТи отныне поддерживает Миландр 1986VE1T, ARM7TDMI, ST SPC58, TC277 (AURIX) и Sharp LH79520 (ARM720T)
  • Доступны бета-версии ТаймингПрофайлера для 15 семейств микропроцессоров

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

  • 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

→

Предстоящие встречи

  • Forum Safety & Security
    22–23/6

→

Пресс-релизы

→

СМИ о нас

  • 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 sicherheits­kritischen Echtzeit­systemen» (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.