> 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
4Multi-tolerant FPGA-based devices and systems
5Fault-tolerant and survivable distributed computing systems and networks
6Multi-version software, systems and technologies
Basic fields

  • Analysis of national and international standards requirements concerning application of diversity on development and operation of critical software and computer systems.
  • Development of theoretical base and techniques of multi-version systems modeling, assessment and design.
  • Development and implementation of verification and expertise techniques for supporting licensing processes of multi-version safety-related software and computer systems.
  • Development and implementation of tools for supporting design, verification and expertise of multi-version software and computer system.
Theoretical and practical results

  • Models and architectures of fault-tolerant multi-version systems.
  • Multi-version technologies of fault-tolerant systems development.
  • Project decisions choice technique using diversity metrics, multi-version technologies.
  • Tools for supporting development of dependable software and systems using process and product diversity.
Application areas

  • Aviation and aerospace on-board computing systems.
  • NPP I&C systems.
  • Web-services.
7Dependable Web-systems and services
8Dependable systems out of undependable components (general principles)
© 2005-2009 STC-DESSERT. All rights reserved