Последние новости
- СтекАналайзер
теперь поддерживает
MIPS32, RL78, Nios II, RISC-V и LEON4.
- Доступен
ТаймВивер
для PowerPC, ARM и TriCore
- айТи
отныне
поддерживает
Миландр 1986VE1T, ST SPC58 и TC277
- Доступны
бета-версии
ТаймингПрофайлера
для 15 семейств
микропроцессоров
Актуальные проекты
- Scale4Edge
- QSMA
- MORAL
- FreeSBee
- TwinSpace
- TRISTAN
→
Предстоящие встречи
- Embedded World 2024
- Aerospace Tech Week Europe 2024
→
СМИ о нас
- Журнал
«Электроника —
наука,
технология,
бизнес», №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.