NODES 07
  NOrdic workshop and doctoral symposium on DEpendability and Security
Oslo, October 9, 2007

Many computer-based systems are in charge of critical tasks such as the management of communication infrastructures, financial and medical databases, the monitoring of nuclear plants, the flying of airplanes, etc. The ubiquity of computer-based systems implies that a high degree of reliance -- expressed by the notion of dependability -- is placed on them. Dependability encompasses such vital characteristics of the system as safety, security, correctness, and reliability. NODES 07 aims at providing a forum for researchers and practitioners interested in different aspects of dependability and security to exchange ideas and current research results. Within the workshop we also organize a doctoral symposium session to provide doctoral students with the opportunity to present their ongoing research work. The workshop is organized by the NODES (Network On DEpendable Systems) partners.

• News
  • The program of NODES 07 workshop, 9.10.2007, is available here.
  
  
• Scope

  The scope of this workshop encompasses but is not limited to:
  

  • methodologies for developing dependable systems
  • verification of software-intensive systems
  • methods and tools for system safety and fault tolerance
  • techniques for ensuring availability in presence of overloads, attacks, and failures
  • security in distributed systems, security of mobile ad-hoc networks, pervasive and grid systems
  • model-based reasoning about security, risk analysis, threat modeling, policy specification, availability analysis, trust management, and threat prevention
  • modeling real-time behaviour, reasoning about hybrid systems, and verification of complex control systems
  • models for diagnosing complex software-intensive systems and methods for analysing parallel processes
  • software correctness
  • dependability and security in domain-specific areas, such as telecommunications, transportation, business applications
  • case studies demonstrating development of dependable systems
  
  
• Important dates
  • September 10, 2007 : Submission of abstracts (workshop and doctoral symposium)
  • September 17, 2007: Notification of acceptance
  • September 25, 2007: Registration CLOSES
  • October 9, 2007: WORKSHOP
  
  
• Submissions

  Abstracts (about 1-page long) should be sent by email to Elena Troubitsyna (Elena.Troubitsyna@abo.fi) as attachments. Please indicate whether you are submitting it to the workshop or to the doctoral symposium session.

• Procedure for selection of participants

  The submitted abstracts will be accepted for presentation based on their relevance to the workshop theme. Authors of the accepted abstracts are expected to participate at the workshop and symposium and present their contributions.
  

• Publication

  The collection of the workshop abstracts will be published as a technical report at Turku Centre for Computer Science (Finland). After the workshop we are planning to publish selected papers as a book.

• Registration Information
  • Registration is done via the NWPT registration site.
  
  
• Related Events
  • NWPT 2007
  • FLACOS 2007
  
  
• Programme committee
  • Kaisa Sere, Åbo Akademi University, Finland
  • Simin Nadjm-Tehrani, Linköping University, Sweden
  • Christian Jensen, Technical University of Denmark
  • Ketil Stølen, SINTEF Research centre and University of Oslo, Norway
  • Jüri Vain, Tallin University of Technology, Estonia
  
  
• Organising committee
  • Einar Broch Johnsen, University of Oslo, Norway
  • Luigia Petre, Åbo Akademi University, Finland
  • Kaisa Sere, Åbo Akademi University, Finland
  • Elena Troubitsyna, Åbo Akademi University, Finland
  
  
• Practical information (how to get to and from the Oslo airport, how to get to the workshop venue, accomodation, tourist information)