"SOFA HI is a component model targeted at high-integrity real-time embedded systems. It features a completely new implementation of SOFA in C and with restrictions and changes that are implied by the real-time and embedded environment. The defining features of SOFA HI are its predictability, low memory footprint, support for low-level programming and deployment time synthesis of components."@en . . "Bure\u0161, Tom\u00E1\u0161" . . "RIV/00216208:11320/10:10062064" . . . . "Ho\u0161ek, Petr" . . "SOFA High Integrity" . "SOFA High Integrity" . . . "4"^^ . . . "4"^^ . "SOFA HI is a component model targeted at high-integrity real-time embedded systems. It features a completely new implementation of SOFA in C and with restrictions and changes that are implied by the real-time and embedded environment. The defining features of SOFA HI are its predictability, low memory footprint, support for low-level programming and deployment time synthesis of components." . . "Hn\u011Btynka, Petr" . "[CA92620798DC]" . "Malohlava, Michal" . "SOFA High Integrity"@en . "Z(MSM0021620838)" . "software je voln\u011B dostupn\u00FD jako opensource - p\u0159ibli\u017En\u011B 150 sta\u017Een\u00ED za 2010" . . . "RIV/00216208:11320/10:10062064!RIV11-MSM-11320___" . . . "288224" . . "11320" . "http://sofa.ow2.org/sofahi/index.html" . "SOFA-HI" . "SOFA High Integrity"@en . . . "http://sofa.ow2.org/sofahi/index.html" . . . . . "implementation; component system; SOFA; high-integrity; embedded systems"@en . .