Project Details

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

Project Period: 1. 6. 2006 - 31. 7. 2009

Project Type: grant

Agency: European Comission EU

Program:

Type
grant
Abstract

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.
Team members
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT) , research leader
Kočí Radek, Ing., Ph.D. (UITS FIT VUT) , team leader
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , team leader
Zbořil František, doc. Ing., Ph.D. (UITS FIT VUT) , team leader
Dudka Vendula, Ing. (FIT VUT)
Letko Zdeněk, Ing. (FIT VUT)
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Vyvial Pavel, Ing. (FIT VUT)
Publications

2009

  • 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. Detail
  • 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. Lecture Notes in Computer Science, Volume 5779/2009. Berlin: Springer Verlag, 2009, pp. 101-114. ISBN 978-3-642-04693-3. Detail
  • 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. Detail
  • DUDKA Vendula, KŘENA Bohuslav and VOJNAR Tomáš. Self-healing Assurance using Bounded Model Checking. In: Computer Aided Systems Theory - EUROCAST 2009. Lecture Notes in Computer Science, vol. 5717. Berlin: Springer Verlag, 2009, pp. 295-303. ISBN 978-3-642-04771-8. Detail

2008

  • 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. Volume 2. Brno: Brno University of Technology, 2008, pp. 256-258. ISBN 978-80-214-3615-2. Detail
  • LETKO Zdeněk, VOJNAR Tomáš and KŘENA Bohuslav. AtomRace: data race and atomicity violation detector and healer. In: PADTAD '08. Proceedings of the 6th workshop on Parallel and distributed systems. Seattle: Association for Computing Machinery, 2008, pp. 1-10. ISBN 978-1-60558-052-4. Detail
  • DUDKA Vendula. Bounded Model Checking Using Java PathFinder. In: Proceedings of the 14th Conference STUDENT EEICT 2008. Volume 2. Brno: Brno University of Technology, 2008, pp. 247-249. ISBN 978-80-214-3615-2. Detail

2007

  • LETKO Zdeněk. Dynamic Detection and Healing of Low Level Data Races. In: Proceedings of the 13th Conference STUDENT EEICT 2007. Volume 2. Brno: Brno University of Technology, 2007, pp. 257-259. ISBN 978-80-214-3408-0. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • DUDKA 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. Detail
Products

2010

  • Replay Tracer & BMC, software, 2010
    Authors: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš Detail

2008

  • Java Atomicity Violation Detector & Healer, software, 2008
    Authors: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav Detail

2007

  • Java Race Detector & Healer, software, 2007
    Authors: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav Detail
Back to top