SHADOWS - A Self-Healing Approach to Designing Complex Software Systems

Hlavní řešitel:Křena Bohuslav
Spoluřešitelé:Kočí Radek, Vojnar Tomáš, Zbořil František
Další řešitelé:Dudka Vendula (FIT VUT), Letko Zdeněk (FIT VUT), Smrčka Aleš, Vyvial Pavel (FIT VUT)
Agentura:Evropská komise EU
Zahájení:2006-06-01
Ukončení:2009-07-31
Soubory: 
Anotace:
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.

Produkty

2010Nástroj pro přehrávání běhu programu (Replay Tracer & BMC), software, 2010
Autoři: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš
2008Nástroj pro detekci a opravu chyb v atomicitě programů, software, 2008
Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav
2007Nástroj pro detekci a opravu časově závislých chyb v Javě, software, 2007
Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav

Publikace

2009DUDKA Vendula, KŘENA Bohuslav a VOJNAR Tomáš. Self-healing Assurance using Bounded Model Checking. In: Computer Aided Systems Theory - EUROCAST 2009. Berlin: Springer Verlag, 2009, s. 295-303. ISBN 978-3-642-04771-8.
 DUDKA Vendula, VOJNAR Tomáš a KŘENA Bohuslav. Self-healing Assurance using Bounded Model Checking. In: Computer Aided Systems Theory. Las Palmas de Grand Canaria: Universidad de Las Palmas de Gran Canaria, 2009, s. 99-100. ISBN 978-84-691-8502-5.
 KŘENA Bohuslav, LETKO Zdeněk, NIR-BUCHBINDER Yarden, TZOREF-BRILL Rachel, UR Shmuel a VOJNAR Tomáš. A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing. FIT-TR-2009-01, Brno, 2009.
 KŘENA Bohuslav, LETKO Zdeněk, NIR-BUCHBINDER Yarden, TZOREF-BRILL Rachel, UR Shmuel a VOJNAR Tomáš. A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing. In: Runtime Verification. Berlin: Springer Verlag, 2009, s. 101-114. ISBN 978-3-642-04693-3.
2008DUDKA Vendula. Bounded Model Checking Using Java PathFinder. In: Proceedings of the 14th Conference STUDENT EEICT 2008. Brno: Vysoké učení technické v Brně, 2008, s. 247-249. ISBN 978-80-214-3615-2.
 LETKO Zdeněk, VOJNAR Tomáš a KŘENA Bohuslav. AtomRace: Data Race and Atomicity Violation Detector and Healer. In: PADTAD '08. Seattle: Association for Computing Machinery, 2008, s. 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: Vysoké učení technické v Brně, 2008, s. 256-258. ISBN 978-80-214-3615-2.
2007DUDKA Vendula, KŘENA Bohuslav a 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, s. 67-73. ISBN 978-80-7355-077-6.
 DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications. Brno: Evropská komise EU, 2007.
 KŘENA Bohuslav, LETKO Zdeněk, TZOREF-BRILL Rachel, UR Shmuel a VOJNAR Tomáš. SHADOWS - Deliverable D3.2.1: Research Report on Methodology for Self-Healing Concurrent Code Fixing. Brno: Evropská komise EU, 2007.
 KŘENA Bohuslav, LETKO Zdeněk, TZOREF-BRILL Rachel, UR Shmuel a 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, s. 54-64. ISBN 978-1-59593-734-6.
 LETKO Zdeněk. Dynamic Detection and Healing of Low Level Data Races. In: Proceedings of the 13th Conference STUDENT EEICT 2007. Brno: Vysoké učení technické v Brně, 2007, s. 257-259. ISBN 978-80-214-3408-0.