Report on the case-study session [air defense system]

As part of the call for papers for the workshop, a problem definition was given for which outline solutions were requested. The problem was designed to address a great many issues, for which the solutions given in the general literature would make conflicting assumptions, and thus would not be admissible. Problem areas addressed included algorithm design, temporal behaviour including hard deadlines, limited communication bandwidth, migration of processing due to overload and fault tolerance. The problem was taken from the defense domain and consists of a caricature specification of an air defense system.