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

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.

REFERENCES

• 1: Association of Computing Machinery (ACM) Special Interest Group on Ada (SIGAda) ASIS Home Page. http://www, acm. org/sigada/WG/asiswg/
• 2: Alan Burns , Ted Baker , Tullio Vardenaga, Tasking profiles (session summary), ACM SIGAda Ada Letters, v.XVII n.5, p.5-7, Sept./Oct. 1997
• 3: Currie Colket , Gary Barnes , Steve Blake , Dan Cooper , Jesper Jørgensen , Clyde Roby , Dan Rittersdorf , Sergey Ryben , Alfred Strohmeier , Bill Thomas, Architecture of ASIS: a tool to support code analysis of complex systems, ACM SIGAda Ada Letters, v.XVII n.1, p.35-40, Jan./Feb. 1997 [doi>10.1145/249984.249991]
• 4: C. Daniel Cooper, ASIS-based code analysis automation, ACM SIGAda Ada Letters, v.XVII n.6, p.65-69, Nov./Dec. 1997 [doi>10.1145/264934.264942]
• 5: Vasiliy Fofanov , Sergey Rybin , Alfred Strohmeier, ASIStint: an interactive ASIS interpreter, Proceedings of the conference on TRI-Ada '97, p.205-209, November 09-13, 1997, St. Louis, Missouri, United States [doi>10.1145/269629.269651]
• 6: ISO/iEC 8652:1995 Information technology Programming languages -- Ada.
• 7: ISO/iEC 15291:1999 Information technology Programming languages Ada Semantic Interface Specification (ASIS).
• 8: ISO/iEC DTR 15942 Programming Languages Guide for the Use of the Ada Programming Language in High Integrity Systems, dated 11 May 1999.
• 9: Stephen Michell , Mark Saaltink , Brian Wichmann, Looking into safety with the safety and security Rapporteur group, Proceedings of the 1998 annual ACM SIGAda international conference on Ada, p.7-11, November 08-12, 1998, Washington, D.C., United States
• 10: Laurent Pautet , Thomas Quinot , Samuel Tardieu, CORBA & DSA: Divorce or Marriage?, Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies, p.211-225, June 07-11, 1999
• 11: William W. Pritchett, IV , John D. Riley, An ASIS-based static analysis tool for high-integrity systems, Proceedings of the 1998 annual ACM SIGAda international conference on Ada, p.12-17, November 08-12, 1998, Washington, D.C., United States
• 12: Alfred Strohmeier , Vasiliy Fofanov , Sergey Rybin , Stéphane Barbey, Quality-for-ASIS: A Portable Testing Facility for ASIS, Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, p.163-175, June 08-12, 1998

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
  D.4 OPERATING SYSTEMS

General Terms:
Design, Languages, Management, Reliability

Keywords:
ASIS, Ada language, Ravenscar profile, code analysis, high integrity, real-time, safety-critical, tasking