KOSMOS核实信息显示其兼容IMA与TSP并标注ECSS B级

经核实的信息列出了KOSMOS的状态、车辆规格和若干软件条目。这些条目包括始终激活目标、IMA与TSP兼容性、ECSS B级标注，以及多个软件分区和Zynq目标上的启动软件资格。

KOSMOS的状态被标注为始终激活目标。其车辆规格包括兼容IMA与TSP，并标注为ECSS B级。

IMA，即Integrated Modular Avionics，相关信息显示其自A380和B777起已在空客与波音飞机上实施。TSP的其他信息为Time & Space Partitionning。

软件分区方面，IOS负责共享输入/输出外设管理，MMDL负责存储管理，HSEM负责异常管理，CCSW负责指令与控制。

libPUS是一个实现星地PUS通信协议的通用库。AUTHSW负责遥指令认证与加密，OBCPSW实现星上程序，LVROOT是基于KOSMOS的示例软件。

APPDK是示例软件分区，APPDKPUS与APPDK类似并集成PUS库，CCDK是指令与控制分区的开发工具。启动软件已在Zynq目标上完成资格确认。

对跟踪月球产业的读者，这些核实条目提供了航天软件架构相关的具体事实：KOSMOS兼容IMA与TSP，并列出多个软件分区、ECSS B级标注和Zynq目标上的启动软件资格。

IMA在空客与波音飞机上的实施记录也提供了可对照的背景。这些信息可用于判断相关软件组成和资格状态，而不必依赖未提供的任务细节。