University of Minnesota
Software Engineering Center
/

You are here

Anjali Joshi wins Best Paper Award

November 16, 2005

Anjali Joshi wins Best Paper of Track at the Digital Avionics Systems Conference for her paper A Proposal for Model-based Safety Analysis.

A Proposal for Model-based Safety Analysis" was awarded best paper of the Open Systems Architecture track at this year's Digital Avionics Systems Conference (DASC). The DASC technical program comprised of over 170 papers organized into 14 tracks that reflected key research and applications within the individual subject areas in the field of digital avionics. Anjali wrote the paper in collaboration with Dr. Steven P. Miller and Dr. Michael W. Whalen of Rockwell Collins Inc., and Prof. Mats Heimdahl of the CSE department and UMSEC.

This award is Anjali's second best paper award from DASC. In 2003 she won a Best Paper of Session award for her paper ``Mode Confusion Analysis of a Flight Guidance System Using Formal Models'' coauthored with Steven P. Miller and Mats Heimdahl.

Anjali Joshi is a Ph.D. candidate working with Prof. Mats Heimdahl in the Critical Systems (CriSys) research group at the Department of Computer Science and Engineering. She has worked in the area of formal methods and model-based development for the past 3 years. During this time, she has been involved with the "Methods and Tools for Flight Critical Systems" project funded by NASA Langley Research Center, in close collaboration with Rockwell Collins Inc.