Statik İkili Kod Analiz Araçları
En Kötü Durum Yürütme Süresi (WCET) hesaplaması
Araç: TimeWeaver
Modern, son derece karmaşık işlemciler için (çoğu çok çekirdekli), çekirdekler arasındaki boru hattı, önbellek ve çapraz konuşma mekanizmalarını resmi olarak modellemek çok zordur.
Bu durumda, WCET'i yalnızca statik kod analizi ile hesaplamak mümkün değildir ve analiz ve çalışma zamanı ölçüm tekniklerini karma olarak kullanmak gerekir.
TimeWeaver Nedir
TimeWeaver, bu iki WCET hesaplama tekniğini birleştiren hibrit bir analizcidir. En doğru yürütme süresi ölçümleri, mikroişlemcinin müdahaleci olmayan donanım izlerini yakalayarak elde edilir. Bu nedenle, TimeWeaver yalnızca donanım izleme özelliğine sahip işlemciler ve Nexus tipi izleme konektörüne ve Aurora tipi arayüze veya benzerine sahip kartlar için kullanılabilir. Ayrıca, Lauterbach veya Green Hills Probe gibi donanım izleme özelliğine sahip bir hata ayıklama probu gereklidir.
WCET hesaplamasını gerçekleştirmek için TimeWeaver'ın şunlara ihtiyacı vardır:
- Yürütülebilir ikili kod
- Yürütme izleri
- İsteğe bağlı olarak, kaynak kodu ve mimariyle ilgili ek açıklamalar.
Analizin sonucu aiT tarafından elde edilene benzerdir ve sertifikasyon kanıtı olarak kabul edilmek için yeterince doğrudur.
TimeWeaver aşağıdaki mimariler ve izleme biçimleri için kullanılabilir:
Nexus program izleme mesajlarının çıktısını alabilen PowerPC (IEEE-ISTO 5001, sınıf 2 veya üstü):
Saat döngüsü doğruluğunda ETM izi veya ULink Pro
Tricore izleri ile ARM
Desteklenen İşlemci ve Derleyici Aileleri
- Cortex A53
- Cortex R5F
- AUDO Ailesi (örn. TC1796)
- AURIX Ailesi (örn. TC275)
- AURIX 2. Nesil Ailesi (TC3xx)
- QorlQ P Serisi (e500mc çekirdek)
- QorlQ T Serisi (e5500, e6500 çekirdek)
- Qorivva Hattı MPC55xx, MPC56Xxx MPC57xx (e200 çekirdek)
