Project information
Realistic application of formal methods in component systems
- Project Identification
- 1ET400300504
- Project Period
- 1/2005 - 12/2009
- Investor / Pogramme / Project type
-
Academy of Sciences of the Czech Republic
- Information society (National programme of research)
- MU Faculty or unit
- Faculty of Informatics
- Keywords
- formal verification, behavior description, software components, component systems
- Cooperating Organization
-
Institute of Computer Science of the ASCR, v. v. i.
- Responsible person prof. Ing. František Plášil, DrSc.
- Responsible person prof. Ing. Petr Tůma, Dr.
The project supports component-based application development by combining components with formal behavior description and by designing tools for automated checking of the architecture of applications composed of components with formal behavior description. The project aims to design and implement a functional prototype of a platform for formal verification of component applications using this platform. The platform will be open to the emerging methods of formal verification and code analysis, and used to test the suitability and applicability of these methods, especially with respect to model checking. The work on the formal verification methods will focus on identifying approaches to make the existing verification tools more efficient, especially in a distributed environment.
Results
Publications
Total number of publications: 29
2007
-
Effective verification of systems with a dynamic number of components
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, year: 2007
-
Subject-observer specification with component-interaction automata
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, year: 2007
2006
-
Component Placement in Distributed Environment w.r.t. Component Interaction
Proceedings of the 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'06), year: 2006
-
Component Substitutability via Equivalencies of Component-Interaction Automata
Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'06), year: 2006
-
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering, year: 2006, volume: 31, edition: 2
-
Component-Interaction Automata Modelling Language
Year: 2006, type: R&D Presentation
-
Formal Analysis of Component-Based Systems in View of Comp. Interactions
Proceedings of the International Research Training Groups Workshop 2006, year: 2006
2005
-
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
Proceedings of SAVCBS 2005, year: 2005
-
Component-Interaction Automata for Specification and Verification of Component Interactions
IFM 2005 Doctoral Symposium on Integrated Formal Methods, year: 2005