Specifying Requirements and Designs for Real-Time Systems

指定实时系统的要求和设计

• 批准号: 9200858
• 负责人: Alan Shaw
• 金额: $ 24.69万
• 依托单位: University of Washington
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1992
• 资助国家: 美国
• 起止时间: 1992-09-15 至 1996-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9200858&HistoricalAwards=false
• 关键词: Specifying; Requirements; Designs; Real; Time

The purpose is to develop a language and methodology for specifying the requirements and design of concurrent distributed real-time systems, including the monitored and controlled physical environment. A new, complete, and executable notation, called communicating real-time state machines (CRSM), is proposed as a basis. They are essentially state machines that communicate synchronously over one-directional channels; in addition, CRSM has a novel and small set of facilities for describing timing properties and for accessing real time. The research consists of five related parts. The first is to define further and implement the basic CRSM model. Another is to develop a structuring scheme that permits the composition of machines and their parts into higher level entities. A third is to design a methodology that combines the state-based CRSM approach with an object-oriented model. A fourth part of the research is to develop formal reasoning methods and tools, for proving and testing assertions about specifications. Lastly, specification experiments will be performed on some substantial applications.

目的是开发一种语言和方法来指定并发分布式实时系统的要求和设计，包括受监视和受控的物理环境。 提出了一种新的，完整的和可执行的符号，称为通信实时状态机（CRSM）作为基础。 它们本质上是在一个方向通道上同步通信的状态机器。此外，CRSM还有一套新颖的设施，用于描述定时属性和访问实时。 该研究由五个相关部分组成。 首先是进一步定义并实施基本的CRSM模型。 另一个是开发一种结构化方案，该方案允许机器及其部位的组成成更高级别的实体。 第三是设计一种将基于州的CRSM方法与面向对象模型相结合的方法。 研究的第四部分是开发正式的推理方法和工具，以证明和测试有关规范的断言。 最后，将对一些实质性应用进行规范实验。