FoCAS sponsor travel bursaries for SASO Doctoral Symposium

FoCAS is pleased to sponsor two travel bursaries for the SASO Doctoral Symposium held September 2015 in Cambridge, MA.

Ognjen Scekic

Ognjen Scekic

Ognjen Scekic is a research assistant at the Distributed Systems Group, TU Wien, Austria, where he is working towards his PhD in the area of socio-technical (hybrid) Collaborative Adaptive Systems (CAS), in the context of the EU FP7 “SmarSociety” research project. He received his M.Sc.-equivalent Dipl.-Ing. degree in Computer Science from the School of Electrical Engineering, University of Belgrade, Serbia.

Ognjen’s research focuses on incentive management and programming models for hybrid CAS. Such systems need to support complex collaborative processes (e.g., software development or predictive maintenance for Smart Cities). This presupposes deploying ad-hoc assembled teams of human and machine services that actively collaborate and communicate among each other, exchanging different artifacts and jointly processing them. Major challenges in such environments (e.g., team formation, adaptability, runtime management of data-flow and collaboration patterns) can be somewhat alleviated by delegating the responsibility and the know-how needed for these duties to the participating team members, while influencing them through appropriate incentive mechanisms (indirectly) and programming abstractions (directly). Ognjen’s existing research mostly centered on these two aspects of runtime controllability of CAS systems, resulting in the design of appropriate models and execution frameworks. During his PhD studies so far he published 8 conference and 2 journal papers on these topics. His future interests include research on “sustainable virtual careers”, transfer of reputation and trust across virtual collaborative environments, artifact-based incentive mechanisms and social machines.


Benedikt Eberhardinger

Benedikt Eberhardinger

Benedikt Eberhardinger (Augsburg University, Germany)

Abstract
Self-organization (SO) and adaptation enable systems to fulfill their goals in an ever-changing environment by reorganizing and restructuring themselves during run-time. However, this gained flexibility and robustness comes to challenges in engineering those systems. The behavior, e.g., cannot be fully specified at design-time and consequently decisions are partially moved into run-time. This makes it hard to assure that self-organizing, adaptive systems (SOAS) fulfill their functional requirements, but even more necessary to take appropriate measures. Testing is an essential part of these measures, although system properties of SOAS, like inherent nondeterministic behavior, an ever-changing environment, a high number of interacting components, and interleaving operations make a tester’s life awkward. This leads to the following key challenges for testing SOAS that are addressed in my research: In SOAS, different adaptation and SO algorithms interact with and influence the system components, possibly resulting in interleaved feedback loops. These are challenging for testing, because it is hard to get dedicated results for a single mechanisms. The considered mechanisms provide new possible error-prone system configurations that have to be applied to the existing system structure. Under certain circumstances, it is not possible to detect an invalid system configuration if only the resulting system structure is evaluated. Therefore, there is a chance of error masking. The inherent non-deterministic behavior and the ever-changing environment of SOAS not only lead to a huge state space, but also to a tremendous amount of system traces. Especially in SOAS, the latter is problematic since the order of taking particular system states is often crucial for detecting a fault. Due to the nondeterministic behavior of the tested system, there exist traces that include a faulty state but do not lead to a faulty end state that can be detected by the test oracle (special kind of error masking).


CFP ARCHIVE


Applications will be selected from successful entrants to the SASO Doctoral Symposium, with winners decided by the co-chairs and announced by mid July. Travel reimbursement up to a maximum value of 400 EUR or equivalent will be paid retrospectively after the event by FoCAS.

To be eligible an applicant must:

  • be registered as a full-time student at a higher education institution (e.g. University);
  • have successfully applied for the SASO 2015 Doctoral Symposium;
  • do research in the field of collective adaptive systems;
  • preference will go to students who are part of one of the FoCAS projects.

To apply please refer to http://http://saso2015.mit.edu/call-doctoral-symposium for applying for the SASO 2015 Doctoral Symposium.

Important dates:
Abstract Submission Deadline: June 1, 2015
Paper Submission Deadline: June 15, 2015
Notifications of Acceptance: July 3, 2015
FoCAS bursary award notification: July 15, 2015
Camera ready copy due: July 17, 2015
Conference: September 21-25, 2015