Software engineering for self-adaptive systems:research challenges in the provision of assurances

The important concern for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable and self-optimising when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip software systems with self-managing capabilities using self-adaptation mechanisms. Despite recent advances in this area, one key aspect of self-adaptive systems that remains to be tackled in depth is the provision of assurances, i.e., the collection, analysis and synthesis of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. The provision of assurances for self-adaptive systems is challenging since run-time changes introduce a high degree of uncertainty. This paper on research challenges complements previous roadmap papers on software engineering for self-adaptive systems covering a different set of topics, which are related to assurances, namely, perpetual assurances, composition and decomposition of assurances, and assurances obtained from control theory. This research challenges paper is one of the many results of the Dagstuhl Seminar 13511 on Software Engineering for Self-Adaptive Systems: Assurances which took place in December 2013

Sport, War and Democracy in Classical Athens

This article concerns the paradox of athletics in classical Athens. Democracy may have opened up politics to every class of Athenian but it had little impact on sporting participation. The city’s athletes continued to drawn predominantly from the upper class. It comes as a surprise then that lower-class Athenians actually esteemed athletes above every other group in the public eye, honoured them very generously when they won, and directed a great deal of public and private money to sporting competitions and facilities. In addition athletics escaped the otherwise persistent criticism of upper-class activities in the popular culture of the democracy. The research of social scientists on sport and aggression suggests this paradox may have been due to the cultural overlap between athletics and war under the Athenian democracy. The article concludes that the practical and ideological democratization of war by classical Athens legitimized and supported upper-class sport