881 resultados para High security identity tags
Resumo:
This article explores articulations of queer identity in recent Australian queer student media. Print media is of particular importance to queer communities because, as Cover argues, it provides a crucial grounding for community development and a model of queer to guide the positioning of identity and activism. This article uses discourse analysis of queer student activists’ media representations of diversity and inclusiveness to investigate the articulations of queer identity in one specific context: metropolitan Australian universities. This reveals real-life appropriations of this contentious term and contributes to a genealogy of sexuality, documenting one visible moment in history.
Resumo:
With the emergence of Web 2.0, Web users can classify Web items of their interest by using tags. Tags reflect users’ understanding to the items collected in each tag. Exploring user tagging behavior provides a promising way to understand users’ information needs. However, free and relatively uncontrolled vocabulary has its drawback in terms of lack of standardization and semantic ambiguity. Moreover, the relationships among tags have not been explored even there exist rich relationships among tags which could provide valuable information for us to better understand users. In this paper, we propose a novel approach to construct tag ontology based on the widely used general ontology WordNet to capture the semantics and the structural relationships of tags. Ambiguity of tags is a challenging problem to deal with in order to construct high quality tag ontology. We propose strategies to find the semantic meanings of tags and a strategy to disambiguate the semantics of tags based on the opinion of WordNet lexicographers. In order to evaluate the usefulness of the constructed tag ontology, in this paper we apply the extracted tag ontology in a tag recommendation experiment. We believe this is the first application of tag ontology for recommendation making. The initial result shows that by using the tag ontology to re-rank the recommended tags, the accuracy of the tag recommendation can be improved.
Resumo:
High fidelity simulation as a teaching and learning approach is being embraced by many schools of nursing. Our school embarked on integrating high fidelity (HF) simulation into the undergraduate clinical education program in 2011. Low and medium fidelity simulation has been used for many years, but this did not simplify the integration of HF simulation. Alongside considerations of how and where HF simulation would be integrated, issues arose with: student consent and participation for observed activities; data management of video files; staff development, and conceptualising how methods for student learning could be researched. Simulation for undergraduate student nurses commenced as a formative learning activity, undertaken in groups of eight, where four students undertake the ‘doing’ role and four are structured observers, who then take a formal role in the simulation debrief. Challenges for integrating simulation into student learning included conceptualising and developing scenarios to trigger students’ decision making and application of skills, knowledge and attitudes explicit to solving clinical ‘problems’. Developing and planning scenarios for students to ‘try out’ skills and make decisions for problem solving lay beyond choosing pre-existing scenarios inbuilt with the software. The supplied scenarios were not concept based but rather knowledge, skills and technology (of the manikin) focussed. Challenges lay in using the technology for the purpose of building conceptual mastery rather than using technology simply because it was available. As we integrated use of HF simulation into the final year of the program, focus was on building skills, knowledge and attitudes that went beyond technical skill, and provided an opportunity to bridge the gap with theory-based knowledge that students often found difficult to link to clinical reality. We wished to provide opportunities to develop experiential knowledge based on application and clinical reasoning processes in team environments where problems are encountered, and to solve them, the nurse must show leadership and direction. Other challenges included students consenting for simulations to be videotaped and ethical considerations of this. For example if one student in a group of eight did not consent, did this mean they missed the opportunity to undertake simulation, or that others in the group may be disadvantaged by being unable to review their performance. This has implications for freely given consent but also for equity of access to learning opportunities for students who wished to be taped and those who did not. Alongside this issue were the details behind data management, storage and access. Developing staff with varying levels of computer skills to use software and undertake a different approach to being the ‘teacher’ required innovation where we took an experiential approach. Considering explicit learning approaches to be trialled for learning was not a difficult proposition, but considering how to enact this as research with issues of blinding, timetabling of blinded groups, and reducing bias for testing results of different learning approaches along with gaining ethical approval was problematic. This presentation presents examples of these challenges and how we overcame them.
Resumo:
AIMS This paper reports on the implementation of a research project that trials an educational strategy implemented over six months of an undergraduate third year nursing curriculum. This project aims to explore the effectiveness of ‘think aloud’ as a strategy for learning clinical reasoning for students in simulated clinical settings. BACKGROUND Nurses are required to apply and utilise critical thinking skills to enable clinical reasoning and problem solving in the clinical setting [1]. Nursing students are expected to develop and display clinical reasoning skills in practice, but may struggle articulating reasons behind decisions about patient care. For students learning to manage complex clinical situations, teaching approaches are required that make these instinctive cognitive processes explicit and clear [2-5]. In line with professional expectations, nursing students in third year at Queensland University of Technology (QUT) are expected to display clinical reasoning skills in practice. This can be a complex proposition for students in practice situations, particularly as the degree of uncertainty or decision complexity increases [6-7]. The ‘think aloud’ approach is an innovative learning/teaching method which can create an environment suitable for developing clinical reasoning skills in students [4, 8]. This project aims to use the ‘think aloud’ strategy within a simulation context to provide a safe learning environment in which third year students are assisted to uncover cognitive approaches that best assist them to make effective patient care decisions, and improve their confidence, clinical reasoning and active critical reflection on their practice. MEHODS In semester 2 2011 at QUT, third year nursing students will undertake high fidelity simulation, some for the first time commencing in September of 2011. There will be two cohorts for strategy implementation (group 1= use think aloud as a strategy within the simulation, group 2= not given a specific strategy outside of nursing assessment frameworks) in relation to problem solving patient needs. Students will be briefed about the scenario, given a nursing handover, placed into a simulation group and an observer group, and the facilitator/teacher will run the simulation from a control room, and not have contact (as a ‘teacher’) with students during the simulation. Then debriefing will occur as a whole group outside of the simulation room where the session can be reviewed on screen. The think aloud strategy will be described to students in their pre-simulation briefing and allow for clarification of this strategy at this time. All other aspects of the simulations remain the same, (resources, suggested nursing assessment frameworks, simulation session duration, size of simulation teams, preparatory materials). RESULTS Methodology of the project and the challenges of implementation will be the focus of this presentation. This will include ethical considerations in designing the project, recruitment of students and implementation of a voluntary research project within a busy educational curriculum which in third year targets 669 students over two campuses. CONCLUSIONS In an environment of increasingly constrained clinical placement opportunities, exploration of alternate strategies to improve critical thinking skills and develop clinical reasoning and problem solving for nursing students is imperative in preparing nurses to respond to changing patient needs. References 1. Lasater, K., High-fidelity simulation and the development of clinical judgement: students' experiences. Journal of Nursing Education, 2007. 46(6): p. 269-276. 2. Lapkin, S., et al., Effectiveness of patient simulation manikins in teaching clinical reasoning skills to undergraduate nursing students: a systematic review. Clinical Simulation in Nursing, 2010. 6(6): p. e207-22. 3. Kaddoura, M.P.C.M.S.N.R.N., New Graduate Nurses' Perceptions of the Effects of Clinical Simulation on Their Critical Thinking, Learning, and Confidence. The Journal of Continuing Education in Nursing, 2010. 41(11): p. 506. 4. Banning, M., The think aloud approach as an educational tool to develop and assess clinical reasoning in undergraduate students. Nurse Education Today, 2008. 28: p. 8-14. 5. Porter-O'Grady, T., Profound change:21st century nursing. Nursing Outlook, 2001. 49(4): p. 182-186. 6. Andersson, A.K., M. Omberg, and M. Svedlund, Triage in the emergency department-a qualitative study of the factors which nurses consider when making decisions. Nursing in Critical Care, 2006. 11(3): p. 136-145. 7. O'Neill, E.S., N.M. Dluhy, and C. Chin, Modelling novice clinical reasoning for a computerized decision support system. Journal of Advanced Nursing, 2005. 49(1): p. 68-77. 8. Lee, J.E. and N. Ryan-Wenger, The "Think Aloud" seminar for teaching clinical reasoning: a case study of a child with pharyngitis. J Pediatr Health Care, 1997. 11(3): p. 101-10.
Resumo:
All Australian businesses are governed by legislation aiming to prevent workplace discrimination based on sexual orientation and sexual identity and serious penalties apply to companies found contravening legislation. While other Australian studies have examined these issues, Queensland has either not been included or relevant data is not easily identified. This paper presents the results of an exploratory study using a quantitative survey to determine the consequences of disclosure of a person’s sexual orientation or gender identity to colleagues in workplaces in Queensland. Results suggest GLBTI workers are disclosing their sexuality more and are experiencing more discrimination in the workplace, despite anti-discrimination policies. This suggests the need to further investigate companies’ compliance with workplace legislation.
Resumo:
Queensland's new State Planning Policy for Coastal Protection, released in March and approved in April 2011 as part of the Queensland Coastal Plan, stipulates that local governments prepare and implement adaptation strategies for built up areas projected to be subject to coastal hazards between present day and 2100. Urban localities within the delineated coastal high hazard zone (as determined by models incorporating a 0.8 meter rise in sea level and a 10% increase in the maximum cyclone activity) will be required to re-evaluate their plans to accommodate growth, revising land use plans to minimise impacts of anticipated erosion and flooding on developed areas and infrastructure. While implementation of such strategies would aid in avoidance or minimisation of risk exposure, communities are likely to face significant challenges in such implementation, especially as development in Queensland is so intensely focussed upon its coasts with these new policies directing development away from highly desirable waterfront land. This paper examines models of planning theory to understand how we plan when faced with technically complex problems towards formulation of a framework for evaluating and improving practice.
Resumo:
How can Australian library and information science (LIS) education produce, in a sustainable manner, the diverse supply of graduates with the appropriate attributes to develop and maintain high quality professional practice in the rapidly changing 21st century? This report presents the key findings of a project that has examined this question through research into future directions for LIS education in Australia. Titled Re-conceptualising and re-positioning Australian library and information science education for the twenty-first century, the purpose of the project was to establish a consolidated and holistic picture of the Australian LIS profession, and identify how its future education and training can be mediated in a cohesive and sustainable manner. The project was undertaken with a team of 12 university and vocational LIS educators from 11 institutions around Australia between November 2009 and December 2010. Collectively, these eleven institutions represented the broad spectrum and diversity of LIS education in Australia, and enabled the project to examine education for the information profession in a holistic and synergistic manner. Participating institutions in the project included Queensland University of Technology (Project Leader), Charles Sturt University, Curtin University of Technology, Edith Cowan University, Monash University, RMIT University, University of Canberra, University of South Australia, University of Tasmania, University of Technology Sydney and Victoria University. The inception and need for the project was motivated by a range of factors. From a broad perspective several of these factors relate to concerns raised at national and international levels regarding problems with education for LIS. In addition, the motivation and need for the project also related to some unique challenges that LIS education faces in the Australian tertiary education landscape. Over recent years a range of responses to explore the various issues confronting LIS education in Australia have emerged at local and national levels however this project represented the first significant investment of funding for national research in this area. In this way, the inception of the project offered a unique opportunity and powerful mechanism through which to bring together key stakeholders and inspire discourse concerning future education for the profession. Therefore as the first national project of its kind, its intent has been to provide foundation research that will inform and guide future directions for LIS education and training in Australia. The primary objective of the project was to develop a Framework for the Education of the Information Professions in Australia. The purpose of this framework was to provide evidence based strategic recommendations that would guide Australia’s future education for the information professions. Recognising the three major and equal players in the education process the project was framed around three areas of consideration: LIS students, the LIS workforce and LIS educators. Each area of consideration aligned to a research substudy in the project. The three research substudies were titled Student Considerations, Workforce Planning Considerations and Tertiary Education Considerations. The Students substudy provided a profile of LIS students and an analysis of their choices, experiences and expectations in regard to LIS education and their graduate destinations. The Workforce substudy provided an overview and analysis of the nature of the current LIS workforce, including a focus on employer expectations and employment opportunities and comment on the core and elective skill, knowledge and attitudes of current and future LIS professionals. Finally the Tertiary Education substudy provided a profile of LIS educators and an analysis of their characteristics and experiences including the key issues and challenges. In addition it also explored current national and international trends and priorities impacting on LIS education. The project utilised a Community Based Participatory Research (CBPR) approach. This approach involves all members of the community in all aspects of the project. It recognised the unique strengths and perspectives that community members bring to the process. For this project ‘community’ comprised of all individuals who have a role in, or a vested interest in, LIS education and included LIS educators, professionals, employers, students and professional associations. Individuals from these sub-groups were invited to participate in a range of aspects of the project from design through to implementation and evaluation. A range of research methodologies were used to consider the many different perspectives of LIS education, including employers and recruiters, professional associations, students, graduates and LIS teaching staff. Data collection involved a mixed method approach of questionnaires, focus groups, semi-structured interviews and environmental scans. An array of approaches was selected to ensure that broadest possible access to different facets of the information profession would be achieved. The main findings and observations from each substudy have highlighted a range of challenges for LIS education that need to be addressed. These findings and observations have grounded the development of the Framework for the Education of the Information Professions in Australia. The framework presents eleven recommendations to progress the national approach to LIS education and guide Australia’s future education for the information professions. The framework will be used by the LIS profession, most notably its educators, as strategic directions for the future of LIS education in Australia. Framework for the Education of the Information Professions in Australia: Recommendation 1: It is recommended that a broader and more inclusive vocabulary be adopted that both recognises and celebrates the expanding landscape of the field, for example ‘information profession’, ‘information sector’, ‘information discipline’ and ‘information education’. Recommendation 2: It is recommended that a self-directed body composed of information educators be established to promote, support and lead excellence in teaching and research within the information discipline. Recommendation 3: It is recommended that Australia’s information discipline continue to develop excellence in information research that will raise the discipline’s profile and contribute to its prominence within the national and international arena. Recommendation 4: It is recommended that further research examining the nature and context of Australia’s information education programs be undertaken to ensure a sustainable and relevant future for the discipline. Recommendation 5: It is recommended that further research examining the pathways and qualifications available for entry into the Australian information sector be undertaken to ensure relevance, attractiveness, accessibility and transparency. Recommendation 6: It is recommended that strategies are developed and implemented to ensure the sustainability of the workforce of information educators. Recommendation 7: It is recommended that a national approach to promoting and marketing the information profession and thereby attracting more students to the field is developed. Recommendation 8: It is recommended that Australia’s information discipline continues to support a culture of quality teaching and learning, especially given the need to accommodate a focus on the broader information landscape and more flexible delivery options. Recommendation 9: It is recommended that strategies are developed that will support and encourage collaboration between information education within the higher education and VET sectors. Recommendation 10: It is recommended that strategies and forums are developed that will support the information sector working together to conceptualise and articulate their professional identity and educational needs. Recommendation 11: It is recommended that a research agenda be established that will identify and prioritise areas in which further development or work is needed to continue advancing information education in Australia. The key findings from this project confirm that a number of pressing issues are confronting LIS education in Australia. Left unaddressed these issues will have significant implications for the future of LIS education as well as the broader LIS profession. Consequently creating a sustainable and cohesive future can only be realised through cooperation and collaboration among all stakeholders including those with the capacity to enact radical change in university and vocational institutions. Indeed the impending adoption and implementation of the project’s recommendations will fundamentally determine whether Australian LIS education is assured both for the present day and into the future.
Resumo:
Supporting students with Autism Spectrum Disorders (ASD) in inclusive settings presents both opportunities and significant challenges to school communities. This study, which explored the lived-experience of nine students with ASD in an inclusive high school in Australia, is based on the belief that by listening to the voices of students, school communities will be in a better position to collaboratively create supportive learning and social environments. The findings of this small-scale study deepen our knowledge from the student perspective of the inclusive educational practices that facilitate and constrain the learning and participation of students with ASD. The students’ perspectives were examined in relation to the characteristics of successful inclusive schools identified by Kluth. Implications for inclusive educational practice that meets the needs of students with ASD are presented.
Resumo:
Notwithstanding the obvious potential advantages of information and communications technology (ICT) in the enhanced provision of healthcare services, there are some concerns associated with integration of and access to electronic health records. A security violation in health records, such as an unauthorised disclosure or unauthorised alteration of an individual's health information, can significantly undermine both healthcare providers' and consumers' confidence and trust in e-health systems. A crisis in confidence in any national level e-health system could seriously degrade the realisation of the system's potential benefits. In response to the privacy and security requirements for the protection of health information, this research project investigated national and international e-health development activities to identify the necessary requirements for the creation of a trusted health information system architecture consistent with legislative and regulatory requirements and relevant health informatics standards. The research examined the appropriateness and sustainability of the current approaches for the protection of health information. It then proposed an architecture to facilitate the viable and sustainable enforcement of privacy and security in health information systems under the project title "Open and Trusted Health Information Systems (OTHIS)". OTHIS addresses necessary security controls to protect sensitive health information when such data is at rest, during processing and in transit with three separate and achievable security function-based concepts and modules: a) Health Informatics Application Security (HIAS); b) Health Informatics Access Control (HIAC); and c) Health Informatics Network Security (HINS). The outcome of this research is a roadmap for a viable and sustainable architecture for providing robust protection and security of health information including elucidations of three achievable security control subsystem requirements within the proposed architecture. The successful completion of two proof-of-concept prototypes demonstrated the comprehensibility, feasibility and practicality of the HIAC and HIAS models for the development and assessment of trusted health systems. Meanwhile, the OTHIS architecture has provided guidance for technical and security design appropriate to the development and implementation of trusted health information systems whilst simultaneously offering guidance for ongoing research projects. The socio-economic implications of this research can be summarised in the fact that this research embraces the need for low cost security strategies against economic realities by using open-source technologies for overall test implementation. This allows the proposed architecture to be publicly accessible, providing a platform for interoperability to meet real-world application security demands. On the whole, the OTHIS architecture sets a high level of security standard for the establishment and maintenance of both current and future health information systems. This thereby increases healthcare providers‘ and consumers‘ trust in the adoption of electronic health records to realise the associated benefits.
Resumo:
The idea of body weight regulation implies that a biological mechanism exerts control over energy expenditure and food intake. This is a central tenet of energy homeostasis. However, the source and identity of the controlling mechanism have not been identified, although it is often presumed to be some long-acting signal related to body fat, such as leptin. Using a comprehensive experimental platform, we have investigated the relationship between biological and behavioural variables in two separate studies over a 12-week intervention period in obese adults (total n 92). All variables have been measured objectively and with a similar degree of scientific control and precision, including anthropometric factors, body composition, RMR and accumulative energy consumed at individual meals across the whole day. Results showed that meal size and daily energy intake (EI) were significantly correlated with fat-free mass (FFM, P values ,0·02–0·05) but not with fat mass (FM) or BMI (P values 0·11–0·45) (study 1, n 58). In study 2 (n 34), FFM (but not FM or BMI) predicted meal size and daily EI under two distinct dietary conditions (high-fat and low-fat). These data appear to indicate that, under these circumstances, some signal associated with lean mass (but not FM) exerts a determining effect over self-selected food consumption. This signal may be postulated to interact with a separate class of signals generated by FM. This finding may have implications for investigations of the molecular control of food intake and body weight and for the management of obesity.
Resumo:
Iron (Fe) is the fourth most abundant element in the Earth’s crust. Excess Fe mobilization from terrestrial into aquatic systems is of concern for deterioration of water quality via biofouling and nuisance algal blooms in coastal and marine systems. Substantial Fe dissolution and transport involve alternate Fe(II) oxidation followed by Fe(III) reduction, with a diversity of Bacteria and Archaea acting as the key catalyst. Microbially-mediated Fe cycling is of global significance with regard to cycles of carbon (C), sulfur (S) and manganese (Mn). However, knowledge regarding microbial Fe cycling in circumneutral-pH habitats that prevail on Earth has been lacking until recently. In particular, little is known regarding microbial function in Fe cycling and associated Fe mobilization and greenhouse (CO2 and CH4, GHG) evolution in subtropical Australian coastal systems where microbial response to ambient variations such as seasonal flooding and land use changes is of concern. Using the plantation-forested Poona Creek catchment on the Fraser Coast of Southeast Queensland (SEQ), this research aimed to 1) study Fe cycling-associated bacterial populations in diverse terrestrial and aquatic habitats of a representative subtropical coastal circumneutral-pH (4–7) ecosystem; and 2) assess potential impacts of Pinus plantation forestry practices on microbially-mediated Fe mobilization, organic C mineralization and associated GHG evolution in coastal SEQ. A combination of wet-chemical extraction, undisturbed core microcosm, laboratory bacterial cultivation, microscopy and 16S rRNA-based molecular phylogenetic techniques were employed. The study area consisted primarily of loamy sands, with low organic C and dissolved nutrients. Total reactive Fe was abundant and evenly distributed within soil 0–30 cm profiles. Organic complexation primarily controlled Fe bioavailability and forms in well-drained plantation soils and water-logged, native riparian soils, whereas tidal flushing exerted a strong “seawater effect” in estuarine locations and formed a large proportion of inorganic Fe(III) complexes. There was a lack of Fe(II) sources across the catchment terrestrial system. Mature, first-rotation plantation clear-felling and second-rotation replanting significantly decreased organic matter and poorly crystalline Fe in well-drained soils, although variations in labile soil organic C fractions (dissolved organic C, DOC; and microbial biomass C, MBC) were minor. Both well-drained plantation soils and water-logged, native-vegetation soils were inhabited by a variety of cultivable, chemotrophic bacterial populations capable of C, Fe, S and Mn metabolism via lithotrophic or heterotrophic, (micro)aerobic or anaerobic pathways. Neutrophilic Fe(III)-reducing bacteria (FeRB) were most abundant, followed by aerobic, heterotrophic bacteria (heterotrophic plate count, HPC). Despite an abundance of FeRB, cultivable Fe(II)-oxidizing bacteria (FeOB) were absent in associated soils. A lack of links between cultivable Fe, S or Mn bacterial densities and relevant chemical measurements (except for HPC correlated with DOC) was likely due to complex biogeochemical interactions. Neither did variations in cultivable bacterial densities correlate with plantation forestry practices, despite total cultivable bacterial densities being significantly lower in estuarine soils when compared with well-drained plantation soils and water-logged, riparian native-vegetation soils. Given that bacterial Fe(III) reduction is the primary mechanism of Fe oxide dissolution in soils upon saturation, associated Fe mobilization involved several abiotic and biological processes. Abiotic oxidation of dissolved Fe(II) by Mn appeared to control Fe transport and inhibit Fe dissolution from mature, first-rotation plantation soils post-saturation. Such an effect was not observed in clear-felled and replanted soils associated with low SOM and potentially low Mn reactivity. Associated GHG evolution post-saturation mainly involved variable CO2 emissions, with low, but consistently increasing CH4 effluxes in mature, first-rotation plantation soil only. In comparison, water-logged soils in the riparian native-vegetation buffer zone functioned as an important GHG source, with high potentials for Fe mobilization and GHG, particularly CH4 emissions in riparian loam soils associated with high clay and crystalline Fe fractions. Active Fe–C cycling was unlikely to occur in lower-catchment estuarine soils associated with low cultivable bacterial densities and GHG effluxes. As a key component of bacterial Fe cycling, neutrophilic FeOB widely occurred in diverse aquatic, but not terrestrial, habitats of the catchment study area. Stalked and sheathed FeOB resembling Gallionella and Leptothrix were limited to microbial mat material deposited in surface fresh waters associated with a circumneutral-pH seep, and clay-rich soil within riparian buffer zones. Unicellular, Sideroxydans-related FeOB (96% sequence identity) were ubiquitous in surface and subsurface freshwater environments, with highest abundance in estuary-adjacent shallow coastal groundwater water associated with redox transition. The abundance of dissolved C and Fe in the groundwater-dependent system was associated with high numbers of cultivable anaerobic, heterotrophic FeRB, microaerophilic, putatively lithotrophic FeOB and aerobic, heterotrophic bacteria. This research represents the first study of microbial Fe cycling in diverse circumneutral-pH environments (terrestrial–aquatic, freshwater–estuarine, surface–subsurface) of a subtropical coastal ecosystem. It also represents the first study of its kind in the southern hemisphere. This work highlights the significance of bacterial Fe(III) reduction in terrestrial, and bacterial Fe(II) oxidation in aquatic catchment Fe cycling. Results indicate the risk of promotion of Fe mobilization due to plantation clear-felling and replanting, and GHG emissions associated with seasonal water-logging. Additional significant outcomes were also achieved. The first direct evidence for multiple biomineralization patterns of neutrophilic, microaerophilic, unicellular FeOB was presented. A putatively pure culture, which represents the first cultivable neutrophilic FeOB from the southern hemisphere, was obtained as representative FeOB ubiquitous in diverse catchment aquatic habitats.
Resumo:
Emerging from the challenge to reduce energy consumption in buildings is a need for research and development into the more effective use of simulation as a decision-support tool. Despite significant research, persistent limitations in process and software inhibit the integration of energy simulation in early architectural design. This paper presents a green star case study to highlight the obstacles commonly encountered with current integration strategies. It then examines simulation-based design in the aerospace industry, which has overcome similar limitations. Finally, it proposes a design system based on this contrasting approach, coupling parametric modelling and energy simulation software for rapid and iterative performance assessment of early design options.
Resumo:
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.