A method for verifying real-time properties of Ada programs

This paper describes a method for transforming concurrent Ada programs by way of abstractions into input for the UPPAAL model checker for the purpose of analyzing the real-time properties of programs. The method depends on being able to compute the best and worst case execution times of procedures c...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Gerdsmeier, T., Cardell-Oliver, R.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Automata Clocks Computer languages Computer science Concurrent computing Data structures Delay Kernel Sparks System recovery
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!