Prof. Ing. Tomáš Vojnar, Ph.D.

A Self-Healing Approach to Designing Complex Software Systems
Reseach leader:Křena Bohuslav
Team leaders:Kočí Radek, Vojnar Tomáš, Zbořil František
Team members:Hrubá Vendula, Letko Zdeněk, Smrčka Aleš, Vyvial Pavel
Agency:EC EU
Start:2006
End:2009
Files: 
+Type Name +Title Size Modified
icondohoda2.2006-02-10 14:21:37
iconprihlaska12.2006-02-03 13:58:53
^ Select all
With selected:
Annotation:
The goal of SHADOWS is to increase the competitiveness of the European software industry by improving the reliability of the increasingly complex software systems, which have become critical to today's business environments.

The SHADOWS project targets the problem of growing software complexity and its detrimental impact on  software reliability by introducing a new model-based paradigm for the development of self-healing  software systems. This paradigm improves the reliability of complex software systems by implementing an  innovative software solution for the automatic detection, localization, and healing of faults.

The prime deliverables of the project will be a widely applicable methodology and an integrated set of  coherent tools that provide capabilities for the self-healing of system failures during development time and  production. Our notion of system failure is broad and includes functional deviations, performance  bottlenecks, and concurrency problems. With these deliverables, we aim to achieve quantified and significant  improvements in system design productivity, system robustness, maintainability and quality, and the ability  to provide reliable services.

The SHADOWS approach extends the state-of-the-art by:

  • Developing techniques that enable self-healing of new and important problem areas for which no other approach provides a solution.
  • Targeting industrial applications, moving the self-healing paradigm from academia into the realm of the practical.
  • Integrating technologies that work at different abstraction levels and address different classes of problems.

Products

Publications

2009Hrubá Vendula, Křena Bohuslav, Vojnar Tomáš: Self-healing Assurance using Bounded Model Checking, In: Computer Aided Systems Theory - EUROCAST 2009, Berlin, DE, Springer, 2009, p. 295-303, ISBN 978-3-642-04771-8
 Hrubá Vendula, Vojnar Tomáš, Křena Bohuslav: Self-healing Assurance using Bounded Model Checking, In: Computer Aided Systems Theory, Las Palmas de Grand Canaria, ES, IUCTC, 2009, p. 99-100, ISBN 978-84-691-8502-5
 Křena Bohuslav, Letko Zdeněk, Nir-Buchbinder Yarden, Tzoref-Brill Rachel, Ur Shmuel, Vojnar Tomáš: A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing, FIT-TR-2009-01, Brno, CZ, 2009, p. 15
 Křena Bohuslav, Letko Zdeněk, Nir-Buchbinder Yarden, Tzoref-Brill Rachel, Ur Shmuel, Vojnar Tomáš: A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing, In: Runtime Verification, Berlin, DE, Springer, 2009, p. 101-114, ISBN 978-3-642-04693-3
2008Hrubá Vendula: Bounded Model Checking Using Java PathFinder, In: Proceedings of the 14th Conference STUDENT EEICT 2008, Brno, CZ, VUT v Brně, 2008, p. 247-249, ISBN 978-80-214-3615-2
 Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav: AtomRace: data race and atomicity violation detector and healer, In: PADTAD '08, Seattle, US, ACM, 2008, p. 1-10, ISBN 978-1-60558-052-4
 Letko Zdeněk: An Architecture for Self-Healing of Data Races and Atomicity Violations for Java, In: Proceedings of the 14th Conference STUDENT EEICT 2008, Brno, CZ, VUT v Brně, 2008, p. 256-258, ISBN 978-80-214-3615-2
2007Hrubá Vendula, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš: SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications, Brno, CZ, EC EU, 2007, p. 21
 Hrubá Vendula, Křena Bohuslav, Vojnar Tomáš: Using JavaPathFinder for Self-healing Assurance, In: Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science - MEMICS 2007, Znojmo, CZ, Novotny, 2007, p. 67-73, ISBN 978-80-7355-077-6
 Křena Bohuslav, Letko Zdeněk, Tzoref-Brill Rachel, Ur Shmuel, Vojnar Tomáš: Healing Data Races On-The-Fly, In: Proceedings of 5th International Workshop on Parallel and Distributed Systems: Testing and Debugging Modelling - PADTAD'07, London, GB, ACM, 2007, p. 54-64, ISBN 978-1-59593-734-6
 Křena Bohuslav, Letko Zdeněk, Tzoref-Brill Rachel, Ur Shmuel, Vojnar Tomáš: SHADOWS - Deliverable D3.2.1: Research Report on Methodology for Self-Healing Concurrent Code Fixing, Brno, CZ, EC EU, 2007, p. 13
 Letko Zdeněk: Dynamic Detection and Healing of Low Level Data Races., In: Proceedings of the 13th Conference STUDENT EEICT 2007, Brno, CZ, VUT v Brně, 2007, p. 257-259, ISBN 978-80-214-3408-0

Your IPv4 address: 107.21.186.38
Switch to IPv6 connection

DNSSEC [dnssec]