Back to Search
Start Over
An approach for testing safety-critical software
- Source :
- Great Lakes Symposium on VLSI
- Publication Year :
- 2003
- Publisher :
- IEEE Comput. Soc, 2003.
-
Abstract
- A novel approach for testing the effectiveness, efficiency, safety and relative appropriateness of Computer Interlocking Software (CIS)-a kind of safety-critical software is presented with a software platform developed to support this approach. A brief description of the proposed approach is also included.
Details
- Database :
- OpenAIRE
- Journal :
- Proceedings Ninth Great Lakes Symposium on VLSI
- Accession number :
- edsair.doi...........110334ff0677430a8984af834565a309