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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

SCADE平台下的图形化设计和代码自动生成

随着航空机载软件功能和复杂性的提高,采用传统的人工编码方法来已不能满足其效率和安全性要求,因此寻求一种更有效的航空机载软件设计方法势在必行。本文研究了一种航空机载软件开发方法—高安全性开发环境SCADE,并以飞机自主导航软件为例,按照SCADE软件的程序设计流程,即通过直观的图形化建模和模拟仿真自动生成可直接面向工程的安全嵌入式C代码。实验结果表明,SCADE在很大程度上实现了软件开发的自动化,节约了开发成本和开发时间。

基于SCADE的形式化验证技术的改进研究

为保证SCADE软件开发的安全性,研究了SCADE形式化验证技术,指出其不足,提出了基于代码生成器的解决方法。该方法对安全特性属性引入了逻辑描述,并利用SCADE编辑器及代码生成器的特点,对SCADE形式化验证技术进行改进,降低了模型正确性确认时人为的主观性。通过实例阐述了应用该方法进行形式化验证的一般步骤,表明了该方法是有效可行的。

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

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

基于STP方法的SCADE模型形式化验证框架

高安全性应用开发环境(SCADE)的形式化验证组件Design Verifier能够验证航空航天领域嵌入式软件系统的安全性质,但不能充分描述拥有复杂时序性质的安全需求。为解决该问题,构建一种SCADE状态机的时序性质验证框架,将SCADE模型转换成NuSMV模型,并将线性时态逻辑和计算树逻辑引入SCADE模型的需求规范中。分析结果表明,借助NuSMV模型检查器及其验证结果可检验复杂时序相关的安全性质,减少模型设计阶段的错误,提高系统的安全性和可靠性。

基于SCADE的分布式核电仪控设计验证平台研究

仿真验证是仪控系统设计、验证和使用过程中的关键环节。随着我国核电数字化控制系统(DCS)的快速发展,仿真验证水平需要相应提高。利用高安全性应用开发环境(SCADE)平台构建核电站全厂工艺系统和控制系统模型,并在此基础上提出分布式仿真模块开发方法。针对DCS多站点异步运行、站间实时通信的特点,创新性地利用SCADE代码生成与多线程并行多控制站的手段设计仪控验证平台,实现了工艺系统和多控制站间的数据交互及分布式仿真,完善了SCADE平台对于多控制站协同仿真功能的应用。某核电站蒸汽发生器水位调节控制系统的仿真验证结果表明,该模型仿真的准确性较高,能够为DCS系统的设计验证提供参考借鉴。该研究成果已在福建漳州核电站1#、2#机组安全级DCS供货项目系统设计中得到了应用。

基于SCADE的区间占用逻辑检查功能设计与实现

基于SCADE实现的列控中心区间占用逻辑检查的部分功能,在一定程度上达到了软件系统需求、结构设计、编码实现及测试验证的一致性和对应性,信号设计人员和软件开发人员可以共同参与实现细节的讨论和评审,有利于提高软件的正确性。

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

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