Informace o projektu
Software Components in Embedded Systems: Development and Verification (Components in Embedded Systems)

Informace

Projekt nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka projektu je na webu muni.cz.

Kód projektu

GAP202/11/0312

Období řešení

3/2011 - 12/2013

Investor / Programový rámec / typ projektu

Grantová agentura ČR

Standardní projekty

Fakulta / Pracoviště MU

Fakulta informatiky

Spolupracující organizace

Univerzita Karlova

Cílem projektu je návrh metodologie pro vývoj a verifikaci komponentových systémů se zaměřením na zapouzdřené aplikace, návrh technik a nástrojů pro specifikaci a formální deskripci komponentových systémů a návrh a implementace efektivních metod pro verikaci správnosti komponentových systémů.

Publikace

Počet publikací: 42

2012

On Parallel Software Verification Using Boolean Equation Systems

ČEŠKA Milan DITTER Alexander LUTTGEN Gerald

Článek ve sborníku

SPIN Workshop on Model Checking of Software, rok: 2012
Parameter Identification and Model Ranking of Thomas Networks

KLARNER Hannes STRECK Adam ŠAFRÁNEK David KOLČÁK Juraj SIEBERT Heike

Článek ve sborníku

Computational Methods in Systems Biology: 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings, rok: 2012
Reliability analysis in component-based development via probabilistic model checking

BENEŠ Nikola BÜHNOVÁ Barbora ČERNÁ Ivana OŠLEJŠEK Radek

Článek ve sborníku

Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12), rok: 2012
Temporal Logic Control of Discrete-Time Piecewise Affine Systems

YORDANOV Boyan TŮMOVÁ Jana ČERNÁ Ivana BARNAT Jiří BELTA Calin

Článek v odborném periodiku

IEEE Transactions on Automatic Control, rok: 2012, ročník: 57, vydání: 6, DOI
Timed Automata Approach to Verification of Systems with Degradation

BARNAT Jiří ČERNÁ Ivana TŮMOVÁ Jana

Článek ve sborníku

MEMICS 2011, rok: 2012
Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs

BARNAT Jiří BERAN Jan BRIM Luboš KRATOCHVÍLA Tomáš ROČKAI Petr

Článek ve sborníku

Formal Methods for Industrial Critical Systems (FMICS 2012), rok: 2012
Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs

BARNAT Jiří BRIM Luboš ROČKAI Petr

Článek ve sborníku

NASA Formal Methods, rok: 2012
Verification of Systems with Degradation

BARNAT Jiří ČERNÁ Ivana TŮMOVÁ Jana

Článek v odborném periodiku

Computing and Informatics, rok: 2012, ročník: 31, vydání: 3

2011

CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

BENEŠ Nikola ČERNÁ Ivana KŘIVÁNEK Milan

Článek ve sborníku

Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, rok: 2011
Modal Transition Systems: Composition and LTL Model Checking

BENEŠ Nikola ČERNÁ Ivana KŘETÍNSKÝ Jan

Článek ve sborníku

ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, rok: 2011