Tool-supported dataflow analysis of a security-critical embedded device

Defence organisations perform information security evaluations to confirm that electronic communications devices are safe to use in security-critical situations. Such evaluations include tracing all possible dataflow paths through the device, but this process is tedious and error-prone, so automated reachability analysis tools are needed to make security evaluations faster and more accurate. Previous research has produced a tool, SIFA, for dataflow analysis of basic digital circuitry, but it cannot analyse dataflow through microprocessors embedded within the circuit since this depends on the software they run. We have developed a static analysis tool that produces SIFA compatible dataflow graphs from embedded microcontroller programs written in C. In this paper we present a case study which shows how this new capability supports combined hardware and software dataflow analyses of a security critical communications device.

Data flow analysis of embedded program expressions

Data flow analysis techniques can be used to help assess threats to data confidentiality and integrity in security critical program code. However, a fundamental weakness of static analysis techniques is that they overestimate the ways in which data may propagate at run time. Discounting large numbers of these false-positive data flow paths wastes an information security evaluator's time and effort. Here we show how to automatically eliminate some false-positive data flow paths by precisely modelling how classified data is blocked by certain expressions in embedded C code. We present a library of detailed data flow models of individual expression elements and an algorithm for introducing these components into conventional data flow graphs. The resulting models can be used to accurately trace byte-level or even bit-level data flow through expressions that are normally treated as atomic. This allows us to identify expressions that safely downgrade their classified inputs and thereby eliminate false-positive data flow paths from the security evaluation process. To validate the approach we have implemented and tested it in an existing data flow analysis toolkit.

'Any body is better than nobody?' Ethical questions around recruiting and/or retaining health professionals in rural areas

The literature on recruiting and/or retaining health professionals in rural areas focuses primarily on the development of recruitment and retention strategies and assessing whether such strategies are effective. The objective of this article is to argue that it is important for all stakeholders involved in rural recruitment and/or retention processes to consider their decisions and actions from an ethics perspective. Recruitment and/or retention processes are not value neutral and it is important to understand their ethical dimensions. Methods: From the literature, elements of the recruitment and/or retention strategies that have been employed were identified and organised in respect of levels of governance (namely, the levels of health system/government, community, and individual health professionals). The elements identified in these levels were subjected to analysis to identify their ethical dimensions and to determine whether a clash or complement of values arose at each level of governance or between governance levels. Results: There is very little literature in this area that considers the ethical dimensions of rural recruitment and/or retention processes. However, all policies and practices have ethical dimensions that need to be identified and understood as they may have significant implications for recruitment and/or retention processes. Conclusion: This article recommends the application of an ethics perspective when reflecting on rural recruitment and/or retention strategies. The collective decisions of all involved in rural recruitment and/or retention processes may fundamentally influence the 'health' (broadly understood) of rural communities.

Some empirical results for neo-Piagetian reasoning in novice programmers and the relationship to code explanation questions

Recent research on novice programmers has suggested that they pass through neo-Piagetian stages: sensorimotor, preoperational, and concrete operational stages, before eventually reaching programming competence at the formal operational stage. This paper presents empirical results in support of this neo-Piagetian perspective. The major novel contributions of this paper are empirical results for some exam questions aimed at testing novices for the concrete operational abilities to reason with quantities that are conserved, processes that are reversible, and properties that hold under transitive inference. While the questions we used had been proposed earlier by Lister, he did not present any data for how students performed on these questions. Our empirical results demonstrate that many students struggle to answer these problems, despite the apparent simplicity of these problems. We then compare student performance on these questions with their performance on six explain in plain English questions.

Developing tools to facilitate integrated reflection

Much has been said and documented about the key role that reflection can play in the ongoing development of e-portfolios, particularly e-portfolios utilised for teaching and learning. A review of e-portfolio platforms reveals that a designated space for documenting and collating personal reflections is a typical design feature of both open source and commercial off-the-shelf software. Further investigation of tools within e-portfolio systems for facilitating reflection reveals that, apart from enabling personal journalism through blogs or other writing, scaffolding tools that encourage the actual process of reflection are under-developed. Investigation of a number of prominent e-portfolio projects also reveals that reflection, while presented as critically important, is often viewed as an activity that takes place after a learning activity or experience and not intrinsic to it. This paper assumes an alternative, richer conception of reflection: a process integral to a wide range of activities associated with learning, such as inquiry, communication, editing, analysis and evaluation. Such a conception is consistent with the literature associated with ‘communities of practice’, which is replete with insight into ‘learning through doing’, and with a ‘whole minded’ approach to inquiry. Thus, graduates who are ‘reflective practitioners’ who integrate reflection into their learning will have more to offer a prospective employer than graduates who have adopted an episodic approach to reflection. So, what kinds of tools might facilitate integrated reflection? This paper outlines a number of possibilities for consideration and development. Such tools do not have to be embedded within e-portfolio systems, although there are benefits in doing so. In order to inform future design of e-portfolio systems this paper presents a faceted model of knowledge creation that depicts an ‘ecology of knowing’ in which interaction with, and the production of, learning content is deepened through the construction of well-formed questions of that content. In particular, questions that are initiated by ‘why’ are explored because they are distinguished from the other ‘journalist’ questions (who, what, when, where, and where) in that answers to them demand explanative, as opposed to descriptive, content. They require a rationale. Although why questions do not belong to any one genre and are not simple to classify — responses can contain motivational, conditional, causal, and/or existential content — they do make a difference in the acquisition of understanding. The development of scaffolding that builds on why-questioning to enrich learning is the motivation behind the research that has informed this paper.

Australian tax analysis - cases, commentary, commercial applications and questions [7th Ed.]

"Australian Tax Analysis, seventh edition, provides a comprehensive examination of taxation law with a practical commercial perspective. The seventh edition of this text features: two new chapters: "Offsets" and "Superannuation and Employer Responsibilities"; selected case extracts; Tax Commissioner Rulings; thought-provoking commentary; instruction on how to read the Acts; and engaging problem-based practice questions."--Publisher's website.

Embedded criminology and knowledges of resistance

This chapter explores the changing intellectual landscapes and market-led research within academic institutions as the rise of 'embedded criminology' and argues for knowledges of resistance.

Composing maternal identities : the living realities of mothers with young adult-children in twenty-first century Australia

There is an abundance of books available on the topic of motherhood and mothering; the majority of these books focus on the vulnerability of babies and young children and the motherwork such vulnerability demands. In particular they focus on what it is right to do in the interests of the child, and particularly his or her growth and development. Such a focus is consistent in Western culture with modern moral frameworks where understandings of goodness have been assimilated to dimensions of human action rather than dimensions of human being, selfhood, or specific forms of life. As Charles Taylor has observed, much modern moral philosophy has focused =on what it is right to do rather than the nature of the good life‘ (1989, 13). The master narratives of motherhood and the prevailing social discourses of intensive1 and sacrificial2 mothering exemplify this view as such narratives and discourses depict =what mothers are expected to do [and] how mothers are supposed to be‘ (Nelson 2001, 140). From such infant/child-focused accounts a canonical maternal identity can be discerned; arguably, it is a restricted one. The majority of these books fail to address questions related to what it means be a mother in particular situated, existing, living realities. For instance, ask a mother with young children what being a mother means to her and she may speak of the challenges she faces balancing paid employment and her role as a mother, or the impact of the demands being made on her time and energy. However, ask a mother with young adult-children3 what being a mother means to her and she may speak in similar tones, but she may also speak in differing tones. For example, a "mature" mother may speak of the "empty nest", the "crowded house" and/or "its revolving front door". She may speak of issues related to the vulnerability of the long term marriage, elder care, or grandparenting, or even disillusionment and disenchantment. The purpose of this research is to explore the identity challenges and prospects of some mothers with young adult-children aged between 18 and 30 years of age in twenty-first century Australia. In interpreting the identity challenges and prospects this particular cohort of mothers encounter in their ordinary, everyday living, a diverse and particular range of maternal experiences.my own included5.have been traced, along with the social and ethical meanings ascribed in them. With an understanding and appreciation of voice as the medium which connects one's inner and outer worlds, this research illuminates the plurality of voices and the multiple layers of meaning in each of these mother's particular living and existing realities. Specifically, this research addresses the narrowly constructed, canonical maternal identity through a critical exploration and reflection on stories, shared in a research context, of the living realities of a group of self-identified "mature", middle-class, Australian mothers with children aged between 18 and 30 years of age6. By appraising the broader familial, historical, social, cultural, institutional, and, importantly, moral contexts in which these mothers are situated, 'thick descriptions' (Geertz 1973, 27)7 of maternal identities, and the challenges and prospects these mothers are negotiating, are provided. In terms of its ethical orientation, the frameworks which support and frame this research reject, repudiate and contest (Nelson 2001) the reduction of ethical concerns to individual or intellectual problems or dilemmas to be solved through the application of a theory derived from reasoned thinking. In dismissing deductive and =theoretical-juridical‘8 approaches, the individualistic orientation entrenched in contemporary Western moral thinking, expressed in the notion of '"what ought I to do" when faced with a problem, issue or dilemma of practical urgency' (Isaacs & Massey 1994, 1), is simultaneously rejected, repudiated and contested (Nelson 2001). In countering such understandings, this research reorients us to the illumination and articulation of who it is good to be, for each of these mothers, in allegiance with those goods which guide and inspire her orientations towards living a good life—a life which embraces and enhances the flourishing of herself and her significant others. With an understanding and appreciation that 'mind is never free of precommitment[—t]here is no innocent eye, nor is there one that penetrates aboriginal reality' (Bruner 1987, 32), this thesis is written with the voices of other interlocutors9. These interlocutors include the voices of my research participants whom I refer to as "research interlocutors", my textual "friends" — those scholars whose work resonates strongly with my orientations—as well as the myriad other voices that speak to mothers, for mothers and about mothers, such as those found in popular and mainstream press and culture. Sometimes these voices resonate; other times dissonance may be heard. In situating this research within these complementary frameworks, this research invites readers to join with me in considering, appreciating and appraising the narrow construction of maternal identity. I seek for this engagement, like the engagements with my research interlocutors, to be 'a meeting of voices, an authentic dialogue that is inclusive of the voices of all concerned participants' (Isaacs 2001, 6). I hope that the voices in this thesis resonate with yours (although, at times, you may feel some dissonance) and that together we can draw closer to the accounting, re-counting and re-stor(y)ing of maternal identities; like concentric circles of witness, the dialogue, ...will thus be expanded rippling into corners where one might both imagine, and least expect. Possibilities, then, are vast; the future exciting (Smith 2007, 397). This research is also shaped and guided by maternal scholarship, a relatively new field of inquiry known as 'motherhood studies' (O'Reilly 2011, xvii) which has its origins within the broader terrain of feminist scholarship. As a work of maternal scholarship, this thesis draws upon and continues the tradition of examining motherhood as it is experienced 'in a social context, as embedded in a political institution: in feminist terms' (Rich 1995, ix). It values mothers, their experiences, their stories, their lives. As such, this research is oriented towards 'matricentric feminism', a particular form of feminist inquiry, politics and theory which is consistent with and receptive to feminist frameworks of care and equal rights (O‘Reilly 2011, 25). A number of complementary conceptual frameworks have been engaged in this research with the thesis presented in three parts: the pre-figurative, configurative and re-configurative. As my particular living experiences provided the initial motivation for this research, an account of the challenges I experienced as a mother with young adult-children are outlined as a Prelude to this thesis. Attention then turns to Part One – Pre-figuring Maternal Identities in which the contextual, conceptual and methodological foundations underpinning this research are explored and outlined. In Chapter One, the prevailing cultural narratives and social discourses supporting and shaping the construction of the canonical maternal identity are outlined. Next, in setting the scholarly context, the critiques — arising from feminist and maternal scholarship — of motherhood as a patriarchal institution, mothering as experience, and mothering as work, are explored. As this research engaged with participants who are embedded in particular middle-class, heterosexual, familial and cultural structures, an exploration of family life cycle theory and main stream media accounts are also incorporated. The terrain in which "mature" mothering within an Australian context is experienced is also outlined, including the notions of "empty nests" and "crowded houses", grandparenting, elder care and women's midlife transition. Chapter Two gives an account of the conceptual ontological, ethical, identity and narrative frameworks underpinning this research. In setting the context for rich interpretations, the characteristics of being human10 are outlined before attention turns to our embodiment and embeddedness in our shared human condition11. From this point, attention then turns to understanding the moral form of human living12. In appreciating the vulnerability inherent in our shared human condition, the ways in which we may experience trouble in our lives is noted. The framing of identity constitution13 as complex, multi-faceted, relationally negotiated and composed is then outlined, followed by an understanding of why narrative is a valuable interpretive tool for interpreting and understanding human experiences. This chapter concludes with an appreciation of the ethical significance of storytelling. The research methodology is then outlined in Chapter Three. The rationale underpinning the adoption of the narrative interviewing technique of in-depth interviewing is explored. In exploring these methodological frameworks, the recruitment and interview processes involved in gathering and interpreting the recorded transcripts of ten Australian mothers with young adult-children are outlined. The method of analysis known as the Listening Guide14 best complements the multi-layered, pluri-vocal nature of narrative accounting. The final section of Chapter Three outlines The Guide, with one mother's recorded transcript used to illustrate this method's step-by-step process. Having gathered an understanding and appreciation of the pluri-vocal, multi-layered nature of narrative and identity constitution, the tone of this thesis changes in Part Two . Configuring Maternal Identities. This section consists of Chapters Four and Five and seeks to find meaning in, and make sense of, the differences and commonalities across these particular accounts. Chapter Four explores the living realities of four Australian mothers with young adult-children: Poppy, Honey, Lily and Heather. In presenting a thick description of these mothers' situated realities, the frameworks.the familial, social, cultural, historical and institutional backgrounds.which have supported and shaped each mother's experiences are illuminated. Simultaneously revealed through these particular accounts are the plurality of goods focusing and moving each mother to the moral form of life, a life of meaning and purpose. The harms challenging some mothers' moral motivations are also revealed in this chapter. Specifically illustrated in Chapter Four are the unique and qualitative differences of particular maternal identity configurations. Chapter Five reveals the commonalities amongst all of the research interlocutors' accounts. This chapter contests the individualistic orientation of many contemporary accounts of motherhood which are aimed at defining or contesting what a "good" mother ought to do. By turning away from such individualistic orientations, the chapter does not seek to define 'the content of obligation' (Taylor 1989, 3) but rather seeks to illuminate and articulate a richer, deeper understanding and appreciation of maternal be-ing and be-coming - that is, who it is good to be, for each of these mothers - in allegiance with those goods that focus and inspire her moral motivations. Part Three - Re-Configuring Maternal Identities, which is comprised of Chapter Six, draws this thesis to a close. In this final chapter, the preconceptions, conditions and aspirations for this mother-centred account of the living realities of a small, local cohort of mothers are reiterated. The insights gathered from the rich, descriptive accounts are illuminated and articulated, and the chapter closes with some suggestions for future research. In a Postlude, I reflect on how this research has been a transformative learning experience in my own life.an experience in which I have been able to not only deeply understand and appreciate the challenges and disorientation I was experiencing but also to identify and reorient my stance in relation to the good. In a practical sense, by offering thick descriptions of the living realities of this cohort of "mature" mothers, this research challenges the canonical maternal identity and questions its relevance for, and effect on, "mature" mothers' identity constitution. By bringing to light the complex existing realities of these particular mothers, this research critiques the canonical maternal identity by illustrating that each mother's life and her identity constitutions are complex, relationally negotiated and composed and that motherhood is an enduring way of being. Through these illustrations, this research engages with and extends understandings of difference feminism. This research, however, not only rejects, repudiates and contests (Nelson 2001) the narrowly defined canonical maternal identity. By illuminating and articulating the goods which shape and inspire these "mature" mothers' motherwork, this research offers a matricentric account which is consistent with and respectful of the particular, situated realities—the broader familial, social, institutional, but most importantly, moral values and frameworks—in which each mother‘s life is embedded and her motherwork oriented. By understanding and appreciating the complex and multiple webs of relationships in which each mother exists, this matricentric re-stor(y)ing of maternal experiences not only understands and appreciates the unique nature of each mother‘s existing realities, it is oriented to the continuing enhancing of the shared pursuit of the good which underpins particular maternal practices and particular maternal ways of being.

History in the Australian Curriculum F-10: Providing answers without asking questions

Thi paper writer examines the most recent version of the Australian Curriculum: History F-10. It does so in two ways. First, it explores some of the strengths and weaknesses of this curriculum with reference to the decision to frame aspects of Australian history within the context of a world history approach. Whilst the positioning of Indigenous Histories is applauded, the curriculum’s lack of attention to the significance of the recent history of Australia’s Asian neighbours, and Australia’s relationship with them, is critiqued. This part of the paper also emphasises the need for comparative approaches and calls for greater emphasis on providing students with opportunities to critique and contest the construction of narratives about the past. Second, the paper introduces four invited articles that examine different aspects of the Australian Curriculum: History. Collectively these papers reiterate the significance of the richness of integrated and child-centred approaches and the importance of developing historical thinking, empathy and the historical imagination in the classroom.

Short answer versus multiple choice examination questions for first year chemistry

Multiple choice (MC) examinations are frequently used for the summative assessment of large classes because of their ease of marking and their perceived objectivity. However, traditional MC formats usually lead to a surface approach to learning, and do not allow students to demonstrate the depth of their knowledge or understanding. For these reasons, we have trialled the incorporation of short answer (SA) questions into the final examination of two first year chemistry units, alongside MC questions. Students’ overall marks were expected to improve, because they were able to obtain partial marks for the SA questions. Although large differences in some individual students’ performance in the two sections of their examinations were observed, most students received a similar percentage mark for their MC as for their SA sections and the overall mean scores were unchanged. In-depth analysis of all responses to a specific question, which was used previously as a MC question and in a subsequent semester in SA format, indicates that the SA format can have weaknesses due to marking inconsistencies that are absent for MC questions. However, inclusion of SA questions improved student scores on the MC section in one examination, indicating that their inclusion may lead to different study habits and deeper learning. We conclude that questions asked in SA format must be carefully chosen in order to optimise the use of marking resources, both financial and human, and questions asked in MC format should be very carefully checked by people trained in writing MC questions. These results, in conjunction with an analysis of the different examination formats used in first year chemistry units, have shaped a recommendation on how to reliably and cost-effectively assess first year chemistry, while encouraging higher order learning outcomes.

Questions and Answers : Contract Law [4th ed.]

LexisNexis Questions & Answers - Contract Law provides an understanding of contract law and gives a clear and systematic approach to analysing and answering problem and exam questions. Each chapter commences with a summary of the relevant cases and identification of the key issues. Each question is followed by a suggested answer plan, a sample answer and comments on how the answer might be assessed by an examiner. The author also offers advice on common errors to avoid and practical hints and tips on how to achieve higher marks.

Metacognitive strategy instruction in English as a Foreign Language (EFL) listening skill

Listening skill is allocated inadequate consideration in English language instruction and learning in Iran. At the school level, listening skill is not taught but reading and writing skills are taught traditionally. At the college level, reading skill is emphasised. For students seeking IELTS certification, institutes teach listening skill within the framework of a Communicative Language Teaching (CLT) approach. Nonetheless, despite the official syllabus, many teachers tend to test rather than teach listening skill. Currently, listening skill in the curriculum is embedded in an oral comprehension teaching approach through multiple choice written responses in the institutes. Therefore, the process of explicitly teaching listening is overlooked with a strong emphasis on the post hoc assessment of the products of listening. This study used a mixed methods approach to investigate the relationship between metacognitive strategy instruction and listening performance, metacognitive awareness and use of metacognitive strategies in listening. Three research questions were addressed in this study: - Is there a relationship between metacognitive strategy instruction (planning, monitoring and evaluation) and Iranian High Intermediate students¡¦ listening? „ - Is there a relationship between metacognitive strategy instruction and Iranian High Intermediate students¡¦ metacognitive awareness of listening? - Does metacognitive strategy instruction help Iranian High Intermediate students¡¦ use of metacognitive strategies during listening? A single group (N = 30) of High Intermediate level tertiary students in Iran were guided through a metacognitive strategy instruction over one semester (10 weeks). The first research question was measured through IELTS listening tests, which tracked any change of students’ listening performance. The second research question was analysed through results of a Metacognitive Awareness Listening Questionnaire (MALQ) to survey students’ awareness of metacognitive strategies in listening. Finally, the third research question was analysed through interviews, which explored students’ use of metacognitive strategies in listening. Results indicate that High Intermediate students developed listening performance, but there were no significant changes in metacognitive awareness in listening. Students reported in the interviews that they used multiple strategies (cognitive and metacognitive) to approach listening. Implications for English teaching in Iran and other contexts are discussed.

How do older adults respond to Active Australia physical activity questions? Lessons from cognitive interviews

The aim of this study was to examine older adults’ understanding and interpretation of a validated questionnaire for physical activity surveillance, the Active Australia Survey (AAS). To address this aim, cognitive interviewing techniques were used during face-to-face semi-structured interviews with 44 adults aged 65-89 years. Qualitative data analysis revealed that participants were confused with questionnaire phrasing, misunderstood the scope of activities to include in answers, and misunderstood the time frame of activities to report. They also struggled to accurately estimate the frequency and duration of their activities. Our findings suggest that AAS questions may be interpreted differently by older adults than intended by survey developers. Findings also suggest that older adults use a range of methods for calculating PA frequency and duration. The issues revealed in this study may be useful for adapting AAS for use in older community-dwelling adults.

Common DC link in residential LV network to improve the penetration level of Small-Scale Embedded Generators

This paper presents a new approach for network upgrading to improve the penetration level of Small Scale Generators in residential feeders. In this paper, it is proposed that a common DC link can be added to LV network to alleviate the negative impact of increased export power on AC lines, allowing customers to inject their surplus power with no restrictions to the common DC link. In addition, it is shown that the proposed approach can be a pathway from current AC network to future DC network.