Code analysis of saftey-critical and real-time software using ASIS

  • Authors:

  • William Currie Colket

  • Affiliations:

  • The Mitre Corporation, 1820 Dolley Madison Boulevard, McLean, Virginia

  • Venue:
  • Proceedings of the 1999 annual ACM SIGAda international conference on Ada
  • Year:
  • 1999

  • Temporal skeletons for verifying time

    Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies

Quantified Score

Hi-index 0.00

Visualization

Abstract

The Ravenscar Profile is a restricted tasking profile that supports applications requiring separate threads of control yet would satisfy the certification requirements of high-integrity (safety-critical) real-time systems. If the Ravenscar Profile were to be used for systems having safety-critical and real-time requirements, it would be valuable to demonstrate that the application satisfies the restrictions. Code analysis is an important technique to support this demonstration. Ada Semantic Interface Specification (ASIS) based tools provide an excellent capability for the automatic identification of violations to that set of the Ravenscar Profile restrictions, which can be determined through static code analysis. All but one of these restrictions can be identified using static code analysis using ASIS. This paper provides an approach to building such an ASIS-based tool. This tool might promote the use of automatic tools for the analysis of the Ravenscar Profile and other tasking profiles to support safety-critical and real-time requirements. This paper should be viewed as work in progress.