6、实时与嵌入式系统的规范和验证相关研究进展

实时与嵌入式系统的规范和验证相关研究进展

在实时与嵌入式系统的开发领域，规范和验证是确保系统安全性和可靠性的关键环节。相关研讨会汇聚了学术界和工业界的研究人员，共同探讨了UML及相关符号在时间、调度和架构等方面的问题。

1. 研讨会投稿论文概述

研讨会从19篇常规投稿中精选出7篇高质量的论文进行展示。这些论文围绕UML在实时与嵌入式系统中的应用，从不同角度进行了深入研究。

1.1 《比较用于非功能需求注释的UML概要文件：SPT和QoS概要文件》

• 概要文件介绍 ：SPT概要文件于2003年正式被采用，是首次尝试将基本的定时和并发概念扩展到UML中，用于进行可调度性和性能分析；QoS概要文件则具有更广泛的范围，旨在让用户定义更多种类的QoS需求和属性。
• 应用与比较 ：作者将这两个概要文件应用于一个嵌入式自动化系统的示例中。QoS概要文件几乎与UML 2.0兼容，而SPT概要文件是UML 1.x的标准概要文件，UML 2.0版本尚未推出。研究表明，SPT更易于应用，但灵活性较差，且两个概要文件都存在一些缺失的机制，作者提出了改进建议。

1.2 《具有定时约束的UML建模的形式框架：在铁路控制系统中的应用》

• 背景与问题 ：在铁路信号系统中，时间相关特性在验证过程中起着重要作用，但UML缺乏标准化的形式语义，导致支持分析和验证的工具较少。
• 解决方案 ：作者提出将UML的一个子集映射到