skip to main content
abstract

Challenge benchmarks for verification of real-time programs: (abstract only)

Published:27 June 2010Publication History
Skip Abstract Section

Abstract

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 paper 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.

Index Terms

(auto-classified)
  1. Challenge benchmarks for verification of real-time programs: (abstract only)

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          • Published in

            cover image ACM SIGPLAN Notices
            ACM SIGPLAN Notices  Volume 44, Issue 11
            November 2009
            13 pages
            ISSN:0362-1340
            EISSN:1558-1160
            DOI:10.1145/1816027
            Issue’s Table of Contents

            Copyright © 2010 Authors

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 27 June 2010

            Check for updates

            Qualifiers

            • abstract
          • Article Metrics

            • Downloads (Last 12 months)0
            • Downloads (Last 6 weeks)0

            Other Metrics

          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!