点击购买,资源将自动在新窗口打开.
获取独家产品信息,尽享促销优惠!立即订阅,不容错过
* 限···时··优惠
为了构建系统,工程师将从库中检查组件模型,每个模型都有指标,允许在设计组成时跟踪整个系统的灵活性和适应性。“元语言可以预先识别潜在的系统交互,因此我们可以设计一个不太复杂的系统,”波音研究与技术公司网络系统技术首席工程师 David Corman 说。“新的设计流程和工具可以跟踪复杂性,并使我们能够构建一个设计正确的系统,其软件和硬件行为可以在一定的概率水平上进行验证。”
主要关键词