Integrace formálních metod do specifikačního rámce pro vestavěné systémy

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Integration of Formal Methods in a Specification Framework for Embedded Systems

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Integration of Formal Methods in a Specification Framework for Embedded Systems

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F02%2F1032" target="_blank" >GA102/02/1032: Vestavěné řídicí systémy a jejich vzájemná komunikace</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2004

Kód důvěrnosti údajů

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

Název statě ve sborníku

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

—

Počet stran výsledku

7

Strana od-do

57-63

Název nakladatele

IEEE Computer Society

Místo vydání

Stirling

Místo konání akce

Brno

Datum konání akce

26. 5. 2004

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—