Uživatelské rozhraní formální specifikace vestavěných systémů
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU42658" target="_blank" >RIV/00216305:26230/03:PU42658 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Uživatelské rozhraní formální specifikace vestavěných systémů
Popis výsledku v původním jazyce
Práce se zabývá návrhem uživatelských rozhraní pro podporu formálních specifikací. Popisuje dva přístupy k definování formální specifikace, prvním je využití diagramu chování systému, druhým je využití zdrojového kódu aplikace. V obou případech se jednáo návrh nástroje, který automaticky vygeneruje formální specifikaci zapsanou pomocí algebry komunikujících sekvenčních procesů. Takto zapsanou formální specifikaci je následně možné verifikovat pomocí dostupných nástrojů pro verifikaci CSP. Práce definujje jak používanou podmnožinu jazyka CSP, tak i používané diagramy a přepisovací pravidla ze zdrojového kódu aplikace do CSP.
Název v anglickém jazyce
Formal Specification user interface for Embeded systems
Popis výsledku anglicky
The contribution focuses on user interface development for formal specifications. It describes two approaches to this toppic. First utilizes behavioral diagrams, second utilizes application source code. In both cases, the developed user interface autamatically genarates systems formal specification denoted in formal language called CSP - Communicating Sequential Processes. This notation can be verified using common model checkers. The contribution describes both, the used CSP subset, and the utilized teechniques for automated CSP generation.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA102%2F02%2F1032" target="_blank" >GA102/02/1032: Vestavěné řídicí systémy a jejich vzájemná komunikace</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2003
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Elektrorevue - Internetový časopis (http://www.elektrorevue.cz)
ISSN
1213-1539
e-ISSN
—
Svazek periodika
2003
Číslo periodika v rámci svazku
23
Stát vydavatele periodika
CZ - Česká republika
Počet stran výsledku
5
Strana od-do
0-4
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—