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
I am a lecturer at the Department of Computer Science, University of Warwick, UK and a member of the Theory and Practice of Programming (TaPP) research group
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)
