-
公开(公告)号：US20130057063A1
公开(公告)日：2013-03-07
申请号：US13668660
申请日：2012-11-05
Applicant: General Electric Company
Inventor： Johannes Huber , Lembit Salasoo , Alexander Walsch , Michal-Wolfgang Waszak , Alexander Felix Fiseni , Stefan Brandhoff , Karl Kyrberg
IPC: B60L1/00
CPC classification number: H02J1/102 , H02P2201/13 , Y10T307/582 , Y10T307/707
Abstract: An apparatus includes a DC-link, a voltage converter, a bus voltage controller, and a supervisory controller. The voltage converter is configured to convert a first DC voltage into a second DC voltage based on a command signal and based on an adjustment signal and to supply the second DC voltage to the DC-link. The bus voltage controller is configured to iterate calculation of the adjustment signal to communicate each iterated calculation of the adjustment signal to the voltage converter. The supervisory controller is configured to iterate calculation of the command signal and to communicate each iterated calculation of the command signal to the voltage converter and to the bus voltage controller. A frequency of the bus voltage controller to communicate each iterated calculation of the adjustment signal is higher than a frequency of the supervisory controller to communicate each iterated calculation of the command signal.
Abstract translation: 一种装置包括直流链路，电压转换器，总线电压控制器和监控控制器。 电压转换器被配置为基于指令信号并且基于调整信号将第一直流电压转换为第二直流电压，并将第二直流电压提供给直流链路。 总线电压控制器被配置为迭代调整信号的计算，以将调节信号的每次迭代计算传送到电压转换器。 监控控制器被配置为迭代命令信号的计算，并且将命令信号的每个迭代计算传送到电压转换器和总线电压控制器。 总线电压控制器的频率通过每个迭代计算的调整信号高于监控器的频率来传达每次迭代计算的命令信号。
-
2.发明申请SYSTEM AND METHOD FOR MODEL BASED TECHNOLOGY AND PROCESS FOR SAFETY-CRITICAL SOFTWARE DEVELOPMENT 审中-公开基于模型的技术和安全关键软件开发过程的系统与方法公开(公告)号：US20170039039A1
公开(公告)日：2017-02-09
申请号：US14819167
申请日：2015-08-05
Applicant: General Electric Company
Inventor： Timothy Lee Johnson , Andrew Walter Crapo , Michael Richard Durling , Alexander Walsch , Kit Yan Siu , Luca Parolini , Panagiotis Manolios , Meng Li , Han Yu , Scott Alan Stacey , Gregory Reed Sykes
CPC classification number: G06F8/35 , G06F8/20 , G06F11/3604 , G06F11/3608
Abstract: A method for model-based design of safety-critical software is disclosed. The method includes receiving natural-language software requirements, developing a specification model by implementing either semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, auto generating requirements based and robustness test cases from the specification model, developing a design model based on the specification model, applying test cases to the design model, auto-generating source code using the design model, verifying the source code using both test cases and static analysis technology, and compiling executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory then adjusting the specification or design model to correct any inconsistency, and repeating applying the analysis and test cases. A system for implementing the model-based design and a non-transitory computer readable medium are disclosed.
Abstract translation: 公开了一种基于安全关键软件的基于模型设计的方法。 该方法包括接收自然语言软件需求，通过实现语义建模或图形建模开发规范模型，对规范模型应用形式需求分析，从规范模型中自动生成需求和鲁棒性测试用例，开发基于设计模型 在规范模型上，将测试用例应用于设计模型，使用设计模型自动生成源代码，使用测试用例和静态分析技术验证源代码，并从验证的源代码编译可执行对象代码。 如果软件规范或设计模型的分析结果不令人满意，则调整规范或设计模型以纠正任何不一致，并重复应用分析和测试用例。 公开了一种用于实现基于模型的设计和非暂时计算机可读介质的系统。
-
公开(公告)号：US08541904B2
公开(公告)日：2013-09-24
申请号：US13668660
申请日：2012-11-05
Applicant: General Electric Company
Inventor： Johannes Huber , Lembit Salasoo , Alexander Walsch , Michal-Wolfgang Waszak , Alexander Felix Fiseni , Stefan Brandhoff , Karl Kyrberg
IPC: B60L1/00
CPC classification number: H02J1/102 , H02P2201/13 , Y10T307/582 , Y10T307/707
Abstract: An apparatus includes a DC-link, a voltage converter, a bus voltage controller, and a supervisory controller. The voltage converter is configured to convert a first DC voltage into a second DC voltage based on a command signal and based on an adjustment signal and to supply the second DC voltage to the DC-link. The bus voltage controller is configured to iterate calculation of the adjustment signal to communicate each iterated calculation of the adjustment signal to the voltage converter. The supervisory controller is configured to iterate calculation of the command signal and to communicate each iterated calculation of the command signal to the voltage converter and to the bus voltage controller. A frequency of the bus voltage controller to communicate each iterated calculation of the adjustment signal is higher than a frequency of the supervisory controller to communicate each iterated calculation of the command signal.
Abstract translation: 一种装置包括直流链路，电压转换器，总线电压控制器和监控控制器。 电压转换器被配置为基于指令信号并且基于调整信号将第一直流电压转换为第二直流电压，并将第二直流电压提供给直流链路。 总线电压控制器被配置为迭代调整信号的计算，以将调节信号的每次迭代计算传送到电压转换器。 监控控制器被配置为迭代命令信号的计算，并且将命令信号的每个迭代计算传送到电压转换器和总线电压控制器。 总线电压控制器的频率通过每个迭代计算的调整信号高于监控器的频率来传达每次迭代计算的命令信号。
-
4.发明授权公开(公告)号：US10346140B2
公开(公告)日：2019-07-09
申请号：US14819167
申请日：2015-08-05
Applicant: General Electric Company
Inventor： Timothy Lee Johnson , Andrew Walter Crapo , Michael Richard Durling , Alexander Walsch , Kit Yan Siu , Luca Parolini , Panagiotis Manolios , Meng Li , Han Yu , Scott Alan Stacey , Gregory Reed Sykes
Abstract: A method for model-based design of safety-critical software is disclosed. The method includes receiving natural-language software requirements, developing a specification model by implementing either semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, auto generating requirements based and robustness test cases from the specification model, developing a design model based on the specification model, applying test cases to the design model, auto-generating source code using the design model, verifying the source code using both test cases and static analysis technology, and compiling executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory then adjusting the specification or design model to correct any inconsistency, and repeating applying the analysis and test cases. A system for implementing the model-based design and a non-transitory computer readable medium are disclosed.
-
-
-
Search Results
4
records
(took 0.011 seconds)
