12、嵌入式系统规格说明与计算模型详解

嵌入式系统规格说明与计算模型详解

规格说明的要求

在嵌入式系统的设计中，规格说明是至关重要的环节，它需要满足一系列特定的要求，以下为你详细介绍：
1. 可执行性 ：规格说明并非天然与人们脑海中的想法一致，执行规格说明是进行合理性检查的有效手段。使用编程语言的规格说明在这方面具有明显优势。
2. 支持大型系统设计 ：如今，嵌入式软件程序呈现出大型化和复杂化的趋势，软件技术为此找到了一些设计大型系统的机制，例如面向对象就是其中之一，规格说明方法应具备这些机制。
3. 特定领域支持 ：尽管希望有一种规格说明技术能适用于所有类型的嵌入式系统，以减少开发规格说明技术和工具支持的工作量，但由于应用领域广泛，很难用一种语言高效地表示所有领域的规格说明。例如，控制主导、数据主导、集中式和分布式应用领域都能从针对这些领域的语言特性中受益。
4. 可读性 ：规格说明必须能被人类读懂，否则无法验证其是否符合指定系统的真实意图。同时，所有设计文档也应能被计算机读取，因此规格说明应采用人类和计算机都能读懂的语言。最初可以使用自然语言（如英语或日语）进行描述，但自然语言在后续设计阶段并不适用，因为它缺乏规格说明技术的关键要求，如完整性检查、无矛盾性检查以及系统地从规格说明推导实现的能力。
5. 可移植性和灵活性 ：规格说明应独立于特定的硬件平台，以便能轻松应用于各种目标平台。理想情况下，更改硬件平台不应影响规格说明，但在实际中，可能需要容忍一些小的更改。
6. 终止性