Project information
Software Components in Embedded Systems: Development and Verification
(Components in Embedded Systems)
- Project Identification
- GAP202/11/0312
- Project Period
- 3/2011 - 12/2013
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Standard Projects
- MU Faculty or unit
- Faculty of Informatics
- Cooperating Organization
-
Charles University
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ů.
Publications
Total number of publications: 42
2012
-
On Parallel Software Verification Using Boolean Equation Systems
SPIN Workshop on Model Checking of Software, year: 2012
-
Parameter Identification and Model Ranking of Thomas Networks
Computational Methods in Systems Biology: 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings, year: 2012
-
Reliability analysis in component-based development via probabilistic model checking
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12), year: 2012
-
Temporal Logic Control of Discrete-Time Piecewise Affine Systems
IEEE Transactions on Automatic Control, year: 2012, volume: 57, edition: 6, DOI
-
Timed Automata Approach to Verification of Systems with Degradation
MEMICS 2011, year: 2012
-
Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs
Formal Methods for Industrial Critical Systems (FMICS 2012), year: 2012
-
Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs
NASA Formal Methods, year: 2012
-
Verification of Systems with Degradation
Computing and Informatics, year: 2012, volume: 31, edition: 3
2011
-
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, year: 2011
-
Modal Transition Systems: Composition and LTL Model Checking
ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, year: 2011