Planware - Domain-specific synthesis of high-performance schedulers

被引：16

作者：

Blaine, L ^{[1
]}

Gilham, L ^{[1
]}

Liu, JB ^{[1
]}

Smith, DR ^{[1
]}

Westfold, S ^{[1
]}

机构：

[1] Kestrel Inst, Palo Alto, CA 94304 USA

来源：

13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS | 1998年

关键词：

D O I：

10.1109/ASE.1998.732672

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Planware is a domain-specific generator of highperformance 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.

引用

页码：270 / 279

页数：10