Self Managing Situated Computing

1. Formal definition of a general model of situated computing.
2. Definition of a holistic, systematic, and general approach for the design, validation, and development of situational applications.
3. Classification of different degrees of adaptability and architectural mechanisms supporting them.
4. Definition of suitable security solutions to guarantee privacy and trust for situational software systems.
5. Definition of suitable notations and languages to render all the different aspects (see next section) that pertain to situational applications. Designers must have a complete set of languages, possibly borrowed from well-known notations, to state and compose the different aspects of situational systems.
6. Release of a complete set of prototype tools to support all the different aspects identified so far. The blurred border between design and operation imposes an augmented runtime environment that addresses all the problems introduced so far.
7. Identification of test beds and example scenarios to demonstrate the innovative solutions proposed by the project.

Research results will be described in technical papers, which will be submitted to mainstream conferences and archival journals. We will also contribute to the organization of specialized international workshops focusing on the themes addressed by SMScom. Dissemination will also be achieved through tutorials presented at major international conferences and through advanced graduate courses taught at Politecnico di Milano and at Summer Graduate Schools. The software products developed by the project will be offered freely on the Web, and the most interesting ones will be promoted to real open-source projects.