Stepwise refinement of interrupt-driven real-time programs

Embedded real-time programs rely on external interrupts to respond to events in their physical environment in a timely fashion. Formal program verification theories, such as the refinement calculus, are intended for development of sequential, block-structured code and do not allow for asynchronous control constructs such as interrupt service routines. In this article we extend the refinement calculus to support formal development of interrupt-dependent programs. To do this we: use a timed semantics, to support reasoning about the occurrence of interrupts within bounded time intervals; introduce a restricted form of concurrency, to model composition of interrupt service routines with the main program they may preempt; introduce a semantics for shared variables, to model contention for variables accessed by both interrupt service routines and the main program; and use real-time scheduling theory to discharge timing requirements on interruptible program code.

Unleashed : roadshow finale 2010 exhibition

This exhibition, as part of the Queensland Government Unlimited: Designing for the Asia Pacific Program, showcased the unleashed: queensland design on tour 2010 Exhibition and outcomes from the aligned goDesign Travelling Workshop Program for Regional Secondary School Students, delivered concurrently by the Design Institute of Australia Queensland Branch and QUT, between February and September 2010 in the six regional Queensland towns of Chinchilla, Mt Isa, Quilpie, Emerald, Gladstone and Bundaberg. Mirroring the delivery of the exhibition opening in the local gallery of each regional town, student design work produced during the workshop program was displayed alongside the award winning work of professional visual communication, interior and product designers and design students from the DIA qdos Awards Program of 2008 and 2009. The resulting linkages and connections made possible by the aligned programs, and the students’ creative product, based on their own interpretation of the local culture, environment, economy and politics of their town developed through a design process, were the subject of the exhibition, captured through photos and dialogues (digital and print format) and sketchbooks. The two programs and resulting final ‘retrospective’ exhibition, addressed the key objectives outlined in the Queensland Government Arts Queensland Design Strategy 2020 (2008-2012 Action plan), which focuses on the promotion of a better understanding of the value of good design across all of the state, by enhancing the collaboration between industry, the professional body for design, the government and the education sectors, and by providing opportunities for young people to engage in design. The exhibition highlighted the benefits for regional communities in being exposed to design exhibitions, and linking with tertiary educators and design practitioners to participate in design-based learning activities which broaden student understanding of their learning and subsequent career opportunities, by establishing a meaningful connection with real world issues of place, identity and sustainability.

Learning by design workshop

The Learning by Design Workshop Program 2010, a part of the Queensland Government Unlimited: Designing for the Asia Pacific Event Program, was a one-day professional development design thinking workshop run on October 9, 2011 at The Edge, State Library of Queensland for self-selected public and private secondary school teachers from the subject areas of Visual Art, Graphics and Industrial Technology and Design. Participants were drawn from a database of Brisbane and regional Queensland schools from the goDesign and Living City Workshop Programs. It aimed to generate leadership within schools for design-led education and creative thinking and give teachers a rare opportunity to work with professional designers to generate future strategies for design-based learning. Teachers were introduced to the concept of design thinking in education by international keynote speakers CJ Lim (Studio 8 Architects) and Jeb Brugmann (The Next Practice), national speaker Oliver Freeman (NevilleFreeman Agency) and three Queensland speakers, Alexander Loterztain, David Williams and Keith Holledge. Inspired by the Unlimited showcase exhibition Make Change: Design Thinking in Action and ‘Idea Starters’/teaching resources provided, teachers worked with a professional designer (from a discipline of architecture, interior design, industrial design, urban design, graphic design or landscape architecture) in ten random teams, to generate optimistic ideas for the Ideal City of tomorrow, each considering a theme – Food, Water, Transport, Ageing, Growth, Employment, Shelter, Health, Education and Energy. They then discussed how this process could be best activated and expanded on to build interest and knowledge in design thinking in the classroom. Assisted by illustrators, the teams prepared a visual presentation of their ideas and process from art materials provided. The workshop culminated in a video-taped interactive design charette to the larger group, which is intended to be utilised as a toolkit and praxis for teachers as part of the State Library of Queensland Design Minds Website Project.

Generation workshop 2010

The Generation Workshop Program 2010, a part of the Queensland Government Unlimited: Designing for the Asia Pacific Event Program, consisted of two one-day intensive design thinking workshops run on October 7-8, 2011 at The Edge, State Library of Queensland, for 100 senior secondary students and 20 secondary teachers self-selected from the subject areas of Visual Art, Graphics and Industrial Technology and Design. Participants were drawn from a database of Brisbane and regional Queensland private and public schools from the goDesign and Living City Workshop Programs. The workshop aimed to facilitate awareness in young people of the role of design in society and the value of design thinking skills in solving complex problems facing the Asia Pacific Region, and to inspire the generation of strategies for our future cities. It also aimed to encourage the collaboration of professional designers with secondary schools to inspire post-secondary pathways and idea generation for education. Inspired by international and national speakers Bunker Roy (Barefoot College) and Hael Kobayashi (Associate Producer on "Happy Feet" film for Australia's Animal Logic), the Unlimited showcase exhibition Make Change: Design Thinking in Action and ‘Idea Starters’/teaching resources provided, students worked with a teacher in ten random teams, to generate optimistic strategies for the Ideal City of tomorrow, each considering a theme – Food, Water, Transport, Ageing, Growth, Employment, Shelter, Health, Education and Energy. Each team of 6 was led by a professional designer (from the discipline of architecture, interior design, industrial design, urban design, graphic design or landscape architecture) who was a catalyst for driving the student creative thinking process. Assisted by illustrators, the teams prepared a visual presentation of their idea from art materials provided. The workshop culminated in a video-taped interactive design chatter to the larger group, which will be utilised as a toolkit and praxis for teachers as part of the State Library of Queensland Design Minds Project. Photos of student design work were published on the Unlimited website.

Engaging the practice of yarning in Action Research

This paper discusses the technique of ‘yarning’ as an action research process relevant for policy development work with Aboriginal peoples. Through a case study of an Aboriginal community-based smoking project in the Australian State of Victoria, the paper demonstrates how the Aboriginal concept of ‘yarning’ can be used to empower people to create policy change that not only impacts on their own health, but also impacts on the health of others and the Aboriginal organisation for which they work. The paper presents yarning within the context of models of empowerment and a methodological approach of participatory action research. The method is based on respect and inclusivity, with the final policy developed by staff for staff. Yarning is likely to be successful for action researchers working within a variety of Indigenous contexts.

PAR/RAP : Action Research/Research Action Participation

This is a creative piece inspired within and by the decolonising stream that emerged at the World Congress on Action Research and Action Learning, held in Melbourne, Australia in September 2010. It compliments the other works within ALAR Journal's specific edition on research experiences within the decolonising space.

Editorial : Decolonising action research (Electronic Version)

This edition of the ALAR Action learning action research journal aims to capture some of the current dilemmas, solutions and actions researchers experience in the decolonising space. This collection of papers demonstrates that researchers are not only undertaking action research with and within Indigenous and non-Indigenous contexts, but that they are doing so in exciting and dynamic ways across a diversity of situations. First we will address some of the literature on decolonisation. Then we will explain how this specific edition of the Journal came to fruition and aspects of action research.

Editorial : Decolonising action research

This edition of the ALAR Action learning action research journal aims to capture some of the current dilemmas, solutions and actions researchers experience in the decolonising space. This collection of papers demonstrates that researchers are not only undertaking action research with and within Indigenous and non-Indigenous contexts, but that they are doing so in exciting and dynamic ways across a diversity of situations. First we will address some of the literature on decolonisation. Then we will explain how this specific edition of the Journal came to fruition and aspects of action research. This is a condensed version of the Editorial that appears in the electronic version of the Journal.

Trends in policies, programs and practices in the Australasian First Year Experience literature 2000-2010. The First Year in Higher Education Research Series on Evidence-based Practice. Number 1

This publication is the first in a series of scholarly reports on research-based practice related to the First Year Experience in Higher Education. This report synthesises evidence about practice-based initiatives and pragmatic approaches in Aotearoa (New Zealand) and Australia that aim to enhance the experience of commencing students in the higher education sector. Trends in policies, programs and practices ... examines the first year experience literature from 2000-2010. It acknowledges the uniqueness of the Australasian socio-political context and its influence on the interests and output of researchers. The review surveyed almost 400 empirical reports and conceptual discussions produced over the decade that dealt with the stakeholders, institutions and the higher education sector in Australasia. The literature is examined through two theoretical constructs or “lenses”: first, a set of first year curriculum design principles and second, the generational approach to describing the maturation of initiatives. These outcomes and suggested directions for further research provide the challenges and the opportunities for FYE adherents, both scholars and practitioners, to grapple with in the next decade.

A rebirth of physical activity in parents : applying a theory-based approach

Physical inactivity is a serious concern both nationally and internationally. Despite the numerous benefits of performing regular physical activity, many individuals lead sedentary lifestyles. Of concern, though, is research showing that some population sub-groups are less likely to be active, such as parents of young children. Although there is a vast amount of research dedicated to understanding people.s physical activity-related behaviours, there is a paucity of research examining those factors that influence parental physical activity. More importantly, research applying theoretical models to understand physical activity decision-making among this at-risk population is limited. Given the current obesity epidemic, the decline in physical activity with parenthood, and the many social and health benefits associated with regular physical activity, it is important that adults with young children are sufficiently active. In light of the dearth of research examining parental physical activity and the scant research applying a theory-based approach to gain this understanding, the overarching aim of the current program of research was to adopt a mixed methods approach as well as use sound theoretical frameworks to understand the regular physical activity behaviour of mothers and fathers with young children. This program of research comprised of three distinct stages: a qualitative stage exploring individual, social, and psychological factors that influence parental regular physical activity (Stage 1); a quantitative stage identifying the important predictors of parental regular physical activity intentions and behaviour using sound theoretical frameworks and testing a single-item measure for assessing parental physical activity behaviour (Stage 2); and a qualitative stage exploring strategies for an intervention program aimed at increasing parental regular physical activity (Stage 3). As a thesis by publication, eight papers report the findings of this program of research; these papers are presented according to the distinct stages of investigation that guided this program of research. Stage One of the research program comprised a qualitative investigation using a focus group/interview methodology with parents of children younger than 5 years of age (N = 40; n = 21 mothers, n = 19 fathers) (Papers 1, 2, and 3). Drawing broadly on a social constructionist approach (Paper 1), thematic analytic methods revealed parents. understandings of physical activity (e.g., requires effort), patterns of physical activity-related behaviours (e.g., grab it when you can, declining physical activity habits), and how constructions of social role expectations might influence parents. physical activity decision making (e.g., creating an active family culture, guilt and selfishness). Drawing on the belief-based framework of the TPB (Paper 2), thematic content analytic methods revealed parents. commonly held beliefs about the advantages (e.g., improves parenting practices), disadvantages (e.g., interferes with commitments), barriers (e.g., time), and facilitators (e.g., social support) to performing regular physical activity. Parents. normative beliefs about social approval from important others or groups (e.g., spouse/partner) were also identified. Guided by theories of social support, Paper Three identified parents. perceptions about the specific social support dimensions that influence their physical activity decision making. Thematic content analysis identified instrumental (e.g., providing childcare, taking over chores), emotional (e.g., encouragement, companionship), and informational support (e.g., ideas and advice) as being important to the decision-making of parents in relation to their regular physical activity behaviour. The results revealed also that having support for being active is not straightforward (e.g., guilt-related issues inhibited the facilitative nature of social support for physical activity). Stage Two of the research program comprised a quantitative examination of parents. physical activity intentions and behaviour (Papers 4, 5, 6, and 7). Parents completed an extended TPB questionnaire at Time 1 (N = 580; n = 288 mothers, n = 292 fathers) and self-reported their physical activity at Time 2, 1 week later (N = 458; n = 252 mothers, n = 206 fathers). Paper Four revealed key behavioural (e.g., improving parenting practices), normative (e.g., people I exercise with), and control (e.g., lack of time) beliefs as significant independent predictors of parental physical activity. A test of the TPB augmented to include the constructs of self-determined motivation and planning was assessed in Paper Five. The findings revealed that the effect of self-determined motivation on intention was fully mediated by the TPB variables and the impact of intention on behaviour was partially mediated by the planning variables. Slight differences in the model.s motivational sequence between the sexes were also noted. Paper Six investigated, within a TPB framework, a range of social influences on parents. intentions to be active. For both sexes, attitude, perceived behavioural control, group norms, friend general support, and an active parent identity predicted intentions, with subjective norms and family support further predicting mothers. intentions and descriptive norms further predicting fathers. intentions. Finally, the measurement of parental physical activity was investigated in Paper Seven of Stage Two. The results showed that parents are at risk of low levels of physical activity, with the findings also revealing validation support for a brief single-item physical activity measure. Stage Three of the research program comprised a qualitative examination of parents. (N = 12; n = 6 mothers, n = 6 fathers) ideas for strategies that may be useful for developing and delivering an intervention program aimed at increasing parental physical activity (Paper 8). Parents revealed a range of strategies for what to include in a physical activity intervention designed for parents of young children. For example, parents identified persuasion and information type messages, problem-solving strategies that engage parents in generating a priority list of their lifestyle commitments, and behavioural modification techniques such as goal setting and incentives. Social intervention strategies (e.g., social comparison, counselling) and environmental approaches (e.g., community-based integrative parent/child programs) were also identified as was a skill-based strategy in helping parents generate a flexible life/family plan. Additionally, a range of strategies for how to best deliver a parental physical activity intervention was discussed. Taken as a whole, Paper Eight found that adopting a multifaceted approach in both the design and implementation of a resultant physical activity intervention may be useful in helping to increase parental physical activity. Overall, this program of research found support for parents as a unique group who hold both similar and distinctive perceptions about regular physical activity to the general adult population. Thus, these findings highlight the importance of targeting intervention strategies for parents of young children. Additionally, the findings suggest that it might also be useful to tailor some messages specifically to each sex. Effective promotion of physical activity in parents of young children is essential given the low rate of activity in this population. Results from this program of research highlight parents as an at-risk group for inactivity and provide an important first step in identifying the factors that influence both mothers. and fathers. physical activity decision making. These findings, in turn, provide a foundation on which to build effective intervention programs aimed at increasing parents. regular physical activity which is essential for ensuring the health and well-being of parents with young children.

Towards participatory action design research : adapting action research and design science research methods for urban informatics

This paper proposes a new research method, Participatory Action Design Research (PADR), for studies in the Urban Informatics domain. PADR supports Urban Informatics research in developing new technological means (e.g. using mobile and ubiquitous computing) to resolve contemporary issues or support everyday life in urban environments. The paper discusses the nature, aims and inherent methodological needs of Urban Informatics research, and proposes PADR as a method to address these needs. Situated in a socio-technical context, Urban Informatics requires a close dialogue between social and design-oriented fields of research as well as their methods. PADR combines Action Research and Design Science Research, both of which are used in Information Systems, another field with a strong socio-technical emphasis, and further adapts them to the cross-disciplinary needs and research context of Urban Informatics.

Information literacy programs and research: reflections on 'Information literacy programs and research: An international review' by Christine Bruce. 2000. The Australian Library Journal 49, 3: 209-218

Although in the late 1990s there was much discussion as to whether the idea of information literacy was necessary or had longevity, global interest in the phenomenon has increased rather than diminished. In the midst of all this activity, what has happened to the way in which we interpret the idea of information literacy in the last decade or more? The label of information literacy has certainly become widely applied, especially to library based programs and remains more popular in formal learning environments.Ultimately information literacy is about peoples’ experience of using information wherever they happen to be. Information literacy is about people interacting, engaging, working with information in many contexts, either individually or in community. Emerging technologies may transform the kinds of information available and how it is engaged with. Nevertheless, we continue to need to understand the experience of information use in order to support people in their information environments. We continue to need to develop programs which reflect and enhance peoples’ experiences of using information to learn in ever widening and more complex settings (Bruce, 2008; Bruce & Hughes, 2010).

Developing a transition pedagogy : intentional curriculum design in first and final year law programs

This chapter will first consider the rationale for a transition pedagogy for first and final year law students. It then discusses the elements of a transition pedagogy for both years, noting the synergies and differences between programs designed to assist transition into and out of a law degree. In doing so, the authors attempt to explore the extent to which the first year curriculum principles identified by Sally Kift under an Australian Learning and Teaching Council (ALTC) Senior Fellowship may also be applied to the final year university experience. During the course of the discussion, examples are drawn from universities and Law Schools in Australia and internationally which seek to address these imperatives...

Just do it : action's central role in venture creation

This study examined the effect that venture creation action has on the outcomes of nascent entrepreneurship. A theoretical model was developed which proposes action as a fundamental mechanism in venture creation. Thus, action should rightly be considered as a means rather than an end in itself. In this respect, action transmits the effects of venture resource endowments on to venture creation outcomes. This conceptual model was empirically supported in a random sample of nascent ventures. Ventures with higher levels of human or social capital tend to be more active in venture creation. In turn, more active venture attempts are more likely to achieve improved results.