In this paper we study the automation of test derivation and execution in the area of conformance testing. The test scenarios are derived from multiple specification languages: LOTOS, PROMELA and SDL. A central theme of this study is the usability of batch-oriented and on-the-fly testing approaches. To facilitate the derivation from multiple formal description techniques and the different test execution approaches, an open, generic environment called ToRX is introduced. ToRX enables plugging in existing or dedicated tools. We have carried out several experiments in testing a conference protocol, resulting in requirements on automated testing and benchmarking criteria.

No abstract

Background: Mainly due to an increase in stress-related health problems and driven by recent technological advances in biosensors, microelectronics, computing platform, and human-computer interaction, ubiquitous physiological information will potentially transform the role of biofeedback in clinical treatment. Such technology is also likely to provide a useful tool for stress management in everyday life. The aim of this systematic review is to: (1) Classify biofeedback systems for stress management, with a special focus on biosensing techniques, bio-data computing approaches, biofeedback protocol, and feedback modality. (2) Review ways of evaluating approaches to biofeedback applications in terms of their effectiveness in stress management. Method: A systematic literature search was conducted using keywords for "Biofeedback" and "Stress" within the following databases: PubMed, IEEE Xplore, ACM, and Scopus. Two independent reviewers were involved in selecting articles. Results: We identified 103 studies published between 1990 and 2016, 46 of which met our inclusion criteria and were further analyzed. Based on the evidence reviewed, HRV, multimodal biofeedback, RSP, HR, and GSR appear to be the most common techniques for alleviating stress. Traditional screen-based visual displays remain the most common devices used for biofeedback display. Biofeedback applications are usually assessed by making both physiological and psychological measurements. Conclusions: This review reveals several challenges related to biofeedback for everyday stress management, such as facilitating user's perception and interpretating the biofeedback information, the demand of ubiquitous biosensing and display technologies, and field evaluation in order to understand the use of biofeedback in everyday environments. We expect that various emerging HCI technologies could be used to address these challenges. New interaction designs as well as biofeedback paradigms can be further explored in order to improve the accessibility, usability, comfort, engagement with, and user experience of biofeedback in everyday use.

DOI to the publisher's website.• The final author version and the galley proof are versions of the publication after peer review.• The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rightsCopyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.• Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal.If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the "Taverne" license above, please follow below link for the End User Agreement:

Abstract-Critically ill new born babies admitted at the Neonatal Intensive Care Unit (NICU) are extremely tiny and vulnerable to external disturbance. Smart Jacket proposed in this paper is the vision of a wearable unobtrusive continuous monitoring system realized by body sensor networks (BSN) and wireless communication. The smart jacket aims for providing reliable health monitoring as well as a comfortable clinical environment for neonatal care and parent-child interaction. We present the first version of the neonatal jacket that enables ECG measurement by textile electrodes. We also explore a new solution for skin-contact challenges that textile electrodes pose. The jacket is expandable with new wearable technologies and has aesthetics that appeal to parents and medical staff. An iterative design process in close contact with the users and experts lead to a balanced integration of technology, user focus and aesthetics. We demonstrate the prototype and the experimental results obtained in clinical setting.