| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:seeAlso
| |
| Description
| - 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)
- Myšlenka softwarových komponent již byla obecně přijata jako klíčová pro řešení rostoucí složitosti vytvářených softwarových systémů. Po letech výzkumu především na akademické půdě, softwarové komponenty jsou již přijímány IT průmyslem v nyní podporovaných vývojových platformách. Pro v praxi nasaditelné sestavování aplikací z komponent jsou ale nezbytné prostředky na ověření korektnosti takové kompozice (např. zda chování komponent je vzájemně kompatibilní). Formální metody mají silné zázemí v akademickém výzkumu, a byly již úspěšně použité v několika průmyslových projektech. Nicméně, použití formálních metod stále ještě představuje přílišnou zátěž v podobě požadavků na znalosti a schopnosti na jejich zvládnutí. Cílem tohoto projektu je navrhnout a vytvořit platformu umožňující verifikaci komponentového systému použitelnou i ve fázi vývoje, kdy je k dispozici pouze prototyp budoucího systému. Platforma bude rozšiřitelná o podporu pro nové metody, efektivněji řešící výpočetní složitost
|
| Title
| - Formal methods applicable to development of component-based systems (en)
- Formální metody prakticky použitelné pro vývoj systémů složených ze softwarových komponent
|
| skos:notation
| |
| http://linked.open...avai/cep/aktivita
| |
| http://linked.open...kovaStatniPodpora
| |
| http://linked.open...ep/celkoveNaklady
| |
| http://linked.open...datumDodatniDoRIV
| |
| http://linked.open...i/cep/druhSouteze
| |
| http://linked.open...ep/duvernostUdaju
| |
| http://linked.open.../cep/fazeProjektu
| |
| http://linked.open...ai/cep/hlavniObor
| |
| http://linked.open...hodnoceniProjektu
| |
| http://linked.open...vai/cep/kategorie
| |
| http://linked.open.../cep/klicovaSlova
| - formal methods; component-based systems; code analysis; formal verification (en)
|
| http://linked.open...ep/partnetrHlavni
| |
| http://linked.open...inujicichPrijemcu
| |
| http://linked.open...cep/pocetPrijemcu
| |
| http://linked.open...ocetSpoluPrijemcu
| |
| http://linked.open.../pocetVysledkuRIV
| |
| http://linked.open...enychVysledkuVRIV
| |
| http://linked.open...lneniVMinulemRoce
| |
| http://linked.open.../prideleniPodpory
| |
| http://linked.open...iciPoslednihoRoku
| |
| http://linked.open...atUdajeProjZameru
| |
| http://linked.open.../vavai/cep/soutez
| |
| http://linked.open...usZobrazovaneFaze
| |
| http://linked.open...ai/cep/typPojektu
| |
| http://linked.open...ep/ukonceniReseni
| |
| http://linked.open.../cep/vedlejsiObor
| |
| http://linked.open...ep/zahajeniReseni
| |
| http://linked.open...jektu+dodavatelem
| - V průběhu práce na projektu byly splněny všechny vytyčené cíle, a výsledky výzkumu byly publikovány ve sbornících mezinárodních konferencí a v mezinárodních časopisech. Zejména byl navržen hierarchický komponentový model SOFA 2, který kromě vlastností ty (cs)
- 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)
|
| http://linked.open...tniCyklusProjektu
| |
| http://linked.open.../cep/klicoveSlovo
| - formal methods
- code analysis
- component-based systems
|
| is http://linked.open...vavai/riv/projekt
of | |
| is http://linked.open...vavai/cep/projekt
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)