今後のイベント
- 組み込み開発のテスティング2025
ミュンヘン 25/2/25~26
- 組み込みの世界2025
ニュルンベルク 25/3/11~13
- メッドコンフ2025
ミュンヘン 25/5/6~8
- アエローテック2025
バンクーバー市 25/5/6~8
→ もっと
現在のプロジェクト
- トリスタン
「Together for RISC-V technology and applications」
- スケールフォーエッジ
「Scalable infrastructure for edge computing」
- フリースビー
「Side-channel free software for embedded systems」
→ もっと
最近の論文
- 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.
- Call String Sensitivity for Hardware-Based Hybrid WCET Analysis.
B. Dreyer, C. Hochberger, S. Wegener.
IEEE Embedded Systems Letters, Volume 14, Issue 2, June 2022.
- Testing Implementation Soundness of a WCET Analysis Tool.
R. Wilhelm, M. Pister, G. Gebhard, and D. Kästner.
In A Journey of Embedded and Cyber-Physical Systems, Jian-Jia Chen, editor,
Springer Open Access, 2021. ISBN 978-3-030-47487-4 (eBook).
- Real Time Spent on Real Time.
Reinhard Wilhelm.
Communications of the ACM, October 2020, Vol. 63 №10, pp. 54–60.
