You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.
The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.
For the reports in this repository we specifically note that
- the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at http://www.ieee.org/web/publications/rights/copyrightpolicy.html)
- the use of articles under ACM copyright is governed by the ACM copyright policy (available at http://www.acm.org/pubs/copyright_policy/)
- technical reports and other articles issued by MÃ¤lardalen University is free for personal use. For other use, the explicit consent of the authors is required
- in other cases, please contact the copyright owner for detailed information
By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.
If you are in doubt, feel free to contact firstname.lastname@example.org
IDT Open Seminar - Predictability and Evolution in Resilient Systems
In the last decade the importance of resilience as an intrinsic
system attribute is arising in every domain of system and software
Resilience is an attribute often related to robustness, and survivability
(and by this dependability) from one side, and sustainability from other side.
Robustness and dependability are the important properties of many systems.
Such systems are traditionally analyzed and designed in a top-down manner by
defining the system boundaries, requirements and the system specifications
With a goal to achieve predictable behavior in predictable (though not necessary
known) situations. The main challenges in these types of systems occur due
To unforeseen events. For this reasons one important element of the quality
assurance process is to ensure that such events do not happen, or the
probability they can happen is minimized. The sustainability attribute on
The other hand is the capacity to endure, related to resource constraints and
maintenance of status quo of the external environment (i.e low negative
Impact in short and long terms). These characteristics are complementary and not
necessary compatible, likely to require trade-off analysis to find a
satisfactory balance.The modern paradigm of software development includes (re)use and
possible adaptation of the existing software, either in a form of
components, services, underlying platforms and infrastructure, or even complete
Software systems. The efficient development requires not only efficient mechanism
For composition of functional properties, but also extrafunctional properties.
In the concrete case, we can sate a question: Can we, and under which
assumptions, reason about resilience composition? This talk will present different
types of extrafuctional properties with respect to their compositions and
Composition assumptions. A complementary approach to composability is a top-down
approach – analysis of a system in respect to resilience. Since resilience is a
Complex property, it depends on a number of subproperties that may be easier
Analyzed and in some cases measured. The question is which are these subproperties.In this talk we shall present a method and a model for analyzing software
evolvability, one of the subcharacteristics of resilience