Model-Based Monitoring of Air-Traffic Control Software

点击翻译按钮获取中文摘要

0341620Model-Based Monitoring of Air-Traffic Control SoftwareMartin RinardThe research focuses on developing a new, model-based monitoringtechnique that will dynamically examine the data structures andvariable values in the executing computation to find and flag anyinconsistencies. During development, this technique will flaginconsistencies as soon as they arise, helping the developer tolocalize the error by eliminating the continued execution (and theassociated inconsistency propagation) that obscures the source of theerror. After deployment, the technique will alert users toinconsistencies as soon as they arise, eliminating the problem ofincorrect actions taken because of reliance on incorrect output from aprogram operating with inconsistent values or data structures. Keyresearch issues include the design and efficient implementation of thespecification and model construction languages and the evaluation ofhow well this approach works for two purposes: 1) in the context of anexisting system, to check key data structure consistency properties,to promote design extraction, and to ensure that the design remains upto date as the software is maintained, and 2) in the context of newdevelopment, to promote design development, support errorlocalization, and facilitate debugging. The potential benefits ofthis research include reduced software development effort, more reliablesoftware, and safer software. The research will be performed usingthe CTAS software system in the NASA testbed and the TSAFE softwaresystem currently under design at NASA.