Discrete event theory application in development of dependable software
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
—
Main participants
Ústav teorie informace a automatizace AV ČR, v. v. i.
Contest type
—
Contract ID
—
Alternative language
Project name in Czech
Využití teorie systémů diskrétních událostí v metodách vývoje spolehlivého software
Annotation in Czech
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.
Scientific branches
R&D category
—
CEP classification - main branch
JC - Computer hardware and software
CEP - secondary branch
BC - Theory and management systems
CEP - another secondary branch
JD - Use of computers, robotics and its application
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</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
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
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
Solution timeline
Realization period - beginning
Jan 1, 1996
Realization period - end
Jan 1, 1998
Project status
U - Finished project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP/1999/GA0/GA09GA/V/6:6
Data delivery date
—
Finance
Total approved costs
586 thou. CZK
Public financial support
412 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK