Detail publikace

Uživatelské rozhraní formální specifikace vestavěných systémů

ŠČUGLÍK František. Uživatelské rozhraní formální specifikace vestavěných systémů. Elektrorevue - www.elektrorevue.cz, roč. 2003, č. 23, s. 5. ISSN 1213-1539.
Název anglicky
Formal Specification user interface for Embeded systems
Typ
článek v časopise
Jazyk
čeština
Autoři
Ščuglík František, Ing., Ph.D. (UIFS FIT VUT)
URL
Klíčová slova

CSP, formální specifikace, UML, diagram, překladač, gramatika

Abstrakt

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 definuje jak používanou podmnožinu jazyka CSP, tak i používané diagramy a přepisovací pravidla ze zdrojového kódu aplikace do CSP.

Rok
2003
Strany
5
Časopis
Elektrorevue - www.elektrorevue.cz, roč. 2003, č. 23, ISSN 1213-1539
Kniha
ELEKTROREVUE
Místo
Brno, CZ
BibTeX 
@ARTICLE{FITPUB7246,
   author = "Franti\v{s}ek \v{S}\v{c}ugl\'{i}k",
   title = "U\v{z}ivatelsk\'{e} rozhran\'{i} form\'{a}ln\'{i} specifikace vestav\v{e}n\'{y}ch syst\'{e}m\r{u}",
   pages = 5,
   booktitle = "ELEKTROREVUE",
   journal = "Elektrorevue - www.elektrorevue.cz",
   volume = 2003,
   number = 23,
   year = 2003,
   location = "Brno, CZ",
   ISSN = "1213-1539",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/7246"
}
Nahoru