METHOD AND SYSTEM FOR IMPLEMENTING SOFTWARE REQUIREMENTS
    2.
    发明申请
    METHOD AND SYSTEM FOR IMPLEMENTING SOFTWARE REQUIREMENTS 审中-公开
    实施软件要求的方法和系统

    公开(公告)号:US20150347127A1

    公开(公告)日:2015-12-03

    申请号:US14294225

    申请日:2014-06-03

    CPC classification number: G06F8/71 G06F8/10 G06F8/35 G06F8/60 G06F11/3604

    Abstract: A method for incorporating a set of requirements into an executable program to be run on an airborne system is provided. The method obtains the set of requirements for the program in a first format. The method uses a first tool to convert the set of requirements in the first format into a second format utilizing a markup language. The method uses a second tool to convert the set of requirements in the second format into a third format that influences a behavior of the program without changing the program. The method uses a third tool to determine whether the set of requirements in the third format incorporates all of the set of requirements in the second format in order to verify the program under a compliance standard for the airborne system without performing a verification process directly on the program.

    Abstract translation: 提供了一种将一组要求并入在机载系统上运行的可执行程序中的方法。 该方法以第一种格式获得该程序的一组要求。 该方法使用第一工具来使用标记语言将第一格式的要求转换成第二格式。 该方法使用第二工具将第二格式的要求转换为影响程序行为的第三种格式,而不改变程序。 该方法使用第三种工具来确定第三种格式的要求集合是否包含第二种格式的所有要求,以便根据机载系统的合规性标准来验证程序,而不直接执行验证过程 程序。

    HIGH POWER SOLID STATE SWITCHES FOR AIRCRAFT
    5.
    发明申请
    HIGH POWER SOLID STATE SWITCHES FOR AIRCRAFT 审中-公开
    用于飞机的高功率固态开关

    公开(公告)号:US20160336754A1

    公开(公告)日:2016-11-17

    申请号:US14710676

    申请日:2015-05-13

    CPC classification number: H02J4/00 H02J3/38

    Abstract: A high power solid state power controller is provided. The power controller includes a first power bus, a second power bus, and a high power solid state switch unit electrically connected to the first power bus and the second power bus. The high power solid state switch unit includes a first solid state switch configured to operationally control power supplied between the first power bus and the second power bus and a controller configured to control the solid state switch and configured to control power supplied from the first power bus and the second power bus.

    Abstract translation: 提供了高功率固态功率控制器。 功率控制器包括电连接到第一电源总线和第二电源总线的第一电源总线,第二电源总线和大功率固态开关单元。 高功率固态开关单元包括第一固态开关,其被配置为可操作地控制在第一电力总线和第二电力总线之间供电的电力;以及控制器,被配置为控制固态开关并被配置为控制从第一电力总线 和第二个电力总线。

Patent Agency Ranking