How to design extended finite state machine test models in Java

This chapter is a tutorial that teaches you how to design extended finite state machine (EFSM) test models for a system that you want to test. EFSM models are more powerful and expressive than simple finite state machine (FSM) models, and are one of the most commonly used styles of models for model-based testing, especially for embedded systems. There are many languages and notations in use for writing EFSM models, but in this tutorial we write our EFSM models in the familiar Java programming language. To generate tests from these EFSM models we use ModelJUnit, which is an open-source tool that supports several stochastic test generation algorithms, and we also show how to write your own model-based testing tool. We show how EFSM models can be used for unit testing and system testing of embedded systems, and for offline testing as well as online testing.

Early adolescents’ helping behaviours when a friend is injured in a fight : the role of an extended Theory of Planned Behavior

This paper examines the role of first aid training in increasing adolescent helping behaviours when taught in a school-based injury prevention program, Skills for Preventing Injury in Youth (SPIY). The research involved the development and application of an extended Theory of Planned Behaviour (TPB), including “behavioural willingness in a fight situation,” “first aid knowledge” and “perceptions of injury seriousness”, to predict the relationship between participation in SPIY and helping behaviours when a friend is injured in a fight. From 35 Queensland high schools, 2500 Year 9 students (mean age = 13.5, 40% male) completed surveys measuring their attitudes, perceived behavioural control, subjective norms and behavioural intention, from the TPB, and added measures of behavioural willingness in a fight situation, perceptions of injury seriousness and first aid knowledge, to predict helping behaviours when a friend is injured in a fight. It is expected that the TPB will significantly contribute to understanding the relationship between participation in SPIY and helping behaviours when a friend is injured in a fight. Further analyses will determine whether the extension of the model significantly increases the variance explained in helping behaviours. The findings of this research will provide insight into the critical factors that may increase adolescent bystanders’ actions in injury situations.

Exploring the validity and predictive power of an extended volunteer functions inventory within the context of episodic skilled volunteering by retirees

The current study examined the structure of the volunteer functions inventory within a sample of older individuals (N = 187). The career items were replaced with items examining the concept of continuity of work, a potentially more useful and relevant concept for this population. Factor analysis supported a four factor solution, with values, social and continuity emerging as single factors and enhancement and protective items loading together on a single factor. Understanding items did not load highly on any factor. The values and continuity functions were the only dimensions to emerge as predictors of intention to volunteer. This research has important implications for understanding the motivation of older adults to engage in contemporary volunteering settings.

Social influences and the physical activity intentions of parents of young-children families: An extended Theory of Planned Behavior Approach

Evidence within Australia and internationally suggests parenthood as a risk factor for inactivity; however, research into understanding parental physical activity is scarce. Given that active parents can create active families and social factors are important for parents’ decision making, the authors investigated a range of social influences on parents’ intentions to be physically active. Parents (N = 580; 288 mothers and 292 fathers) of children younger than 5 years completed an extended Theory of Planned Behavior questionnaire either online or paper based. For both genders, attitude, control factors, group norms, friend general support, and an active parent identity predicted intentions, with social pressure and family support further predicting mothers’ intentions and active others further predicting fathers’ intentions. Attention to these factors and those specific to the genders may improve parents’ intentions to be physically active, thus maximizing the benefits to their own health and the healthy lifestyle practices for other family members.

Predicting the retention of first-time donors using an extended Theory of Planned Behavior

BACKGROUND: Donor retention is vital to blood collection agencies. Past research has highlighted the importance of early career behavior for long-term donor retention, yet research investigating the determinants of early donor behavior is scarce. Using an extended Theory of Planned Behavior (TPB), this study sought to identify the predictors of first-time blood donors' early career retention. STUDY DESIGN AND METHODS: First-time donors (n = 256) completed three surveys on blood donation. The standard TPB predictors and self-identity as a donor were assessed 3 weeks (Time 1) and at 4 months (Time 2) after an initial donation. Path analyses examined the utility of the extended TPB to predict redonation at 4 and 8 months after initial donation. RESULTS: The extended TPB provided a good fit to the data. Post-Time 1 and 2 behavior was consistently predicted by intention to redonate. Further, intention was predicted by attitudes, perceived control, and self-identity (Times 1 and 2). Donors' intentions to redonate at Time 1 were the strongest predictor of intention to donate at Time 2, while donors' behavior at Time 1 strengthened self-identity as a blood donor at Time 2. CONCLUSION: An extended TPB framework proved efficacious in revealing the determinants of first-time donor retention in an initial 8-month period. The results suggest that collection agencies should intervene to bolster donors' attitudes, perceived control, and identity as a donor during this crucial post–first donation period.

Testing an extended theory of planned behavior to predict young people's intentions to join a bone marrow donor registry

An extended theory of planned behavior (TPB) was used to understand the factors, particularly control perceptions and affective reactions, given conflicting findings in previous research, informing younger people's intentions to join a bone marrow registry. Participants (N  = 174) completed attitude, subjective norm, perceived behavioral control (PBC), moral norm, anticipated regret, self-identity, and intention items for registering. The extended TPB (except PBC) explained 67.2% of variance in intention. Further testing is needed as to the volitional nature of registering. Moral norm, anticipated regret, and self-identity are likely intervention targets for increasing younger people's bone marrow registry participation.

Donating blood and organs : using an extended theory of planned behavior perspective to identify similarities and differences in individual motivations to donate

Due to the critical shortage and continued need of blood and organ donations (ODs), research exploring similarities and differences in the motivational determinants of these behaviors is needed. In a sample of 258 university students, we used a cross-sectional design to test the utility of an extended theory of planned behavior (TPB) including moral norm, self-identity and in-group altruism (family/close friends and ethnic group), to predict people’s blood and OD intentions. Overall, the extended TPB explained 77.0% and 74.6% of variance in blood and OD intentions, respectively. In regression analyses, common contributors to intentions across donation contexts were attitude, self-efficacy and self-identity. Normative influences varied with subjective norm as a significant predictor related to OD intentions but not blood donation intentions at the final step of regression analyses. Moral norm did not contribute significantly to blood or OD intentions. In-group altruism (family/close friends) was significantly related to OD intentions only in regressions. Future donation strategies should increase confidence to donate, foster a perception of self as the type of person who donates blood and/or organs, and address preferences to donate organs to in-group members only.

Exenatide extended-release; clinical trials, patient preference, and economic considerations

Type 2 diabetes remains an escalating world-wide problem, despite a range of treatments. The revelation that insulin secretion is under the control of a gut hormone, glucagon-like peptide 1 (GLP-1) led to a new paradigm in the management of type 2 diabetes, medicines that directly stimulate, or that prolong the actions of the endogenous GLP-1, at its receptors. Exenatide is an agonist at the GLP-1 receptors, and was initially developed as a subcutaneous twice daily medication, ExBID. The clinical trials with ExBID established a role for exenatide in the treatment of type 2 diabetes. Subsequently, once weekly exenatide (ExQW) was shown to have advantages over ExBID, and there is now more emphasis on the development of ExQW. ExQW alone reduces glycosylated haemoglobin (HbA1c) and body weight, and is well tolerated. ExQW has been compared to sitagliptin, pioglitazone and metformin, and shown to have a greater ability to reduce HbA1c than these other medicines. The only preparation of insulin, which ExQW has been compared to, is insulin glargine, and the ExQW has some favourable properties in this comparison, notably causing weight loss, compared to the gain with insulin glargine. ExQW has been compared to another GLP-1 receptor agonist, liraglutide, and ExQW is non-inferior to liraglutide in reducing HbA1c. The small amount of evidence available, shows that subjects with type 2 diabetes, prefer ExQW to ExBID, and that adherence was high to these in the clinical trial setting. Healthcare and economic modelling suggests that ExQW will reduce diabetic complications and be cost-effective, compared to other medications, with long term use. Little is known about whether subjects with type 2 diabetes prefer ExQW to other medicines, and whether adherence is good to ExQW in practice, and these important topics require further study.

The changing motivations of students’ use of lecture podcasts across a semester: An extended theory of planned behaviour approach

We extended the previous work of Moss, O’Connor and White, to include a measure of group norms within the theory of planned behaviour (TPB), to examine the influences on students’ decisions to use lecture podcasts as part of their learning. Participants (N = 90) completed the extended TPB predictors before semester began (Time 1) and mid-semester (Time 2) and reported on their podcast use at mid-semester (Time 2) and end of semester (Time 3). We found that attitudes and perceived social pressures were important in informing intentions at both time points. At Time 1, perceptions of control over performing the behaviour and, at Time 2, perceptions of whether podcast use was normative among fellow students (group norms) also predicted intended podcast use. Intentions to use podcasting predicted self-reported use at both Time 2 and Time 3. These results provide important applied information for educators to encourage student use of novel on-line educational tools.

A sensor fault detection and isolation method in interior permanent-magnet synchronous motor drives based on an extended Kalman filter

Interior permanent-magnet synchronous motors (IPMSMs) become attractive candidates in modern hybrid electric vehicles and industrial applications. Usually, to obtain good control performance, the electric drives of this kind of motor require one position, one dc link, and at least two current sensors. Failure of any of these sensors might lead to degraded system performance or even instability. As such, sensor fault resilient control becomes a very important issue in modern drive systems. This paper proposes a novel sensor fault detection and isolation algorithm based on an extended Kalman filter. It is robust to system random noise and efficient in real-time implementation. Moreover, the proposed algorithm is compact and can detect and isolate all the sensor faults for IPMSM drives. Thorough theoretical analysis is provided, and the effectiveness of the proposed approach is proven by extensive experimental results.

An application of an extended theory of planned behaviour to understand drivers' compliance with the school zones speed limit in Australia and Malaysia

This research investigated individual and situational factors that influence driver compliance with the school zones speed limit in Australia and Malaysia. Despite all the countermeasures implemented in these two countries, driver compliance with the speed limit in school zones is still poor. The findings of the research provided support for the application of the Theory of Planned Behaviour to understand and therefore influence drivers' intention to comply with the school zones speed limit in both Australia and Malaysia. The research also revealed that mindfulness, a construct rarely used in road safety before, directly influenced Australian drivers' intention to comply, while habit influenced intention to comply in Malaysia. The research raised important theoretical and cross-cultural issues for future research and highlighted the need to increase the visibility of school zones with the use of more noticeable traffic control devices.

The extended context of career : families negotiating education and career decisions

In families, decisions about parents’ and children’s education and career require an ongoing negotiation to reconcile the goals of all family members. This paper describes a project which investigates these decisions within families experiencing whole family relocation based on one adult’s work. Semi-structured interviews were conducted with professional workers with school-aged children living in six Australian rural and remote communities. The interview sample included four doctors, 10 teachers, four nurses and nine police. This qualitative phase informed the development of an online survey of a larger sample (n¼278) of the same professional groups, which constituted a second quantitative phase of the research. This paper reports on only one aspect of the survey, that is, the participants’ recording of two previous career location moves they had undertaken and the reasons for these. The data emphasise the family project evident in this decision-making process as the respondents deal with a large range of complex individual, family and broader systems’ influences in reconciling their own careers and their children’s educational opportunities.

MiniOrb : a sensor interaction platform for indoor climate preferences [Extended Abstract]

We introduce the MiniOrb platform, a combined sensor and interaction platform built to understand and encourage the gathering of data around personal indoor climate preferences in office environments. The platform consists of a sensor device, gathering localised environmental data and an attached tangible interaction and ambient display device. This device allows users to understand their local environment and record preferences with regards to their preferred level of office comfort. In addition to the tangible device we built a web-based mobile application that allowed users to record comfort preferences through a different interface. This paper describes the design goals and technical setup of the MiniOrb platform.

Evaluating the use of ambient and tangible interaction approaches for personal indoor climate preferences [Extended Abstract]

In this paper we describe the preliminary results of a field study which evaluated the use of MiniOrb, a system that employs ambient and tangible interaction mechanisms to allow inhabitants of office environments to report on subjectively perceived office comfort levels. The purpose of this study was to explore the role of ubiquitous computing in the individual control of indoor climate and specifically answer the question to what extent ambient and tangible interaction mechanisms are suited for the task of capturing individual comfort preferences in a non-obtrusive manner. We outline the preliminary results of an in-situ trial of the system.