|
Roger M. Kieckhafer |
|
|
General:
- Current
Weekly Schedule -- Showing only pre-ordained
"hard" commitments
- Top-Ten Laws of
Dependability -- Compiled from many sources over many
years
- Curriculum Vitae -- More or less up
to date (usually less)
Teaching:
- EE-5755 -- Fault-Tolerant Systems
- Links to
Tutorial Web Sites -- for various
course-related topics
Research:
- Fault-Tolerant Distributed Computing
Systems: including
- Safety Critical
Systems, High Assurance Systems, High Integrity Systems, etc,
- Fault-Tolerant
Computer Architectures for Embedded & Distributed Real-Time
Systems,
- High Assurance
Real-Time Wireless Sensor Nets.
- Theoretical foundations of
Fault-Tolerance: including
- Byzantine Agreement,
Approximate Agreement, Convergent Voting, Clock Synchronization,
- Voting and Agreement under Hybrid Fault Models.
- Reliability Modeling and Formal Design
Methods: including
- Probabilistic Risk
Assessment (PRA), Markov, Petri Net, and Stochastic Reward Net Modeling,
- Integrated
Performance/Reliability modeling for large, complex systems.
for more information contact: rmkieckh@mtu.edu.