嵌入式系统建模方法知识.pdfVIP

嵌入式系统建模方法 摘要： 嵌入式系统的实时性、 并发性、 分布性和高可靠性等特点使得系统的开发 面临巨大挑战， 迫切需要相应开发方法的指导和开发工具的支持。 本文简要介绍 了嵌入式系统在开发过程中的建模方法， 包括非形式化和形式化两种方法。 重点 叙述了两种建模方法的区别和应用，以及形式化描述的主要内容。 0 引言 嵌入式系统是指以应用为中心、 以计算机技术为基础、 软硬件可裁剪、 适应 应用环境对功能、实时性、可靠性、成本、体积、功耗等严格约束的专用计算机 系统。随着嵌入式实时软件规模和复杂度的不断增大，嵌入式软件的建模方法， 实现技术以及软件可靠性和安全性验证等方面都遇到了新的困难和挑战， 需要有 新的思想和方法。 建模在软件开发过程中具有极其重要的作用， 使用模型可以提高开发者对整 个软件的观察深度和控制复杂度的能力， 给不同的开发阶段提供全局统一的视图 和指导，提高软件质量、生产率和可靠性。 1 非形式化建模方法与形式化建模方法概述 设计者为构建系统模型， 需要解决两方面问题。 一方面， 设计者要决定采用 什么方法或手段对系统进行建模，即为系统模型选择基本的计算模型或图形符 号。根据计算模型的形式化程度不同， 建模方法可以分为两类： 一类方法以具有 严格语法和语义定义的数学模型或形式化模型为基础，称为形式化建模方法； 另一类方法则使用不具有严格语法和语义定义的自然语言或简单的图、表、 符号等描述系统， 称为非形式化建模方法。 建模方法的选择由系统的可靠性要求 和计算模型的可用性共同决定， 一般需要二者的折衷。 可靠性要求高的嵌入式系 统必须采用形式化方法建模以保证模型正确性。 2 非形式化建模方法 非形式化建模方法简称非形式化方法。 只要用来创建系统模型的计算模型或 建 模 语 言 没 有 严 格 的 语 法 和 语 义 定 义 ，该 建 模 方 法就 属 于 非 形 式 化 方 法 （informal ）方法或欠形式化（ less formal ）方法，如传统的用图、文本、表 格或简单符号等进行系统分析和设计的方法。 虽然对非形式化方法小心运用并结合彻底检查可以实现高质量系统的开发， 但是文本或简单符号的应用偏差可能产生各种问题， 如多个子模型描述系统相同 方面的特性是矛盾的或不一致的， 当模型被解释或翻译时产生二义性或歧义， 模 型所描述的系统功能或行为是不完整的。 因此，很难保证在模型基础上的系统实 现是正确的，从而无法满足嵌入式系统对高可靠性的要求。 可靠性的保证取决于两个方面，一是产品的验证与测试，二是开发的方法与 过程。在安全关键的（ safety-critical ）嵌入式系统开发中，可靠性不能通过 测试和反复试用来保证，需要一种良好构造的（ well-structured ）和形式化的 方法，使得在系统实现前经过严格的设计、 分析和验证。 形式化建模方法的优势 不仅仅局限于分析和验证，形式化过程本身就能够提高设计的质量。 3 形式化建模方法 嵌入式系统的规模和复杂性不断增加， 仅靠手工方法已经无法保证正确的设 计与实现。开发方法研究的最终目标就是能够借助计算机自动、 准确地实现系统， 而数学是实现这一目标的最有效的方法或手段。 保证软件开发过程中的正确性和 可靠性是开发人员必须解决的问题，尤其是安全攸关（