Dependable Digital Systems Research Group

Projects

  • 2012

    Methodologies for Fault Tolerant Systems Design Development, Implementation and Verification, MŠMT CR, LD12036, 2012-2015, completed
    Research leader: Kotásek Zdeněk
    Team leaders: Čekan Ondřej, Kaštil Jan, Kotásek Zdeněk, Krčma Martin, Mičulka Lukáš, Podivínský Jakub, Straka Martin, Strnadel Josef, Szurman Karel, Zachariášová Marcela
    Detail

  • 2011

    Manufacturable and Dependable Multicore Architectures at Nanoscale, COST, COST IC1103, 2011-2015, completed
    Research leader: Kotásek Zdeněk
    Team leaders: Kaštil Jan, Kotásek Zdeněk, Mičulka Lukáš, Straka Martin, Zachariášová Marcela
    Detail

  • 2010

    Využití moderních přístupů k vytváření číslicových systémů založených na rekonfigurovatelných architekturách, FRVŠ MŠMT, FR2348/2010/G1, 2010, completed
    Research leader: Kaštil Jan
    Team leaders: Kaštil Jan, Kotásek Zdeněk, Straka Martin
    Detail

  • 2009

    Podpora předmětů zaměřených na návrh číslicových systémů s ohledem na diagnostiku, FRVŠ MŠMT, FR2318/2009/G1, 2009, completed
    Research leader: Straka Martin
    Team leaders: Kaštil Jan, Kotásek Zdeněk, Straka Martin
    Detail

    SoC circuits reliability and availability improvement, GACR, GA102/09/1668, 2009-2011, completed
    Research leader: Kotásek Zdeněk
    Team leaders: Bartoš Pavel, Kaštil Jan, Kotásek Zdeněk, Mičulka Lukáš, Slimařík František, Straka Martin, Strnadel Josef
    Detail

  • 2006

    Test scheduling for embedded systems under power constraints, FRVŠ MŠMT, FR3383/2006/G1, 2006, completed
    Research leader: Škarvada Jaroslav
    Team leaders: Kotásek Zdeněk, Škarvada Jaroslav
    Detail

    Testing of embedded systems, FRVŠ MŠMT, FR3198/2006/G1, 2006, completed
    Research leader: Kubek Ján
    Team leaders: Kotásek Zdeněk, Kubek Ján
    Detail

  • 2005

    Evolutionary Design of Benchmark Circuits, FRVŠ MŠMT, FR3041/2005/G1, 2005, completed
    Research leader: Pečenka Tomáš
    Team leaders: Kotásek Zdeněk, Pečenka Tomáš
    Detail

    Optimizing Methods in Digital Systems Diagnosis, GACR, GP102/05/P193, 2005-2007, completed
    Research leader: Strnadel Josef
    Team leaders: Strnadel Josef
    Detail

  • 2004

    Modern Methods of Digital Systems Design, GACR, GA102/04/0737, 2004-2006, completed
    Research leader: Kotásek Zdeněk
    Team leaders: Bryan Luděk, Drábek Vladimír, Kotásek Zdeněk, Mika Daniel, Pečenka Tomáš, Růžička Richard, Sekanina Lukáš, Strnadel Josef, Tupec Pavel
    Detail

  • 2003

    Formal approach to digital circuits test scheduling, GACR, GP102/03/P176, 2003-2005, completed
    Research leader: Růžička Richard
    Team leaders: Růžička Richard
    Detail

    Evolvable hardware based applications design methods, GACR, GP102/03/P004, 2003-2005, completed
    Research leader: Sekanina Lukáš
    Team leaders: Sekanina Lukáš
    Detail

Back to top