Integrating the verification of timing, performance and correctness properties of concurrent systems

Integrating the verification of timing, performance and correctness properties of concurrent systems

Previous methods of verification tend to keep correctness, timing and performance separate. We present a process algebra based methodology for the integrated modelling and verification of correctness, performance and timing properties of concurrent systems. We have applied the method to the domain o...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Cerone, A., Kearney, D.A., Milne, G.J.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Algebra
Concurrent computing
Delay
Hardware
Performance analysis
Petri nets
Software safety
Software systems
Stochastic processes
Timing
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Previous methods of verification tend to keep correctness, timing and performance separate. We present a process algebra based methodology for the integrated modelling and verification of correctness, performance and timing properties of concurrent systems. We have applied the method to the domain of asynchronous hardware and used an asynchronous micropipeline as an illustrative example.
DOI:10.1109/CSD.1998.657544