首页>
外国专利>
IMPLEMENTING AND VERIFYING SAFETY MEASURES IN A SYSTEM DESIGN BASED ON SAFETY SPECIFICATION GENERATED FROM SAFETY REQUIREMENTS
IMPLEMENTING AND VERIFYING SAFETY MEASURES IN A SYSTEM DESIGN BASED ON SAFETY SPECIFICATION GENERATED FROM SAFETY REQUIREMENTS
展开▼
机译:基于安全要求产生的安全规范在系统设计中实施和验证安全措施
展开▼
页面导航
摘要
著录项
相似文献
摘要
A system enhances a system design to incorporate safety measures. The system receives a system design for processing through various stages of design using design tools, for example electronic design automation tools for introducing safety features in a circuit design. The system receives safety requirements for the system design, the safety requirements specifying safety measures for the system design. The system generates from the safety requirements, a safety specification storing a set of commands. The system generates a system design enhanced with safety measures. The enhanced system design it generated for at least a subset of the plurality of tools. A tool processes the generated safety specification to implement safety measures in the system design according to the received safety requirements.
展开▼