> Home Page   > Areas   > Staff   > Publications   > Seminars   > News   >  Dessert-club   > Conference history  > DESSERT 2010 

Areas:
1Normative regulation and expertise analysis of critical software & systems
2System security ensuring techniques
3Software quality and reliability assessment
Basic fields

  • Analysis and profiling of software quality models, development of quality assessment techniques.
  • Classification of software reliability growth models (SRGM) and analysis of application features for critical software.
  • Development of the SRGMs database and tools for their choice.
  • Development of the techniques for SRGMs choice, complexing and fitting, and software reliability assessment verification using assumptions set and statistic information.
Theoretical and practical results

  • SRGMs database for software reliability assessment.
  • Technique of software reliability assessment (choice, complexing and synthesis SRGMs).
  • Tools of the analysis, choice, fitting and verification of the software reliability models on development and expertise.
  • Metrics-probabilistic assessment technique and tools using SRGMs and kiviat (radial metrics)-diagrams operations.
Application areas

  • Aviation and space computing systems.
  • NPP I&C systems.
  • Business-critical applications.
4Multi-tolerant FPGA-based devices and systems
5Fault-tolerant and survivable distributed computing systems and networks
6Multi-version software, systems and technologies
7Dependable Web-systems and services
8Dependable systems out of undependable components (general principles)
© 2005-2009 STC-DESSERT. All rights reserved