Využití teorie systémů diskrétních událostí v metodách vývoje spolehlivého software

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

—

Hlavní účastníci

Ústav teorie informace a automatizace AV ČR, v. v. i.

Druh soutěže

—

Číslo smlouvy

—

Název projektu anglicky

Discrete event theory application in development of dependable software

Anotace anglicky

The main goal of the proposed project is to demonstrate how the discrete event system theory can contribute to the development of dependable software (especially for reactive systems) resulting in higher quality and effectiveness of both the developmentprocess and its result. The results of the project include development of an industrial-strength technique for dependable software development, case study presenting utilization of the technique, and also concrete suggestions for standardization of dependable software. Owing the system-theoretical basis of the discrete event system theory, its combination with traditional software development methods will improve considerably the development process. The results are important for many application domains e.g. avionics, railway systems, nuclear power plants, medical systems, control of manufacturing systems and other safety-critical systems.

Kategorie VaV

—

CEP - hlavní obor

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

CEP - vedlejší obor

BC - Teorie a systémy řízení

CEP - další vedlejší obor

JD - Využití počítačů, robotika a její aplikace

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>20204 - Robotics and automatic control<br>20205 - Automation and control systems<br>20206 - Computer hardware and architecture

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Konstrukce databázových protokolů pomocí metod diskrétních událostí. Výstupy: publikace, účast na konferencích. Význam projektu pro jiné obory: teoretická práce, podklad pro studium možných realizací. Drobné nedodržení pravidel v čerpání nákladů, cíle úk

Zahájení řešení

1. 1. 1996

Ukončení řešení

1. 1. 1998

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

—

Důvěrnost údajů

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

Systémové označení dodávky dat

CEP/1999/GA0/GA09GA/V/6:6

Datum dodání záznamu

—

Celkové uznané náklady

586 tis. Kč

Výše podpory ze státního rozpočtu

412 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč