Detail semináře

Seminář UPSY - Lojda, J.: Automatický návrh systémů odolných proti poruchám: Dílčí komponenty

SUPSY

Místo konání
L314, CZ
Pořadatel
Typ
seminář
Přístupnost
volná
Popis

Vyšší úroveň integrace umožňuje implementovat stále složitější systémy, ale zároveň zvyšuje riziko vzniku poruchy. Riziko je možno minimalizovat použitím technik odolnosti proti poruchám a maskováním poruch. Vyšší složitost ale komplikuje vývoj takových systémů, který se do značné míry opírá o zkušenosti návrháře. Cílem našeho výzkumu je navrhnout metodu automatické konverze systémů neodolných na systémy odolné proti poruchám, která by uměla pracovat nad téměř libovolným formátem popisu. Prezentace bude věnována dvěma podstatným komponentám výzkumu automatizace návrhu systémů odolných proti poruchám: 1) vkládání redundance a 2) akceleraci vyhodnocení výsledků. Stěžejní částí bude prezentace výsledků získaných během posledního roku výzkumu.

Nahoru