. "1"^^ . . "GA201/06/0770" . . "http://www.isvav.cz/projectDetail.do?rowId=GA201/06/0770"^^ . "2006-01-01+01:00"^^ . "Software components have already been accepted as the key to handling the growing complexity of computer systems being built. After years of academia-driven research, software components are being adopted by the IT industry in the currently supported development platforms. Yet, to efficiently compose applications from software components, it is essential to have means to verify the correctness of their composition (e.g., to ensure that the behavior of the components is mutually compatible). Formal methods have a strong backing in academic research, and have already been successfully applied in several industrial projects. However, formal methods still impose an extreme overhead in the requirements on specialized knowledge and training to handle them. The goal of this project is to propose and develop a platform for verification of a component-based system at a time when only a prototype of the system is available. The platform will be extensible to support new methods, efficiently solving the"@en . . . . "formal methods; component-based systems; code analysis; formal verification"@en . . . "17"^^ . . "17"^^ . . . "2008-12-31+01:00"^^ . "2009-10-22+02:00"^^ . . "Formal methods applicable to development of component-based systems"@en . "2008-04-25+02:00"^^ . . . . "V pr\u016Fb\u011Bhu pr\u00E1ce na projektu byly spln\u011Bny v\u0161echny vyty\u010Den\u00E9 c\u00EDle, a v\u00FDsledky v\u00FDzkumu byly publikov\u00E1ny ve sborn\u00EDc\u00EDch mezin\u00E1rodn\u00EDch konferenc\u00ED a v mezin\u00E1rodn\u00EDch \u010Dasopisech. Zejm\u00E9na byl navr\u017Een hierarchick\u00FD komponentov\u00FD model SOFA 2, kter\u00FD krom\u011B vlastnost\u00ED ty"@cs . . . "Form\u00E1ln\u00ED metody prakticky pou\u017Eiteln\u00E9 pro v\u00FDvoj syst\u00E9m\u016F slo\u017Een\u00FDch ze softwarov\u00FDch komponent" . " code analysis" . " component-based systems" . . "My\u0161lenka softwarov\u00FDch komponent ji\u017E byla obecn\u011B p\u0159ijata jako kl\u00ED\u010Dov\u00E1 pro \u0159e\u0161en\u00ED rostouc\u00ED slo\u017Eitosti vytv\u00E1\u0159en\u00FDch softwarov\u00FDch syst\u00E9m\u016F. Po letech v\u00FDzkumu p\u0159edev\u0161\u00EDm na akademick\u00E9 p\u016Fd\u011B, softwarov\u00E9 komponenty jsou ji\u017E p\u0159ij\u00EDm\u00E1ny IT pr\u016Fmyslem v nyn\u00ED podporovan\u00FDch v\u00FDvojov\u00FDch platform\u00E1ch. Pro v praxi nasaditeln\u00E9 sestavov\u00E1n\u00ED aplikac\u00ED z komponent jsou ale nezbytn\u00E9 prost\u0159edky na ov\u011B\u0159en\u00ED korektnosti takov\u00E9 kompozice (nap\u0159. zda chov\u00E1n\u00ED komponent je vz\u00E1jemn\u011B kompatibiln\u00ED). Form\u00E1ln\u00ED metody maj\u00ED siln\u00E9 z\u00E1zem\u00ED v akademick\u00E9m v\u00FDzkumu, a byly ji\u017E \u00FAsp\u011B\u0161n\u011B pou\u017Eit\u00E9 v n\u011Bkolika pr\u016Fmyslov\u00FDch projektech. Nicm\u00E9n\u011B, pou\u017Eit\u00ED form\u00E1ln\u00EDch metod st\u00E1le je\u0161t\u011B p\u0159edstavuje p\u0159\u00EDli\u0161nou z\u00E1t\u011B\u017E v podob\u011B po\u017Eadavk\u016F na znalosti a schopnosti na jejich zvl\u00E1dnut\u00ED. C\u00EDlem tohoto projektu je navrhnout a vytvo\u0159it platformu umo\u017E\u0148uj\u00EDc\u00ED verifikaci komponentov\u00E9ho syst\u00E9mu pou\u017Eitelnou i ve f\u00E1zi v\u00FDvoje, kdy je k dispozici pouze prototyp budouc\u00EDho syst\u00E9mu. Platforma bude roz\u0161i\u0159iteln\u00E1 o podporu pro nov\u00E9 metody, efektivn\u011Bji \u0159e\u0161\u00EDc\u00ED v\u00FDpo\u010Detn\u00ED slo\u017Eitost" . "0"^^ . . "During the work on the project, all objectives were successfully fulfilled and the results were published in proceedings of international conferences and workshops. Most importantly, a new hierarchical component model called SOFA 2 has been designed and"@en . "formal methods" . "0"^^ .