期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于SDL语言代码自动生成技术研究 被引量：1

Research on Automatic Code Generation Based on SDL
下载PDF
导出
摘要 As one of the key technology of CASE tools,code auto-generation has a wide application future. However, at present, some of problems limit its application in the practical project, such as executive efficiency of code generation, the combination with the hardware and software and etc. In thus paper, the main factors of code autogeneration are introduced in details. The main parts of the code auto-generation based on SDL and the main factors which will effect the ultimately code performance are analyzed. The improved methods aiming at the different software and hardware platform and application performance are presented. As one of the key technology of CASE tools,code auto-generation has a wide application future. However, at present, some of problems limit its application in the practical project, such as executive efficiency of code generation, the combination with the hardware and software and etc. In this paper, the mam factors of code auto-generation are introduced in details. The main parts of the code auto-generation based on SDL and the main factors which will effect the ultimately code performance are analyzed. The improved methods aiming at the different software and hardware platform and application performance are presented.
作者 吴琦 熊光泽
机构地区 电子科技大学计算机科学与工程学院
出处 《计算机科学》 CSCD 北大核心 2003年第4期104-107,共4页 Computer Science
关键词 SDL语言 代码自动生成 软件开发 计算机 形式化描述语言 建模语言 SDL,Code generation,Embedded system
分类号 TP311.52 [自动化与计算机技术—计算机软件与理论] TP312 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献10

  • 1Manas J A, de Miguel-More T. From LOTOS to C. In:K. J. Turner, ed. Formal Description Techniques. North-Holland,1989. 79~84.
  • 2van Bokhoven L J, Voeten J P M, Geilen M C W. Software Synthesis for System Level Design Using Process Execution Trees. In: Proc. of the 25th EUROMICRO Conf. Sept. 8-10,Milan, Italy, Vol. I, 1999. 463~467.
  • 3Gotzhein R,et al. Improving the efficiency of automated protocol implementation using Estelle. Computer Communications, 1996,19(14) : 1226~1235.
  • 4Jia X,Skevoulis S. Code Synthesis based on Object-Oriented Design models and Formal Specifications. In:Proc. of the Twenty-Second Annual Intl. Computer Software and Applications Conf.1998. 393~398.
  • 5Passerone C,et al. Modeling Reactive Systems in Java. In:Proc. of the Sixth Intl. Workshop on Hardware/Software Codesign,Seattle, Washington, USA, 1998.
  • 6Hsiung P A. Formal Synthesis and Code Generation of Embedded Real-Time Software. In.. Proc.of the ACM/IEEE 9th Intl.Symposium on Hardware/Software Codesign, New York, USA,2001.
  • 7ITU-T Recommendation Z. 100 Annex F:SDL Formal Semantics Definition. International Telecommunication Union, Geneva, 2000.
  • 8Fernandes, Joo Machado R, Santos H. Modeling Industrial Embedded Systems with UML. 8th IEEE/IFIP/ACM Int.Workshop on Hardware/Software Co-Design, E.U.A., May,2000.
  • 9Spivey J M. The Z Notation: A Reference Manual. Prentice Hall,2nd edition, 1992.
  • 10Heitmeyer, Constance L. Software Cost Reduction. Encyclopedia of Software Engineering, Vol. I , J. J. Marciniak,ed. Jan. 2002.

同被引文献4

  • 1徐爱春,章坚民.基于XML/XSLT代码自动生成技术研究[J].杭州电子工业学院学报,2004,24(4):64-68. 被引量：11
  • 2Anjali Joshi, Mats P E Heimdahl. Model - Based Safety Annalysis of Simulink Models Using SCADE Design Verifier[J]. USA : NASA contract NCC - 01 - 001 ,Volume 3688/2005. 122 - 126.
  • 3Jean - Louis Camus,Bernard Dion,Efficient Development of Airborne Software with SCADE SuiteTM[J]. Esterel Technologies 2003. 14 - 16.
  • 4Graham Pitcher,How to avoid catastrophic software errors[J]. New Electronics, 10 December 2002.

引证文献1

二级引证文献12

计算机科学
2003年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部