Přístupnostní navigace
E-application
Search Search Close
Publication detail
ŠČUGLÍK, F.
Original Title
Uživatelské rozhraní formální specifikace vestavěných systémů
English Title
Formal Specification user interface for Embeded systems
Type
journal article - other
Language
Czech
Original Abstract
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.
English abstract
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 techniques for automated CSP generation.
Keywords
CSP, formální specifikace, UML, diagram, překladač, gramatika
Key words in English
CSP, Formal Specification, UML, diagram, compiler, Grammar
Authors
RIV year
2003
Released
25. 6. 2003
Location
Brno
ISBN
1213-1539
Periodical
Elektrorevue - Internetový časopis (http://www.elektrorevue.cz)
Year of study
Number
23
State
Czech Republic
Pages count
5
URL
http://www.elektrorevue.cz/clanky/03023/
BibTex
@article{BUT41996, author="František {Ščuglík}", title="Uživatelské rozhraní formální specifikace vestavěných systémů", journal="Elektrorevue - Internetový časopis (http://www.elektrorevue.cz)", year="2003", volume="2003", number="23", pages="5", issn="1213-1539", url="http://www.elektrorevue.cz/clanky/03023/" }