Využití teorie systémů diskrétních událostí v metodách vývoje spolehlivého software
Cíle projektu
Hlavním cílem navrhovaného projektu je ukázat jak může teorie systémů diskrétních událostí přispět k vývoji spolehlivého software (zvláště pro reaktivní systémy) a zvýšit tak kvalitu a efektivnost vývojového procesu i jeho výsledku. Výsledky projektu zahrnují vyvinutí metody pro vývoj spolehlivého software, která bude použitelná v průmyslu, praktickou studii a příklad použití této metody a také konkrétní návrhy pro tvorbu norem vztahujících se ke spolehlivému software. Díky systémově teoretickému základu teorie systémů diskrétních událostí zlepší její kombinace s tradičními metodami návrhu software podstatně vývojový proces. Výsledky jsou důležité pro mnoho aplikačních oblastí např. avioniku, železniční systémy, jaderné elektrárny, lékařské systémy, řízení výrobních procesů a jiné systémy kritické vzhledem k bezpečnosti.
Klíčová slova
Veřejná podpora
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
—
Alternativní jazyk
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.
Vědní obory
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
(dle převodníku)10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
20204 - Robotics and automatic control
20205 - Automation and control systems
20206 - Computer hardware and architecture
Hodnocení dokončeného projektu
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
Termíny řešení
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
—
Dodání dat do CEP
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
—
Finance
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č
Základní informace
Uznané náklady
586 tis. Kč
Statní podpora
412 tis. Kč
70%
Poskytovatel
Grantová agentura České republiky
CEP
JC - Počítačový hardware a software
Doba řešení
01. 01. 1996 - 01. 01. 1998