NEWS

about NODES

Partners

NODES activities

Wiki

Partners

Five academic groups with expertise in the various areas of dependability are the partners supporting NODES:

· The Åbo Akademi University group concentrates on methodologies for developing safe and correct software, with a particular interest in formal methods -- the techniques for reasoning about software correctness based on precise mathematical modeling.

· The Linköping University group is actively involved in the verification of software-intensive systems, studying in particular system safety and system availability in presence of overloads, attacks, and failures.

· The Technical University of Denmark group is working in the area of security in distributed systems, with a particular interest on pervasive computing, mobile ad-hoc networks, and grid systems.

· The SINTEF Research centre and University of Oslo group concentrates on model-based reasoning about security, with specific focus on risk analysis, threat modeling, policy specification, availability analysis, trust management, and threat prevention.

· The Tallin University of Technology group focuses on modeling real-time behaviour, on reasoning about hybrid systems, and on the verification of complex control systems.

 

Tallin University of TechnologySINTEF

NODES - Network on Dependable Systems
University of OsloÅbo Akademi UniversityLinköping universityTechnical University of Denmark

 While the NODES project is formally closed, the partners have decided to continue their cooperation on several directions, which will be published in the webpage as they become public knowledge. We have devised a small logo promoting the term NÅDES, where N stands fro Norway, Å for Åbo Akademi University, D for Denmark, E fro Estonia, and S for Sweden.