首页> 美国政府科技报告 >Requirements Specifications for Hybrid Systems.
【24h】

Requirements Specifications for Hybrid Systems.

机译:混合系统的要求规范。

获取原文

摘要

The purpose of a computer system requirements specification is to describe the computer system's required external behavior. To avoid over specification, the requirements specification should describe the system behavior as a mathematical relation between entities in the system's environment. When some of these entities are continuous and others are discrete, the system is referred to as a 'hybrid' system. Although computer science provides many techniques for representing and reasoning about the discrete quantities that affect system behavior, practical approaches for specifying and analyzing systems containing both discrete and continuous quantities are lacking. The purpose of this paper is to present a formal framework for representing and reasoning about the requirements of hybrid systems. As background, the paper briefly reviews an abstract model for specifying system and software requirements, called the Four Variable Model 12, and a related requirements method, called SCR (Software Cost Reduction) 10, 1. The paper then introduces a special discrete version of the Four Variable Model, the SCR requirements model 8 and proposes an extension of the SCR model for specifying and reasoning about hybrid systems.

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号