嵌入式飞行软件领域专用建模语言Synoptic的多元解释
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
摘要：
SPaCIFY项目旨在为卫星飞行软件行业带来MDE的进步，倡导建立在名为Synoptic的特定领域建模语言上的自上而下的方法。与以前的实时建模方法（如Statecharts和Simulink）一致，Synoptic的特点是在同步框图和状态机中对应用和控制模块进行分层分解。它的语义是在计算的多线程模型中描述的，这是同步语言Signal的模型。
英文摘要：
The SPaCIFY project, which aims at bringing advances in MDE to the satellite flight software industry, advocates a top-down approach built on a domain-specific modeling language named Synoptic. In line with previous approaches to real-time modeling such as Statecharts and Simulink, Synoptic features hierarchical decomposition of application and control modules in synchronous block diagrams and state machines. Its semantics is described in the polychronous model of computation, which is that of the synchronous language Signal.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
