TAPAAL3.9.3

TAPAAL, kullanıcıların Timed-Arc Petri ağlarını kullanarak davranışları zamanlamaya bağlı olan sistemlerin resmi modellerini oluşturmalarını sağlar. Modelleme fonksiyonları, bu ağları kesin analiz için uygun yapılandırılmış bir formda tanımlar. Kullanıcılar, zaman ilerledikçe nasıl davrandığını incelemek için bir modeli simüle edebilir. Ayrıca resmi özellikleri doğrulayabilirler, modelin tanımlanmış koşulları karşılayıp karşılamadığını değerlendirmek için gözlemin ötesine geçebilirler.

Modelleme, zamanlanmış simülasyon ve doğrulamayı birleştirerek, TAPAAL bir sistemin resmi davranışını incelemek için eksiksiz bir iş akışını destekler. Özellikle zamanlamanın açıkça temsil edilmesi gerektiğinde, resmi bilgisayar bilimi modellemesi ile çalışan öğrenciler, eğitmenler ve diğerleri için tasarlanmıştır. Tipik kullanımlar, bir sistemin modellendiği, yürütülmesinin araştırıldığı ve özelliklerinin kontrol edildiği eğitim egzersizlerini içerir. Yazılım Danimarka'daki Aalborg Üniversitesi Bilgisayar Bilimleri Bölümü'nde geliştirilmiştir.

TAPAAL Kenneth Yrke Joergensen tarafından yayınlandı ve mevcut sürümü 3.9.3. Linux üzerinde çalışır, Snapd gerektirir ve amd64 mimarisini destekler. Eğitim olarak sınıflandırılmış, ücretli bir yazılım lisansı yerine ücretsiz olarak dağıtılır.