嵌入式实时软件建模方法研究  

Research on embedded real-time software modeling

作　　者：罗浩[1] 张广泉[1] 陈冬火[1] 

机构地区：[1]苏州大学计算机科学与技术学院,江苏苏州215006

出　　处：《苏州大学学报（自然科学版）》2007年第2期49-54,共6页Journal of Soochow University(Natural Science Edition)

基　　金：江苏省高校自然科学基金资助项目(05KJB520119);重庆市自然科学基金资助项目(CSTC;2006BB2259)

摘　　要：随着硬件设备计算能力的迅速提高以及社会需求的不断变化和增长,嵌入式实时软件变得越来越复杂.为了提高系统的安全性和可靠性,将基于UML的建模方法与形式化建模方法相结合,可以为嵌入式实时软件建模和验证提供一种良好的解决方案.采用UML扩展机制,在UML2.0顺序图中加入嵌入式实时软件建模所需的时间特性,并提出一种由UML2.0顺序图构造出时间自动机的方法,为下一步验证奠定理论基础.Embedded real-time software becomes more and more complicated with its widespread use in variety of domains.Combination of modeling based on UML and modeling based on formal method is one of the good solutions for verification and modeling of embedded real-time software.We extended UML with timed constraint and tagged value because of the special requirement of the real-time system.Furthermore,we proposed a method to translate the UML2.0 sequence diagrams to timed automata.

关 键 词：嵌入式实时软件 建模 UML2.0顺序图 时间自动机 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]