Abstract.A dual-channel computer architecture for utilisation in programmable logic controllers is presented. Faults can be detected by novel high-speed comparators with fail-safe operation. The cyclic operating mode of PLCs and a specification-level, graphical programming paradigm based on the interconnection of application-oriented standard software function modules are architecturally supported. Thus, by design, there is no semantic gap between the programming and machine execution levels enabling the safety licensing of application software by an extremely simple, but rigorous method, viz., diverse back translation.

No abstract

In avionics and automotive applications of computing, special care must be taken of issues related to safety. Assurance must be provided that computer hardware or software does not contribute to situations, which may cause loss of life or significant property damage. One aspect of this concern is the design of databuses, which provide a medium to exchange information among various electronics devices in a vehicle. Unfortunately, only a few aspects of bus design have been sufficiently covered in the research studying system safety. This paper reviews and compares available information on bus specifications. Databuses are discussed regarding their properties, such as signal characteristics and bus protocols, with respect to safety.

No abstract

No abstract