Vital Coded Microprocessor Principles and Application for Various Transit Systems

@inproceedings{Forin1990VitalCM,
  title={Vital Coded Microprocessor Principles and Application for Various Transit Systems},
  author={P. Forin},
  year={1990}
}
  • P. Forin
  • Published 1990
  • Computer Science
  • Abstract In this paper we consider an application of redundancy codes to the problem of vital data processing. In a first step, we introduce the random codes in application of digital data links and we demonstrate the efficiency of this probalistic model to obtain the highest security levels. Thereafter we describe how these concepts are used to design standard coded operators, to process and compute vital data with non-redundant hardware and software. This Vital Coded Processor is now in use… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 75 CITATIONS

    Formal Techniques for Safety-Critical Systems

    VIEW 9 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    Concept for a safety-controller based on uncertified hardware

    VIEW 4 EXCERPTS
    CITES METHODS, BACKGROUND & RESULTS
    HIGHLY INFLUENCED

    Experiences with software-based soft-error mitigation using AN codes

    VIEW 4 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    HardPaxos: Replication Hardened against Hardware Errors

    VIEW 4 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Safe calculation for industrial robotic control

    VIEW 4 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Eliminating Single Points of Failure in Software-Based Redundancy

    VIEW 4 EXCERPTS
    CITES RESULTS, BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Safely Embedded Software for State Machines in Automotive Applications

    VIEW 15 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software

    VIEW 8 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    Software-Implemented Hardware Error Detection: Costs and Gains

    VIEW 4 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    FILTER CITATIONS BY YEAR

    1997
    2018

    CITATION STATISTICS

    • 15 Highly Influenced Citations