På WM-data har man utvecklat ett ramverk som heter Java Development Platform med avsikt att modellera större delar av ett system och därmed minska mängden kod som måste skrivas för hand. Ramverket baseras helt på existerande öppna lösningar och används vid utveckling av webbaserade system och skapar en skiktat lösning med en webbapplikation som presentationslager. Problemet är att webbapplikationen har kommit att bli väldigt svår att modellera i enhet med resten av systemet framför allt på grund av den hårda kopplingen till Struts-ramverket. Samtidigt har man börjat få upp ögonen för AJAX och vad det skulle kunna tillföra ramverket. Examensarbetet fokuserar på att utreda de problem som existerar i ramverket samt undersöka integrationen av AJAX ur en synvinkel som gynnar dagens lösning. Detta görs genom litteraturstudier, laborationer och genom att undersöka existerande ramverk och plattformar som löser liknande problem. Fokus ligger även på hur AJAX kan användas för att lösa problemen i modelleringen. Resultatet av arbetet mynnar ut i en analys som behandlar de aspekter som krävs för att AJAX ska kunna bli en del av JDP-ramverket. Analysen innefattar också synen på hur AJAX skulle kunna användas för att underlätta modelleringen av webbapplikationen utan att införa något nytt modelleringsverktyg, det vill säga att UML fortfarande kan användas. / At the WM-data company a framework called Java Development Platform has been developed with the intention of developing a system by first modelling and generating a major part of it instead of handwriting everything from scratch. The framework is based solely on existing open source solutions and is used for developing layered web based systems with the web application as the presentation layer. The problem is that the web application has become very difficult to model in the same way as the rest of the system especially due to the tight coupling between the model and the Struts framework. At the same time, AJAX has been getting more and more attention for its application areas as well as how it can be used to solve the problems with modelling the web application. The thesis intends to focus on researching the existing problems in the framework as well as investigate the integration of AJAX from a standpoint that the framework can benifit from. This is done through literature studies, laborations and by looking at existing frameworks and platforms that aim to solve problems like the ones in JDP. The focus also lies on how AJAX can be used to solve the problems with modelling the web application. As a result, the thesis ends in an analysis which considers the aspects needed for implementing AJAX into the JDP framework. The analysis also discusses how AJAX can be used to facilitate the modelling of the web application without having to model it in another way other than through UML diagrams.

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. 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. 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. 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. 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.

Much functionality of today's vehicles runs as software on embedded computer systems. This includes, for example, automatic climate control and engine control. As the processors necessarily are located in diffent physical locations inside the vehicle wires must be drawn between processors that need to communicate. Therefore, it is typical to have one or several buses connecting the processors in an embedded computer network, thus creating a distributed system. As some parts of the system in the car have real-time properties, it is necessary to validate that the real-time properties are upheld in the distributed system. This thesis presents the design and implementation of an adaptive cruise controller (ACC), which is a cruise controller that also keeps a minimum distance to the closest vehicle in front. Further, the performance of the ACC has been evaluated using an existing system-level simulator for distributed real-time systems together with metrics for Quality-of-Control (QoC). The ACC has then been simulated under different scenarios. The scenarios include outside conditions, for example the slope of the road, the behaviour of the vehicle in front, and the desired velocity, as well as internal conditions as adding different amounts of extra load on the processors and the bus. The results show that the functionality of the ACC starts deteriorating when the extra load on the nodes reaches high levels. When the extra load reaches very high levels, the ACC stops functioning completely. The results also show that the extra load on the bus has very little effect on the performance of the ACC.

An algorithm is presented which computes a state feedback for a standard linear system which not only stabilizes, but also dampens the closed-loop system dynamics. In other words, a feedback gain vector is computed such that the eigenvalues of the closed-loop state matrix are within the region of the left half-plane where the magnitude of the real part of each eigenvalue is greater than the imaginary part. This may be accomplished by solving one periodic algebraic Riccati equation and one degenerate Riccati equation. The solution to these equations are computed using numerically robust algorithms. Finally, the periodic Riccati equation is unusual in that it produces one symmetric and one skew symmetric solution, and as a result two different state feedbacks. Both feedbacks dampen the system dynamics, but produce different closed-loop eigenvalues, giving the controller designer greater freedom in choosing a desired feedback.

The PhonePages of Sweden is a company that develops software for mobile units, especially cell phones. This thesis treats the development of, and contingencies for, a mobile phone directory, using the limited resources found in a mobile unit. The project was implemented and executed at The PhonePages with the intention of creating a product to sell to a third party. By studying different solutions, their benefits and drawbacks, an abstract picture of the product was constructed. Problems covered include compatibility problems caused by todays platform diversity as well as problems with saving, organizing and presenting data. The main goal was to create a phone directory which does not make external information retrievals. The service should contain both company and personal information, with name and phonenumber. Complete address information should also be available. The application should also manage different priorities and logotypes for the company information. The application, that emerged as a result of our work at The PhonePages, works independently, without making connections to the Internet and is completely implemented in J2ME, all according to the requirement specification. In other words, the analysis of the different solutions led to a working application.

No description available.

Most mobile traffic simulators of today depend on the user to supply the mobility behavior of the simulated UEs. This becomes a problem when certain wanted mobility characteristics are to be tested, since the user have to go trough a trial-and-error procedure to come up with the proper mobility behavior. This thesis presents two approaches to mobility control, where the aim is to control UE mobility based on certain mobility characteristics supplied by the end user. The first approach introduces the concept of assigning tasks to UEs, e.g. “cross cell border” or “move to a certain cell”. Furthermore, concepts from control theory are borrowed to control the task assignment process, making it more dynamic and robust. The second approach iteratively calculate movement patterns for the UEs in an area until it finds a movement pattern that has a high probability of satisfying the user’s requested mobility characteristics.

Admission controllers in dynamic real-time systems perform traditional schedulability tests in order to determine whether incoming tasks will meet their deadlines. These tests are computationally expensive and typically run in n * log n time where n is the number of tasks in the system. An incoming task might therefore miss its deadline while the schedulability test is being performed, when there is a heavy load on the system. In our work we evaluate a new approach for admission control in firm real-time systems. Our work shows that ANNs can be used to perform a schedulability test in order to work as an admission controller in firm real-time systems. By integrating the ANN admission controller to a real-time simulator we show that our approach provides feasible performance compared to a traditional approach. The ANNs are able to make up to 86% correct admission decisions in our simulations and the computational cost of our ANN schedulability test has a constant value independent of the load of the system. Our results also show that the computational cost of a traditional approach increases as a function of n log n where n is the number of tasks in the system.

The aim of this project is to create a modern and advanced program for controlling a vacuum furnace used for brazing plate heat exchangers and which includes functions for remote monitoring. A DAQ-unit (Data Acquisition) made by National Instruments connects with an already existing vacuum furnace to send control signals and receive measurements. There is already a control program available for the vacuum furnace but it has a number of shortcomings which the new program is intended to solve. A PID controller is implemented to control the temperature of the furnace. Temperature control is of utmost importance to get the brazing process as stable as possible. Therefore, a simulator has been developed that simulates the entire brazing process. The simulator serves as a tool to optimize values ​​of the constants included in the PID control algorithm. Everything is written in the C# programming language. The braze process has from a code stand point been divided into five phases; lowering pressure, heating, brazing, cooling and finish. A comparison between the new and the old control software shows that heating process is much faster now and that when the correct temperature level has been reached, the temperature variation is considerably lower than before. The entire soldering process is shortened by almost two hours. Temperature control is more efficient and stable than before because of the constants calculated using the simulator and that a PID controller is used instead of a PD controller. New technology is implemented so that a much larger number of samples are obtained. Functions for user access to the history of previous brazing processes has been developed and an interface to easily adjust settings is implemented. Even a web interface for remote monitoring has been created.

This work deals with the design and realization of an automated test software for the Honeywell superheat controller. The first part of the project includes brief description about embedded systems and heat pumps. Afterwards testing principles are covered in a short chapter, followed by a description of the Honeywell superheat controller. After these chapters actual software structure will be introduced to the reader- with a detailed description of the most interesting parts. At the end of the document there will be a summary what was achieved exactly, and what was the plan. After this summary, the reader can study almost all the Virtual Instruments created during the development of this project.