The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Software testing plays a major role for engineering future systems that become more and more ubiquitous and also more critical for every days life. In order to fulfill the high demand, test automation is needed as a keystone. However, test automation, as it is used today, is counting on scripting and capture-and-replay and is not able to keep up with autonomous and intelligent systems. Therefore,...
Self-organising resource-flow systems typically havea high tolerance for component faults: When a component fails, the system can use another component of the same type instead. However, this redundancy is eventually exhausted: If enoughcomponents fail, they can no longer be replaced and the systemceases to function. An analysis of these self-organisation limitsis essential to assess the system's...
Recent developments in robotics are heading toward component-based architectures that are able to cope with novel challenges, e.g., increasing autonomy or human-robot-collaboration in Industry 4.0. These applications have in common that the robot system has to adapt to new situations or external disturbances and, thus, has to change or at least to adjust its current task. This development is, among...
The characteristics of self-organizing, adaptive systems (SOAS) lead to a significantly higher flexibility and robustness against an ever-changing environment. This flexibility makes it hard to test these systems adequately, which is, however, inevitable in order to assure their quality. The PhD thesis faces the following key challenges for testing SOAS: state space explosion, interleaved feedback...
Self-organizing systems present a challenge for model-based safety analysis techniques: At design time, the potential system configurations are unknown, making it necessary to postpone the safety analyses to runtime. At runtime, however, model checking based safety analysis techniques are often too time-consuming because of the large state spaces that have to be analyzed. Based on the S# framework's...
Self-organization (SO) algorithms are supposed to restructure and reconfigure the system at run-time in order to empower it to fulfill its requirements under uncertain environmental conditions. For this purpose, information about the state of the environment and the system is used in feedback loops to establish a flexible, powerful system. Consequently, the performance of the SO algorithms has a significant...
Welcome to the first edition of the Workshop on Quality Assurance for Self-adaptive, Self-organising Systems (QA4SASO 2014). Developing self-adaptive, self-organising systems that fulfil the requirements of different stakeholders is no simple matter. Quality assurance is required at each phase of the entire development process, starting from requirements elicitation, agent design, system architecture...
Knowledge about the current state of the system serves at least two purposes: it is the basis for decisions to act and adapt to ensure reliable operation and it can be used to verify the correctness of the system at runtime. Both purposes require that current information is available at runtime that can be evaluated. Thus, the system designers have to create a complex monitoring infrastructure that...
Monitoring the behaviour of autonomous evolutionary systems is a necessity to control their behaviour at runtime and react to undesired changes or developments. We propose an approach that derives observers from system requirements annotated with OCL-constraints in a model-driven way that can easily be integrated into iterative incremental design processes.
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.