首页>
外国专利>
procedures for the specification of a system with a large number of interconnected functional modules.each abstraktstatusbasierte machine represent and specified system
procedures for the specification of a system with a large number of interconnected functional modules.each abstraktstatusbasierte machine represent and specified system
展开▼
机译:具有大量相互连接的功能模块的系统的规范说明过程。每个摘要状态表示机器并指定系统
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method for specifying a system comprising a plurality of interconnected functional modules each representing a respective abstract-state based machine, and a system so specified. A system is specified to include various interconnected functional modules at respective hierarchical levels. Each module represents an abstract state-based-machine. Each non-top level first module connects to a single second module at a next higher level by a transformer link from the second module for enabling a relevant change-of-state of the first module, by an observer link for a state enquiry signal from the second module, and by an event link for a solicited event signal to the second module. The first module retrosignals an internal autonomously executed step. Each non-bottom module enables one or more lower level modules to function as such first module. A top module can exchange signals with an environment. A single step scheduler for the system renders autonomously executable each step in the first module that has been entered under control of a preconditioning transformer signal received from the second module.
展开▼