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

[PDF] hal.science

Model-based design, analysis and synthesis for TSP multi-core space systems

C Honvault, J Hugues, C Pagetti - ERTS 2018, 2018 - hal.science
Symmetric multiprocessing (SMP) and Time and Space Partitioning (TSP) are two
complementary paradigms for the design of multi-core-based aerospace systems. They …
被引用次数：4 相关文章 所有 2 个版本