多时钟解释的Synoptic，一种嵌入式飞行软件领域特定建模语言
摘要：SPaCIFY项目：基于特定领域建模语言Synoptic的自上而下方法在卫星飞行软件行业推进MDE技术的应用。Synoptic与先前实时建模方法（如Statecharts和Simulink）相一致，采用同步块图和状态机对应用和控制模块进行层次化分解。其语义基于多时钟计算模型，即同步语言Signal。
作者：L. Besnard, T. Gautier, J. Ouy, J.-P. Talpin, J.-P. Bodeveix, A. Cortier, M. Pantel, M. Strecker, G. Garcia, A. Rugina, J. Buisson, F. Dagnat
论文ID：1003.0554
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-03-26