Assessing Dependability for
Is there a Role for Software Architectures?
inverard@di.univaq.it
A traditional research direction in software architecture and dependability is to deduce system dependability properties from the knowledge of the system software architecture. This well reflects the fact that traditional systems are built by using the closed world assumption. In mobile and ubiquitous systems this line of reasoning becomes too restrictive to apply due to the inherent dynamicity and heterogeneity of the systems under consideration. Indeed these systems need to relax the closed world assumption and to consider an open world where the system/component context is not fixed. In other words the assumption that the system software architecture is known and fixed at an early stage of the system development does not apply anymore. On the contrary the ubiquitous scenario promotes the view that systems can be dynamically composed out of available components whose dependability can at most be assessed in terms of components assumptions on the system context. In this setting the software architecture can only be dynamically induced by taking into consideration the respective assumptions of the system components. The talk will illustrate this challenge and will discuss a set of possible future research directions.