这时控制系统需求描述方法及其应用 |
| |
引用本文: | 蔡持峰 毋国庆 等. 这时控制系统需求描述方法及其应用[J]. 计算机科学, 2001, 28(3): 78-82 |
| |
作者姓名: | 蔡持峰 毋国庆 等 |
| |
作者单位: | [1]武汉大学软件工程国家重点实验室,武汉430072 [2]武汉大学软件工程国家重点实验室,武汉4 |
| |
基金项目: | 国家自然科学基金(69873035),教育部重点项目基金 |
| |
摘 要: | 1 引言实时系统是指有时间限制的系统,与其它类型的软件系统相比具有许多独特的特性:(1)复杂的外部环境,通常是无智能的;(2)与环境交互的系统;(3)完成多个同时输入的并发处理;(4)系统具有特定的性能要求,甚至是严格或苛刻的;(5)高可靠性;(6)系统十分复杂;(7)难以测试,在单个操作环境下无法测试。这些
|
关 键 词: | 电梯 实时控制系统 需求描述模型 模板 |
A Method for Specifying Real-Time System and it's Application |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|
点击此处可从《计算机科学》下载全文 |
|