138 Using Petri Nets for safety analysis of an unmanned Metro system M. El Koursi, P. Ozello, pp 135–139
- Publisher
- Elsevier Science
- Year
- 1993
- Tongue
- English
- Weight
- 118 KB
- Volume
- 1
- Category
- Article
- ISSN
- 0967-0661
No coin nor oath required. For personal study only.
✦ Synopsis
The safety of software is becoming increasingly important as computers pervade conu~l systems on which human life depends. Whilst hardware has become significantly more reliable over the years, the same cannot be said of software. This has become more complex and methods to ensure its correctness have been slow in development. One approach is to mathematically verify software in such systems. This paper investigates the industrial use of these techniques, their advantages and disadvantages, and the introduction of standards and their recommendations concerning formal methods in this area. The cost of safety is also considered.
133 Object Representation of the Operative Environment M. Mekkaoui, K. Ourlachl, pp 99-104