RESEARCH PROFILE

I pursue research in various aspects of dependable systems. A system is dependable if trust can be justifiably placed in its correct operation even in exceptional circumstances. Exceptional circumstances can be random hardware or software faults (bugs). So systems must be designed to be fault-tolerant. Other circumstances include malicious or worst-case system behaviour, so these systems must be designed to tolerate intentional attacks, and be made secure. I am interested in the design of such systems, from their specification to their verification and validation. Specifically, I have interests in the following areas: Fault tolerance, Embedded/real-time systems in Distributed systems, High performance/efficiency issues, Mobile/ad-hoc/sensor network systems

BACKGROUND

SELECTED PUBLICATIONS

• Jhumka H A,Frieling F, Fetzer C, Suri N , (2006) 'An Approach to Synthesize Safe Systems ' International Journal of Security and Networks 1 (1), 62 - 74 (1747-8405)
• M Hiller(2005) 'Tracking the Propagation of Data Errors in Software' in Dependable Computing Systems: Paradigms, Performance Issues and Applications, Hassan B Diab, Albert Y Zomaya (eds), Editors: A Jhumka, N Suri
• Hiller M, Jhumka A, Suri S(2004) 'EPIC: Profiling the Propagation and Effect of Data Errors in Software' IEEE Transactions On Computers 53 (5), 512 - 530 (0018-9340)