发明名称 Certifying software for safety-critical systems
摘要 A method of collecting information includes retrieving a criterion for certifying software for use on a safety-critical system, receiving user input information associated to the criterion, determining if the input information satisfies criterion for certifying the software for use on the safety-critical system, and providing output information to the user where the output information is identifying if the criterion is satisfied.
申请公布号 US2004169591(A1) 申请公布日期 2004.09.02
申请号 US20030371975 申请日期 2003.02.21
申请人 ERKKINEN THOMAS J. 发明人 ERKKINEN THOMAS J.
分类号 G06Q10/00;G08B21/00;(IPC1-7):G08B21/00 主分类号 G06Q10/00
代理机构 代理人
主权项
地址