Method for verifying the processing of software
作者： Franz Kaufleitner , Alois Holzleitner
DOI:
关键词: Task (computing) 、 Communication channel 、 Software 、 Automation 、 Component (UML) 、 Computer science 、 Computer hardware 、 SIMPLE (military communications protocol)
摘要: In order to provide simple, fast, and reliable verification of the functioning processing an automation task in form software a multi-channel safety-oriented component (1), (SW1) is run one channel (K1) (1) active unit (P1) hardware (K1), first diversity (SW3) redundant relative (V1) this wherein step (Z1) input data (E z) associated with output (A computed by are temporarily stored memory (M1), computes second z') based on independently (P1), compared verify processing.
lens.org 参考文章(12)
Hanno Walders, Dietmar Wanner, Ulrich Hahn, Guenter Schwesig, Operating method for a control device of a safety-oriented automation device for checking the reliability of an automation system ,(2007)
Larry James Yount, Digital fail operational automatic flight control system utilising redundant dissimilar data processing ,(1985)
Martin W. Feintuch, Generic software fault mitigation ,(2006)
Timothy D. Skutt, Gregory R. Sykes, Jay R. Pruiett, Method for high integrity and high availability computer processing ,(2008)
Arun Chandra, Douglas Craig Bossen, Time-lag duplexing techniques ,(1998)
Joel Emer, Christopher Weaver, Shubhendu Mukherjee, Steven Reinhardt, Executing checker instructions in redundant multithreading environments ,(2005)
Joachim Dr. Warlitz, Alfred Veider, Kurt Preisinger, André Fitzke, Error checking method for real-time system software ,(1998)
Scott Gray, Nicholas Wilt, Integrated dissimilar high integrity processing ,(2010)
Rolf-Dieter Pavlik, Method for the generation and/or execution of a diversified program flow ,(2002)
Thomas Rabenalt, Neil Stuart Hastie, Klaus Oberlaender, Glenn Ashley Farrall, Simon Brewerton, Boyko Traykov, Antonio Vilela, Michael Goessel, Rainer Faller, David Addison, System and Method for Signature-Based Redundancy Comparison ,(2012)