-
公开(公告)号:CN106528100A
公开(公告)日:2017-03-22
申请号:CN201610922808.4
申请日:2016-08-05
Applicant: 通用电气公司
Inventor: T·L·约翰逊 , A·W·克拉波 , M·R·杜林 , A·瓦施 , K·Y·肖 , L·帕罗里尼 , P·马诺里奥斯 , M·李 , 郁涵 , S·A·斯塔塞 , G·R·斯科斯
Abstract: 公开了一种用于安全关键软件的基于模型的设计的方法。该方法包括接收自然语言软件需求,通过实施语义建模或图形化建模来开发规范模型,将形式需求分析应用于规范模型,由规范模型自动生成基于需求的和鲁棒性测试用例,基于规范模型开发设计模型,将测试用例应用于设计模型,使用设计模型自动生成源代码;使用测试用例和静态分析技术来验证源代码,及由所验证的源代码编译可执行目标代码。如果软件规范或设计模型的分析的结果不符合要求,则调整规范或设计模型,以修正任何不一致,以及重复应用分析和测试用例。公开了一种用于实施基于模型的设计的系统和一种非暂时性计算机可读介质。
-
公开(公告)号:CN101577035A
公开(公告)日:2009-11-11
申请号:CN200910137936.8
申请日:2009-04-30
Applicant: 通用电气公司
CPC classification number: A61B5/746 , A61B5/0205 , A61B5/02455 , G06F19/00 , G06F19/3418
Abstract: 本发明涉及用于管理在生理监视系统中的警报的方法。一种用于管理生理监视系统(100)中的警报事件的方法。该方法包括通过检查警报事件是否是噪声事件来验证(202)警报事件的准确性。该方法进一步包括识别警报序列(204)中的模式或与警报事件相关联的至少一个警报类型的警报速率。警报速率是对于特定警报类型的警报事件发生的频率。基于所识别的警报序列中的模式和警报速率和患者数据,调整(206)与警报类型相关联的警报级别。基于调整过的警报级别的危急程度,通知医院的工作人员。此外,当患者干预或者暂停信号被生理监视系统(100)检测到时,警报信号被抑制(210)。
-
公开(公告)号:CN106528100B
公开(公告)日:2020-06-09
申请号:CN201610922808.4
申请日:2016-08-05
Applicant: 通用电气公司
Inventor: T·L·约翰逊 , A·W·克拉波 , M·R·杜林 , A·瓦施 , K·Y·肖 , L·帕罗里尼 , P·马诺里奥斯 , M·李 , 郁涵 , S·A·斯塔塞 , G·R·斯科斯
Abstract: 公开了一种用于安全关键软件的基于模型的设计的方法。该方法包括接收自然语言软件需求,通过实施语义建模或图形化建模来开发规范模型,将形式需求分析应用于规范模型,由规范模型自动生成基于需求的和鲁棒性测试用例,基于规范模型开发设计模型,将测试用例应用于设计模型,使用设计模型自动生成源代码;使用测试用例和静态分析技术来验证源代码,及由所验证的源代码编译可执行目标代码。如果软件规范或设计模型的分析的结果不符合要求,则调整规范或设计模型,以修正任何不一致,以及重复应用分析和测试用例。公开了一种用于实施基于模型的设计的系统和一种非暂时性计算机可读介质。
-
公开(公告)号:CN101637384A
公开(公告)日:2010-02-03
申请号:CN200910165025.6
申请日:2009-07-28
Applicant: 通用电气公司
IPC: A61B5/0402
CPC classification number: A61B5/0402 , A61B5/04017 , A61B5/7217 , A61B5/7221 , G06F19/00
Abstract: 公开了ECG监视系统中信号质量指示和假警报减少的系统和方法。一种心电图(ECG)监视系统(10)被配置为确定包括一组指示符的指数(102),其中每个指示符指示ECG导联中的信号质量的水平。此外,ECG监视系统(10)将来自所述一组指示符的第一指示符(108、156)分配给第一ECG导联信号并将第一指示符(108、158)传达给用户。
-
公开(公告)号:CN101637384B
公开(公告)日:2014-04-23
申请号:CN200910165025.6
申请日:2009-07-28
Applicant: 通用电气公司
IPC: A61B5/0402
CPC classification number: A61B5/0402 , A61B5/04017 , A61B5/7217 , A61B5/7221 , G06F19/00
Abstract: 本发明公开了ECG监视系统中信号质量指示和假警报减少的系统和方法。一种心电图(ECG)监视系统(10)被配置为确定包括一组指示符的指数(102),其中每个指示符指示ECG导联中的信号质量的水平。此外,ECG监视系统(10)将来自所述一组指示符的第一指示符(108、156)分配给第一ECG导联信号并将第一指示符(108、158)传达给用户。
-
-
-
-