Sciweavers

Share
PLPV
2010
ACM

Challenge benchmarks for verification of real-time programs

11 years 11 months ago
Challenge benchmarks for verification of real-time programs
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic consequences. Unfortunately, it is nearly impossible to find representative safety-critical programs in the public domain. This has been significant impediment to research in the field, as it is very difficult to validate new ideas or techniques experimentally. This papers presents open challenges for verification of real-time systems in the context of the Real-time Specification for Java. But, our main contribution is a family of programs, called CDx, which we present as an open source benchmark for the verification community. Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification; C.3 [Special-Purpose and Application-Based Systems]: Real-time and embedded systems General Terms Verification, Experimentation
Tomás Kalibera, Pavel Parizek, Ghaith Hadda
Added 14 Oct 2010
Updated 14 Oct 2010
Type Conference
Year 2010
Where PLPV
Authors Tomás Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek
Comments (0)
books