Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

Industrial perspective on static analysis

Industrial perspective on static analysis

For access to this article, please select a purchase option:

Buy article PDF
$19.95
(plus tax if applicable)
Buy Knowledge Pack
10 articles for $120.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
Software Engineering Journal — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

Static analysis within industrial applications provides a means of gaining higher assurance for critical software. This survey notes several problems, such as the lack of adequate standards, difficulty in assessing benefits, validation of the model used and acceptance by regulatory bodies. It concludes by outlining potential solutions and future directions.

References

    1. 1)
      • D.J. Pavey , L.A. Winsborrow . Demonstrating equivalence of source code and PROM contents. Computer J. , 7 , 654 - 667
    2. 2)
      • G. Hughes , D.B. Boettcher . Developments in digital instrumentation for Nuclear Electric's (UK) power plant. Nuclear Energy , 1 , 41 - 52
    3. 3)
      • Requirements And Technical Concepts For Aviation (Document RTCA SC167/DO-178B); European Organization For Civil Aviation Electronics (EUROCAE document ED-12B).
    4. 4)
      • `The procurement of safety critical software in defence equipment', 00–55, April 1991, Interim Defence Standard, Ministry of Defence, (Part 1: Requirements; Part 2: Guidance).
    5. 5)
      • B.A. Carré , J. Garnsworthy , W. Marsh , W.J. Taylor . (1992) , SPARK: a safety-related Ada subset: Ada in transition.
    6. 6)
      • J. Garnsworthy , I. O'Neill , B. Carré , L. Collingbourne . (1993) , Automatic proof of the absence of run-time errors. Ada: towards maturity.
    7. 7)
      • R.S. Boyer , Y. Yuan . Automated correctness proofs of machine code for a commercial microprocessor: automated deduction. Lect. Notes Artif. Intell.
    8. 8)
      • W.J. Cullyer , S.J. Goodenough , B.A. Wichmann . The choice of computer languages in safety-critical systems. Softw. Eng. J. , 2 , 51 - 58
    9. 9)
      • (1991) , Software for computers in the application of industrial safety-related systems.
    10. 10)
      • (1993) , Formal Semantics of SPARK.
    11. 11)
      • Carnot, M., da Silva, C., Dehbonei, B., Mejia, F.: `Error-free software development for critical systems using the B-methodology', Third IEEE Int. Conf. on Software Reliability, October 1992, p. 274–281.
    12. 12)
      • I.C. Smith , D.N. Wall . Programmable electronic systems for reactor safety. Atom , 10 - 13
    13. 13)
      • J.F. Bergeretti , B.A. Carré . Information-flow and data-flow analysis of while-programs. ACM Trans Prog Lang. , 37 - 61
    14. 14)
      • I.M. O'Neill , D.L. Clutterbuck , P.F. Farrow , P.G. Summers , W.C. Dolman . (1988) , The formal verification of safety-critical assembly code, safety of computer control systems.
    15. 15)
      • Wichmann, B.A.: `Insecurities in the Ada programming language', 137/89, NPL report, January 1989, p. 54, NTIS ref: PB89-193627/WFT. (summary with Dawes, S.J.: Ada User, 1990, 11,(1), pp. 21–26).
    16. 16)
      • B.A. Wichmann . Programming critical systems — the Ada 9X solution. Comput. Bull.
    17. 17)
      • N.J. Ward . , The rigorous retrospective static analysis of the Sizewell ‘B’ primary protection system software.
    18. 18)
      • C.F. Schaefer , G.N. Bundy . Static analysis of exception handling in Ada. Softw. Pract. Exp. , 10 , 1157 - 1174
    19. 19)
      • B.A. Wichmann . The contribution of standard programming languages to software quality. Softw. Eng. J. , 3 - 12
    20. 20)
      • R.S. Boyer , J.S. Moore . (1981) , A verification condition generator for FORTRAN: the correctness problem in computer science.
    21. 21)
      • B.A. Wichmann . Requirements for programming languages in safety and security software standards. Comput. Stand. Interfaces. , 433 - 441
    22. 22)
      • Brygier, J., Richard-Foy, M.: `Ada run time system certification for avionics applications', Ada-Europe Conf., June 1993.
    23. 23)
      • Wichmann, B.A.: `Strategy on the use of SPARK', DITC 227/94, NPL Report, June 1994.
    24. 24)
      • B.A. Carré , T.J. Jennings , F.J. MaClennan , P.F. Farrow , J.R. Garnsworthy . (1992) , SPARK — the SPADE Ada kernel.
    25. 25)
      • (1986) , Software for computers in the safety systems of nuclear power stations.
    26. 26)
      • (1992) , Generation of Path Functions And Verification Conditions for SPARK Programs.
http://iet.metastore.ingenta.com/content/journals/10.1049/sej.1995.0010
Loading

Related content

content/journals/10.1049/sej.1995.0010
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address