Common Contracts

Grant agreement number: 257414 Funding Scheme: FET Proactive Project Type: Integrated Project

February 27th, 2017

• Filed
  February 27th, 2017

Autonomic systems are a tool to address increasing complexity of software systems. Their key features are so-called self-* properties, such as self-awareness, self-adaptation, self-expression, self-healing and self-management. In this work we focus on a software development life cycle that helps developers to address the issues posed by the diversity of self-* properties and by engineering adaptive behaviours. In contrast to more classical life cycles, in order to guarantee adaptivity, we rely more on the feedback of runtime data to the design phases. We illustrate how the life cycle can be instantiated using specific languages, methods and tools developed within the ASCENS project. By relying on formal approaches we are able to forecast, analyze and verify systems performance against expected behavior.