Result Details

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

ŠČUGLÍK, F. Uživatelské rozhraní formální specifikace vestavěných systémů. Elektrorevue - Internetový časopis (http://www.elektrorevue.cz), 2003, roč. 2003, č. 23, 5 s. ISSN: 1213-1539.
Type
journal article
Language
Czech
Authors
Ščuglík František, Ing., Ph.D., FIT (FIT)
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.

Keywords

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

English keywords

CSP, Formal Specification, UML, diagram, compiler, Grammar

URL
Published
2003
Pages
5
Journal
Elektrorevue - Internetový časopis (http://www.elektrorevue.cz), vol. 2003, no. 23, ISSN 1213-1539
Book
ELEKTROREVUE
Place
Brno
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/"
}
Projects
Embedded Control Systems and their Inter-Communication, GACR, Standardní projekty, GA102/02/1032, start: 2002-01-01, end: 2004-12-31, completed
Research groups
Information and Database Systems Research Group (RG IS)
Departments
Department of Information Systems (DIFS)
Back to top