Trusted product lines

This thesis describes research undertaken into the application of software product line approaches to the development of high-integrity, embedded real-time software systems that are subject to regulatory approval/certification. The motivation for the research arose from a real business need to reduce cost and lead time of aerospace software development projects. The thesis hypothesis can be summarised as follows: It is feasible to construct product line models that allow the specification of required behaviour within a reference architecture that can be transformed into an effective product implementation, whilst enabling suitable supporting evidence for certification to be produced. The research concentrates on the following four main areas: 1. Construction of an argument framework in which the application of product line techniques to high-integrity software development can be assessed and critically reviewed. 2. Definition of a product-line reference architecture that can host components containing variation. 3. Design of model transformations that can automatically instantiate products from a set of components hosted within the reference architecture. 4. Identification of verification approaches that may provide evidence that the transformations designed in step 3 above preserve properties of interest from the product line model into the product instantiations. Together, these areas form the basis of an approach we term “Trusted Product Lines”. The approach has been evaluated and validated by deployment on a real aerospace project; the approach has been used to produce DO-178B/ED-12B Level A applications of over 300 KSLOC in size. The effect of this approach on the software development process has been critically evaluated in this thesis, both quantitatively (in terms of cost and relative size of process phases) and qualitatively (in terms of software quality). The “Trusted Product Lines” approach, as described within the thesis, shows how product line approaches can be applied to high-integrity software development, and how certification evidence created and arguments constructed for products instantiated from the product line. To the best of our knowledge, the development and effective application of product line techniques in a certification environment is novel and unique

Learning to Teach Without Teaching: A Mixed Methods Case Study of Preservice Teachers’ Efficacy Beliefs and Perceptions of an Evidence-based Creative Arts Subject

Recognition of the inherent value of the Creative Arts in society seldom extends beyond rhetoric to meaningful action. The powerful ways the Creative Arts are positioned within curriculum documents, for example, stand in contrast to entrenched problems such as poor teacher attitudes, disengaging teaching practices and low status. Initial Teacher Education (ITE) programs and preservice teachers are essential to the long-term improvement of Creative Arts education. Creative Arts in ITE is also an interesting context in which to examine the divide between Subject Matter Knowledge (SMK) and Pedagogical Knowledge (PK) that has influenced both educational research and policy. This paper reports on a mixed methods case study of 24 preservice teachers’ Creative Arts teaching efficacy beliefs and perceptions as they completed an evidence-based, discipline-focussed creative arts subject. The Likert scale efficacy data, collected via the CATEBI-B, modified from the established STEBI-B (Enochs & Riggs, 1990), were analysed via MANOVA with repeated measures and T-tests. These analyses were complemented by thematic analysis of qualitative survey data. Results showed statistically significant increases in participants\u27 personal Creative Arts teaching efficacy upon completion of the subject. The significance of Creative Arts teaching outcome expectancy increases was questionable and the qualitative results were somewhat mixed despite being mostly positive. Implications of these findings and directions for further research in this space are discussed

Bridging Proprietary Modelling and Open-Source Model Management Tools : The Case of PTC Integrity Modeller and Epsilon

While the majority of research on Model-Based Software Engineering revolves around open-source modelling frameworks such as EMF, the use of commercial and closed-source modelling tools such as RSA, Rhapsody, MagicDraw and PTC Integrity Modeller appears to be the norm in industry at present. This technical gap can prohibit industrial users from reaping the benefits of state-of-the-art research-based tools in their practice. In this paper, we discuss an attempt to bridge a proprietary UML modelling tool (PTC Integrity Modeller), which is used for model-based development of safety-critical systems at Rolls-Royce, with an open-source family of languages for automated model management (Epsilon). We present the architecture of our solution, the challenges we encountered in developing it, and a performance comparison against the tool's built-in scripting interface

Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies

This paper describes four impact case studies where real-time systems research has been successfully transferred into industrial practice. In three cases, the technology created was translated into a viable commercial product via a start-up company. This technology transfer led to the creation and sustaining of a large number of high technology jobs over a 20 year period. The final case study involved the direct transfer of research results into an engineering company. Taken together, all four case studies have led to significant advances in automotive electronics and avionics, providing substantial returns on investment for the companies using the technology

Study of the Reliability of Statistical Timing Analysis for Real-Time Systems

Presented at 23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.Probabilistic and statistical temporal analyses have been developedas a means of determining the worst-case execution and responsetimes of real-time software for decades. A number of such methodshave been proposed in the literature, of which the majority claim tobe able to provide worst-case timing scenarios with respect to agiven likelihood of a certain value being exceeded. Further, suchclaims are based on either some estimates associated with a probability,or probability distributions with a certain level of confidence.However, the validity of the claims are very much dependent on anumber of factors, such as the achieved samples and the adopteddistributions for analysis.In this paper, we investigate whether the claims made are in facttrue as well as the establishing an understanding of the factors thataffect the validity of these claims. The results are of importancefor two reasons: to allow researchers to examine whether there areimportant issues that mean their techniques need to be refined; andso that practitioners, including industrialists who are currently usingcommercial timing analysis tools based on these types of techniques,understand how the techniques should be used to ensure theresults are fit for their purposes

Can dietary intake influence perception of and measured appearance? A Systematic Review

Appearance-based interventions have had some success in reducing smoking and sun exposure. Appearance may also motivate dietary behavior change if it was established that dietary improvement had a positive impact on appearance. The aims of this review are to evaluate the current evidence examining the relationship between dietary intake and appearance and to determine the effectiveness of dietary interventions on perceived or actual appearance. An electronic search of English-language studies up to August 2012 was conducted using Cochrane, MEDLINE, Embase, CINAHL, Web of Science, SCOPUS, and PsycINFO databases. Studies that included participants aged at least 18 years, that observed or altered dietary intake from actual food or dietary supplement use, and assessed appearance-related outcomes were considered eligible. Data from 27 studies were extracted and assessed for quality using standardized tools. Nineteen studies were assessed as being of “positive” and 4 of “neutral” quality. All observational studies (n = 4741 participants) indicated that there was a significant association between various aspects of dietary intake and skin coloration and skin aging. The majority (16 studies, 769 participants) evaluated the effect of dietary supplements on skin appearance among women. Only 1 study examined the effect of actual food intake on appearance. Significant improvements in at least 1 actual or perceived appearance-related outcome (facial wrinkling, skin elasticity, roughness, and skin color) following dietary intervention were shown as a result of supplementation. Further studies are needed in representative populations that examine actual food intake on appearance, using validated tools in well-designed high-quality randomized control trials

“It's Ok, We're Not Cousins by Blood”: The Cousin Marriage Controversy in Historical Perspective

Marriage between first cousins is highly stigmatized in the West and, indeed, is illegal in 31 US states. But is the hostility to such marriage scientifically well-grounded

Perceptions of carotenoid and melanin colouration in faces among young Australian adults

Objective:  Human skin colour is influenced by three pigments: haemoglobin, carotenoids, and melanin. Carotenoids are abundant in fruits and vegetables, and when consumed accumulate in all layers of the skin, predominantly imparting yellowness (b*). This study investigated the effect of the manipulation of carotenoid-based skin colour, relative to the skin colour conferred by melanin on the perceptions of health amongst a group of Australian adults. Method:  Fifty-seven participants (n = 4 male; mean age 27.9 ± 7.5 years) completed three computer-based experiments on 50 trial faces. In the first two experiments, face image colour was manipulated along one or two independent single carotenoid or melanin axes on each trial to ‘make the face appear as healthy as possible’. In the third trial, face colour was manipulated on both the carotenoid and melanin axes simultaneously. Results:  For the single axis, participants significantly increased melanin colouration and added carotenoid colouration to facial images that were initially low in skin yellowness (b*). When carotenoid and melanin axes were simultaneously manipulated, carotenoid colouration was raised (ΔE  = 3.15 ( SE  ±0.19)) and melanin colouration was lowered (ΔE  = −1.04 ( SE  ±0.1)). Conclusions:  Young Australian adults perceive facial skin colouration, associated with both carotenoid intake from fruit and vegetables and melanin due to sun exposure as conveying the appearance of health in young adults. However, carotenoid colouration was more important to health perception.PostprintPeer reviewe

Image-Based Dietary Assessment and Tailored Feedback Using Mobile Technology: Mediating Behavior Change in Young Adults

Assessing the implementation of nutrition interventions is important to identify characteristics and dietary patterns of individuals who benefit most. The aim was to report on young adults' experiences of receiving dietary feedback text messaging intervention. Diet was captured using an image-based 4-day mobile food recordTM application (mFRTM) and assessed to formulate two tailored feedback text messages on fruit and vegetables and energy-dense nutrient-poor (EDNP) foods and beverages. At 6-months 143 participants completed a second mFRTM and a questionnaire evaluating the dietary feedback. Participants who agreed the text messages made them think about how much vegetables they ate were more likely to increase their intake by at least half a serve than those who disagreed [odds ratio (OR) = 4.28, 95% Confidence Interval (CI): 1.76 to 10.39]. Those who agreed the text messages made them think about how much EDNP foods they ate, were twice as likely to decrease their intake by over half a serve (OR = 2.39, 95%CI: 1.12 to 5.25) than those who disagreed. Undertaking detailed dietary assessment ensured the tailored feedback was constructive and relevant. Personal contemplation about vegetable and EDNP food intake appears to be a mediator of dietary change in young adults

Cases before International Courts and Tribunals concerning Questions of Public International Law Involving Australia 2020

In the year 2020, Australia’s engagement with international law was oriented around several key areas. In relation to the International Criminal Court (‘ICC’), Australia submitted amicus curiae observations relating to the Court’s jurisdiction over Palestine. In addition, the ICC Office of the Prosecutor published its decision not to further investigate alleged crimes against humanity committed by Australian officials against asylum seekers and refugees in offshore detention centres. Australia also closely watched the proceedings in the International Court of Justice (‘ICJ’) regarding Myanmar’s alleged breaches of the 1948 Convention on the Prevention and Punishment of the Crime of Genocide (‘Genocide Convention’). Australia also had an active year in the sphere of international trade disputes, with several matters in the World Trade Organization