摘要
对传统的TCSP进行了改进和扩充,并在改进的TCSP描述语言和业已实现的实时构件模型RTCOM的基础上,提出了一种基于构件且适合实时系统设计的五步构造方法:系统角色及业务功能描述、时间约束规范设计与业务功能的TCSP描述、功能性事件提取与转换、构件获取与生成、代码生成.给出了一个实时系统分析与设计的例子.结果表明了该设计方法正确性和实用性.
Real-time component object model （RTCOM） is a real time component model with performance constrain. Timed communicating sequential processes （TCSP） is an event-based processes description language. Classic TCSP was improved and extended. According to the modified TCSP and the already-implemented RTCOM, a new five-step design method which is component-based and suitable for the real-time system design is proposed： description of system roles and transactional functions, design of time-constraint specifications and TCSP descriptions of transactional functions, abstract and converting of the functional events, acquiring or generating of the components, code generating. An real-time system design example is given based on the new method. The result shows the clarity, accuracy and practicality of the new method.
出处
《华中科技大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2007年第2期30-32,共3页
Journal of Huazhong University of Science and Technology(Natural Science Edition)
基金
国防预研基金资助项目
关键词
实时系统
系统设计
设计方法
real-time system
system design
design mehtod
