"978-92-9221-233-9" . "Proceedings of Data Systems in Aerospace" . "5"^^ . "SOFA High Integrity: Our Approach to SAVOIR"@en . . . . . "Istanbul" . "European Space Agency" . "21230" . . "RIV/68407700:21230/09:00157999!RIV10-MSM-21230___" . . "Hanz\u00E1lek, Zden\u011Bk" . "SOFA High Integrity: Our Approach to SAVOIR" . "SOFA High Integrity: Our Approach to SAVOIR"@en . . "Z(MSM6840770038)" . "SOFA High Integrity: Our Approach to SAVOIR" . "1609-042X" . . . . . . "RIV/68407700:21230/09:00157999" . . "342066" . "This paper presents advanced concepts of the SOFA HI component model, namely its support for reuse and modelling variability, its support for separating communication concerns from software building blocks, and options for schedulability analysis. The proposed architecture fits with the goals of SAVOIR, a recent ESA initiative to standardise space avionics."@en . "1"^^ . "2009-05-26+02:00"^^ . "Pa\u0159\u00ED\u017E" . "[2A43ECACEFF8]" . "6"^^ . . . "component model; scheduling; real-time"@en . . "This paper presents advanced concepts of the SOFA HI component model, namely its support for reuse and modelling variability, its support for separating communication concerns from software building blocks, and options for schedulability analysis. The proposed architecture fits with the goals of SAVOIR, a recent ESA initiative to standardise space avionics." .