Gracy Joseph

Degree Registered For. PhD

Supervisor. Meenakshi D'Souza

Date of Joining. August 2013

Research Interest. Formal Methods, Automata Theory.

Biographical Sketch

Mrs Gracy Joseph is a Scientist 'F' with CEMILAC(Centre for Military Airworthiness and Certification) a DRDO establishment. Her contributions are the in the field of embedded airborne safety critical software IV&V and testing, towards airworthiness certification. She is responsible for software certification of Flight control and avionics software systems of Light Combat Aircraft (LCA).She is also the author of “DDPMAS- 2002 VOL-2 software Development and Certification “ the guidance document issued by min of defense for certification of airborne software.

She has done MSc in computer software from Cochin University of Science and Technology and MSc(Engg) from Indian Institute of Science Bangalore. She is currently a part time research scholar in IIIT, Bangalore. Her research interests are Safety and Dependability of embedded systems, safety assurance of systems with commercial off the shelf software, Test automation, performance validation and impact analysis of real time systems.

Publications