Neues zu Produkten
- Release 19.04 von allen Produkten ist da
- StackAnalyzer, ValueAnalyzer und TimingProfiler
unterstützen jetzt MCS251 und dsPIC33E
- Neues Eclipse-Plugin für Astrée und RuleChecker jetzt erhältlich
- Unsere neuen Distributoren:
PiTask in der Türkei,
Phaedrus für Großbritannien,
Indes für Benelux und EDAWAY für Italien
- TimeWeaver unterstützt jetzt PowerPC, ARM und TriCore
- StackAnalyzer und ValueAnalyzer
unterstützen nun 64-Bit-PowerPCs, -x86s und -ARM.
- aiT jetzt erhältlich für Cortex-M0, Cortex-M1, ARM7TDMI, ST SPC58 uvm.
Aktuelle Projekte
- ARAMiS II
Werkzeuge, Plattformen und Prozesse für die Entwicklung von sicherheitskritischen Multicoresystemen
- EMPHASE
Energiesparende Multi-Prozessorplattform für hochautomatisiertes elektrisches Fahren
- AQUAS
- PROFORMA
- EMPHYSIS
→
Anstehende Termine
- ISO 26262
Stuttgart, 30. September–2. Oktober
- MedConf 2019
München, 23.–24. Oktober
- Software Drives
Stuttgart, 12.–13. November
→
Medienberichte
- 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 sicherheitskritischen
Echtzeitsystemen“ (PDF)
- Elektronik embedded 2014
„Echtzeitanalyse für softwaregesteuerte Systeme“ (PDF)
→
Neueste Veröffentlichungen
- Analyze this! Sound static analysis for integration verification of large-scale automotive software.
D. Kästner, B. Schmidt, M. Schlund, L. Mauborgne et al.
SAE Technical Paper 2019-01-1246, 2019.
- Obtaining worst-case execution time bounds on modern microprocessors (PDF, 900kB)
by D. Kästner, M. Pister, S. Wegener, and C. Ferdinand.
Embedded World Congress, Nuremberg, 2018.
- CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler (PDF, 600kB)
by D. Kästner, J. Barrho, U. Wünsche, M. Schlickling, B. Schommer et al.,
in ERTS² 2018 — Embedded Real Time Software and Systems, January 2018, Toulouse, France. <hal-01643290>.
- Continuous non-intrusive hybrid WCET estimation using waypoint graphs (PDF, 660kB).
B. Dreyer, C. Hochberger, A. Lange, S. Wegener and A. Weiss.
Proceedings of the 16th International Workshop on Worst-Case Execution-Time Analysis (WCET 2016).
- T-CREST: time-predictable multi-core architecture for embedded systems.
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.
Journal of Systems Architecture, 61/2015, pp. 449–471.
