Final Report Summary - SMSCOM (Self-Managing Situated Computing)
Modern society relies on software in all its critical sectors, processes and functions. If software fails to satisfy the requirements imposed on it, the consequences may be severe or even disastrous in the real world. This asks for high software dependability. At the same time, software lives in an increasingly dynamic context. Not only its requirements change continuously, but also the environment in which it is embedded changes dynamically, while the software is running and offers service. Change is indeed and endemic factor. Changes typically occur in cyber-physical systems, which interact with and control the physical environment. They also occurs in user-intensive interactive systems, where user profiles change continuously and often unpredictably. They occur in virtualized environments, where the computational context in which applications live is highly volatile and may fluctuate unexpectedly, offering changing quality of service. A very difficult challenge is to empower the software itself with the ability to self-adapt, to respond to those changes in an efficient yet dependable manner, preventing possible failures whose effect may have severe consequences in the external world.
SMScom developed a novel comprehensive methodology to engineer self-adaptive software applications, supported by automated tools and founded on formal methods that guarantee rigor and soundness, covering their entire lifetime, from development time to run time.
SMScom developed a novel comprehensive methodology to engineer self-adaptive software applications, supported by automated tools and founded on formal methods that guarantee rigor and soundness, covering their entire lifetime, from development time to run time.