SPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software

J. P. Bodeviex, J. Buisson, G. Cannenterre,D. Chemouil, A. Cortier,F. Dagnat, F. Dupont, M. Filali,E. Fleury, G. Garcia,F. Herbreteau, E. Morand, J. Ouy,G. Sutre, A. Rugina, M. Streker

semanticscholar（2010）

引用 0|浏览0

暂无评分

摘要

The aim of this article is to present a modeldriven approach proposed by the SPaCIFY project for spacecraft on-board software development. This approach is based on a formal globally asynchronous locally synchronous language called Synoptic, and on a set of transformations allowing code generation and model

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要