实时构件相关论文
大规模和复杂的实时系统可以显著获益于基于构件的软件开发方法,即通过已有的经过验证的可复用构件来构造实时系统,如能将这一集成......
反射式实时构件的实现，是对基于反射的实时构件模型规约描述机制的进一步研究与实践，其实现过程中涉及到两个关键问题，即实时构件模型......
该文给出了基于构件的实时多任务应用系统图形化设计软件的具有分布式C/S关系实时构件的接口定义,主要论述实时构件非功能性接口模......
实时构件合成是实时应用系统中软件合成的基础，是实现软件复用思想的软件生产活动，其语义研究从实时构件的反射式语义模型、实时构件......
对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP......
对复杂时间行为协议状态进行约减对于缓解形式化验证的状态空间爆炸问题,提高验证工具系统的效率、实用性等具有重要意义。分析了......
给出了基于XML描述的实时多任务应用系统图形化设计软件的构件接口语义规约。在基于刻面描述的实时软构件的基础上引入XML Schema......
针对实时系统具有时间约束性强、可靠性要求高等特点，在吸收现有构件模型优点的基础上，提出了一种实时系统构件模型CMRTS。该模型关......
给出了基于构件的实时多任务应用系统图形化设计软件的构件接口定义。为解决基于构件的分布式C／S关系的实时软件构件的重用及装配问......
