Dessert 2014

[index.html] Contacts Accommodations Supporters Committees Speakers About Home Dependable Systems, Services & Technologies conference The DESSERT conference focuses on problems of dependability, security and safety at the component, system and infrastructure levels. It relates to regulation, analysis, modeling, development, verification, diagnostics and maintenance of hardware, software and human related components, computer systems, networks and infrastructures for safety critical (I&C systems of nuclear power plants and power grids, ground and boarding aviation and piloting space systems, railway automatics, computer-based health systems, etc.), mission critical (unmanned space systems, etc.) and business (banking systems, telecommunications, e-commerce, e-science, etc.) critical applications taking into account requirements to dependability including reliability, availability, safety, integrity, confidentiality, survivability, maintainability, resilience and so on. Conference History Register to DESSERT 2014: Registration Finished Conference photos: Download Payment information It is strongly recommended to provide the conference fee payment before 7 of May using following requisites: Payment requisites After payment authors are asked to send scanned copy of receipt to the following e-mail v.odarushchenko@csn.khai.edu with "DESSERT 2014 Conference Fee payment" in subject. Discounts for students/PhD students are available only if ALL authors of presented report are students/PhD students. In other cases participants of DESSERT Conference must pay fee in full. Participants from Ukraine: 700 UAH Students and PhD students: 350 UAH Participants from CIS: 80 EU Participants from other countries: 300 EU The conference fee includes: conference matherials,coffee breaks, daily lunches (Friday - Monday), buffet table (May 16), tour along the Dnieper river (May 16, 3.5 hours) The banquet is payed additionally: 200 UAH Topics Topics on the workshop agenda include, but are not limited to the following: Methodology of dependable computing and communication Dependability analysis and assessment Fault- and intrusion-tolerance of embedded and distributed systems Resilience and resilient systems Evolvability and self*-systems SoPC, SiP, FPGA-based dependable systems and technologies Dependability and security of web-, grid and cloud systems Security of banking IT-systems and services Dependability and maintainability of high performance systems Formal methods for development and verification Critical infrastructure safety, security and survivability Reliability and rejuvenation of software and software systems Dependability and safety of human-machine systems Multi-version technologies, systems and projects Ada technologies for critical applications Checking, testing, diagnostics and verification of components and systems Functional safety of I&C systems and SIL certification Safety- and Assurance-Case methodology, techniques and tools Politics, methods and techniques of information security Nuclear and energy grid safety, self-healing smart grid Green IT and safety Economic issues of reliability, safety and security University and IT-industry cooperation in critical and commercial domains Global aspects of security and safety: education, training, cooperation. Workshops The following workshops, seminars, trainings are planned to hold at the Conference: 2nd Workshop on Cloud Computing Dependability and Resilience (ClouDeR WS) 4th Workshop on Critical Infrastructure Security and Safety (CrISS WS) 2nd Workshop on Ada Technology and Language Diversity (AdaLanD WS) 3rd Workshop-training Business Analysis and Project Management for Innovative Startups in Critical Domains (BASiC WS) Seminars on TEMPUS and FP7 projects: GreenCo «Green Computing and Communication», SEREIN «Modernization of Postgraduate Studies on SEcurity and REsilience for Human and INdustry Related Domains» CABRIOLET «Model-Oriented ApproaCh And Intelligent Knowledge-Based System for Evolvable Academia-IndustRy CooperatIOn in ELEctronic and CompuTer Engineering» KhAI-ERA «KhAI Integration into European Research Area» Deadlines Publication Languages Requirements Deadlines: January 31, 2014 Start of registration March 10, 2014 Submission of the full text papers March 24, 2014 Paper acceptance notification April 16, 2014 Submission of camera-ready papers April 30, 2014 Conference program draft May 7, 2014 Participation payment, Sending the invitations (by request) May 16-19, 2014 Conference June 8, 2014 Invitation for post-conference publication Publications The full text of the reports, selected by the Program Committee, will be published before the Conference in: • Radio-Electronic and Computer Systems Journal edited by National Aerospace University "KhAI" and included into scientific databases Google Scholar, eLIBRARY.RU, Index Copernicus. Part of papers presented on the Conference will be accepted by the Program Committee for publication in: • Information & Security: An International Journal (Bulgaria, CSDM) • Information and Management Systems (Slovakia, University of Zilina) after the Conference. Languages Working languages of the Conference are English, Ukrainian and Russian. Plenary lectures will be supported by synchronous interpretation. All presentations (slides) should be prepared in English. Examples Maximum length of paper: 5 pages File format: *.doc Example of paper in English: Download Example of paper in Russian: Download