Formal Specification user interface for Embeded systems

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
čeština
Original language name
Uživatelské rozhraní formální specifikace vestavěných systémů
Original language description
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.
Czech name
Uživatelské rozhraní formální specifikace vestavěných systémů
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
JC - Computer hardware and software
OECD FORD branch
—

Project
<a href="/en/project/GA102%2F02%2F1032" target="_blank" >GA102/02/1032: Embedded control systems and their inter-communication</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2003
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical
Elektrorevue - Internetový časopis (http://www.elektrorevue.cz)
ISSN
1213-1539
e-ISSN
—
Volume of the periodical
2003
Issue of the periodical within the volume
23
Country of publishing house
CZ - CZECH REPUBLIC
Number of pages
5
Pages from-to
0-4
UT code for WoS article
—
EID of the result in the Scopus database
—

Similar results(10)