• česky
  • english
Přejít na obsah | Přejít na menu

Informační systém výzkumu, experimentálního vývoje a inovací
výzkum, vývoj a inovace podporované z veřejných prostředků ČR

    • Poskytovatelé podpory ve výzkumu, vývoji a inovacích (RPO)
    • Programy výzkumu, vývoje a inovací (RPG)
    • Subjekty ve výzkumu, vývoji a inovacích (RPR)
  • Veřejné soutěže ve výzkumu, vývoji a inovacích (VES)
  • Projekty výzkumu, vývoje a inovací (CEP)
  • Výzkumné záměry (CEZ)
  • Výsledky výzkumu, vývoje a inovací (RIV)

GA102/03/0672 - Výzkum metod a nástrojů pro verifikaci odolnosti vestavěných počítačových systémů proti poruchám (2003-2005, GA0/GA)

Údaje o projektu
Identifikační kódGA102/03/0672
Důvěrnost údajůS - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
Název v původním jazyceVýzkum metod a nástrojů pro verifikaci odolnosti vestavěných počítačových systémů proti poruchám
PoskytovatelGA0 - Grantová agentura České republiky (GA ČR)
ProgramGA - Standardní projekty (1993-…)
Kategorie VaVZV - Základní výzkum
Hlavní oborJC - Počítačový hardware a software
Vedlejší oborBC - Teorie a systémy řízení
Zahájení řešení01/2003
Ukončení řešení12/2005
Zahájení poskytování účelové podpory01/2003
Ukončení poskytování účelové podpory12/2005
Poslední stav řešeníU - Ukončený projekt, tj. jednoletý nebo víceletý projekt, který skončil v předcházejícím roce, v příslušném roce sběru dat jsou dodány údaje vztahující se k jeho ukončení
Finance projektu
Období200320042005celkem
Výše podpory ze státního rozpočtu1 065 tis. Kč1 050 tis. Kč1 112 tis. Kč3 227 tis. Kč
Celkové uznané náklady1 065 tis. Kč1 050 tis. Kč1 112 tis. Kč3 227 tis. Kč
Typskutečně čerpanéskutečně čerpanéskutečně čerpané
Druh soutěžeVS - Veřejná soutěž ve výzkumu a vývoji
Veřejná soutěž ve výzkumu, vývoji a inovacíchSGA02003GA-ST - Veřejná soutěž (GA0/GA)
Cíle řešení v původním jazyceVýzkum metod a nástrojů pro verifikaci odolnosti vestavěných počítačových systémů proti poruchám Cílem projektu je navrhnout a v praxi vyzkoušet metody ověřovaní odolnosti proti poruchám, zejména v prostředí řídicích systémů určených pro vysocespolehlivé a bezpečné řízení v reálném čase. Jsou uvažovány tři vzájemně se doplňující přístupy, a to injekce poruch, analytický výpočet spolehlivostních ukazatelů a formální verifikace. Injekce poruch bude realizována programově (SWIFI) a aplikována nasimulační model, který umožňuje realizovat funkci injektoru poruch jako jeden z několika procesů spouštěných pseudoparalelně. Pro analytický výpočet bude použita metoda založená na zobecněných markovských modelech. Formální verifikace umožní vyhodnotitspecifikované vlastnosti systému prostřednictvím jeho matematického modelu a porovnat účinnost použitých metod Z tohoto porovnání lze vyvodit závěry týkající se použitelnosti zkoumaných metod (jednotlivě i v kombinacích), případně směřující k jejich
Klíčová slova v anglickém jazyceNeuvedeno.
Hodnocení výsledkůU - Uspěl podle zadání, tj. byly splněny cíle a jeho předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory
Zhodnocení výsledků řešení českyByla detailně rozpracována metodika verifikace návrhu distribuovaného počítačového systému určeného pro časově a bezpečnostně kritické aplikace počítačového řízení. Metodika využívá simulační model, jehož komponenty jsou vytvořeny na základě funkční spec
Rok dodání údajů do CEP2006
Systémové označení dodávky datCEP06-GA0-GA-U/07:6
Datum dodání záznamu15.1.2009
Účastníci projektu
Počet příjemců1
Počet dalších účastníků projektu2
Příjemce / Organizační jednotka garantující řešeníČeské vysoké učení technické v Praze / Fakulta elektrotechnická
ŘešitelProf. Ing. Pavel Tvrdík, CSc. (státní příslušnost: CZ - Česká republika)
Další účastník projektu / Organizační jednotka garantující řešeníUniverzita Karlova v Praze / Matematicko-fyzikální fakulta
ŘešitelProf. Ing. František Plášil, DrSc. (státní příslušnost: CZ - Česká republika)
Další účastník projektu / Organizační jednotka garantující řešeníZápadočeská univerzita v Plzni / Fakulta aplikovaných věd
ŘešitelProf. Ing. Jiří Šafařík, CSc. (státní příslušnost: CZ - Česká republika)
Poznámka: Finance účastníků projektu jsou sledovány od roku 2007
Výsledky projektu v RIV
Počet výsledků v RIV68
Výsledek druhu JRIV/00216208:11320/06:00002138 - Model Checking of Component Behavior Specification: A Real Life Experience (2006)
Výsledek druhu DRIV/49777513:23520/06:00000038 - Testing of juts system and construction of hybrid traffic simulation model (2006)
Výsledek druhu DRIV/49777513:23520/05:00000008 - A method for verification of software written in Java for embedded systems (2005)
Výsledek druhu DRIV/49777513:23520/05:00000161 - A method of verification for distributed embedded programs written in Java (2005)
Výsledek druhu DRIV/49777513:23520/05:00000203 - Architecture of the network for mode/based development of Java distributed applications for embedded devices (2005)
Výsledek druhu DRIV/67985807:_____/05:00031778 - Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective (2005)
Výsledek druhu DRIV/00216208:_____/05:#0000065 - Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective (2005)
Výsledek druhu JRIV/00216208:11320/05:00207528 - Behavior Protocol Verification: Fighting State Explosion (2005)
Výsledek druhu JRIV/67985807:_____/05:00031775 - Behaviout Protocols Verification: Fighting State Explosion (2005)
Výsledek druhu DRIV/68407700:21230/05:00109705 - The Common 2oo2 Safety Model for Signalling and Interlocking Equipments (2005)
Výsledek druhu DRIV/68407700:21230/05:03113458 - Dependability Computations for Fault-Tolerant System Based on FPGA (2005)
Výsledek druhu DRIV/49777513:23520/05:00000083 - Distributed simulation with J-Sim (2005)
Výsledek druhu DRIV/49777513:23520/05:00000091 - The effect of cumulative lookahead on conservative parallel simulation performance (2005)
Výsledek druhu DRIV/68407700:21230/05:03109884 - Fail-Safe System Architectures (2005)
Výsledek druhu DRIV/68407700:21230/05:03109954 - Fail-Safe System Design (2005)
Výsledek druhu DRIV/49777513:23520/05:00000201 - Heterogenous simulation systems (2005)
Výsledek druhu DRIV/68407700:21230/05:03109967 - Highly Reliable Design Based on TSC Circuits (2005)
Výsledek druhu DRIV/49777513:23520/05:00000084 - Issues in static verification of component substitutability (2005)
Výsledek druhu DRIV/67985807:_____/05:00031763 - Microcomponent-Based Component Controllers: A Foundation for Component Aspects (2005)
Výsledek druhu DRIV/00216208:11320/05:00001473 - Microcomponent-Based Component Controllers: A Foundation for Component Aspects (2005)
Výsledek druhu DRIV/68407700:21230/05:03109883 - Reconfigurable Duplex System Increasing Fault Tolerance for Circuits Based on FPGAs (2005)
Výsledek druhu DRIV/68407700:21230/05:03108298 - The Reliability and Safety Modelling for Safety Critical Application (2005)
Výsledek druhu JRIV/67985807:_____/05:00405219 - Repeated Results Analysis for Middleware Regression Benchmarking (2005)
Výsledek druhu DRIV/49777513:23520/05:00000221 - Simulation based verification of fault tolerant system (2005)
Výsledek druhu DRIV/00216208:_____/05:#0000067 - SOFAnet: Middleware for Software Distribution over Internet (2005)
Výsledek druhu DRIV/49777513:23520/05:00000154 - Verificación de las caracteristicas del diseno de aplicaciones empotradas escritas en Java usando J-Sim y serialización de hilos (2005)
Výsledek druhu DRIV/49777513:23520/04:00000169 - A model of highly dependable control application based on time triggered protocol (2004)
Výsledek druhu DRIV/67985807:_____/04:00103387 - Addresing State Explosion in Behavior Protocol Verification (2004)
Výsledek druhu VRIV/00216208:11320/04:00002740 - Addressing Heterogeneity in OMG Deployment and Configuration Based Deployment (2004)
Výsledek druhu DRIV/00216208:11320/04:00003325 - Addressing State Explosion in Behavior Protocol Verification (2004)
Výsledek druhu JRIV/49777513:23520/04:00000264 - Dependability evaluation of time triggered architecture using simulation (2004)
Výsledek druhu DRIV/00216208:11320/04:00003319 - Deriving Behavior Specifications from Textual Use Cases (2004)
Výsledek druhu DRIV/67985807:_____/04:00103388 - Distributed Versioning Model for MOF (2004)
Výsledek druhu DRIV/68407700:21230/04:03099432 - FPGA Based Design of Raiway's Interlocking Equipment (2004)
Výsledek druhu DRIV/49777513:23520/04:00000043 - From monolithic to HLA based model of a safety critical system (2004)
Výsledek druhu DRIV/00216208:11320/04:00002818 - Generic Environment for Full Automation of Benchmarking (2004)
Výsledek druhu DRIV/49777513:23520/04:00000121 - Head leading algorithm for urban traffic modeling (2004)
Výsledek druhu DRIV/49777513:23520/04:00000058 - High-level simulation of embedded systems: experiences from the FIT project (2004)
Výsledek druhu DRIV/49777513:23520/04:00000134 - Model based development of Java embedded applications (2004)
Výsledek druhu DRIV/49777513:23520/04:00000068 - Model-based comparison of architectures used for drive-by-wire car control system (2004)
Výsledek druhu DRIV/49777513:23520/04:00000211 - On distributed systems debugging (2004)
Výsledek druhu JRIV/49777513:23520/04:00000262 - Počítavový řídící systém automobilu (2004)
Výsledek druhu DRIV/67985807:_____/04:00103303 - Regression Benchmarking with Simple Middleware Benchmarks (2004)
Výsledek druhu DRIV/68407700:21230/04:03100434 - Reliability Characteristic's Computations for Railway Crossing Interlocking Equipment (2004)
Výsledek druhu DRIV/49777513:23520/04:00000065 - Simulation approach to embedded system programming and testing (2004)
Výsledek druhu JRIV/00216208:11320/04:00003298 - Specifying Component Behavior with Port State Machines (2004)
Výsledek druhu DRIV/68407700:21230/04:03102139 - Stanovení spolehlivosti a bezpečnosti pro systémy odolné a bezpečné proti poruše (2004)
Výsledek druhu DRIV/68407700:21230/04:03099264 - Survey of the Algorithms in the Column-Matching BIST Method (2004)
Výsledek druhu DRIV/49777513:23520/04:00000125 - Testing Java software for embedded devices using J-Sim and serialization of threads (2004)
Výsledek druhu DRIV/68407700:21230/04:03102186 - Using Markov Models for Evaluation of Single Event Upset in TTP/C Systems (2004)
Výsledek druhu DRIV/49777513:23520/04:00000177 - Using Markov models for evaluation of single event upsets in TTP/C systems (2004)
Výsledek druhu DRIV/49777513:23520/04:00000198 - Variable resolution modeling in interactive parallel discrete event simulation (2004)
Výsledek druhu DRIV/68407700:21230/03:03088061 - CD-A Based BIST Method (2003)
Výsledek druhu DRIV/49777513:23520/03:00000067 - C-Sim version 5.0 (2003)
Výsledek druhu DRIV/68407700:21230/03:03092667 - Design of Self Checking Circuits Based on FPGA (2003)
Výsledek druhu DRIV/49777513:23520/03:00000204 - The fault injector tool as the C-Sim component (2003)
Výsledek druhu DRIV/68407700:21230/03:03088909 - FC-Min: A Fast Multi-Output Boolean Minimizer (2003)
Výsledek druhu DRIV/67985807:_____/03:00105224 - Getting 'Whole Picture' Behavior in a Use Case Model (2003)
Výsledek druhu DRIV/68407700:21230/03:03090183 - Invar - A Benchmark Generation Tool (2003)
Výsledek druhu DRIV/68407700:21230/03:03092671 - Invar - a New Approach to EDA Benchmark Generation (2003)
Výsledek druhu DRIV/49777513:23520/03:00000203 - JUTS - J-Sim urban traffic simulator (2003)
Výsledek druhu DRIV/49777513:23520/03:00000025 - Methods in interactive parallel and distributed simulation (2003)
Výsledek druhu DRIV/68407700:21230/03:03088060 - Petri Net Models in Hardware (2003)
Výsledek druhu DRIV/49777513:23520/03:00000064 - Possibilities of C-Sim programs decomposition using components (2003)
Výsledek druhu DRIV/49777513:23520/03:00000042 - The role of simulation in dependable application development (2003)
Výsledek druhu DRIV/67985807:_____/03:00105225 - Scalable Element-Based Connectors (2003)
Výsledek druhu DRIV/49777513:23520/03:00000065 - Simulační metoda testování funkce RT programu odolného proti poruchám (2003)
Výsledek druhu DRIV/49777513:23520/03:00000122 - Simulation of temporal faults in time triggered systems (2003)
Tuto aplikaci pro Radu pro výzkum, vývoj a inovace provozuje Výpočetní a informační centrum Českého vysokého učení technického v Praze. Vyvíjí InfoScience Praha s.r.o.. Verze aplikace 1.6.15. Datové schéma ISVAV_WEB5_00318. Podpora uživatelů na e-mailové adrese podpora (zavináč) isvav (tečka) cz nebo telefonním čísle 224 234 797 (v pracovních dnech 8-16 hod.).