Integration of Formal Methods in a Specification Framework for Embedded Systems

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F04%3APU49137" target="_blank" >RIV/00216305:26230/04:PU49137 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Integration of Formal Methods in a Specification Framework for Embedded Systems
Original language description
The contribution deals with formal methods integration in frame of a developed specification framework that aims to support object-oriented design of embedded systems. While class specification language based on a logic calculus of objects forms kernel of this framework, complementary set of tools provides a fitting user interface that enables to generate CSP specifications both from behavioral diagrams for design and from source code for reuse. To explain utilization and integration of the developed meethods and related tools, an uninterruptible power supply system provides a demonstration case study.
Czech name
Integrace formálních metod do specifikačního rámce pro vestavěné systémy
Czech description
Příspěvek pojednává o integraci formálních metod do vyvinutého specifikačního rámce zaměřeného na podporu objektově orientovaného návrhu vestavěných systémů. Jádro rámce je tvořeno třídovým specifikačním jazykem založeným na logickém kalkulu objektů. Doplňující nástroje vytvářejí vhodné uživatelské rozhraní umožňující generovat CSP specifikace jak z návrhových diagramů chování, tak ze zdrojového kódu pro opakované využití. Případová studie nepřerušitelného zdroje napájení demonstruje využití vyvinutýchmetod a nástrojů.

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
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
ISBN
1-85769-1970
ISSN
—
e-ISSN
—
Number of pages
7
Pages from-to
57-63
Publisher name
IEEE Computer Society
Place of publication
Stirling
Event location
Brno
Event date
May 26, 2004
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)