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

Real-time safety-critical systems: analysis and synthesis

Real-time safety-critical systems: analysis and synthesis

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

Buy article PDF
£12.50
(plus tax if applicable)
Add to cart
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)
Add to cart

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.

© The Institution of Electrical Engineers
Published

Real-time safety-critical systems are currently engineered in a deterministic and conservative fashion. Although successful in many application areas, this approach leads to inefficient designs that are hard to modify. The paper proposes an alternative approach to developing such systems, which gives much greater flexibility in the design process and implementation, without losing the ability to guarantee timing properties and to analyse safety properties. It is also possible to produce implementations with known timing and safety properties. The paper identifies the research issues which must be addressed in order to realise systems in this fashion.

References

    1. 1)
      • Chapman, R., Burns, A., Wellings, A.: `Worst-case timing analysis of exception handling in Ada', Proc. Ada UK Conf., 1993, Netherlands, IOS Press, p. 148–164, Ada: towards maturity.
    2. 2)
      • Burns, A., Wellings, A.J., Hutcheon, A.D.: `The impact of an Ada run-time system's performance characteristics on scheduling models', Proc. 12th Ada Europe Conf., 1993, p. 240–248, Ada Sans Frontières.
    3. 3)
      • D.T. Jordan , C.J. Locke , J.A. McDermid , B.A.P. Sharpe . (1994) Literate formal development of Ada from Z for safety critical applications, Safecomp '94.
    4. 4)
      • N. Zhang , A. Burns , M. Nicholson . Pipelined processors and worst-case execution times. Real-Time Syst. , 4 , 319 - 343
    5. 5)
      • L.M. Barroca , J.A. McDermid . Formal methods: use and relevance for the development of safety-critical systems. Comput. J. , 6
    6. 6)
      • Shih, W.K., Liu, J.W.S., Chung, J.Y.: `Algorithms for scheduling imprecise computations with timing constraints', Proc. 10th IEEE Real-Time Systems Symp., 1989.
    7. 7)
      • N. Audsley , A. Burns , M. Richardson , K. Tindell . Applying new scheduling theory to static priority preemptive scheduling. Softw. Eng. J. , 5 , 284 - 292
    8. 8)
      • P. Puschner , C. Koza . Calculating the maximum execution time of real-time programs. Real-Time Syst. , 2 , 159 - 176
    9. 9)
      • (1967) , Design analysis procedure for failure modes, effects and criticality analysis (FMECA).
    10. 10)
      • P. Fenelon , J.A. McDermid , M. Nicholson , D.J. Pumfrey . Towards integrated safety analysis and design. ACM Comput. Rev. , 1 , 21 - 32
    11. 11)
      • J.A. McDermid , A.J.R.G. Milner , I.C. Wand . (1994) Engineering safety critical systems, Research directions in computer science.
    12. 12)
      • J. Rushby , T. Anderson . (1987) Kernels for Safety?, Safe and secure computing systems.
    13. 13)
      • M. Chudleigh . (1993) Hazard analysis using hazop: a case study, Safecomp '93.
    14. 14)
      • N.C. Audsley , A. Burns , M.F. Richardson , A.J. Wellings . Incorporating unbounded algorithms into predictable real-time systems. Comput. Syst. Sci. Eng. , 3 , 80 - 89
    15. 15)
      • N.G. Leveson , P.R. Harvey . Analyzing software safety. IEEE Trans. , 5 , 569 - 579
    16. 16)
      • J.D. Northcott . (1987) , Mechanisms for reliable distributed real-time operating systems: the Alpha kernel.
    17. 17)
      • S.J. Clarke , J.A. McDermid . Weakest preconditions and software fault trees: a comparison and analysis. Softw. Eng. J. , 4 , 225 - 236
    18. 18)
      • Harmon, M.G., Baker, T.P., Whalley, D.B.: `A retargetable technique for predicting execution time', Proc. IEEE Real-Time Systems Symp., 1992, p. 68–77.
    19. 19)
      • Burns, D.J., Pitblado, R.M.: `A modified HAZOP methodology for safety critical system assessment', First Safety Critical Systems Symp., 1993, Springer-Verlag.
    20. 20)
      • M.H. Klein , T.A. Ralya , B. Pollack , R. Obenza . (1993) , A practitioner's handbook for real-time analysis: a guide to rate monotonic analyses for real-time systems.
    21. 21)
      • B.A. Carre . (1992) , The Spade Ada Kernel.
    22. 22)
      • Lehoczky, J.P., Ramos-Thuel, S.: `An optimal algorithm for scheduling soft aperiodic tasks in fixed-priority preemptive systems', Proc. Real-Time Systems Symp., 1992.
    23. 23)
      • W.E. Veseley . (1981) , Fault tree handbook.
    24. 24)
      • C.T. Sennett . (1991) , Demonstrating the compliance of Ada programs with Z specifications.
    25. 25)
      • A. Burns . Scheduling hard real-time systems: a review. Softw. Eng. J. , 3 , 116 - 128
    26. 26)
      • D. Craigen , S. Gerhart , T. Ralston . (1993) , An International Survey of Industrial Applications of Formal Methods.
    27. 27)
      • Davis, R.I., Tindell, K.W., Burns, A.: `Scheduling slack time in fixed priority pre-emptive systems', Proc. Real-Time Systems Symp., 1993.
    28. 28)
      • (1986) , Reliability prediction of electronic equipment.
    29. 29)
      • N.C. Audsley , A. Burns , A.J. Wellings . Deadline monotonic scheduling theory and application. Control Eng. Pract. , 1
    30. 30)
      • Bondavalli, A., Stankovic, J., Strigini, L.: `Adaptable fault tolerance for real-time systems', Proc. 3rd Int. Workshop on Responsive Computer Systems, 1993, Lincoln New Hampshire.
    31. 31)
      • P. Fenelon , J.A. McDermid . An integrated toolset for software safety analysis. J. Syst. Softw. , 7
    32. 32)
      • J.A. McDermid , D.J. Pumfrey . (1994) A development of hazard analysis to aid software design, COMPASS '94.
    33. 33)
      • J.R. Taylor . (1982) , Fault tree and cause consequence analysis for control software validation.
    34. 34)
      • K.W. Tindell , A. Burns , A. Wellings . Allocating real-time tasks (an NP-hard problem made easy). Real-Time Syst. , 2 , 145 - 165
    35. 35)
      • Burns, A., Wellings, A.J.: `Safety kernels and the Ada programming language', Proc. 1992 Ada UK Int Conf., 1992, p. 56–70, ‘Ada in transition’.
    36. 36)
      • J.A. McDermid . Support for safety cases and safety arguments using SAM. Reliability Eng. Syst. Safety , 3
    37. 37)
      • Audsley, N.C., Burns, A., Davis, R.I., Wellings, A.: `Appropriate mechanisms for the support of optional processing in hard real-time systems', 11th IEEE Workshop on Real-Time Operating Systems and Software, 1994, Seattle Washington.
    38. 38)
      • J.A. McDermid , L. Collingbourne . (1993) High integrity Ada: principles and problems, Ada: towards maturity.
    39. 39)
      • Locke, C.D.: `Best-effort decision making for real-time scheduling', 1986, PhD Thesis, Carnegie Mellon University, Coputer Science Department, CMU-CS-86-134.
    40. 40)
      • C.Y. Park . Predicting program execution times by analyzing static and dynamic program paths. Real-Time Syst. , 1 , 31 - 62
http://iet.metastore.ingenta.com/content/journals/10.1049/sej.1994.0036
Loading

Related content

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