Detail publikace

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

ŠČUGLÍK, F.

Originální název

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

Anglický název

Formal Specification user interface for Embeded systems

Typ

článek v časopise - ostatní, Jost

Jazyk

čeština

Originální 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.

Anglický abstrakt

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.

Klíčová slova

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

Klíčová slova v angličtině

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

Autoři

ŠČUGLÍK, F.

Rok RIV

2003

Vydáno

25. 6. 2003

Místo

Brno

ISSN

1213-1539

Periodikum

Elektrorevue - Internetový časopis (http://www.elektrorevue.cz)

Ročník

2003

Číslo

23

Stát

Česká republika

Strany počet

5

URL

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/"
}