One of the promises of High Level Architecture (HLA) is the reusability of simulation components. Although HLA supports reusability to some extent with mechanisms provided by Object Model Template (OMT), when the developer wants to use an existing federate application within another federation with a different Federation Object Model (FOM) problem arises. She usually has to modify the federate code and rebuilt it. There have been some attempts to solve this problem and they, in fact, accomplish this to some extent but usually they fall short of providing flexible but also a complete mapping mechanism. In this work, a model based approach that mainly focuses on Declaration, Object and Federation Management services is explored. The proposed approach makes use of Model Integrated Computing (MIC) and .NET 2.0 technologies by grouping federate transitioning activities into three well-defined phases, namely, modeling, automatic code generation and component generation. As a side product, a .NET 2.0 wrapper to Runtime Infrastructure (RTI) has been developed to help developers create IEEE 1516 compatible .NET 2.0 federates in a programming language independent way.

Web pages serve a huge number of internet users in nearly every area. An adequate testing is needed to address the problems of web domains for more efficient and accurate services. We present an automated tool to test web applications against execution errors and the errors occured when many users connect the same server concurrently. Our tool, called NaMoX, attains the clickables of the web pages, creates a model exerting depth first search algorithm. NaMoX simulates a number of users, parses the developed model, and tests the model by branch coverage analysis. We have performed experiments on five web sites. We have reported the response times when a click operation is eventuated. We have found 188 errors in total. Quality metrics are extracted and this is applied to the case studies.

This study uses the spatial features of defects on the wafers to examine the detection and control of process variation in semiconductor fabrication. It applies spatial stochastic process to semiconductor yield modeling and the extrinsic reliabil- ity estimation model. New yield models of integrated circuits based on the spatial point process are established. The defect density which varies according to location on the wafer is modeled by the spatial nonhomogeneous Poisson process. And, in order to capture the variations in defect patterns between wafers, a random coeff- cient model and model-based clustering are applied. Model-based clustering is also applied to the fabrication process control for detecting these defect clusters that are generated by assignable causes. An extrinsic reliability model using defect data and a statistical defect growth model are developed based on the new yield model.

The main goal of testing is to find errors in the System Under Test (SUT). Prior research indicated that Model-Based Testing is indeed good at finding SUT errors, can lead to less time and effort spent on testing if the time needed to write and maintain the model plus the time spent on directing the test generation is less than the cost of manually designing and maintaining a test suite. This study proposed a methodology for Model-Based Testing. In this approach, Sequence Diagrams and Class Diagram are used to determine the testing path and test case and Object Constraint Language is used to specify the business logic constraint. Three real-world cases and a CASE tool are used to test the usability (including the concepts, application, and advantages) of the proposed methodology. With this approach, SUT errors can be found at the systems analysis and design stage and thereby reduce the cost of software testing and enhance the efficiency of system development.

The main goal of model testing is to find system errors at the systems analysis and design stage and thereby reduce the cost of software testing and enhance the efficiency of system development. Prior researches proposed an Integrated Method which utilizes the artifacts from the Platform Independent Model (PIM) to construct the test path and constrained class tuples (CCT). These two can then be integrated to construct an Integrated Testing Model (ITM) for determining the test data and test cases for Model-Based Testing. This study develops a methodology which extracting the information from the Sequence Diagram and Class Diagram from the PIM to construct an ITM. The research methodology is articulated using the design science research methodology. A prototype embedded methodology has been developed. A usability evaluation is performed on the prototype to demonstrate its usability in terms of the factors, efficiency and effectiveness. With this methodology, the test paths, CCT and ITM can be generated automatically; thereby reducing the costs and increasing the efficiency of Model-Based Testing.

<p>The development of advanced embedded systems requires a systematic approach as well as advanced tool support in dealing with their increasing complexity. This complexity is due to the increasing functionality that is implemented in embedded systems and stringent (and conflicting) requirements placed upon such systems from various stakeholders. The corresponding system development involves several specialists employing different modeling languages and tools. Integrating their work and the results thereof then becomes a challenge. In order to facilitate system architecting and design integration of different models, an approach that provides dedicated workspaces/views supported by structured information management and information exchange between domain models and tools is required.</p><p>This work is delimited to the context of embedded systems design and taking a model based approach. The goal of the work is to study possible technical solutions for integrating different models and tools, and to develop knowledge, support methods and a prototype tool platform.</p><p>To this end, this thesis examines a number of approaches that focus on the integration of multiple models and tools. Selected approaches are compared and characterized, and the basic mechanisms for integration are identified. Several scenarios are identified and further investigated in case studies. Two case studies have been performed with model transformations as focus. In the first one, integration of Matlab/Simulink® and UML2 are discussed with respect to the motivations, technical possibilities, and challenges. A preliminary mapping strategy, connecting a subset of concepts and constructs of Matlab/Simulink® and UML2, is presented together with a prototype implementation in the Eclipse environment. The second case study aims to enable safety analysis based on system design models in a UML description. A safety analysis tool, HiP-HOPS (Hierarchically Performed Hazard Origin and Propagation Studies), is partially integrated with a UML tool where an EAST-ADL2 based architecture model is developed. The experience and lessons learned from the experiments are reported in this thesis.</p><p>Multiple specific views are involved in the development of embedded systems. This thesis has studied the integration between system architecture design, function development and safety analysis through using UML tools, Matlab/Simulink, and HiP-HOPS. The results indicate that model transformations provide a feasible and promising solution for integrating multiple models and tools. The contributions are believed to be valid for a large class of advanced embedded systems. However, the developed transformations so far are not really scalable. A systematic approach for efficient development of model transformations is desired to standardize the design process and reuse developed transformations. To this end, future studies will be carried out to develop guidelines for model and tool integration and to provide support for structured information at both meta level and instance level.</p>

<p>Traditional diagnosis has been performed with hardware redundancy and limit checking. The development of more powerful computers have made a new kind of diagnosis possible. Todays computing power allows models of the system to be run in real time and thus making model-based diagnosis possible. </p><p>The objective with this thesis is to investigate the potential of model-based diagnosis, especially when combined with active diagnosis. The diagnosis system has been applied on a model of the JAS39 Gripen fuel pressurization system. </p><p>With the sensors available today no satisfying diagnosis system can be built, however, by adding a couple of sensors and using active model-based diagnosis all faults can be detected and isolated into a group of at most three components. </p><p>Since the diagnosis system in this thesis only had a model of the real system to be tested at, this thesis is not directly applicable on the real system. What can be used is the diagnosis approach and the residuals and decision structure developed here.</p>

<p>This master thesis investigates how well suited the model-based testing process is for testing a new feature of a Base Station Controller. In model-based testing the tester designs a behavioral model of the system under test, or some part of the system. This model is then given to a test generation tool that will analyze the model and produce interesting test cases. These test cases can either be run on the system in an automatic or manual way depending on what type of setup there is.</p><p>In this report it is suggested that the behavioral model should be produced in as early a stage as possible and that it should be a collaboration between the test team and the design team.</p><p>The advantages with the model-based testing process are a better overview of the test cases, the test cases are always up to date, it helps in finding errors or contradictions in requirements and it performs closer collaboration between the test team and the design team. The disadvantages with model-based testing process are that it introduces more sources where an error can occur. The behavioral model can have errors, the layer between the model and the generated test cases can have errors and the layer between the test cases and the system under test can have errors. This report also indicates that the time needed for testing will be longer compared with manual testing.</p><p>During the pilot, when a part of a new feature was tested, of this master thesis a test generation tool called Qtronic was used. This tool solves a very challenging task which is generating test cases from a general behavioral model and with a good result. This tool provides many good things but it also has its shortages. One of the biggest shortages is the debugging of the model for finding errors. This step is very time consuming because it requires that a test case generation is performed on the whole model. When there is a fault in the model then this test generation can take very long time, before the tool decides that it is impossible to cover the model.</p><p>Under the circumstances that the Qtronic tool is improved on varies issues suggested in the thesis, one of the most important issues is to do something about the long debugging time needed, then the next step can be to use model-based testing in a larger evaluation project at BSC Design, Ericsson.</p>

<p>Several different air pollutions are produced during combustion in a diesel engine, for example nitric oxides, NOx, which can be harmful for humans. This has led to stricter emission legislations for heavy duty trucks. The law requires both lower emissions and an On-Board Diagnosis system for all manufactured heavy duty trucks. The OBD system supervises the engine in order to keep the emissions below legislation demands. The OBD system shall detect malfunctions which may lead to increased emissions. To design the OBD system an automatic model based diagnosis approach has been developed at Scania CV AB where residual generators are generated from an engine model.</p><p>The main objective of this thesis is to improve the existing methods at Scania CV AB to extract residual generators from a model in order to generate more residual generators. The focus lies on the methods to find possible residual generators given an overdetermined subsystem. This includes methods to estimate derivatives of noisy signals.</p><p>A method to use both integral and derivative causality has been developed, called mixed causality. With this method it has been shown that more residual generators can be found when designing a model based diagnosis system, which improves the fault isolation. To use mixed causality, derivatives are estimated with smoothing spline approximation.</p>

This thesis demonstrates how a model-based observer can be applied to estimate the reference pilot expectation that can be achieved with any instrument scanning behavior and established models of vestibular inputs. The MBO, developed by the Georgia Tech Cognitive Engineering Center, is applied here in both simple maneuvers examining spatial disorientation and full Air Traffic Control concepts of operations examining loss of energy state awareness. The computational experiments presented in this thesis examine how different effects (i.e., instrument scan pattern, accuracy of pilot perception of flight display information, and awareness of control surface deflections) can prevent or mitigate the susceptibility to spatial disorientation and loss of energy state awareness, thus setting requirements for intervention and countermeasure designs in terms of the scanning behavior they must foster.