Последние новости
- Вышла в свет версия 24.10 всех продуктов
- Астрé и РулЧекер отныне поддерживают стандарты MISRA C:2023 и MISRA C++2023
- Доступен СтекАналайзер
для MIPS32, RL78, Nios II, RISC-V и LEON4
- Доступен
ТаймВивер
для RH850 и ColdFire
- айТи
отныне
поддерживает
Миландр 1986VE1T, ST SPC58 и TC277
Текущие проекты
- Scale4Edge
Scalable infrastructure for edge computing
- TRISTAN
Together for RISC-V technology & applications
- FreeSBee
Side-channel free software for embedded systems
→
Предстоящие встречи
- MedConf 2025
6–8 мая, Мюнхен
- SAE AeroTech 2025
6–8 мая, Ванкувер
- Automotive Engineering Expo 2025
21–23 мая, Иокогама
→
Новые публикации
- Multi-Core WCET Analysis Using Non-Intrusive Continuous Observation.
D. Kästner, G. Gebhard, M. Pister, S. Wegener, C. Ferdinand, A. Schulz, M. Sachenbacher, M. Leucker, A. Weiss.
In ERTS 2024: Embedded Real Time Software and Systems, 12th European Congress, Toulouse, June 2024.
- Satisfying Timing Requirements for Safety-Critical Real-Time Software.
D. Kästner, C. Hümbert, G. Gebhard, M. Pister, S. Wegener, C. Ferdinand.
Embedded World Congress 2024, Nuremberg.
- Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software.
D. Kästner, C. Mallon, L. Mauborgne, S. Schank, S. Wilhelm, C. Ferdinand.
SAE Technical Paper 2023-01-0591, SAE World Congress 2023, Detroit, April 2023.
- Static Data and Control Coupling Analysis.
D. Kästner, L. Mauborgne, S. Wilhelm, C. Mallon, C. Ferdinand.
ERTS 2022: Embedded Real Time Software and Systems, 11th European Congress, Toulouse, June 2022.