A systematic approach for detecting faults in agent designs

This thesis proposes a mechanism, including automated tool support, for early-phase defect detection by comparing the plan structures of a belief-desire-intention (BDI) agent design against the following: (1) requirement models, specified in terms of scenarios and goals; and (2) agent communication models. The intuition of our approach is to extract sets of possible behaviour runs from the agent-behaviour models and to verify whether these runs conform to the specifications of the system-to-be. The proposed approach in this thesis is applicable at design time and does not require source code. Our approach is based on the Prometheus agent-design methodology but is applicable to other methodologies that support the same notions. We evaluate the proposed verification framework on designs, ranging from student projects to case studies of industry-level projects. Our evaluation demonstrates that even a simple specification developed by relatively experienced developers is prone to defects, and our approach is successful in uncovering most of these defects. In addition, we conduct a scalability analysis of our methods, and the outcomes reveal that our approach can scale when designs grow in size

Developing a distributed electronic health-record store for India

The DIGHT project is addressing the problem of building a scalable and highly available information store for the Electronic Health Records (EHRs) of the over one billion citizens of India

Strategies for Minimizing Defects in Offshore-Outsourced Products

Business leaders increasingly grapple with longer and more complex supply chain nodes wrought by the globalization of corporate manufacturing processes. The flow of outsourced materials is also more vulnerable to high-profile product-harm crises, sabotage, product defect, and recall problems. The purpose of this single case study was to explore manufacturing strategies used by business leaders of an original equipment manufacturer (OEM) in the United States to minimize the defects in offshore-outsourced products. The sample was 2 OEM business leaders who have successfully reduced the defects in offshore-manufactured products in their Michigan facility. The conceptual framework was agency theory. Data were collected from observational field notes, company records, and transcripts of open-ended interviews. Data were coded and analyzed to identify emergent themes, which included factors the OEM considered in selecting offshore suppliers, strategies for minimizing defects, validation of the effectiveness of these strategies, and the development of trust and working partnerships with offshore suppliers. Reducing defect risks from outsourced products may decrease catastrophic fatalities and financial repercussions for businesses, and simultaneously improve consumer safety and trust as implications for social change

Interim research assessment 2003-2005 - Computer Science

This report primarily serves as a source of information for the 2007 Interim Research Assessment Committee for Computer Science at the three technical universities in the Netherlands. The report also provides information for others interested in our research activities