La seguridad inaprensible: el problema de evaluación de la lógica

• Autores: Bengt Sterner
• Localización: Revista A.I.T., ISSN 0378-3294, Nº. 41, 1981 (Ejemplar dedicado a: Simposio ORE sobre microprocesadores, 2ª parte), págs. 66-72
• Idioma: español
• Títulos paralelos:
  • The indefinitie security: the problem of logic evaluation
• Texto completo no disponible (Saber más ...)
• Resumen

  • The security analysis and the software evaluation of systems to microprocessing units for applications that are relate to the security of the railway circulation are working very complex. In absolute terms it can say that no system is secure 100% which isn’t obstacle, but on the contrary, incentive to developed systems that are more secure each time.

    The present communication describes the work done for the Swedish Railway for the development of an automatic control system of trains based in control units to microprocessing embarked in the vehicles. The text is centred over all in the demanding of the control program, in function of the model of redundancy cho sen in each case to guarantee the security; material redundancy and logic redundancy that have been applied together in this case.

    The kind of tests that have been done about the programs the more notable obstacles appeared and the results perceived are marked, which are satisfactory as solution of obligation between the security and exploitation requires.

    As conclusion these are indicated a series of development criterion, that are derived from the experiences obtained in this process, as much relating to the systems execution inside as to the programs evaluation test.