苏州大学学报(自然科学版)
囌州大學學報(自然科學版)
소주대학학보(자연과학판)
JOURNAL OF SUZHOU UNIVERSITY(NATURAL SCIENCE)
2007年
2期
49-54
,共6页
嵌入式实时软件%建模%UML2.0顺序图%时间自动机
嵌入式實時軟件%建模%UML2.0順序圖%時間自動機
감입식실시연건%건모%UML2.0순서도%시간자동궤
随着硬件设备计算能力的迅速提高以及社会需求的不断变化和增长,嵌入式实时软件变得越来越复杂.为了提高系统的安全性和可靠性,将基于UML的建模方法与形式化建模方法相结合,可以为嵌入式实时软件建模和验证提供一种良好的解决方案.采用UML扩展机制,在UML2.0顺序图中加入嵌入式实时软件建模所需的时间特性,并提出一种由UML2.0顺序图构造出时间自动机的方法,为下一步验证奠定理论基础.
隨著硬件設備計算能力的迅速提高以及社會需求的不斷變化和增長,嵌入式實時軟件變得越來越複雜.為瞭提高繫統的安全性和可靠性,將基于UML的建模方法與形式化建模方法相結閤,可以為嵌入式實時軟件建模和驗證提供一種良好的解決方案.採用UML擴展機製,在UML2.0順序圖中加入嵌入式實時軟件建模所需的時間特性,併提齣一種由UML2.0順序圖構造齣時間自動機的方法,為下一步驗證奠定理論基礎.
수착경건설비계산능력적신속제고이급사회수구적불단변화화증장,감입식실시연건변득월래월복잡.위료제고계통적안전성화가고성,장기우UML적건모방법여형식화건모방법상결합,가이위감입식실시연건건모화험증제공일충량호적해결방안.채용UML확전궤제,재UML2.0순서도중가입감입식실시연건건모소수적시간특성,병제출일충유UML2.0순서도구조출시간자동궤적방법,위하일보험증전정이론기출.