| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:seeAlso
| |
| Description
| - Research of methods and tools for verification of embedded computer system fault tolerance. The goal of the project is to design and practically test the methods of fault tolerance verification, especially in the environment of control systems for highlyreliable and safe real-time control. Three mutually complementary approaches, namely fault injection, analytical computation of the reliability characteristics and formal verification, are considered. The fault injection will be implemented by software(SWIFI) and applied to the simulation model allowing to implement the function of the fault injector as one of several processes run in a pseudoparallel mode. For the analytical computation a method based on generalized Markov models will be used. Theformal verification will allow the specified properties of the system to be evaluated using its mathematical model and the efficiency of the methods used to be compared. From this comparison we can draw some conclusions concerning the applicability of (en)
- Vý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
|
| Title
| - Research of methods and tools for verification of embedded computer system fault tolerance (en)
- Výzkum metod a nástrojů pro verifikaci odolnosti vestavěných počítačových systémů proti poruchám
|
| skos:notation
| |
| http://linked.open...avai/cep/aktivita
| |
| http://linked.open...kovaStatniPodpora
| |
| http://linked.open...ep/celkoveNaklady
| |
| http://linked.open...datumDodatniDoRIV
| |
| http://linked.open...i/cep/druhSouteze
| |
| http://linked.open...ep/duvernostUdaju
| |
| http://linked.open.../cep/fazeProjektu
| |
| http://linked.open...ai/cep/hlavniObor
| |
| http://linked.open...hodnoceniProjektu
| |
| http://linked.open...vai/cep/kategorie
| |
| http://linked.open.../cep/klicovaSlova
| |
| http://linked.open...ep/partnetrHlavni
| |
| http://linked.open...inujicichPrijemcu
| |
| http://linked.open...cep/pocetPrijemcu
| |
| http://linked.open...ocetSpoluPrijemcu
| |
| http://linked.open.../pocetVysledkuRIV
| |
| http://linked.open...enychVysledkuVRIV
| |
| http://linked.open...okUkonceniPodpory
| |
| http://linked.open...okZahajeniPodpory
| |
| http://linked.open...iciPoslednihoRoku
| |
| http://linked.open...atUdajeProjZameru
| |
| http://linked.open.../vavai/cep/soutez
| |
| http://linked.open...usZobrazovaneFaze
| |
| http://linked.open...ai/cep/typPojektu
| |
| http://linked.open.../cep/vedlejsiObor
| |
| http://linked.open...jektu+dodavatelem
| - Byla 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 (cs)
- A detailed methodology for verification of the design of a distributed computer system for time and safety critical control applications was developed. The methodology makes use of a simulation model, components of which are based on functional specifica (en)
|
| http://linked.open...tniCyklusProjektu
| |
| is http://linked.open...vavai/riv/projekt
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)