摘要
作为嵌入式软件领域的一个重要发展方向,基于模型驱动的软件开发方法越来越受到开发人员重视。SCADE作为一种较为成熟的模型驱动开发工具,已得到了一定的应用,但其是否对各种建模场景均适用还有待研究。本文对利用SCADE建立图像处理算法模型进行了尝试,针对Sobel算法,设计了正确的算法模型,并对模型进行分析,总结了相应的优化方案。经过实验验证,优化方案可有效地提升程序执行效率。
As an important development direction in the field of embedded software,model-driven software development methods are increasingly valued by developers. SCADE has been applied to some extent as a model-driven development tool,but applicability for various modeling scenarios is remaining to be discussed.In this paper,an attempt is made to establish an image processing algorithm model by using SCADE. The correct algorithm model is designed for the Sobel algorithm. The model is analyzed and the corresponding optimization scheme is summarized. After experimental verification,the optimization scheme can effectively improve the efficiency of program execution.
引文
[1]颜雯清,李秀娟.SCADE平台下C代码的自动生成[J].计算机仿真,2007,24(10):264-267.(Yan Wenqing,Li Xiujuan.Auto-generation of C Code on SCADEBench[J].Computer Simulation,2007,24(10):264-267.)
[2]ESTEREL Technologies.Efficient Development of Safe Avionics Software with DO-178B Objectives Using SCADE Suit[Z].2012.
[3]王永国,呼明亮,王凌伟,何文静.基于模型驱动的四余度信号表决系统设计[J].航空计算技术,2016,46(6):117-121.(Wang Yongguo,Hu Mingliang,Wang Lingwei,He Wenjing.Design of Dual-redundancy Signalvoting System Based on Model-driven Architecture[J].Aeronautical Computing Technique,2016,46(6):117-121.)
[4]周彰毅,黄浩,方伟,朱理化.基于SCADE的航空发动机FADEC软件开发[J].测控技术,2018,37(1):110-115.(Zhou Zhangyi,Huang Hao,Fang Wei,Zhu Lihua.Development of FADEC Software for Aero-Engine Based on SCADE[J].Measurement&Control Technology,2018,37(1):110-115.)
[5]潘夏英.图像边缘检测技术的研究[D].西安:西安科技大学,2011.