. . "0"^^ . . " re-certification" . "0"^^ . . "2010-04-01+02:00"^^ . "1"^^ . "0"^^ . "0"^^ . . "Multi-core" . "2013-06-28+02:00"^^ . . " certification" . . "7H10004" . " safety-critical" . "2012-03-12+01:00"^^ . . . . . "Multi-core; safety-critical; certification; re-certification; mixed-criticality"@en . "2012-12-31+01:00"^^ . . . "Hodnocen\u00ED v\u00FDsledk\u016F \u0159e\u0161en\u00E9ho projektu poskytovatel (tj. Ministerstvo \u0161kolstv\u00ED, ml\u00E1de\u017Ee a t\u011Blov\u00FDchovy) neprov\u00E1d\u00ED. \u0158e\u0161en\u00ED projektu je sou\u010D\u00E1st\u00ED \u0159e\u0161en\u00ED mezin\u00E1rodn\u00EDho projektu a hodnocen\u00ED jeho v\u00FDsledk\u016F prov\u00E1d\u00ED mezin\u00E1rodn\u00ED poskytovatel na \u00FArovni cel\u00E9ho mezin\u00E1rodn\u00EDho konsorcia \u0159e\u0161itel\u016F v souladu s p\u0159\u00EDslu\u0161n\u00FDmi krit\u00E9rii dan\u00E9ho mezin\u00E1rodn\u00EDho programu."@cs . "http://www.isvav.cz/projectDetail.do?rowId=7H10004"^^ . . . . "Reduced Certification Costs for Trusted Multi-core Platforms"@en . "The proposed RECOMP (Reduced certification cost for trusted multi-core platforms) research project will establish methods, tools and platforms for enabling cost-efficient certification and re-certification of safety-critical systems and mixed-criticality systems, i.e. systems containing safety-critical and non-safety-critical components. RECOMP recognizes the fact that the increasing processing power of embedded systems is mainly provided by increasing the number of processing cores. The increased numbers of cores is commonly regarded as a design challenge in the safety-critical area, as there are no established approaches to achieve certification. At the same time there is an increased need for flexibility in the products in the safety-critical market. This need for flexibility puts new requirements on the customization and the upgradability of both the non-safety and safety-critical critical part. The difficulty with this is the large cost in both effort and money of the re-certification of the" . . "The proposed RECOMP (Reduced certification cost for trusted multi-core platforms) research project will establish methods, tools and platforms for enabling cost-efficient certification and re-certification of safety-critical systems and mixed-criticality systems, i.e. systems containing safety-critical and non-safety-critical components. RECOMP recognizes the fact that the increasing processing power of embedded systems is mainly provided by increasing the number of processing cores. The increased numbers of cores is commonly regarded as a design challenge in the safety-critical area, as there are no established approaches to achieve certification. At the same time there is an increased need for flexibility in the products in the safety-critical market. This need for flexibility puts new requirements on the customization and the upgradability of both the non-safety and safety-critical critical part. The difficulty with this is the large cost in both effort and money of the re-certification of the"@en . . . "Reduced Certification Costs for Trusted Multi-core Platforms" . "The Ministry of Education, Youth and Sports, being the support provider, do not evaluate results of the project. The project implementation is a part of an international project implementation. The project results are evaluated by the international support provider at the level of the whole international consortia in accordance with the criteria set by the respective international programme."@en .