University of Oslo
Åbo Akademi University
Linköping university
Technical University of Denmark
SINTEF
Tallinn University of Technology
Nordforsk

NODES 09

NOrdic workshop and doctoral symposium on DEpendability and Security

 

Linköping, Sweden, April 27, 2009

With our growing reliance on software, the total societal costs of its failure are hard to underestimate. Software is in the heart of many critical infrastructures such as transportation, avionics, energy production, telecommunications, healthcare, finances etc. Dependability is a degree of reliance, which we can justifiably put on software-intensive systems. Dependability encompasses such system characteristics as safety, reliability, availability, security etc. NODES 09 aims at providing a forum for researchers and practitioners interested in different aspects of dependability and security to exchange ideas and current research results. A special theme of NODES 09 is a discussion of perspectives of establishing and coordinating Nordic programs on dependability. We invite research experience reports as well as position papers. 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 as a satellite event to CRIS2009.

  • 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 behavior, 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
    • April 10, 2009: Submission of extended abstracts (workshop and doctoral symposium)
    • April 17, 2009: Notification of acceptance
    • April 20, 2009: Registration CLOSES
    • April 27, 2007: WORKSHOP
  • Submissions

Extended abstracts (up to 10-page long) should be sent by email to cris2009@ida.liu.se as attachments. Please write “NODES submission” as subject and indicate whether you are submitting it to the workshop or to the doctoral symposium session.

  • Principles for Choosing Contributions

The submitted abstracts will be evaluated by the programme committee and chosen for presentation based on their contribution and relevance to the topics of the workshop. The 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 Linköping University. A selection of papers will be considered for publication after the workshop to some well-reputed journal.

  • Registration Information
    • Registration is done via the CRIS2009 registration site.
    • Participation fee is EUR 80.
  • Programme Committee
    • Kaisa Sere, Åbo Akademi University, Finland
    • Simin Nadjm-Tehrani, Linköping University, Sweden
    • Christian Damsgaard Jensen, Technical University of Denmark
    • Ketil Stølen, SINTEF Research centre and University of Oslo, Norway
    • Jüri Vain, Tallinn University of Technology, Estonia
  • Organizers
    • Luigia Petre, Åbo Akademi University, Finland
    • Kaisa Sere, Åbo Akademi University, Finland
    • Simin Nadjm-Tehrani, Linköping University, Sweden
  • Location