In russian
Third International Scientific-Technical Conference "Dependable systems, services and technologies" will be held in Kirovograd on the basis of "RADIY" on April 23-26, 2008.
 Conference Fee
| Ukraine: | |
| Ñitizens: | - 200 UAH. |
| PhD students: | - 75 UAH. |
| Students: | - 50 UAH. |
| Russia: | |
| Ñitizens: | - 1500 RUB. |
| PhD students: | - 600 RUB. |
| Students: | - 300 RUB. |
| Foreigners: | |
| Ñitizens: | - 150 EUR. |
| PhD students: | - 75 EUR. |
| Students: | - 75 EUR. |
Foreign participants can pay an organizational payment on a place.
Background
In spite of serious researches and developments the problem of ensuring computer-based system dependability continues one of the most important scientific and practical problems for critical (nuclear power plants, aerospace systems, telecommunications) and business-critical (banking IT, e-health, e-commerce) applications, service-oriented systems, infrastructure 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-2008 we are planning to 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 atomic stations, aviation, airspace, medicine, transport, power and other systems with heightened requirements to dependability), business-critical (banking systems, telecommunication networks, e-commerce, e-science, 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. Taxonomies of dependability as integrated property of computer and telecommunication systems and networks. Detailing of “Development of dependable systems out of undependable components” paradigm. Component-based development of dependable systems.
- Dependability analysis and assessment. Dependability and its attributes criteria, indicators and metrics. An analysis of the 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 and infrastructures. 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 data mining systems. Methods of modelling, assessment and improvement of infrastructures dependability.
- Reliability of software components and complex software systems. Software reliability growth models and probabilistic methods of assessment. Metrics-oriented assessment methods. Methods and tools of modelling, reliability assessment. Development technologies of fault-tolerance software. Component-based (COTS-based) safety- and mission-critical software systems.
- Dependability of human-machine systems. Modelling, assessment and development of human-machine systems for critical applications (aviation, power systems, etc.)
- Multi-version technologies, systems and projects. Requirements of international and national standards concerning use of diversity in different applications. Kinds of version redundancy and models of multiversity software and systems life cycle. Diversity metrics and methods of multi-version systems assessment. Experience of multi-version 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, design and interaction faults.
- Functional safety of computer-based systems for nuclear power plants, airspace systems and other critical systems. Taxonomy, methods and techniques of functional safety assessment and ensuring.
- Survivability of complex computer-based systems. Modelling, assessment and development of survivable systems and networks. Multilevel degradation and removal of complex systems. Decision-making systems for survivable infrastructures.
- 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 report annotations selected by the Program Committee will be published as extended conference proceedings. The full text of reports (articles) formed according to the requirements and passed the reviewing will be published in the Conference Proceedings and special issue of a “Radio-electronic and computer systems” magazine, edited by National Aerospace University “KhAI”.
Languages
Working languages of the conference are English, Ukrainian and Russian.
Deadlines
November 26, 2007 | Preliminary submission and registration of requests for participation. Submission of abstracts. |
| January 21, 2008 | Registration and submission of the full text reports. Prolonged to February 15, 2008 |
| February 25, 2008 | Notification about including to the conference programme and reception of the reports for publication. |
| March 9, 2008 | Registration and participation payment. |
| April 8, 2008 | Sending of the invitations and conference programme. |
| April 23 - 26, 2008 | 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/conf2008)
- 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-2008 Steering Committee, 17, Chkalova st., Kharkiv, Ukraine, 61070.
and by e-mail: dessert@csac.khai.edu
|
