Requirements Based Synthesis of Crew Scheduling Software

摘要

Over the past year, we have worked, with the assistance of Kestrel Institute, on the development of new scheduling algorithms for assigning crew members to aircraft flights. Such algorithms are needed to assist and support those people at Air Force and reserve wings whose job it is to ensure that all crew members receive adequate training and maintain currency on their assigned roles. The original stated goals for this project were, in addition to new algorithm development, to explore the relationship between requirements and software design and development, using Kestrel Institute's KIDS environment for synthesizing software from formal specifications and tools developed by others for requirement tracking. The goal was to produce a demonstration of a scheduling tool for a military domain and to follow the process of requirement migration into the software produced, and especially to consider how changing requirements impacted the software.