In russian

The 2 International scientific and technical conference "Dependable systems, services and technologies" will be held on the basis of "RADIY" in Kirovograd in April 24-27, 2007.

Background

Ensuring dependability of computing systems and services for critical (nuclear power plants, aerospace systems, telecommunications) and business-critical (banking systems, e-commerce) applications is one of the most important scientific and practical problems in the computer and software engineering. Now it is impossible to ensure dependability of such systems and services only due to dependability of software and hardware components. These components, as a rule, don't have dependability (reliability, safety, security, etc) characteristics enough to guarantee required system dependability. Therefore, one of the key approaches to ensuring dependability can be based on paradigm "Dependable systems out of undependable components (DSooUDC)". Its realisation is possible in three-dimension P3-space (Products, Processes, Properties) taking into account features of computer systems and networks environment and different kinds of faults (development, physical and interaction faults). Some methods and techniques based on the DSooUDS paradigm are intensively developed and used in critical and business-critical systems and services. Hence, it is important to discuss these problems and to find the ways solving of theoretical and practical problems. During DESSERT-2007 we will consolidate scientists, engineers and other specialists from Eastern Europe and other countries and conduct focused discussions aiming at identification of methodological and technological problems in dependability assessment and ensuring for different applications.

Basic topics

Conference problems relate to analysis, modelling, development, testing, verification&validation, expertise and maintenance of HW&SW components, computer and telecommunication systems and networks, web-services for critical (computer systems for NPP, aviation, airspace, medicine, transport and other systems with heightened requirements to dependability), business-critical (banking systems, telecommunication networks, e-commerce, etc.) and commercial applications with rigorous requirements to dependability (reliability, safety, integrity, confidentiality, survivability, maintainability). Topics include, but are not limited the following:

• Methodological aspects of dependable systems theory and practice. Taxonomies of dependability as integrated property of computer and telecommunication systems and networks. Development aspects of dependable systems out of undependable components. Component-based approach to development.
• Dependability analysis and assessment. Dependability and its attributes criteria, indicators and metrics. An interconnection between dependability attributes. Dependability-oriented measurement. Tools and techniques.
• Fault-tolerance as basic principle of dependability ensuring. Methods and techniques of faults forecasting, prevention, detection, localization, masking (tolerance), removal. Assessment and ensuring fault-tolerance of VLSI-architectures (microprocessor-based systems, PLD, systolic arrays, etc.) and embedded real-time systems. Modelling, analysis and development technologies of fault- and disaster-tolerance of local, corporate and global computer networks.
• Dependability of service-oriented systems. Development and implementation of dependable web-services (e-commerce, e-education, e-science, etc.) and GRID-technologies. Monitoring and dependability assessment of composite web-services (exception handling, time analysis, reliability and availability evaluation, etc.). Dependability of different infrastructures.
• Reliability and safety of software components and systems. Software reliability growth models and probabilistic methods of assessment. Metrics-oriented assessment methods. Methods and tools of modelling, reliability assessment and development technologies of fault-tolerance software.
• Multiversion technologies, systems and projects. Requirements of international and national standards concerning the use of diversity in different applications. Kinds of version redundancy and models of multiversity software and systems life cycle. Diversity metrics and methods of multiversion systems assessment. Experience of multiversion software and systems development and application.
• Checking, testing, diagnostics and verification of components, computer systems, networks and technologies. Methods and tools of modelling, detection, localisation of physical, development and interaction faults.
• Functional safety and survivability of computer-based systems of nuclear power plants, airspace systems and other critical systems. Taxonomies of functional safety and survivability. Methods and techniques of assessment and ensuring.
• Security and intrusion-tolerance of information systems. Features of development and use of modern methods and technologies of security ensuring for critical and business-critical applications. Intrusion-tolerant architectures and systems.

Publications

The full text of reports (papers) accepted by the Program Committee, passed the reviewing and formed according to the requirements will be published in the special issues of a "Radio-electronic and Computer Systems" magazine, edited by National Aerospace University "KhAI".

Deadlines

February 20, 2007	Submission of the full text reports.
March 5, 2007	Notification about including to the conference programme and reception of the reports for publication.
March 19, 2007	Registration and participation payment.
March 26, 2007	Sending of the invitations and conference programme.
April 24 - 27, 2007	Conference.

Participants' registration

There are two ways of conference participants' registration:

• Filling in the registration form on the web-site (http://www.stc-dessert.com/conf2007)
• Sending e-mail to the following address: dessert@csac.khai.edu
• E-mail should contain the following information about participant:
• 1. Full name.
• 2. Position, academic degree, academic status.
• 3. Organization, institution, enterprise.
• 4. Phone/fax number.
• 5. Postal address.
• 6. E-mail.
• 7. Participation with/without the report.
• 8. Planned topic of the report (including keywords and brief annotation).
• 9. Accommodation type (single, double, without accommodation).

Report (papers) should be sent by post: National Aerospace University "KhAI", Department of Computer Systems and Networks (503), DESSERT-2007 Steering Committee, 17, Chkalova st., Kharkiv, Ukraine, 61070. and by e-mail: dessert@csac.khai.edu

Conference Steering Committee

Chairman	V. Kharchenko, Doctor of Science, Professor, National Aerospace University "KhAI", Kharkiv, Ukraine
Co-chairman	A. Siora, Doctor of Philosophy, Research and Production Corporation "RADIY", Kirovograd, Ukraine
Co-chairman	V. Talalayev, Doctor of Philosophy, Poltava Military Institute of Communication, Ukraine
Co-chairman	V. Tarasenko, Doctor of Science, Professor, National Technical University of Ukraine "KPI", Section "Ukraine-IEEE", Kyiv, Ukraine
	W. Hasselbring, Doctor of Philosophy, Professor, University of Oldenburg, Germany
	M. Karavaj, Doctor of Science, Professor, Institute of Control Problems, Russian Academy of Science, Moscow, Russia
	A. Romanovsky, Doctor of Philosophy, Professor, University of Newcastle upon Tyne, United Kingdom

Publication requirements

Every author should give to the editors:

• Article formed according to the requirements (in the MS Word format (*.doc))
• Annotation
• Information about author(s)

Article forming requirements:

Page parameters	A4 (210 x 297 mm)
Maximum pages count	5-6
Page margins	Top and bottom - 25 mm; Left and right - 22.5 mm.
Text layout	2 columns (column interval - 5 mm)
Text align	Justify
Font	Times New Roman, 10
Line spacing	1.5
Indentation	5 mm
Figures and its captions	Align Center (without indentation)
Tables	Should be numbered and entitled
Formulas	Should be created by MS Equation editor (see additional requirements below), center aligned and numbered

All pages should be fully filled.

Requirements to formulas:

Font size
Regular	10
Large index	8
Small index	7
Large symbol	15
Small symbol	9




Font style
Style	Font family	Bold	Italic
Text	Times New Roman		+
Function	Times New Roman
Variable	Times New Roman		+
Lowercase Greek letter	Symbol
Uppercase Greek letter	Symbol
Symbol	Symbol
Matrix	Times New Roman
Numbers	Times New Roman