Planware--Domain-Specific Synthesis of High-Performance Schedulers
Abstract
The technology aggregated in Planware represents part of a significant long term investment in knowledge based software engineering formulated and guided by AFRL/IFTD. It includes search theories from artificial and methodology for rigorous statement and formally verified manipulation of specifications from the formal methods area with the goal of achieving a software engineering paradigm that supports the economic, life long evolution of complex systems. Planware is a domain specific generator of high performance scheduling software, currently being developed at Kestrel Institute. Architecturally, Planware is an extension of the Specware system with domain independent and domain dependent parts. The domain independent part includes a general algorithm design facility (including mechanisms to synthesize global search and constraint propagation algorithms), as well as support for theorem proving and witness finding. The domain dependent part includes scheduling domain knowledge and architecture representations, and other domain specific refinement knowledge that relates the scheduling domain to general algorithm design and data type refinement. Using Planware, the user interactively specifies a problem and then the system automatically generates a formal specification and refines it. Various transportation schedulers have been generated, and with satisfactory performance.
Document Details
- Document Type
- Technical Report
- Publication Date
- Oct 01, 1998
- Accession Number
- ADA358076
Entities
People
- Douglas R. Smith
- Jumbo Lin
- Lee Blaine
- Limei Gilham
- Stephen Westfold
Organizations
- Kestrel Institute