MATrA: meta-modelling approach to traceability for avionics

PhD ThesisTraceability is the common term for mechanisms to record and navigate relationships between artifacts produced by development and assessment processes. Effective management of these relationships is critical to the success of projects involving the development of complex aerospace products. Practitioners use a range of notations to model aerospace products (often as part of a defined technique or methodology). Those appropriate to electrical and electronic systems (avionics) include Use Cases for requirements, Ada for development and Fault Trees for assessment (others such as PERT networks support product management). Most notations used within the industry have tool support, although a lack of well-defined approaches to integration leads to inconsistencies and limits traceability between their respective data sets (internal models). Conceptually, the artifacts produced using such notations populate four traceability dimensions. Of these, three record links between project artifacts (describing the same product), while the fourth relates artifacts across different projects (and hence products), and across product families within the same project. The scope of this thesis is to define a meta-framework that characterises traceability dimensions for aerospace projects, and then to propose a concrete framework capturing the syntax and semantics of notations used in developing avionics for such projects which enables traceability across the four dimensions. The concrete framework is achieved by exporting information from the internal models of tools supporting these notations to an integrated environment consisting of. i) a Workspace comprising a set of structures or meta-models (models describing models) expressed in a common modelling language representing selected notations (including appropriate extensions reflecting the application domain); ii) well-formedness constraints over these structures capturing properties of the notations (and again, reflecting the domain); and iii) associations between the structures. To maintain consistency and identify conflicts, elements of the structures are verified against a system model that defines common building blocks underlying the various notations. The approach is evaluated by (partial) tool implementation of the structures which are populated using case study material derived from actual commercial specifications and industry standards

Conventional versus highly cross-linked polyethylene in primary total knee replacement : a comparison of revision rates using data from the National Joint Registry for England, Wales, and Northern Ireland

There is evidence to support the use of highly cross-linked polyethylene (HXLPE) in patients undergoing total hip arthroplasty. However, the benefits for those undergoing total knee arthroplasty are uncertain, with conflicting reports based on previous cohort analyses. The purpose of the present study was to compare the revision rates following primary total knee arthroplasty with use of HXLPE as compared with conventional polyethylene (CPE) using data from the National Joint Registry (NJR) for England, Wales and Northern Ireland. We performed a retrospective analysis of primary total knee arthroplasties recorded in the NJR from 2003 to 2014. Cobalt-chromium (CoCr)-CPE and CoCr-HXLPE bearing surfaces were compared using all-cause revision, aseptic revision, and septic revision as end points. Survival analyses were conducted using rates per 100 years observed, Kaplan-Meier survival estimates, and Cox regression hazard ratios (HRs) adjusted for age, sex, American Society of Anesthesiologists (ASA) classification, body mass index (BMI), lead surgeon grade, and implant constraint. Secondary analyses compared the most commonly used HXLPEs (Zimmer Prolong, DePuy XLK, and Stryker X3) against CPE for the 3 most common total knee arthroplasty systems (NexGen, PFC Sigma, and Triathlon). In the present study of 550,658 total knee arthroplasties, the unadjusted aseptic revision rates were significantly lower following procedures performed with CPE (n = 513,744) as compared with those performed with HXLPE total knee replacements (n = 36,914) (0.29 [95% confidence interval (CI), 0.28 to 0.30] compared to 0.38 [95% CI, 0.35 to 0.42], p 35 kg/m, the "second-generation" Stryker X3 HXLPE demonstrated significantly better survival than its respective CPE, with CPE having an HR of 2.6 (95% CI, 1.2 to 5.9) (p = 0.02). Alternative bearings are marketed as having improved wear properties over traditional CoCr-CPE. This registry-based analysis demonstrated no overall survival benefit of HXLPE after a maximum duration of follow-up of 12 years. Because of their increased cost, the routine use of HXLPE bearings may not be justified. However, they may have a role in specific "higher demand" groups such as patients 35 kg/m. Therapeutic Level III. See Instructions for Authors for a complete list of levels of evidence

Rights, risks, and responsibilities in the recruitment of children within the global football industry

This paper examines children’s engagement with the increasingly global and commercialised football industry. By combining a Global Production Network approach and the United Nations Convention on the Rights of the Child it is argued that, for children’s rights and best interests to be better upheld and realised within the football industry, regulatory conditions need to account for geographical contextuality and incorporate scope for children to inform regulatory frameworks and practice. The paper highlights the importance of designing and implementing research that recognises and operationalises children’s agency, which can both inform and influence regulations and practices, better to reflect children’s best interests.</jats:p

Children before players: Current risks and future research agendas

This report identifies and examines ‘sites’ of interaction between the global football industry’s recruitment network and the rights of the child as articulated in the United Nations Convention on the Rights of the Child (UNCRC). A ‘global production network’ (GPN) framework was used alongside the UNCRC to map and audit where children’s rights may be at risk or impinged upon, because of their involvement with football. Overall, this report found that the regulatory system and governance structures concerning the recruitment of child players within the football industry, produce consequences that impinge upon the rights of children as expressed in the UNCRC and place children at risk of exploitation and abuse

Children’s rights and the regulations on the transfer of young players in football

Children who interact with football’s recruitment and transfer processes encounter a complex web of regulations and practices. Debates over how to ensure that the interests and well-being of young football players are adequately protected, and that risks to their rights and welfare are identified and addressed, have become a topic of academic, political, and media concern. This commentary article provides an overview of the Federation Internationale de Football Association (FIFA) regulations concerning the mobility and representation of minors in player recruitment processes, in particular the Regulations on the Status and Transfer of Players (RSTP) and the Regulations on Working with Intermediaries (RWI). We examine these regulations through the lens of the United Nations Children’s Rights Conventions (UNCRC). In so doing, the article demonstrates how football’s regulatory frameworks and commercial practices inadvertently yield consequences that operate against the best interests of children involved in the sport. To counteract this, it is proposed that all planning, implementation, monitoring, and evaluation of regulations involving the recruitment and transfer of young people should be explicitly informed by globally accepted standards of children’s rights, such as the UNCRC. More specifically, it is argued that FIFA should adopt an approach that places the child at the centre of regulatory frameworks and characterises the child as a ‘rights holder’

The SDO/EVE Solar Irradiance Coronal Dimming Index Catalog. I. Methods and Algorithms

When a coronal mass ejection departs, it leaves behind a temporary void. That void is known as coronal dimming, and it contains information about the mass ejection that caused it. Other physical processes can cause parts of the corona to have transient dimmings, but mass ejections are particularly interesting because of their influence in space weather. Prior work has established that dimmings are detectable even in disk-integrated irradiance observations, i.e., Sun-as-a-star measurements. The present work evaluates four years of continuous Solar Dynamics Observatory Extreme Ultraviolet Experiment (EVE) observations to greatly expand the number of dimmings we may detect and characterize, and collects that information into Jamess EVE Dimming Index catalog. This paper details the algorithms used to produce the catalog, provides statistics on it, and compares it with prior work. The catalog contains 5051 potential events (rows), which correspond to all robustly detected solar eruptive events in this time period as defined by >C1 flares. Each row has a corresponding 27,349 elements of metadata and parameterizations (columns). In total, this catalog is the result of analyzing 7.6 million solar ultraviolet light curves

Space Suit Radiator Performance in Lunar and Mars Environments

During an ExtraVehicular Activity (EVA), both the heat generated by the astronaut's metabolism and that produced by the Portable Life Support System (PLSS) must be rejected to space. The heat sources include the heat of adsorption of metabolic CO2, the heat of condensation of water, the heat removed from the body by the liquid cooling garment and the load from the electrical components. Although the sublimator hardware to reject this load weighs only 1.58 kg (3.48 lbm), an additional 3.6 kg (8 lbm) of water are loaded into the unit, most of which is sublimated and lost to thus become the single largest expendable during an eight hour EVA. We can significantly reduce the amount of expendable water consumed in the sublimator by using a radiator to reject heat from the Astronaut during an EVA. Last year we reported on the design and initial operational assessment tests of our novel radiator designated the Radiator And Freeze Tolerant heat eXchanger (RAFT-X). Herein, we report on tests conducted in the NASA Johnson Space Center Chamber E Thermal Vacuum Test Facility. Up to 260 W (900 Btu/h) of heat were rejected in Lunar and Mars environments with temperatures as cold as -170 C (- 275 F). Further, the RAFT-X endured several freeze / thaw cycles and in fact, the heat exchanger was completely frozen three times without any apparent damage to the unit