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

Areas:
1Normative regulation and expertise analysis of critical software & systems
Basic fields

  • Systematization and analysis of national and international normative documents requirements to software, development and verification of critical software.
  • Development of techniques for creating normative profiles for critical software.
  • Development of software verification models and expertise techniques.
  • Development and implementation of tools for supporting verification and examination of software compliance to requirements.
Theoretical and practical results

  • Taxonomy analysis technique and technologies of profiling software requirements.
  • Tools for software reliability assessment, supporting expertise and independent verification.
  • Standards and branch regulative documents for critical software and I&C development and expertise.
  • Methods and tools for supporting independent verification and expertise of critical software.
Application areas

  • Aviation and space computing systems.
  • NPP I&C 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
7Dependable Web-systems and services
8Dependable systems out of undependable components (general principles)
© 2005-2009 STC-DESSERT. All rights reserved