杜悦冬
- 作品数：4 被引量：8H指数：1
- 供职机构：北京航空航天大学计算机学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于OOPN的多处理机操作系统设计与实现被引量：1
- 2001年
- 大多数实时系统具有事件驱动的并发特性，同时多处理机系统在实时领域得到了广泛的应用。实时系统内在的并发性以及与环境的交互性导致了实时软件复杂的控制结构，使得开发实时软件十分困难。由于PETRI网是一种适合于描述并发的可视化建模语言，有形式化描述。所以，作者采用PETRI网来表示一个实时软件中的并发部分，用普通编程语言实现剩下的顺序程序部分。两级程序设计方法可以更加有效、可靠地开发实时软件。文章涉及的实时操作系统是以RTLinux为基础，对其内核进行扩展，使之支持OOPN1形式的作业描述，并具有实时多处理机调度功能。
- 杜悦冬任爱华
- 关键词：多处理机系统实时操作系统面向对象OOPN
- 基于面向对象Petri网的实时软件开发方法及其支撑操作系统的研究
- PetriNets是一种形式化的工具,它表示并发方便,非常适合表示本质上并发的实时系统.设计实现实时系统时,用户先用T-OOPN实现系统并发部分的设计,验证行为属性和时间属怀的正确性.然后把调度过的顺序代码填入Trans...
- 杜悦冬
- 关键词：实时系统实时操作系统
- 文献传递
- 基于Petri网结构的多处理机实时操作系统被引量：6
- 2001年
- 多处理机环境下的实时系统具有并发事件驱动性质 ,其软件结构展现了多重同步点以及生产者与消费者之间的关系 ,这导致了复杂的控制结构 .对于此类系统软件的开发缺少标准的方法和工具 ,造成了软件低效、程序结构不清晰、开发成本高、维护困难的现象的出现 .根据Petri网易于描述并行 并发现象的特点 ,采用它来解决多处理机软件的描述问题 ,介绍了一种以Petri网图形方式在多处理机系统环境下进行程序设计的方法 .该方法基于两种程序设计级别 :任务级和作业级 .前者负责描述基本操作 ,由单一控制线程完成 ;后者用于并行 并发程序建模 ,由整个多处理机系统来执行 .在作业级程序设计中 ,用户采用面向对象Petri网来描述并行程序结构 ,以建立系统模型 .该方法以一种接近于程序员的思维方式去设计并发软件 ,提供了一种可靠的并行结构的程序 .阐述了支持此种程序设计方法的操作系统结构及其实现原理 .
- 任爱华杜悦冬
- 关键词：多处理机PETRI网面向对象实时操作系统软件系统
- 一种实时多处理机操作系统开发方法被引量：1
- 2001年
- 文章介绍一种用于多处理机系统的程序设计方法，该方法基于两种程序设计级别，一种是任务级，主要完成基本操作，是系统中的单一控制线程单位；另一种是作上级，该级允许开发并行程序，由整个多处理机系统来执行，这种方法适用于开发多处理机事件驱动的系统软件。用户采用ＰＥＴＲＩ网来描述并行程序结构，也即：作业级程序设计，借助于ＰＥＴＲＩ网进行系统建模。该模型还提供了任务开发的框架概念模式，从而允许完全独立的一般性任务开发。文章将讨论在此方法支持下基于Ｌｉｎｕｘ内核的实时操作系统结构和系统的实现。
- 任爱华杜悦冬
- 关键词：多处理机实时操作系统任务调度
