Formalization of UML Profile for Safety Critical Systems

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F07%3A00128912" target="_blank" >RIV/68407700:21230/07:00128912 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Formalization of UML Profile for Safety Critical Systems

Popis výsledku v původním jazyce

Unified modeling language, the currently leading specification and modeling technique used in industry, still has not widely accepted formal representation that might decrease the costs of application of formal methods, which opens the door for intensiveutilization of formal methods in workaday development of systems. Nevertheless, this seems to be a less serious problem in the case of critical systems where reliability is a very important property of the system and the portion of overall costs spent on demonstration of system's correctness is significant. The use of specialized formal specification languages and verification techniques can often bring satisfying results, and thus combination of various formal representations and verification techniques is useful.

Název v anglickém jazyce

Formalization of UML Profile for Safety Critical Systems

Popis výsledku anglicky

Unified modeling language, the currently leading specification and modeling technique used in industry, still has not widely accepted formal representation that might decrease the costs of application of formal methods, which opens the door for intensiveutilization of formal methods in workaday development of systems. Nevertheless, this seems to be a less serious problem in the case of critical systems where reliability is a very important property of the system and the portion of overall costs spent on demonstration of system's correctness is significant. The use of specialized formal specification languages and verification techniques can often bring satisfying results, and thus combination of various formal representations and verification techniques is useful.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

V - Vyzkumna aktivita podporovana z jinych verejnych zdroju

Rok uplatnění

2007

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 Workshop 2007

ISBN

978-80-01-03667-9

ISSN

—

e-ISSN

—

Počet stran výsledku

2

Strana od-do

—

Název nakladatele

ČVUT

Místo vydání

Praha

Místo konání akce

Praha

Datum konání akce

19. 2. 2007

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

EUR - Evropská akce

Kód UT WoS článku

—