Welcome to the homepage of the 1st International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS 2008). We are happy to inform you that the workshop will be a satellite event of ASE 2008, to be held in L'Aquila (Italy).

Download the flyer of the event.

Modern software-intensive systems are often large, continuously running applications, deployed on complex and geographically distributed environments. These systems are characterized by a high rate of changes and unexpected situations that must be dynamically and automatically handled. Changes and unexpected situations can have many sources: the need to dynamically add/remove features to accommodate new user requirements, the necessity to adapt to (physical and logical) context changes, the necessity to protect from failures and to automatically repair faults. Such needs introduce new challenges that cannot be addressed with traditional solutions; rather, they require the development of highly automated techniques. That is, automated techniques for managing, verifying and validating evolving at run-time systems, automated techniques for handling, overcoming and fixing system failures, and automated techniques for adaptation to context changes.
The evolutionary nature of modern software-intensive applications makes infeasible a standard approach to (functional and extra-functional) verification and validation. The focus must move from validating and removing faults from design time to validating and healing evolving systems at run- time. While in static systems, quality assurance tasks like verification, validation, testing, debugging and fixing can be done once and for all before deployment, for systems changing at run- time they become a perpetual activity to be performed during system execution. Changes not only take place in applications, but also in the environment. Thus, suitable techniques for automatically capturing context changes and reasoning on context information to properly adapt to changing environment must be embedded into software systems. Applying such activities in the field imposes real-time requirements on the analysis techniques associated with them.
The ARAMIS workshop will provide a forum for scientists and engineers in academia and industry to present and discuss their latest research. ARAMIS will focus on issues, challenges, and future perspectives of techniques for automated verification and validation of evolving systems, for automatic context management and for the engineering of self-healing solutions.

Submissions must be original and should not be under consideration for publication elsewhere while being evaluated for this workshop. All papers will be peer-reviewed by at least three members of the international programme committee, to be assessed in terms of their relevance to the workshop topics, scientific and presentation quality, technical soundness and innovation. All submissions must be received electronically. Workshop submissions will be prepared using the ASE 2008 Submission Guidelines and must not exceed eight (8) pages.
Informal proceedings, made electronically, will be available prior the workshop. Workshop proceedings will be published in the IEEE Digital Library. One of the authors of each accepted paper has to present the paper at the workshop.

TBD .