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:Dudka Vendula (FIT VUT), Letko Zdeněk (FIT VUT), Smrčka Aleš, Vyvial Pavel (FIT VUT)
Agency:European Comission EU
Start:2006-06-01
End:2009-07-31
Files: 
+Type Name Title Size Last 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

2010Replay Tracer & BMC, software, 2010
Authors: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš
2008Java Atomicity Violation Detector & Healer, software, 2008
Authors: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav
2007Java Race Detector & Healer, software, 2007
Authors: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav

Publications

2009DUDKA Vendula, KŘENA Bohuslav and VOJNAR Tomáš. Self-healing Assurance using Bounded Model Checking. In: Computer Aided Systems Theory - EUROCAST 2009. Berlin: Springer Verlag, 2009, pp. 295-303. ISBN 978-3-642-04771-8.
 DUDKA Vendula, VOJNAR Tomáš and KŘENA Bohuslav. Self-healing Assurance using Bounded Model Checking. In: Computer Aided Systems Theory. Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2009, pp. 99-100. ISBN 978-84-691-8502-5.
 KŘENA Bohuslav, LETKO Zdeněk, NIR-BUCHBINDER Yarden, TZOREF-BRILL Rachel, UR Shmuel and VOJNAR Tomáš. A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. In: Runtime Verification. Berlin: Springer Verlag, 2009, pp. 101-114. ISBN 978-3-642-04693-3.
 KŘENA Bohuslav, LETKO Zdeněk, NIR-BUCHBINDER Yarden, TZOREF-BRILL Rachel, UR Shmuel and VOJNAR Tomáš. A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing. FIT-TR-2009-01, Brno, 2009.
2008DUDKA Vendula. Bounded Model Checking Using Java PathFinder. In: Proceedings of the 14th Conference STUDENT EEICT 2008. Brno: Brno University of Technology, 2008, pp. 247-249. ISBN 978-80-214-3615-2.
 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: Brno University of Technology, 2008, pp. 256-258. ISBN 978-80-214-3615-2.
 LETKO Zdeněk, VOJNAR Tomáš and KŘENA Bohuslav. AtomRace: data race and atomicity violation detector and healer. In: PADTAD '08. Seattle: Association for Computing Machinery, 2008, pp. 1-10. ISBN 978-1-60558-052-4.
2007DUDKA Vendula, KŘENA Bohuslav and 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: Ing. Zdeněk Novotný, CSc., 2007, pp. 67-73. ISBN 978-80-7355-077-6.
 DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications. Brno: European Comission EU, 2007.
 KŘENA Bohuslav, LETKO Zdeněk, TZOREF-BRILL Rachel, UR Shmuel and 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: Association for Computing Machinery, 2007, pp. 54-64. ISBN 978-1-59593-734-6.
 KŘENA Bohuslav, LETKO Zdeněk, TZOREF-BRILL Rachel, UR Shmuel and VOJNAR Tomáš. SHADOWS - Deliverable D3.2.1: Research Report on Methodology for Self-Healing Concurrent Code Fixing. Brno: European Comission EU, 2007.
 LETKO Zdeněk. Dynamic Detection and Healing of Low Level Data Races. In: Proceedings of the 13th Conference STUDENT EEICT 2007. Brno: Brno University of Technology, 2007, pp. 257-259. ISBN 978-80-214-3408-0.

Your IPv4 address: 54.163.209.109
Switch to IPv6 connection

DNSSEC [dnssec]