期刊文献+

嵌入式软件设计中的关键技术及其实现 被引量:5

The Key Technology and Implementation in the Design of Embedded Software
下载PDF
导出
摘要 针对“非功能”因素如何进行重新抽象的问题 ,提出了一个“面向参与者”的抽象模型 ,较好地解决了嵌入式软件系统中的可靠性问题 ,并初步对“非功能” To re abstract non functional aspects,this article suggests component architectures 'actor oriented design' modules,resolves the dependability design problem of the software in embedded system, and has a primary re abstraction of the non functions properties.
出处 《太原理工大学学报》 CAS 2003年第5期594-597,共4页 Journal of Taiyuan University of Technology
关键词 嵌入式软件 计算科学 面向参与者 抽象模型 embedded software science of computation actor oriented design abstraction module
  • 相关文献

参考文献9

  • 1Egamma R Helm R Johnson 李英军译 J Vlissides.Design Patterns:Elements of Reusable Object-Oriented Software[M].北京:机械工业出版社,1994.2-22.
  • 2G Berry, G Gonthier. The Esterel synchronous programming language: Design, semantics, implementation[J]. Science of Computer Programming, 1992,19 (2) : 87-152.
  • 3A Benveniste,G Berry. The Synchronous Approach to Reactive and Real-Time Systems[J]. Proceedings of the IEEE, 1991,79(9):1 270-1 282.
  • 4B Selic, G Gullekson, P Ward. Real-Time Object-Oriented Modeling[M]. New York:John Wiley & Sons, 1994:5-135.
  • 5S A Edwards,E A Lee. The Semantics and Execution of a Synchronous Block-Diagram Language[EB/OL]. http://ptolemy.eecs. berkeley. edu/publications/2001-09-15.
  • 6E A Lee, S Neuendorffer. MoML-A Modeling Markup Language in XML, Version 0. 4[EB/OL]. http: // ptolemy. eecs.berkeley. edu/publications/2000-03-04.
  • 7S A Edwards,E A Lee. The Semantics and Execution of a Synchronous Block-Diagram Language[EB/OL]. http://ptolemy. eecs. berkeley. edu/puhlications/2001-09-15.
  • 8C A R Hoare. Communicating Sequential Processes[J]. Communications of the ACM, 1978,21(8) :666-677.
  • 9G Kahn. The Semantics of a Simple Language for Parallel Programming[C]. Proc of the IFIP Congress 74, North Holland,1974.

同被引文献21

引证文献5

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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