Page 82 of 313
Abstract: Current industrial automation applications particularly within the smart manufacturing domain require mobility, flexibility of deployment, and scalability. In addition to these, it is important to mitigate the risk of safety hazards. In this paper we discuss a flexible, granular, and software-based system design that aims to improve both security and safety of an autonomous mobile robot (AMR) base...
Abstract: Multi-core systems are the potential enablers of the overwhelming growth of mixed criticality systems. There exist challenges to the widespread usage of multi-core in mixed criticality systems due to the non-predictive resource access timings. In this work, we present a Last Level Cache (LLC) access control mechanism, MEDIATOR that guarantees high criticality job executions without deadline misses...
Abstract: Fog computing offers a wide range of service levels including low bandwidth usage, low response time, support of heterogeneous applications, and high energy efficiency. Therefore, real-time embedded applications could potentially benefit from Fog infrastructure. However, providing high system utilization is an important challenge of Fog computing especially for processing embedded applications. In...
Abstract: Abstract Context: Teaching global software engineering is continuously evolving and improving to prepare future software engineers adequately. Geographically distributed work in project-oriented software development courses is both demanding and rewarding for student teams, who are susceptible to various risks stemming from different internal and external factors, being the sources of stress and i...
Abstract: In this paper we explain how the isolation or decoupling of actors can help in developing efficient analysis techniques. The Reactive Object Language, Rebeca, and its timed extension are introduced as actor-based languages for modeling and analyzing distributed systems. We show how floating-time transition system can be used for model checking of timed actor models when we are interested in event-...
Abstract: I will introduce timed actors for modeling distributed systems and will explain our theories, techniques and tools for model checking and performance evaluation of such models. Timed Rebeca can be used to model asynchronous event-based components in systems, and real time constraints can be captured in the language. I will explain how floating-time transition system can be used for model checking ...
Abstract: Tie strength is an essential concept in identifying different kind of social ties - strong ties and weak ties. Most present studies that evaluated tie strength from social media were carried out in a controlled environment and used private/closed social media data. Even though social media has become a very important way of networking in professional events, access to such private social media dat...
Abstract: Modern development processes and issue trackers often use the notion of features to manage a software system. Features allow communicating system characteristics across stakeholders and keeping an overview understanding---especially important for systems that exist in many different variants. However, maintaining, evolving or reusing features (e.g., propagating across variants, or integrating into...
Abstract: Modern development processes and issue trackers often use the notion of features to manage a software system. Features allow communicating system characteristics across stakeholders and keeping an overview understanding---especially important for systems that exist in many different variants. However, maintaining, evolving or reusing features (e.g., propagating across variants, or integrating into...
Abstract: Much of the research in wearable technology focuses on the primary user's experiences and interactions. However, many wearables are inherently social - even public - by nature as they are visible to nearby others. Wearables carry meanings about the wearer (e.g., lifestyle, attitudes, interests, social status). Some wearables are even designed to enable interaction between collocated users or enhan...
Page 82 of 313