论文部分内容阅读
嵌入式技术是计算机发展的趋势之一,被广泛应用于工业和军事领域。SCADE(高安全性的应用程序开发环境)为嵌入式软件提供了一套基于模型的开发方式。从嵌入式软件的特点入手,对基于模型的嵌入式系统软件开发技术进行了深入剖析,并给出了一个基于SCADE的开发实例。
基于SCADE的嵌入式软件开发
【摘 要】
：
嵌入式技术是计算机发展的趋势之一,被广泛应用于工业和军事领域。SCADE(高安全性的应用程序开发环境)为嵌入式软件提供了一套基于模型的开发方式。从嵌入式软件的特点入手,
【机 构】
：
中航工业空空导弹研究院
【出 处】
：
微处理机
【发表日期】
：
2013年01期
其他文献
本文以沪深证券交易所上市交易的房地产公司作为研究对象,在详细阅读全文的基础上,采用指数法研究其在2007年到2009年间公布的社会责任报告,分析其社会责任信息的披露状况。
7月10日，湖南湘潭市雨湖区一幼儿园发生一起重大校车事故，一辆载着8名幼儿、2名幼师、1名司机的校车坠入水塘，无人生还。湖南省教育厅对事故进行分析时指出，发生这起重大事故，一个
学位
二进制绝对相移键控(2CPSK),是数字通信系统中使用的一种信号调制方式。2CPSK是利用数字基带信号控制载波相位的变化来达到传送数字信息的目的。根据DSP开发工具DSP Builder
我们党作为马克思主义政党,必须旗帜鲜明讲政治,严肃认真开展党内政治生活。讲政治不是抽象而是具体的,党员干部旗帜鲜明讲政治,要有"革命理想高于天"的崇高政治追求,要有坚
财务管理是高等财经院校会计学专业和财务管理专业(或理财专业)的专业基础课。针对人才市场的需求,财务管理专业目标应定位于培养面向实业界和实务界的应用型高级财务人员。E
<正> 于越是百越中最古老的一支。早在公元前十六世纪前后,便在我国东南沿海的浙江绍兴一带建立了古越国,号曰于越。到公元前五世纪的春秋末叶,越王勾践,曾拓土吞吴,成为东南
期刊
近年来,分布式云存储为非结构化数据的存储、处理提供了高效、廉价的解决方案,但随着业务系统对系统可用性要求的不断提高,对分布式云存储高可用框架的研究具有重要的理论价
安全钳及缓冲器作为电梯在出现失控超速下落时的最后一道保护措施,确保其动作时的安全可靠关系着电梯轿厢中乘客的人身安全,因此需要把好安全钳及缓冲器产品的质量关。基于此
敏感性分析是项目财务分析的重要内容。但是由于影响财务目标的因素众多,影响形式复杂,在进行分析时计算量大。本文给出了一个在EXCEL中建立敏感性分析模型的简单案例,说明如
目的:社会孤立和孤独感分别用于衡量个体客观和主观的社会关系质量,两者已被分别证明与老年认知下降有关,但是同时考察这两个因素对认知的影响的研究还很少且主要集中于西方