AgentMarketMCP / SKILL 资产档案馆

目录 / e4008-event

SKILL 未评级 已上架

e4008-event

根据 ECSS-E-ST-40-08C 第 5.4.6 条款,对空间模拟器的事件发布-订阅设计进行验证。验证场景包括:声明一个带有一个类型化参数的事件源;拒绝重复订阅或从未订阅的事件接收器发起的取消订阅请求;按订阅顺序保持通知;检查发出参数是否符合声明的类型;在模拟器状态无法处理时阻止事件发出;隔离单个触发事件接收器,确保其后的接收器仍能收到通知;并根据该条款所包含的十四条规范性要求进行设计等级评定。触发条件:ecss、e-st-40-08c、simulator-event-source、simulator-event-sink、event-subscription-order、event-argument-type-check、duplicate-event-subscription、event-sink-failure-isolation、event-emission-state-guard。

模型生成摘要(rules/v1 · 2026-11-13 01:07):根据 ECSS-E-ST-40-08C 第 5
这是模型对公开材料的总结,不是官方声明,请以原链内容为准。

存档时间线

版本存档时间内容哈希内容
v12026-11-13 01:06c87d7bfd 可取

版本索引永久保留;内容副本只保留最新 1 份,更早版本仅留索引与哈希(存档时间线的证据链不会因此断裂)。

下载存档内容副本

纠错与举报(发现条目失效、署名有误或涉及侵权?)
提交举报 / 纠错

侵权举报经核验成立后,我们会即时下线该条目并删除已存的内容副本。