实时可信的构件技术研究

2755793 2017-12-07 | rar | 0.34 MB | 次下载 | 3积分

资料介绍

　　计算机的应用模式在经历了主机模式和个人机模式后，目前正向普适计算（Pervasive Computing）模式发展。在普适计算模式下，嵌入式实时系统将会渗透到人们生活的各个方面，而嵌入式实时软件的质量和开发效率往往会对一个嵌入式产品的成功起着决定性的影响。传统的嵌入式实时系统大多采用低级的程序设计语言编写，并在专用的硬件和操作系统之上运行，运行效率、资源利用率以及与硬件的集成是考虑的主要方面，模块化和复用性是在第二位的。但随着开发要求的提高r时间、成本），实时系统的构件化越来越受到重视，对于嵌入式实时系统利用构件化技术来提高嵌入式软件质量和开发效率就成了实时软件工程研究的重要内容。

　　现在，嵌入式实时系统在航空航天、国防、交通运输和核电能源等诸多安全关键领域中得到了广泛的应用，这类系统可称之安全关键系统SCS （Safety Critical Systems），要求其具有“动则成功”的能力，另外，随着不稳定因素的增加，这类系统的安全性也被提上日程。但随着安全关键系统日益庞大和复杂，带来了系统可靠性和安全性下降、投资增加、研发周期加长、风险增加等一系列问题。利用构件化技术来开发嵌入式实耐系统，使系统的高重用性得到了保障，同时考虑到将实时性、可靠性、防危性和安全性封装在构件当中，将会使SCS具有投资小、周期短、研发一次成功、系统安全可靠的特性。也就是说，对实时可信的构件技术进行研究具有重要的现实意义，并将成为今后构件技术发展的一个趋势。