论文部分内容阅读
本文描述了高度完整性代码的开发和测试技术,并显示如何在模型级上应用和自动化来提高嵌入系统的质量同时缩短开发周期.
使用基于模型的设计来开发和验证安全关键系统软件
【摘 要】
：
本文描述了高度完整性代码的开发和测试技术,并显示如何在模型级上应用和自动化来提高嵌入系统的质量同时缩短开发周期.
【出 处】
：
中国科技信息
【发表日期】
：
2006年9期
其他文献
畸胎瘤是一种来源于胚胎多能干细胞的肿瘤,其组成成分复杂,一般含有2个胚层以上的多种成分,结构混乱.常见发生部位为卵巢、睾丸、前纵隔、腹膜后腔及骶骨前的区域.胎盘部位畸
视频多媒体共享对消费电子与无线网络的融合来说至关重要.随着数字和个人视频录像机变得普及,消费者期望能够在家中的任何地方访问所存储的视频资料.
目的:探究临床路径教学法在儿科急危重症护理实践教学中的应用.方法:此次研究的研究对象为76例儿科实习护士,根据教学方式不同进行分组,分别为常规组(38例)和干预组(38例),常
采用电子楔式制动器(Electronic Wedge Brake,EWB),现在可以设计12V线控刹车了!EWB是去年法兰克福车展上电子和机械电子产品开发商Siemens VDO推出的.
目的:探讨老年骨质疏松患者实施优质护理干预的临床应用效果.方法:选择我院于2016年10月-2018年3月期间收治的老年骨质疏松患者116例纳入研究,按照随机数字分组的方法分为常
目的:探讨免钉合改良腹腔镜完全腹膜外疝修补术(totally extraperitoneal prosthesis,TEP)的可行性、安全性及易推广性.方法:2007年8月至2008年8月我院于硬膜外麻醉下行免钉
目的:探讨前列腺癌骨转移疼痛患者实施综合护理模式干预的临床价值分析.方法:本次研究的154名患者,均为2017年3月至2018年3在我院同期接受治疗的前列腺癌骨转移疼痛患者,使用
今天,汽车已经不再是少数人的奢侈品,走下了神坛,进入寻常百姓家中.从而汽车驾驶安全的问题也就自然成为大众关心的话题.为了行车安全,目前很多国家都不允许开车时用手接听电
目的:阐述、探讨阑尾炎患者护理中健康教育的应用意义.方法:选取笔者所在医院2016年9月-2018年7月收治的80例阑尾炎患者为研究对象,参照双盲法,将所有患者随机划分为2组,对比