No description available.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

In this thesis we propose a technique to preserve the temporal properties of realtime components during their integration and reuse. We propose a new concept of runnable virtual node which is a coarse-grained real-time component that provides functional and temporal isolation with respect to its environment. A virtual node’s interaction with the environment is bounded by both a functional and a temporal interface, and the validity of its internal temporal behaviour is preserved when integrated with other components or when reused in a new environment.   The first major contribution of this thesis is the implementation of a Hierarchical Scheduling Framework (HSF) on an open source real-time operating system (FreeRTOS) with the emphasis of doing minimal changes to the underlying FreeRTOS kernel and keeping its API intact to support the temporal isolation between a numbers of applications, on a single processor. Temporal isolation between the components during runtime prevents failure propagation between different components.   The second contribution of the thesis is with respect to the integration of components, where we first illustrate how the concept of the runnable virtual node can be integrated in several component technologies and, secondly, we perform a proof-of-concept case study for the ProCom component technology where we demonstrate the runnable virtual node’s real-time properties for temporal isolations and reusability.   We have performed experimental evaluations on EVK1100 AVR based 32-bit micro-controller and have checked the system behaviour during heavy-load and over-load situations by visualizing execution traces in both hierarchical scheduling and virtual node contexts. The results for the case study demonstrate temporal error containment within a runnable virtual node as well as reuse of the node in a new environment without altering its temporal behaviour. / PROGRESS

A Domain-Specific Modeling Approach This study has presented a component-based domain modeling approach that provides an environment for simplifying and accelerating software development and analysis, and improves software reusability, maintainability, and productivity. With highlevel design abstraction, constraints of application domains, and the guidance of domain rules, the proposed component-based framework offers an effective solution to modeling and automating the development and deployment of software application. Meta-modeling will be used in this study to define the domain notations, rules, and constraints for component composition within a specific domain context. A domain-specific graphical design environment will also be proposed to simplify and accelerate the software development by simply dragging and dropping pre-built components with minimal programming effort. The modeling of components can be further extended with the specification of their dependability and real-time constraints. / Related work -- Component composition -- Domain-specific modeling -- Model-based component composition environment for a specific domain -- Mobile service creation framework (MCSF) -- A model-driven approach to implementing dependable component-based mobile services -- A model-driven approach to implementing component-based real-time mobile services / Related work -- Component composition -- Domain-specific modeling -- Model-based component composition environment for a specific domain -- Mobile service creation framework (MCSF) -- A model-driven approach to implementing dependable component-based mobile services -- A model-driven approach to implementing component-based real-time mobile services. / Department of Computer Science

Hybrid electric vehicles (HEVs) were introduced in response to rising environmental challenges facing the automotive sector. HEVs combine the benefits of electric vehicles and conventional internal combustion engine vehicles, integrating an electrical system (a battery and an electric motor) with an engine to provide improved fuel economy and reduced emissions, while maintaining adequate driving range. By comparison with conventional HEVs, plug-in hybrid electric vehicles (PHEVs) have larger battery storage systems and can be fully charged via an external electric power source such as the electrical grid. Of the three primary PHEV architectures, power-split architectures tend to provide greater efficiencies than parallel or series systems; however, they also demonstrate more complicated dynamics. Thus, in this research project, the problem of optimizing the component sizes of a power-split PHEV was addressed in an effort to exploit the flexibility of this powertrain system and further improve the vehicle's fuel economy, using a Toyota plug-in Prius as the baseline vehicle. Autonomie software was used to develop a vehicle model, which was then applied to formulate an optimization problem for which the main objective is to minimize fuel consumption over standard driving cycles. The design variables considered were: the engine's maximum power, the number of battery cells and the electric motor's maximum power. The genetic algorithm approach was employed to solve the optimization problem for various drive cycles and an acceptable reduction in fuel consumption was achieved thorough the sizing process. The model was validated against a MapleSim model. This research project successfully delivered a framework that integrates an Autonomie PHEV model and genetic algorithm optimization and can be used to address any HEV parameter optimization problem, with any objective, constraints, design variables and optimization parameters.

This dissertation presents techniques to achieve predictable execution of coarse-grained software components and for preservation of temporal properties of components during their integration and reuse. The dissertation presents a novel concept runnable virtual node (RVN) which interaction with the environment is bounded both by a functional and a temporal interface, and the validity of its internal temporal behaviour is preserved when integrated with other components or when reused in a new environment. The realization of RVN exploits techniques for hierarchical scheduling to achieve temporal isolation, and the principles from component-based software-engineering to achieve functional isolation. The proof-of-concept case studies executed on a micro-controller demonstrate the preserving of real-time properties within software components for predictable integration and reusability in a new environment, in both hierarchical scheduling and RVN contexts. Further, a multi-resource server (MRS) is proposed and implemented to enable predictable execution when composing multiple real-time components on a COTS multicore platform. MRS uses resource reservation for both CPU-bandwidth and memory-bus bandwidth to bound the interferences between tasks running on the same core, as well as, between tasks running on different cores. The later could, without MRS, interfere with each other due to contention on a shared memory-bus and memory. The results indicated that MRS can be used to "encapsulate" legacy systems and to give them enough resources to fulfill their purpose. In the dissertation, the compositional schedulability analysis for MRS is also provided and an experimental study is performed to bring insight on the correlation between the server budgets. We believe that the proposed approaches enable a faster software integration and support legacy reuse and that this work transcend the boundaries of software engineering and real-time systems. / PPMSched / PROGRESS

This thesis focuses on estimating faults in complex large-scale integrated aircraft systems, especially where they interact with, and control, the aircraft dynamics. A general assumption considered in the reliability of such systems is that any component level fault will be monitored, detected and corrected by some fault management capability. However, a reliance on fault management assumes not only that it can detect and manage all faults, but also that it can do so in sufficient time to recover from any deviation in the aircraft dynamics and flight path. Testing for system-level effects is important to ensure better reliability of aircraft systems. However, with existing methods for validation of complex aircraft systems, it is difficult and impractical to set up a finite test suite to enable testing and integration of all the components of a complex system. The difficulty lies in the cost of modelling every aspect of every component given the large number of test cases required for sufficient coverage. Just having a good simulator, or increasing the number of test cases is not sufficient; it is also important to know which simulation runs to conduct. For this purpose, the thesis proposes simulating faults in the system through the violation of “axiomatic conditions” of the system components, which are conditions on the functioning of these components introduced during their development. The thesis studies the effect, on the aircraft dynamics, of simulating such faults when reference models of the components representing their key functions are integrated.

京都大学 / 新制・課程博士 / 博士(工学) / 甲第23924号 / 工博第5011号 / 新制||工||1782(附属図書館) / 京都大学大学院工学研究科合成・生物化学専攻 / (主査)教授 浜地 格, 教授 古川 修平, 教授 杉安 和憲 / 学位規則第4条第1項該当 / Doctor of Philosophy (Engineering) / Kyoto University / DGAM

Total hip arthroplasty (THA) is a successful surgical technique that can be used for the effective treatment of fractured neck of femur, osteoarthritis, tumours, avascular necrosis, failed internal fixation, developmental dysplasia and rheumatoid arthritis. Revision surgery is necessary if loosening allows relative motion between the femoral stem and femur, causing pain and mechanical instability of the THA. The large number of revision operations undertaken each year as a result of implant failure emphasises the need for better biomechanical understanding of the femoral implant system. During 2001-02 in Australia 26,689 hip replacement operations were performed, with 3,710 of these being revision operations. The Exeter stem is the most commonly used cemented stem for primary and revision hip replacement in Australia. It is therefore very important to understand the mechanics of this clinically successful implant. Few studies have presented a through investigation into the mechanics of the Exeter stem from a fundamental perspective. To address these issues, mechanical and finite element (FE) methods were used to conduct experiments and numerical investigations into the mechanics of the Exeter stem. The femur geometry, for both the experimental and FE studies, was based upon the Sawbones model 3303 medium left third generation femur. The stem orientation for all specimens of the study was replicated from the orientation achieved by the senior surgeon implanting into the Sawbones femur. Test rigs were designed specifically to constrain the femur for the purposes of loading and stability measurements. The experimental investigation was used to investigate the torsional mechanical stability of the stem and to monitor this stability following periods of cyclic loading, using a resultant hip contact force, while monitoring the distal migration of the stem. The experimental investigation was also able to provide data for the validation of the finite element model. The resultant hip contact force was represented experimentally by a cyclic load of 1Hz applied to the head of the implant. The specimen was tested for four days. The loading regime for the initially implanted specimen involved the application of load for 6 hours a day, allowing the specimen to relax under no load for 18 hours a day. The mechanical stability of the initially implanted specimen was tested prior to the application of the cyclic load and immediately after the loading periods, prior to relaxation. Further tests were undertaken to assess the mechanical stability of the stem following the removal and reimplantation of the same stem without the use of additional bone cement (a procedure used surgically when only the acetabular component requires replacement). The reimplanted specimens were tested for a further two days following reimplantation. The six hours of loading for the reimplanted specimen was achieved using three, two hour loading periods. The stability of the reimplaned stem was assessed following each loading period. Initial studies found that the material properties of the Sawbones femurs were highly temperature dependent. If the temperature of the short glass fibre reinforced (SGFR) epoxy used for the cortical bone analogue was increased from room temperature to body temperature there was a reduction in the Young's modulus of up to 37 percent. This finding led to further investigation into the strain state of the femur for varus and neutral stem orientations to reduce femur failure during cyclic loading. The strains of the varus stem orientation were found to be higher than the strains of the neutral stem. The experiments investigating the mechanical stability under cyclic loading continued using the neutral stem orientation. For the neutral stem orientation it was found that there was no perceivable variation in the torsional stiffness of the initially implanted system during the cyclic loading period even though distal migration was observed. Torsional stiffness was observed to be compromised immediately after reimplantation. However, the torsional stiffness of the reimplanted specimen was recovered within the first two hour loading period. No perceivable variation in the torsional stiffness was observed between the initially implanted specimens and the reimplanted specimens following the first two hours of loading. The finite element model (FEM) found good agreement with the experimental investigation in terms of measured strain at two of three rosette positions and failure of the cortical bone. Trends for the stress-strain state of the stem showed good agreement with the clinical findings of failure and wear of the stem. The stress-strain state of the cement predicted the expected compressive and hoop stresses once debonding of the stem-cement interface had progressed. Strain on the surface of the femur was well predicted for pure torsional loading. The FEM has provided a valuable tool for future investigation of the effect of factors such as implant positioning on femoral component mechanics. The experimental and finite element models developed within the scope of this project have provided a powerful analysis tool for the investigation of the femoral component mechanics in THA. Application of the model to clinically relevant problems has given valuable insight into the mechanisms behind the success of this particular implant type. Models such as this will provide information on implant failure modes that will further lead to an increased implant life expectancy and a reduction in the number of revision operations performed.

This thesis is devoted to a component model for Web application and the corresponding tools for its development. The model is described after the review of various existing Web application development methods and models. A case study is also provided to support the analysis. / thesis (PhD)--University of South Australia, 2003.