SCADE模型驱动开发过程研究及高安全性分析

本文以模型驱动开发(MDD)为契合点,在统一软件开发过程(RUP)的坚实与敏捷开发方法的灵动之间找到一种平衡,详细介绍了基于高安全性应用程序开发环境(SCADE)模型驱动软件开发过程。它具有连贯迭代、持续构建的特点,同时综合测试的理念贯穿始终。结合航空项目软件研制过程中时间节点紧、需求变化频繁、软件安全性要求高等特点,以某项目为实例,通过需求分析、模型设计、设计验证、安全性分析、代码生成等过程,结果表明基于SCADE模型驱动开发过程既可以借助RUP定义的流程,又是有效地实施敏捷开发的最佳实践,同时大大提高了软件的安全性。

基于模型驱动的高速铁路ATO系统TSRS设备软件开发

高速铁路ATO系统是在既有高速铁路列车控制系统基础上实现列车自动驾驶功能的列控系统,通过对ATO系统的地面关键设备TSRS进行软、硬件改造及升级,使其具备车-地通信功能,从而实现ATO系统的车站自动发车、区间自动运行、到站自动停车、车门开门防护、车门/站台门联动控制等智能化功能.本文研究了基于SCADE的模型驱动软件开发技术,并将其应用在车-地通信功能设计开发过程中.通过对模型进行验证、仿真测试和集成测试,最终验证了开发结果的正确性.

VFP应用中的数据共享与程序安全问题探讨

阐述VFP的系统特性,讨论了VFP开发应用中实现数据共享与独占、程序安全等问题,分别给出了多用户环境下数据的共享和独占、数据库字段加密、数据表的文件标识加密的处理实例和程序代码。介绍了程序的安全性问题:反编译、密码加密等,给出了基于VB程序生成的加密文件的代码。

新型两性聚丙烯酰胺干强剂的开发和应用

由于废纸纤维的反复回用次数越来越多.其纸浆纤维的质量越来越差,加之新鲜水的消耗受到限制,造纸过程中水的电导率(EC)变得越来越高,造纸工艺正在经历着湿部环境的变化。这些变化,使得制浆中添加的化学品效果变差。为此,日本企业开发了能适应这一湿部环境变化的、高性能的新型两性聚丙烯酰胺(PAM)干强剂。该文介绍了开发这一新型干强剂的基本情况:通过扫描探针显微镜(SPM)对由两性聚丙烯酰胺形成的聚离子复合物(PIC)进行了可视化分析研究;采用扫描探针显微镜获得了定着在水溶液中纤维表面的清晰的、具有不同的定着状态和絮团尺寸的聚离子复合物照片;研究发现,聚离子复合物定着状态和絮团尺寸似乎取决于其聚离子复合物类型和湿部条件,如高电导率的水会阻碍聚离子复合物的形成,从而降低了其絮团尺寸,因此新开发的干强剂具有在较高电导率的情况下也能形成大尺寸絮团的特性,这一特性可以使纸张获得比传统产品更高的干强度。

基于SCADE与QNX平台的列车测速定位安全软件

为保证列车测速定位软件的安全性,研究了测速定位原理,提出一种新的测速定位模型,在此基础上引入SCADE开发方式,建立测速定位软件模型,并利用SCADE的形式化验证技术保证软件模型的安全性。最后将安全软件导入QNX系统平台测试运行,通过QNX技术分析与实践表明软件完全满足测速定位的技术和安全性要求。

64位Windows应用程序开发简介（节选）

通过引入64位的操作系统，Microsoft已经将Windows环境提升到一个新层次。Windows的64位版本是企业级的操作系统，可以运行在高端系统上，例如内存为16T8、处理器多达64个的Intel Itanium平台。

非金属开发应用淅成环保新热点

随着非金属矿深加工技术的发展，对非金属矿环境属性等方面研究的不断深入，非金属矿在环保领域的开发应用会越来越广泛，预计今后10年内，非金属矿在环保领域的应用将成新的热点。与其他环保材料相比，非金属矿的环保领域中的应用具有以下几个特点：一是应用范围广，除了“三废”处理外，还适用于高科技发展产生的新污染，如光辐射、各种射线辐射、微波、电磁场、

长输管道焊接设备研究开发及推广应用

1．焊接设备环境适应能力研究 用于石油天然气长输管道的焊接设备可能长期在沙漠、戈壁、黄土高原、江南水网、高海拔地区或高盐雾地区运行，焊接设备对气候、地理、电源等环境条件的适应能力，直接关系到焊接设备的可靠性及使用寿命。

基于SCADE的计算机联锁软件开发研究

计算机联锁软件安全性要求高,功能不断扩展,其开发与维护面临的压力日益增大。文章研究高安全性应用程序开发环境(SCADE)及其支持的软件开发过程,依据计算机联锁系统相关技术规范定义的需求规约,尝试利用SCADE进行计算机联锁软件开发。研究实践表明,SCADE是一套较为实用的基于模型的软件工程开发工具,可支持V模型软件开发流程,能够帮助开发人员有效管控软件开发风险,为联锁软件的进一步开发提供参考。

基于SCADE的近地告警系统软件设计及应用

近地告警系统是减少可控飞行撞地事故、提升飞行安全的重要机载设备.近地告警系统软件嵌入在近地告警产話中,其开发模式对产品的安全性影响很大。提出了基于SCADE平台进行近地告警系统软件设计及验证的方法,解决了传统开发方法中“需求理解不一致”、“设计验证不充分”等问题,并成功应用于某型近地告警系统。设计验证结果表明,基于SCADE进行近地告警系统开发是可行的,同时可以加快研制过程,优化产品软件质量,提高系统安全性.

高技术法应该保障人类可持续发展

控制论创始人维纳说过：“技术的发展具有为善和为恶的两重性”。科学是一把双刃剑，高技术亦然。高技术的发展，既可能给人类带来前所未有的巨大利益，也可能给人类造成无法弥补的灾难。一切取决于人类理性的选择和谨慎的把握。根据科学技术发展历史预测：在我们已知宇宙...

一种应用于SCADE的联合仿真平台

介绍一种能辅助SCADE(Safety-Critical Application Development Environment)自动生成仿真所需数据的联合仿真平台。该平台采用Tcl/Expect脚本语言设计,通过脚本驱动生成仿真交互所需数据,同时能够回归执行所有脚本,实现自动化联合仿真。

第三届全国工业催化技术及应用年会通知

工业催化技术是近代化学品、燃料、材料、医药、食品等生产和环境保护的支柱技术之一，是整个工业技术发展的核心内容。几十年来，工业催化技术已成为工业技术开发和进步的动力与标志。该领域是我国优先发展的高技术产业化重点，也是国家自然科学基金和美国国家科学院重点资助和鼓励领域。

北京普灵科技开发有限公司

北京普灵科技开发有限公司是芬兰普泽专用技术公司在中国的代表机构，其业务目标是为营造更加舒适、高尚的室内空气环境和品质，为国内高档建筑提供北欧超前的、高品质的建筑室内环境设备。产品技术为普泽中央垃圾分类处理系统、中央吸尘系统、中央碎纸系统、户式新风系统。产品应用广泛：从机场、办公建筑，到剧院、酒店、餐厅；从远洋船舶、工业设施、医院、实验室，到代表世界文化遗产的历史性建筑群落。普灵的客户广泛，有投资商、发展商、承建商以及建筑业内各类专业人士。

禽蛋壳的综合开发利用

禽蛋壳包括鸡、鸭、鹅、鹌鹑、鸽、鸟类等蛋壳。目前只有少数加工为饲料、肥料和用作食品原料,大多数地方没有加工利用。尤以食品厂、糕点厂、孵化场、酒家、饭店、宾馆、饮食店、招待所、机关、企业食堂等蛋壳数量更多,都被当成废物随便乱抛,污染环境,十分可惜。随着高技术的开发应用,蛋壳的作用越来越广,加工利用经济效益越来越高。下面介绍几种蛋壳的利用:

谈基层银行微机应用问题

谈基层银行微机应用问题尹会力在银行的经营管理中，凭借先进的微机手段，大大提高了银行的现代化管理水平和工作效率，但还存在不少问题。１．软件开发混乱。目前，银行中微机应用基本上是各自为政，而未形成软件＂系统＂。这有两个弊病：一是对有些业务的处理带有明显的...

Lotus推出新一代协作Web应用服务器

美国莲花(Lotus)软件公司近日宣布,新一代协作Web应用服务器Domino Application ServerR5正式面市。这是世界上第一个集广泛的企业连接性与工作流、面向商业的协作等先进服务于一身,由高生产率的、基于标准的开发环境提供支持的Web应用服务器。 该服务器提供了广泛的企业数据连接能力,包括支持ERP应用、RDBMS和事务处理系统。

基于SCADE软件的驾驶舱控制板仿真建模方法与实践

提出了一种基于高安全性应用开发环境(safety critical application development environment,简称SCADE)的驾驶舱控制板仿真建模方法。首先,采用SCADE Display软件开发驾驶舱控制板的显示界面模型和控制板的显控逻辑模型;然后,在显控逻辑模型中嵌入显示界面模型,两者联合仿真确认交互效果满足设计需求后生成标准KCG代码;最后,采用Visual Studio 2013进行模型封装,生成可执行的控制板仿真应用程序。基于该方法进行建模实践,开发了驾驶舱飞行模式控制板(FMCP)的仿真模型,通过鼠标操作可以实现虚拟化控制板上控制器件状态变化及电子显示窗口数值动态响应。实践证明,该方法能够有效实现驾驶舱控制板虚拟化仿真,支持驾驶舱人机交互方案评估,降低验证成本。

饲用酶制剂在畜禽生产中的应用效果

随着人民生活水平的不断提高,人们对肉禽蛋的品质要求,尤其是安全卫生要求也在不断加强,抗生素和有机胂等有毒、有害和对环境有污染残留的添加剂已被限制或禁止使用。开发使用高品质的无毒、无害和无污染残留的绿色饲料添加剂已成为目前我国饲料工业面临的一个紧迫问题。生物酶制剂是目前应用最广、需求量最大的绿色饲料添加剂,许多试验表明它们在提高饲料利用率、促进动物生长、改善生态环境和防治动物疾病等方面均有明显的效果,并且在很大程度上还避免了由于添加抗生素、激素和高铜等物质所产生的负面影响,具有明显的经济效益和积极的环保意义。为此,编者特组织了“饲料天地——酶制剂专题”,希望能够给广大的酶制剂生产者、使用者、经营者带来帮助。