BENEŠ, Nikola, Ivana ČERNÁ, Jiří SOCHOR, Pavlína MORAVCOVÁ VAŘEKOVÁ a Barbora BÜHNOVÁ. A Case Study in Parallel Verification of Component-Based Systems. Electronic Notes in Theoretical Computer Science. Neuveden: Elsevier, 2008, roč. 220, č. 2, s. 67-83, 16 s. ISSN 1571-0661.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název A Case Study in Parallel Verification of Component-Based Systems
Název česky Případová studie paralelní verifikace komponentových systémů
Autoři BENEŠ, Nikola (203 Česká republika, domácí), Ivana ČERNÁ (203 Česká republika, domácí), Jiří SOCHOR (203 Česká republika, domácí), Pavlína MORAVCOVÁ VAŘEKOVÁ (203 Česká republika, domácí) a Barbora BÜHNOVÁ (203 Česká republika, garant, domácí).
Vydání Electronic Notes in Theoretical Computer Science, Neuveden, Elsevier, 2008, 1571-0661.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Maďarsko
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/08:00024171
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky Component-based systems; formal verification; parallel model checking
Štítky Component-based systems, formal verification, parallel model checking
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: RNDr. Nikola Beneš, Ph.D., učo 72525. Změněno: 24. 10. 2013 16:19.
Anotace
In large component-based systems, the applicability of formal verification techniques to check interaction correctness among components is becoming challenging due to the concurrency of a large number of components. In our approach, we employ parallel LTL-like model checking to handle the size of the model. We present the results of the actual application of the technique to the verification of a complex model of a real system created within the CoCoME Modelling Contest. In this case study, we check the validity of the model and the correctness of the system via checking various temporal properties. We concentrate on the component-specific properties, like local deadlocks of components, and correctness of given use-case scenarios.
Anotace česky
Článek prezentuje výsledky aplikace paralelní verifikace na ověření korektnosti interakce mezi komponentami ve skutečném komponentovém systému definovaném v rámci CoCoME Modelling Contest. V prezentované případové studii se věnujeme jak ověření správnosti modelu, tak i kontrole správnosti systému prostřednictvím verifikace různých temporálních vlastností.
Návaznosti
MSM0021622419, záměrNázev: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
1ET400300504, projekt VaVNázev: Realistická aplikace formálních metod v komponentových systémech
Investor: Akademie věd ČR, Informační společnost (Národní program výzkumu)
1ET408050503, projekt VaVNázev: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Akademie věd ČR, Informační společnost (Národní program výzkumu)
Typ Název Vložil/a Vloženo Práva
A Case Study in Parallel Verification of Component-Based Systems   Verze souboru Černá, I. 3. 6. 2011

Vlastnosti

Název
A Case Study in Parallel Verification of Component-Based Systems
Adresa v ISu
https://is.muni.cz/auth/publication/762866/pdmc08_coin.pdf
Adresa ze světa
https://is.muni.cz/publication/762866/pdmc08_coin.pdf
Adresa do Správce
https://is.muni.cz/auth/publication/762866/pdmc08_coin.pdf?info
Ze světa do Správce
https://is.muni.cz/publication/762866/pdmc08_coin.pdf?info
Vloženo
Pá 3. 6. 2011 13:56, prof. RNDr. Ivana Černá, CSc.

Práva

Právo číst
  • kdokoliv v Internetu
Právo vkládat
 
Právo spravovat
  • osoba prof. RNDr. Ivana Černá, CSc., učo 1419
  • osoba prof. Ing. Jiří Sochor, CSc., učo 2446
  • osoba doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394
  • osoba Mgr. et Mgr. Pavlína Moravcová Vařeková, učo 4042
  • osoba RNDr. Nikola Beneš, Ph.D., učo 72525
Atributy
 

pdmc08_coin.pdf

Aplikace
Otevřít soubor.
Stáhnout soubor.
Adresa v ISu
https://is.muni.cz/auth/publication/762866/pdmc08_coin.pdf
Adresa ze světa
http://is.muni.cz/publication/762866/pdmc08_coin.pdf
Typ souboru
PDF (application/pdf)
Velikost
322,4 KB
Hash md5
3e9f77aa0ffac18a14f95866e340f779
Vloženo
Pá 3. 6. 2011 13:56

pdmc08_coin.txt

Aplikace
Otevřít soubor.
Stáhnout soubor.
Adresa v ISu
https://is.muni.cz/auth/publication/762866/pdmc08_coin.txt
Adresa ze světa
http://is.muni.cz/publication/762866/pdmc08_coin.txt
Typ souboru
holý text (text/plain)
Velikost
36,6 KB
Hash md5
ffc34d07264ca128b1db4fcdb672c8de
Vloženo
Pá 3. 6. 2011 14:07
PDMC08.pdf   Verze souboru Beneš, N. 14. 12. 2012

Práva

Právo číst
 
Právo vkládat
 
Právo spravovat
  • osoba prof. RNDr. Ivana Černá, CSc., učo 1419
  • osoba prof. Ing. Jiří Sochor, CSc., učo 2446
  • osoba doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394
  • osoba Mgr. et Mgr. Pavlína Moravcová Vařeková, učo 4042
  • osoba RNDr. Nikola Beneš, Ph.D., učo 72525
Atributy
 
Vytisknout
Požádat autora o autorský výtisk
Nahlásit neoprávněně vložený soubor Zobrazeno: 13. 6. 2021 07:56