Formalization of UML Profile for Safety Critical Systems

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Formalization of UML Profile for Safety Critical Systems

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

IN - Informatics

OECD FORD branch

—

Project

—

Continuities

V - Vyzkumna aktivita podporovana z jinych verejnych zdroju

Publication year

2007

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

ISBN

978-80-01-03667-9

ISSN

—

e-ISSN

—

Number of pages

2

Pages from-to

—

Publisher name

ČVUT

Place of publication

Praha

Event location

Praha

Event date

Feb 19, 2007

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

—