A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs

The actor model is an attractive foundation for developing concurrent applications because actors are isolated concurrent entities that communicate through asynchronous messages and do not share state. Thereby, they avoid concurrency bugs such as data races, but are not immune to concurrency bugs in general. This study taxonomizes concurrency bugs in actor-based programs reported in literature. Furthermore, it analyzes the bugs to identify the patterns causing them as well as their observable behavior. Based on this taxonomy, we further analyze the literature and find that current approaches to static analysis and testing focus on communication deadlocks and message protocol violations. However, they do not provide solutions to identify livelocks and behavioral deadlocks. The insights obtained in this study can be used to improve debugging support for actor-based programs with new debugging techniques to identify the root cause of complex concurrency bugs.Comment: - Submitted for review - Removed section 6 "Research Roadmap for Debuggers", its content was summarized in the Future Work section - Added references for section 1, section 3, section 4.3 and section 5.1 - Updated citation

Identifying healthcare actors involved in the adoption of information systems

The adoption of information systems in healthcare is no less significant than in any other commercial or caring organisation. The literature on IS adoption in healthcare, makes it clear that the actors involved in the adoption process are almost universally seen as crucial, which matches our research results too. However, how such actors should be identified remains a topic for investigatory work since these are early days in achieving this. We derive and propose a structured method to model how actors might be identified: structured because such a rationale is explicable and such a method is more readily usable when transferred to others. Our structured method, named IGOHcaps, uses a static and then a dynamic step to pull out the individual, group, organisational and human determinants of the critical actors. In this process, the individual actors’ differing views emerge which could enable decision-making bodies to produce more robust proposals if they incorporated some of the appropriate views. We discuss the application of IGOHcaps through a hospital case study. While a single case study cannot be a proof, the engagement of the actors was encouraging

Models of technology and change in higher education: an international comparative survey on the current and future use of ICT in higher education

The aim of this study is to investigate which scenarios are emerging with respect to the use of ICT in higher education and how future developments can be predicted and strategic choices can be based on that. It seeks to answer the following questions:\ud What strategic responses do institutions make with respect to the use of ICT; Which external conditions and developments influence these choices; Which external and internal conditions and measures are taken in order to achievestrategic targets; What are the implications for technology use, teaching and learning processes and staff? \ud The study applies an international comparative methodology and is carried out in the Netherlands, Germany, Norway, the United Kingdom, Australia, Finland and the USA. Data were collected through Web-based questionnaires tailored to three different response groups: decision makers, support staff and instructors. In total 693 persons responded to the questionnaire. This implies that between 20 and 50 percent of the institutions in the various countries responded (institutional data were also gathered), with the exception of the USA where the response was much lower

System change through collaboration for wicked problems : the framework systems thinking for social change applied in practice using action research for the system of brewers spent grain handling

This research aims to investigate the design of a framework concerning wicked problems which can successfully carry out systematic change in practice. The methods used were action-based research applying Stroh's framework: Systems Thinking for Social Change to the issue of spent grain handling. Key findings from testing the framework include (1) need for an initial system overview, (2) the importance of mapping and rating the motivation, (3) the process of using the framework should not be linear, and (4) the need for a neutral philanthropic initiator and driving actor taking over the project. The new framework System Change through Collaboration for Wicked Problems was created to provide a more general approach of addressing these specific issues related to improving wicked problems. This research shows how actions for small system changes can lead to shifts in the overall system outcome. It also emphasized that more frameworks, research and practitioners of system change are needed to improve wicked problems.M-E

IEEE Standard 1500 Compliance Verification for Embedded Cores

Core-based design and reuse are the two key elements for an efficient system-on-chip (SoC) development. Unfortunately, they also introduce new challenges in SoC testing, such as core test reuse and the need of a common test infrastructure working with cores originating from different vendors. The IEEE 1500 Standard for Embedded Core Testing addresses these issues by proposing a flexible hardware test wrapper architecture for embedded cores, together with a core test language (CTL) used to describe the implemented wrapper functionalities. Several intellectual property providers have already announced IEEE Standard 1500 compliance in both existing and future design blocks. In this paper, we address the problem of guaranteeing the compliance of a wrapper architecture and its CTL description to the IEEE Standard 1500. This step is mandatory to fully trust the wrapper functionalities in applying the test sequences to the core. We present a systematic methodology to build a verification framework for IEEE Standard 1500 compliant cores, allowing core providers and/or integrators to verify the compliance of their products (sold or purchased) to the standar