【摘要】 实时信息系统是自动化生产及控制系统中对生产过程及作业信息进行实时管理的一类系统 ,它通常具有动态性、实时性等特点 ,保证其功能顺利实现的一个重要途径是提高软件需求分析的质量。本文以作者亲自开发的铁路编组站管理信息系统为例 ,提出了一种运用有限状态机 (FSM)理论对实时信息系统需求进行动态建模和分析的方法 ,它基于系统本质特征 ,可以保证需求分析和定义的完备性、一致性和无二义性 ,同时还便于向系统设计的过渡和进行系统测试。文章最后给出了确定系统状态和识别事件的途径。更多还原

【Abstract】 Real-time information system(RTIS) is one kind of systems that manage the real-time information of manufacturing process and operation in automatic manufacture and control systems. It usually takes on the characteristics of dynamic and real-time. An important approach to ensuring the smooth realization of its functions should be to improve the quality of its software requirement analysis. In this paper,we put forward a methodology based on the theory of finite-state machines (FSM) to dynamically model and analyze the requirements of RTIS,and illustrate it by an example of management information system at railway marshalling stations developed all by ourselves. Based on the essential characteristics of systems,this methodology ensures the completeness,consistency and unambiguousness of requirement analysis and definition. It also facilitates the transition to system design and the system testing. At last,the approaches to ascertaining system states and identifying events are presented.更多还原