发明名称 Method and computer program product for localizing an interruption structure included in a hierarchical structure of a specification
摘要 This invention is applied to a system design support system which handles at system level, e.g., a specification for software executed by a computer, a specification for hardware combined with semiconductor devices and the like, a specification for an embedded system constituted by a combination of software and hardware, and a specification for a business process such as a work flow. A consideration is given to difficulty in efficiently implementing an interrupt in a specification created in a system description language in such a case where the interrupt is defined at a lower level which is structurally separate from a portion where the interrupt actually occurs. An interrupt structure localizing apparatus specifies a portion in a system-level specification in which an interrupt actually occurs and localizes the portion, thereby obtaining a specification structure in which an interrupt does not occur across hierarchical structures.
申请公布号 US7086037(B2) 申请公布日期 2006.08.01
申请号 US20020059199 申请日期 2002.01.31
申请人 KABUSHIKI KAISHA TOSHIBA 发明人 IWAMASA MIKITO
分类号 G06F9/44;G06F9/48;G06F17/50;H04L1/22 主分类号 G06F9/44
代理机构 代理人
主权项
地址