摘要
实时系统中的一点疏漏可能导致灾难性后果,故确保该类系统正确性和可靠性是至关重要的,而建模无疑是一种很好的解决办法.形式化建模方法使用具有严格数学语义对系统进行描述,但是形式化模型不够直观,形式化规格难以理解.扩展UML顺序图实现对实时系统的建模及形式化验证,并给出实例.
With the rapid development of computer technology,the application of real-time systems became more and more wide.The oversight of real-time systems could lead to disastrous consequences.It is essential to ensure the accuracy and reliability of such systems,and modeling was certainly a good solution.Formal modeling methods used a rigorous mathematical semantics of the system description,but not intuitive formal models.It was difficult to understand the formal specifications.This paper extends the UML sequenc...
出处
《中国计量学院学报》
2010年第1期46-51,共6页
Journal of China Jiliang University
基金
国家质检总局科技计划项目(No.2009QK026)
浙江省科技厅重大科技专项(No.2007C13091)
关键词
统一建模语言
实时系统
建模
形式化验证
Unified Modeling Language
real-time system
modeling
formal verification
