Login / Signup
Implementation Details and Safety Analysis of a Microcontroller-based SIL-4 Software Voter.
Mikel Idirin
Xabier Aizpurua
Almir Villaro
Jon Legarda
Juan Meléndez
Published in:
IEEE Trans. Ind. Electron. (2011)
Keyphrases
</>
implementation details
safety analysis
control system
safety critical
nuclear power plant
fault model
low cost
embedded systems
reliability analysis
symbolic model checking
fault tolerant
formal methods
test cases
agent architecture
modeling language