SCADE平台下C代码的自动生成

随着航空电子软件的迅速发展,传统的软件设计方法已不能满足其效率和安全性需求.为解决传统设计方法的不足,寻求一种更有效的控制软件设计方法,高安全应用开发环境SCADE应运而生.主要介绍了高安全应用开发环境SCADE的开发背景及开发特点,并以飞机飞行控制律为例,按照SCADE软件的程序设计流程,即通过直观的图形化建模建立无人机飞行控制律模型,通过模拟仿真保证设计的正确性,最终自动生成可直接面向工程的嵌入式C代码.实验结果表明,SCADE在很大程度上实现了软件开发的自动化,节约了开发成本和开发时间,体现了SCADE环境下进行软件开发的优越性.     

基于SCADE的无人机三余度飞控系统设计及实现

利用一种嵌入式软件开发的新方法--嵌入式代码自动生成软件SACDE研究了无人机三余度飞控系统的开发.通过与传统三余度飞控系统开发方法进行了对比,说明了使用SCADE开发的无人机三余度飞控系统具有成本低、周期短、安全性高、交互界面友好等优点,并在很大程度上实现了该软件开发的自动化.     

基于SCADE的无人机自主导航飞行软件设计

该文研究了一种无人机飞行控制软件设计方法,利用高安全性的应用程序开发环境-SCADE(Safety-Critical Application Development Environment)开发无人机自主导航功能模块的软件;按照SCADE开发嵌入式软件设计流程,自动生成可直接面向工程的高安全性嵌入式代码;并通过代码的效率测试和安全性测试,验证了在SCADE环境下进行无人机软件开发的优越性;由此得出SCADE很大程度上实现了软件开发的自动化,节约了开发成本和开发时间,并具有很高的安全性特征.     

面向对象CASE工具中的代码自动生成

代码的自动生成可以极大地提高软件的生产率,而面向对象技术则为代码的自动生成提供了强有力的支持,本文引放了一个面向对象软件设计的规格说明方法,并在此基础上,介绍了面向对象ＣＡＳＥ中心信息库的作用和面向对象代码自动生成工具的系统构成及其实现。     

J2EE平台下代码自动生成技术研究

采用代码自动生成技术能为软件开发带来代码质量的提高、开发风险的降低等优点,提高了软件开发的速度和质量。该文描述了一种基于模板的代码自动生成系统的设计和实现,并利用它完成了基于J2EE-Web应用系统的代码自动生成工作。     

模型及代码自动生成技术在车身控制器中的应用

车身控制器控制逻辑并不复杂,但不同的汽车厂,即便是同一厂家,不同的汽车平台要求也很不一样。这样做不仅开发时间长,工程成本高,而且每次更改也带来了引入编程错误的风险。经过对车身控制器产品特点的分析,把模型及自动代码生成技术应用到该产品软件开发上。结果证明既节约了开发成本,又开辟了提高产品质量和产品交货时间的新途径。     

基于SCADE的PID控制器设计与应用

传统的PID控制器设计通常采用手工编程来实现，不但费时费力，而且可靠性低。为解决该方法的不足，寻求一种更有效的控制软件设计方法，该文研究了一个高安全性的应用开发环境——SCADE。按照SCADE软件的程序设计流程，即通过直观的图形化建模和模拟仿真自动生成可直接面向工程的安全嵌入式代码，介绍了PID控制器在该环境下完成相应软件设计与开发的过程，并通过代码的效率测试和安全性测试验证了SCADE环境下进行软件开发的优越性。由此得出，SCADE很大程度上实现了软件开发的自动化，节约了开发成本和开发时间，并具有很高的安全性特征。     

模型驱动下的Java代码自动生成

提出模型驱动下的代码自动生成方法以MetaEdit＋作为元建模工具,由领域专家建立领域元模型和模型,通过生成器定义语言MERL,软件开发人员可以很方便地设计代码生成器,直接从领域专家所建立的图形领域模型生成Java程序代码。经测试,所生成的Java程序代码可以在Windows操作系统环境的Java平台上正确运行。     

基于机器学习的SCADE模型组合验证环境假设自动生成方法

高安全应用开发环境(Safety Critical Application Development Environment, SCADE)是工业界进行安全关键软件建模、仿真测试和形式化验证的常用工具,如何解决工业级软件的SCADE模型在进行形式化验证时遇到的状态空间爆炸问题是目前面临的一项重要挑战。基于契约的组合验证方法通过研究软件各构件的上下文和外部环境来编写环境假设对构件的状态空间进行约束,能够解决状态空间爆炸问题,但环境假设的手工编写费时费力。为了解决这一问题,文中提出了一种基于机器学习的SCADE模型组合验证环境假设自动生成方法。首先,针对SCADE模型采用自动仿真方法生成机器学习方法所需数据集;然后,采用决策树和遗传算法进行环境假设自动生成;最后,实现了具有SCADE模型分析和环境假设自动生成功能的原型工具,并基于弹射座椅控制系统案例,验证了所提方法的有效性。     

基于SDL语言代码自动生成技术研究

1.引言目前嵌入式实时系统的复杂度越来越高,自动代码生成技术已成为缩短嵌入式系统开发时间和降低开发成本的主要方法之一,也是近十年软件开发工具研究的热门课题。所谓自动代码生成,即把形式化描述的系统需求转化为特定软硬件平台上基于某一目标语言的系统实现。代码自动生成技术研究虽然已经取得一定成果,也被应用到一些商业工具中,但生成代码的执行效率、与实际软硬件平台的结合等问题限制了其在实际工程中的使用。根据转化程度不同自动代码生成又分为完全的自动代码生成和部分的自动代码生成,本文就基于SDL的完全自动代码生成的关键技术及其对最终代码的影响进行初步探讨。     

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

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

基于SCADE的航空发动机FADEC软件开发

机载软件开发面临复杂性、安全性和成本等方面的巨大挑战.针对某航空发动机数控系统的研制,结合FADEC软件的开发特点和目标,探索SCADE基于模型开发在FADEC软件开发中的应用.探索了两种不同的SCADE基于模型开发解决方案,基于这两种方案分别完成两个FADEC软件配置项的应用软件开发.通过模型测试、模型覆盖率分析和软件硬件集成测试验证了开发结果的正确性.提出了联合SCADE和Simulink的基于模型开发流程并明确其注意事项.分析SCADE的两种基于模型开发解决方案的适用范围以及方案选择时的考虑因素,总结分析了SCADE用于机载软件开发的优势和不足.     

Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach

Model-driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the rapid development of high quality code. Errors are reduced and the consistency between the design and the code is retained, in comparison with a purely manual approach. Here, a model-driven code generation approach based on graph transformations for aspect-oriented development is proposed. The approach has two main transformation activities. The first activity transforms a visual (graphical) model of the design into a formal, text-based notation that can be readily processed. The graphical model is created by the software designer and uses a UML profile for aspect-oriented software (i.e., FDAF) to represent aspects and their components. XML is the target notation for this step; the transformation uses the XML meta-model to ensure that the output complies with the language. The second activity transforms the XML model into AspectJ source code. The transformation uses the AspectJ meta-model to ensure the output complies with the language. The transformations from the extended UML model to XML and from XML to AspectJ code are fully automated. The transformation algorithms are based on graph transformations; tool support has been developed. Key technical issues in the approach are discussed, including performance, the amount of code generated, correctness, and adaptability, in addition to a comparison of the proposal with existing alternative approaches. The approach has been validated on three example systems: a banking system, classroom scheduling system, and an insurance system. The banking system example is presented in the paper.     

一种基于主题建模的代码功能挖掘工具

代码复用是重要的软件复用方式之一,复用者需要理解软件代码实现的功能方能有效实施软件复用。基于主题建模技术的程序理解方法逐渐受到研究人员的重视,它能够帮助软件开发者和使用者更好地理解软件的功能。目前,基于主题建模技术的程序理解方法一般欠缺对挖掘出的Topic的语义分析,为此提出的基于代码静态分析和LDA技术的代码功能挖掘(Code Function Mining,CFM)方法可作为对这类方法的补充。CFM是一套以代码为研究对象的挖掘、筛选、组织和描述主题(Topic)的方法,该方法能够生成带描述的功能型Topic的层次结构,以供使用者更清晰和方便地浏览、学习软件的功能。功能型Topic的描述能够帮助复用者理解代码功能,其层次结构能够让复用者从不同抽象层次理解代码功能。CFM方法包括4个部分:挖掘Topic、筛选Topic、组织Topic、描述Topic。以CFM方法为基础,设计并实现了一个CFM工具。CFM工具能够分析用户提交的代码,通过Web页面向用户展示带描述的功能型Topic的层次结构。最后,对CFM方法中的几个关键算法进行实验分析,验证了CFM方法的有效性。     

A source code control system based on semantic nets

A major problem facing the developers of large pieces of software is source code version control. This paper describes how semantic nets can model this process and how a semantic net processor can be used to construct a flexible and portable source code control system.     

基于码重分布的系统循环码识别方法

介绍系统循环码的定义及矩阵描述,分析其码重分布特性,根据向量间距离的概率定义码重分布距离,推导随机序列的理论码重分布概率,提出实际序列码重分布概率的估计方法和利用实际序列的码重分布概率和随机序列的理论码重分布概率之间的距离估计码组长度和起始点的方法,在此基础上利用高斯消元法估计生成矩阵和校验矩阵,并提出了在误码情况下的识别方法。最后并对不同长度的码进行仿真实验,结果表明文中方法能够在误码为10－3的情况下有效地识别中短码。     

基于XML的C代码抄袭检测算法

主要研究一种基于XML文本的C代码抄袭检测算法。将C程序源代码转化为XML文本,提取XML文本各行标记的属性,计算XML文本行的相似值,得到程序对的相似度。并对抄袭检测算法实行分类测试：按十二种抄袭手段分类;按复杂语义和复杂数据结构分类。测试结果对比验证了抄袭检测算法的有效性。