Knowledge-based constraint-driven software synthesis
Knowledge-based constraint-driven software synthesis
复制标题
基于知识的约束驱动软件综合
DOI：
--
复制
发表时间：
1992
期刊：
影响因子：
--
通讯作者：
D. Setliff
中科院分区：
文献类型：
--
作者：
Tobiah E. Smith;D. Setliff
描述了一种约束驱动的实时软件综合体系结构RT-Syn。RT-Syn从时序要求和行为描述中为实时软件系统中的每个任务制定设计空间约束。然后，RT-Syn在类似模拟退火的方法中使用这些约束，为实现所需行为所需的每个数据结构和算法选择抽象实现，并将这些选择转换为可执行代码。实验结果包括两个实时软件任务，满足所需的约束的合成。这些结果说明了有效的模拟退火的方法在搜索软件设计空间和高的可重用性和可维护性所提供的综合技术的使用。<<ETX>>
A constraint-driven, real-time software synthesis architecture called RT-Syn is described. RT-Syn formulates design space constraints for each task in the real-time software system from timing requirements and a behavior description. RT-Syn then uses these constraints within a simulated-annealing-like approach, selects an abstract implementation for every data structure and algorithm required to implement the desired behavior, and transforms these selections into executable code. Experimental results covering the synthesis of two real-time software tasks that meet the desired constraints are presented. These results illustrate the effectiveness of the simulated-annealing-like approach in searching the software design space and the high reusability and maintainability provided by the use of synthesis technology.<<ETX>>