CAREER: Requirements Specification for Embedded Systems: An Integrated Framework

绝大多数严重的软件设计缺陷是由于不完整、不一致或模糊的需求文档造成的。在软件开发的最初阶段，需求说明阶段，帮助分析人员的正式过程是最少的。捕获、验证和确认嵌入式系统需求规范的技术具有显而易见的重要性。这个项目关注于需求规范的验证，特别是可执行规范。正在为嵌入式系统的高级需求规范的开发、分析和执行构建一个集成框架。该框架旨在支持(1)嵌入式系统需求的执行和仿真（硬件在环仿真），以及(2)基于物理系统的结构和设计的需求重用和需求综合。该环境将使可执行的高级需求规范能够与：(1)环境的假定行为模型，(2)环境的软件模拟，或(3)环境中的实际物理组件进行交互。采用的方法是扩展现有的正式规范语言RSML，使其具有在嵌入式系统中定义系统级组件间通信的能力。这个职业项目的教育部分旨在通过案例研究和工业项目增加工业对本科和研究生教育的参与。正在建立一个远程访问的嵌入式系统实验室，学生可以在那里获得实时系统软件开发的实际实践经验。＊＊＊

The vast majority of serious software design flaws are due to incomplete, inconsistent, or obscure requirements documents. It is in the very first stages of software development, the requirements specification phase, that the fewest formal procedures exist to aid the analyst. Techniques to capture, verify, and validate requirements specifications for embedded systems are of demonstrable importance. This project focuses on validation of requirements specifications, specifically on executable specifications. An integrated framework is being constructed for the development, analysis, and execution of high-level requirements specifications for embedded systems. The framework is intended to support (1) execution and simulation of embedded system requirements (hardware-in- the loop simulation), and (2) requirements reuse and requirements synthesis based on the structure and design of the physical system. This environment will enable an executable high-level requirements specification to interact with: (1) models of the assumed behavior of the environment, (2) software simulations of the environment, or (3) the actual physical components in the environment. The approach taken is to extend an existing formal specification language, RSML, with the capability to define system-level inter-component communication in an embedded system. The educational component of this CAREER project seeks to increase industrial involvement in undergraduate and graduate education through case studies and industrial projects. A remotely-accessible embedded systems laboratory is being established, where students can gain realistic hands-on experience with software development for real-time systems. ***