Modular redundancy in a message passing system

DOI10.1109/TSE.1986.6312922MaRDI QIDQ3694675zbMATH OpenOpenAlexFDO

Authors Luigi Vincenzo Mancini

Publication date 1986

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tse.1986.6312922

zbMATH Keywords

communicating sequential processesconcurrent programmingModular redundancynon-determinism

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 4080894
• scientific article; zbMATH DE number 4070296
• scientific article; zbMATH DE number 4203681
• Transformation of programs for fault-tolerance
• Experiments on a fault tolerant distributed system

Cited in

(7)

• Redundantization of interdependent program modules for parallel control computing systems: Organization, estimation of fault-tolerance, formalized description
• Two implementation relations and the correctness of communicating replicated processes
• Redundancy Detection and Removal Tool for Transparent Mamdani Systems
• scientific article; zbMATH DE number 4203681 (Why is no real title available?)
• Implementing fault-tolerance via modular redundancy with comparison
• scientific article; zbMATH DE number 4080894 (Why is no real title available?)
• Co-allocation of Communication Messages in an Integrated Modular Avionic System

This page was built for publication: Modular redundancy in a message passing system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3694675)