Последние новости
- СтекАналайзер
теперь поддерживает
MIPS32, RL78, Nios II, RISC-V и LEON4
- Доступен
ТаймВивер
для RH850 и ColdFire
- айТи
отныне
поддерживает
Миландр 1986VE1T, ST SPC58 и TC277
- Доступны
бета-версии
ТаймингПрофайлера
для 15 семейств
микропроцессоров
Текущие проекты
- Scale4Edge
Scalable infrastructure for edge computing
- QSMA
Parallelization tools for certified avionics systems
- TRISTAN
Together for RISC-V technology & applications
- FreeSBee
Side-channel free software for embedded systems
→
Предстоящие встречи
- SafeComp 2024
Флоренция
- Embedded World North America
Остин, Техас
- Safetronic 2024
Штуттгарт
→
Новые публикации
- 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.
