SARDAS aims to develop novel vehicles for robust design, assessment and specification to ensure availability. SARDAS approaches availability in a model-oriented manner emphasising modularity and will be oriented towards UML 2.0. Real cases in the area of telecom and e-commerce will be addressed in order to assure practicality of the approach. The added complexity introduced by dynamics and mobility is considered important for the relevance of the results.

SARDAS will deliver:

• a tool-supported UML language profile for the specification of requirements, policies and architecture of available systems;
• vehicles for model-based assessment and testing to ensure availability;
• vehicles for modular design and implementation of systems with high availability;
• results and experiences from using the resulting technologies in practise.

SARDAS is funded by the Research Council of Norway and runs from January 1, 2003 until December 31, 2006.

SARDAS is a joint initiative between:

• Department of Informatics at the University of Oslo
• SINTEF Information and Communication Technology in Oslo
• Department of Telematics at the Norwegian University of Science and Technology in Trondheim
• Ericsson Applied Research Center at Billingstad