Extending the hierarchical interface-based supervisory control platform

扩展基于分层接口的监控平台

• 批准号: 250315-2006
• 负责人: Leduc, Ryan
• 金额: $ 1.53万
• 依托单位: McMaster University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2007
• 资助国家: 加拿大
• 起止时间: 2007-01-01 至 2008-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=365528
• 关键词: Extending; hierarchical; interface; based; supervisory

The proposed research  investigates the use of discrete-event systems (DES) as a software design, specification and synthesis tool. The advantages of this approach is that it provides an intuitive graphical representation  of the systems behaviour as well as a precise formal description immediately usable for verification and synthesis. The automata can then be used for code generation for the target software language.    The research will target  three of the main obstacles to this approach: 1) a design, verification, and synthesis method capable of handling industrial strength problems,  2) a reliable real-time implementation method for DES supervisors, and  3) a graphical software tool to implement the algorithms and allow users to design, verify, synthesize, and  simulate DES based systems, and automatically generate code based on the results.      The hierarchical interface-based supervisory control (HISC) method from the applicant's doctoral thesis will be used as a foundation. This approach develops well defined interfaces between components to provide the structure to allow local checks to guarantee global properties such as controllability  or nonblocking. Additionally, the development of clean interfaces facilitates parallel development and re-use of the component subsystems.  This approach will be extended to be more flexible and scalable. The next step will be to adapt timed DES, DES fault diagnosis, and a discrete optimization method to the new framework. An implementation method that uses the framework will then be developed, based upon the applicant's masters thesis.    In addition, the DES results will be extended to more general and complex software verification approaches such as model checking and predicate logic based descriptions verified using theorem provers. This should enable these approaches to scale significantly better.    Finally, a software tool will be developed to implement the above theory. The software tool will be developed open source in order to encourage other academics to use, test, and contribute to the software.

建议的研究调查使用离散事件系统（DES）作为软件设计，规范和合成工具。这种方法的优点是，它提供了一个直观的图形表示的系统行为，以及一个精确的形式化描述，立即可用于验证和综合。然后，自动机可以用于目标软件语言的代码生成。 该研究将针对这一方法的三个主要障碍：1）能够处理工业强度问题的设计、验证和综合方法，2）用于DES监督器的可靠实时实现方法，以及3）实现算法并允许用户设计、验证、综合和模拟基于DES的系统的图形软件工具，并根据结果自动生成代码。 将以申请人博士论文中的分层接口监控（HISC）方法为基础。这种方法在组件之间开发了定义良好的接口，以提供允许局部检查的结构，从而保证全局属性，如可控性或非阻塞性。此外，干净接口的开发有利于组件子系统的并行开发和重用，这种方法将被扩展为更灵活和可扩展的。下一步将是适应定时DES，DES故障诊断，和离散优化方法的新框架。然后将根据申请人的硕士论文开发使用该框架的实施方法。 此外，DES的结果将被扩展到更一般和复杂的软件验证方法，如模型检查和谓词逻辑的描述验证使用定理证明。这将使这些方法能够更好地扩展。 最后，将开发一个软件工具来实现上述理论。该软件工具将开放源代码开发，以鼓励其他学者使用，测试和贡献的软件。