Simulation and verification of system-level specifications of requirements and constraints using Rosetta

使用Rosetta对需求和约束的系统级规范进行模拟和验证。现代基于计算机的系统包括与机械和其他非电气子系统交互的电子硬件和嵌入式计算机软件的混合体。未来的设计能力将取决于能够对异类系统的需求和约束进行建模，以便在制造和部署之前能够对它们进行模拟和正式验证。该项目将开发基于新的Rosetta系统级设计语言的模拟和验证技术和软件工具。这些工具将在设计流程的早期将设计错误降至最低，从而使复杂的基于计算机的系统的设计更快、更可靠、成本更低。

Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project will develop techniques and software tools for simulation and verification based on the new Rosetta system-level design language. These tools will make the design of complex computer-based systems faster, more reliable and less costly by minimizing design errors early in the design flow.