欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
通过对PEARL语言特性的研究和对集成的形式化方法RT-Z语法、语义及结构的分析，提出了一种将二者相结合的实时系统开发模式，该模式充分发挥了实时语言和形式化方法的优点，使系统开发的整个过程无须依赖具体的硬件和应用环境，同时对实时约束灵活的分解降低了系统开发的难度。
英文摘要：
By means of investigation of PEARL language characteristics and analysis of the RT-Z grammar, semantics, and construction in the integrated formalism method, a development mode of real-time system was presented, which possesses the features of both the PEARL and RT-Z. This mode gives full play to the merit of the real-time language and formalism method, making the entire process of system development independent of concrete hardware and application environment. Meantime, the difficulty of system development is reduced to some extent by means of smart resolution of real-time constraints.
同期刊论文项目
同项目期刊论文
期刊信息
位置：