Planware--Domain-Specific Synthesis of High-Performance Schedulers

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

• Record URL:
  • https://ntlrepository.blob.core.windows.net/lib/13000/13900/13919/ADA358076.pdf
• 
• Corporate Authors:

  Kestrel Institute

  Palo Alto, CA  United States 

  Air Force Research Laboratory

  Rome, NY  United States 
• Authors:
  • Blaine, Lee
  • Gilham, Limei
  • Liu, Jumbo
  • Smith, Douglas R
  • Westfold, Stephen
• Publication Date: 1998-10

Language

• English

Media Info

• Media Type: Web
• Edition: Final Technical Report
• Features: Figures; References;
• Pagination: 18p

Subject/Index Terms

• TRT Terms: Algorithms; Computer algorithms; Engineering; Expert systems; Planning; Scheduling; Software packages; Time domain analysis
• Subject Areas: Administration and Management; Finance; Highways; Planning and Forecasting; I10: Economics and Administration;

Filing Info

• Accession Number: 01103682
• Record Type: Publication
• Report/Paper Numbers: AFRL-IF-RS-TR-1998-200
• Files: NTL, TRIS
• Created Date: Jun 27 2008 11:50AM