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

一种基于场景的嵌入式软件设计方法

Scenario-based design method for embedded software
在线阅读 下载PDF
导出
摘要 UML顺序图是一种常用的在软件开发早期阶段用来描述系统基于场景的需求规约的一种可视化建模语言。通过在UML顺序图中加入带时间区间标志的时间约束,得到时间顺序图模板TSDT(Timed Sequence Diagram Template),用来建立嵌入式软件基于场景的需求规约模型。对消息传递自动机进行实时扩展,得到时间消息传递自动机TMPA(Timed Message Passing Automata),TMPA以自动机的形式刻画了所建立的需求规约模型,为在需求阶段验证所建立的模型是否满足用户需求奠定了基础。 For embedded software systems,UML sequence diagram is a visual formalism widely used to capture scenario-based system requirements during the early design stages.The scenario-based specifications of embedded software are specified by timed sequence diagram template which is a UML sequence diagram extended with a set of time interval constraints,and then message passing automata is extended with timing constraints,which is an automata-theoretic characterization of the embedded software.
作者 戎玫
机构地区 暨南大学深圳旅游学院
出处 《计算机工程与应用》 CSCD 北大核心 2010年第9期62-64,115,共4页 Computer Engineering and Applications
基金 江苏省高校自然科学基金(No.#08KJB520010) 中国科学院计算机科学国家重点实验室开放课题(No.SYSKF0908)~~
关键词 嵌入式软件 场景 统一建模语言(UML)顺序图 消息传递自动机 embedded software scenario Unified Modeling Language（UML）sequence diagram message passing automata
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献8

  • 1胡军,张岩,于笑丰,王林章,李宣东,郑国梁.嵌入式软件建模、实现与验证:研究与进展[J].计算机科学,2005,32(12):16-23. 被引量：10
  • 2Henriksen J G,Mukund M,Kumar K N,et al.Thiagarajan:A theory of regular MSC languages[J].Inf Comp,2005,202( 1 ) : 1-38.
  • 3Alur R,Dill D L.A theory of timed automata[J].Theoretical Computer Science, 1994,126(2) : 183-235.
  • 4胡军,于笑丰,张岩,李宣东,郑国梁.基于场景构件式实时软件设计的一致性检验[J].软件学报,2006,17(1):48-58. 被引量：12
  • 5Knapp A,Merz S,Ranh C.Medel checking timed UML state machines and collaborations[C]//Proc of the 7th International Symposium on Formal Techniques in Real-Time and on Fault Tolerant Systems,University of Oldenburg,Germany,2002:394-414.
  • 6de Souza D,Mukund M.Checking consistency of SDL+MSC specifications[C]//Proc of the 10th International SPIN Workshop on Model Checking of Software,Pordand,2003 : 151-166.
  • 7熊光泽,古幼鹏,桑楠.嵌入式应用软件设计方法学研究综述[J].计算机应用,2004,24(4):1-4. 被引量：24
  • 8Behrmann G,David A,Larsen K G.A tutorial on UPPAAL[EB/OL]. ( 2004 - 11-07 ).http : //www.it.uu.selreseareldgroupldartslpapersltextsl new-tutofial.pdf.

二级参考文献85

  • 1电子科技大学计算机学院.CRTOS x86/pm嵌入式实时操作系统原理与应用设计:增补版[Z].成都:电子科技大学,2000..
  • 2SchildtH 杨长虹 等译.C++语言大全[M].北京：电子工业出版社,1994..
  • 3Booch G, Rumbangh J, Jacobson I. The Unified Modeling Language User Guide. Addison-Wesley, 1999.
  • 4Peled DA. Software Reliability Methods. Springer-Verlag, 2001.
  • 5Alur R, Yannakakis M. Model checking of message sequence charts. In: Baeten JCM, Mauw S, eds. Proc. of the 10th Int'l Conf. on Concurrency Theory. LNCS 1664, Berlin: Springer-Verlag, 1999. 114-129.
  • 6Larsen KG, Pettersson P, Yi W. UPPAL in a nutshell. Int'l Journal of Software Tools for Technology Transfer, 1997,1(1-2):134-152.
  • 7Seemann J, Gudenberg JW. Extension of UML sequence diagrams for real-time systems. In: B6zivin J, Muller P-A, eds. Proe. of the Int'l UML Workshop. LNCS 1618, Berlin: Springer-Verlag, 1998. 240-252.
  • 8Firley T, Huhn M, Diethers K, Oehrke T, Ooltz V. Timed sequence diagrams and tool-based analysis-A case study. In: France R,Rumpe B, eds. Proc. of the 2nd Int'l Conf. on UML (UML'99). LNCS 1723, Berlin: Springer-Verlag, 1999. 645-660.
  • 9David A, Moller MO, Yi W. Formal verification of UML statecharts with real-time extensions. In: Kutsche R-D, Weber F, eds.FASF2002. LNCS 2306, Berlin: Springer-Verlag, 2002. 218-232.
  • 10de Alfaro L, Henzinger TA. Interface automata. In: Proe. of the Joint 8th European Software Engineering Conf. and 9th ACM SIGSOFT Int'l Symp. on the Foundations of Software Engineering (ESEC/FSE 2001). Austria: ACM Press, 2001, 109-120.

共引文献42

计算机工程与应用
2010年 第9期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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