Menu:

Safety-Critical Systems

Distributed computer systems are increasingly being embedded in complex products such as automobiles which are aimed at cost-sensitive consumer markets, and so must be both highly dependable and cheap. Drive-by-wire is one example of a safety-critical application where traditional hydraulic steering and braking are replaced by a networked microprocessor-controlled electro-mechanical system. Sensors measure the steering-wheel angle and brake-pedal position, and processors calculate the desired road-wheel and braking parameters which are then applied via electro-mechanical actuators at the wheels.

My more recent research focuses on the design of high-confidence medical devices and systems. Modern safety-critical medical devices are complex systems where electronics and system software play an ever increasing role, and in collaboration with Dr. Greg Sharp at the Massachusetts General Hospital, our research focuses on research topics crucial to developing high integrity medical device systems.

The overall goal is to develop low-cost methods to improve the dependability of safety-critical distributed embedded systems. The publications listed below develop software-based methods for implementing predictable and low-cost failures diagnosis and recovery in automotive systems, and online monitoring methods to detect failures in radiation-therapy systems.

Publications

Journals

  • N. Kandasamy and F. Aloul, "The Synthesis of Dependable Communication Networks for Automotive Systems,'" SAE 2006 Transactions: Journal of Passenger Cars---Electronic and Electrical Systems, March 2007.
  • N. Kandasamy, J. P. Hayes, and B. T. Murray, "Dependable Communication Synthesis for Distributed Embedded Systems," Journal Reliability Engineering & Systems Safety, vol. 89, no. 1, pp. 81-92. Elsevier Publishers, July 2005.

  • N. Kandasamy, J. P. Hayes, and B. T. Murray, "Time Constrained Failure Diagnosis in Distributed Embedded Systems: Application to Actuator Diagnosis," IEEE Trans. Parallel & Dist. Systems, vol. 16, no. 3, pp. 258-270, March 2005. Download from IEEE.

  • N. Kandasamy, J. P. Hayes, and B. T. Murray, "Transparent Recovery from Intermittent Faults in Time-Triggered Distributed Systems," IEEE Trans. Computers, pp. 113-125, vol. 52, no. 2, Feb. 2003. Download from IEEE.

Book Chapters

  • G. Sharp, R. Li, and N. Kandasamy, "Theoretical Aspects of Target Detection and Tracking," Adaptive Motion Compensation in Radiotherapy (Imaging in Medical Diagnosis), M. Murphy (Editor), CRC Press, December 2011.
  • G. Sharp, R. Li, and N. Kandasamy, "Fault Detection in Image-based Tracking," Adaptive Motion Compensation in Radiotherapy (Imaging in Medical Diagnosis), M. Murphy (Editor), CRC Press, December 2011.
  • N. Kandasamy, J. P. Hayes, and B. T. Murray, "Scheduling Algorithms for Fault Tolerance in Real-Time Embedded Systems," Dependable Network Computing, D. Avresky (Ed.), Kluwer Academic Publishers, Boston, 1999.

Conferences

  • F. Aloul and N. Kandasamy, "Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach," Proc. 10th International Conference on Theory and Applications of Satisfiability Testing (SAT), May 2007.
  • N. Kandasamy, F. Aloul, and T. J. Koo, "Sensor Selection and Placement for Failure Diagnosis in Networked Aerial Robots," IEEE Conf Robotics & Automation (ICRA), pp. 2182-2187, 2006. Download from IEEE.
  • G. Sharp and N. Kandasamy, "A Dependable System Architecture for Safety-Critical Respiratory-Gated Radiation Therapy," Proc. Dependable Systems & Networks (DSN), pp. 55-60, June 2006. Acceptance rate: 18%. Download from IEEE.
  • N. Kandasamy and F. Aloul, "The Synthesis of Dependable Communication Networks for Automotive Systems," SAE World Conference, Paper No. 2006-01-1333, 2006.
  • N. Kandasamy et al., "Synthesis of Robust Task Schedules for Minimum Disruption Repair," Proc. IEEE Conf. Systems, Man, and Cybernetics, pp. 5056 - 5061, 2004. Download from IEEE.

  • N. Kandasamy, J. P. Hayes, and B. T. Murray, "Dependable Communication Synthesis for Distributed Embedded Systems," Proc. 22nd  Int'l Conf. on Computer Safety, Reliability, & Security (SAFECOMP), Lecture Notes Comp. Sc. 2788, S. Anderson, M. Felici, and B. Littlewood (Eds.), Springer-Verlag, Berlin, 2003.

  • N. Kandasamy, J. P. Hayes, and B. T. Murray, "Time Constrained Failure Diagnosis in Distributed Embedded Systems," Dependable Systems & Networks (DSN), pp. 449-459, Washington DC, 2002. Download from IEEE.

  • N. Kandasamy, J. P. Hayes, and B. T. Murray, "Tolerating Transient Faults in Statically Scheduled Embedded Systems," IEEE Symposium on Reliable Distributed Systems (SRDS), pp. 212-221, Lausanne, 1999. Download from IEEE.

  • N. Kandasamy, S. Jain, J. P. Hayes, and B. T. Murray, “Active Fail-Safe Systems for Drive-By-Wire,” Proc. 31st Int’l Symp. Automotive Tech. & Automation (ISATA), vol.2, pp. 203-210, 1999.

Technical Reports

  • N. Kandasamy, Design of Low-Cost Dependable Systems for Distributed Embedded Applications, Ph.D. Thesis, University of Michigan, 2003. Download PDF.