首页>
外国专利>
Computer-aided design of mechatronic systems for describing text-based system specifications
Computer-aided design of mechatronic systems for describing text-based system specifications
展开▼
机译:机电系统的计算机辅助设计,用于描述基于文本的系统规范
展开▼
页面导航
摘要
著录项
相似文献
摘要
A computer-aided system development method for dynamic systems is described herein. According to the following embodiment, the method comprises the following steps: specification of a textual system description; Converting the textual textual description into a linear temporal logic (LTL) formula using a computer; Converting the LTL formula into a first state machine using a computer; Vorgage of a time state car, which represents the system dynamics, with the help of a computer; and the generation of a test state machine in which the first and second state machines are combined by means of a computer.
展开▼