No description available.

A departure control system (DCS) is an administrative tool used by airports to handle boarding and baggage management. However the DCSs used by smaller swedish airports are outdated and tied to desktop applications which are a hassle to update. The solution to this problem is to develop a new web based DCS. A DCS needs hardware to fully function (scanners, printers), this poses the problem of communicating between a web browser and hardware. To solve this problem a local server was developed to handle the hardware and communication with the browser which was then integrated into a web application. When developing the DCS, readability and further development was kept in mind making code quality and code commenting key factors. To evaluate whether these factor positively affected readability, an interview was conducted. The foundation of a web based DCS was developed and according to the interview results the conclusions is that code commenting, proper naming and modularity increases source code comprehension.

Denna rapport har för avsikt att att beskriva arbetet kring utvecklingen av verktyget PET – Plate Evaluation Tool, som är en applikation avsedd att skanna, presentera, spara samt utvärdera målade plåtar i målningslinjer på SSAB Special Steels i Oxelösund. Till hjälp används det öppna biblioteket OpenCV som är ett bibliotek för datorseende. Med hjälp av detta vävs en bild samman när plåtar passerar en eller två kameror. Släpljus från en ljusramp som genererar en homogen ljusbild används för att tydligare framhäva brister. Verktyget identifierar sedan bristerna på plåtens undersida i syfte att hjälpa operatören att se dessa. Resultaten presenteras sedan bl.a. i ett webb-verktyg som använder sig av Java EE-standarden samt PrimeFaces. Webb-verktyget skapar spårbarhet som förenklar mycket arbete kring eventuella reklamationer, eller andra kvalitetsförbättringar och vilket genomslag dessa får. För operatörernas del presenteras resultaten i en skräddarsydd bild skriven i Java där operatören kan analysera bilden i mer detalj. Vidare undersöks och jämförs sedan vilka filter och parametrar som är lämpligast, och hittar utvalda brister i plåtar på bästa sätt. Projektet undersöker också möjligheten att genom denna teknik kunna utläsa stämplar som är stansade i plåten. Applikationen har fått mycket bra bemötande från de som använder den mest, nämligen operatörerna på berörda målningslinjer. De två filter som skrevs har visat sig kunna identifiera de brister de skall på ett bra sätt och kvalitén på de bilder som vävs samman har visat sig vara så pass bra att stämplar kan utläsas.

In the quest for additional computational power to provide higher software performance, industry have shifted to multi-core processing units. At the same time, many existing applications still contain sequential software; in these cases, multi-core processors would not deeply improve performances and in general would be under-utilized since software running on top of them are not conceived to exploit parallelization. In this thesis we aim at providing a way to increase the performance of existing sequential software through parallelization and at the same time minimizing the cost of the parallelization effort. The contribution of this thesis is a generic parallelization method for introducing parallelization into sequential software using multi-core CPUs and GPUs. As a proof-of-concept we ran an experiment in industrial settings by applying the proposed parallelization method to an existing industrial system running sequential code. Additionally, we compare the method we propose to existing methods for parallelization.

Safety critical systems are those systems whose failure could result in loss of life, significant property damage, or damage to the environment. These systems require high quality and dependability levels in them, where system safety is a major property that should be adequately assured to avoid any severe outcomes. Many safety critical systems in different domains (e.g., avionics, railway, automotive, etc.) are subject to a certification. The certification process is based on an evaluation of whether the associated hazards to a system are mitigated to an acceptable level. Safety cases are often required to demonstrate how a regulatory body can reasonably conclude that a system is acceptably safe from the evidence available. The development of safety cases has become common practice in many safety critical system domains. However, safety cases are costly since they need significant amount of time and efforts to produce. This cost can be dramatically increased (even for already certified systems) due to system changes as they require maintaining the safety case before it can be submitted for certification. Anticipating potential changes is useful since it reveals traceable consequences that will eventually reduce the maintenance efforts. However, considering a complete list of anticipated changes is difficult. What can be easier though is to determine the flexibility of system components to changes. Sensitivity analysis has been proposed as a useful tool to measure the flexibility of the different system properties to changes. Furthermore, the concept of contracts have been proposed as a means for facilitating the change management process due to their ability to record the dependencies among system's components. In this thesis, we use sensitivity analysis to support changes prediction and prioritisation. We also use safety contracts to record the information of changes that will ultimately advise the engineers what to consider and check when changes actually happen.

Denna rapport innefattar det arbete som nio studenter från kursen TDDD96:Kandidatprojekt i programvaruutveckling vid Linköpings universitet ägnat sig åt under vårterminen 2016. Projektet genomfördes med målsättningen att utveckla ett grafiskt användargränssnitt som skulle visualisera simuleringar av teledatatrafik i 2G-miljöer. Arbetet har varit en lärande process som omfattat gruppdynamik,nya tekniska utmaningar och ett undersökande av hur utvecklingen i ett projekt går från en beställning till en önskvärd leverans. Gruppen har arbetat i korta intervaller med täta möten och prioriteringslistor med aktiviteter. Resultatet är en prototyp med interaktiv simulering via uppkoppling motkundens servrar som bådar gott för fortsatt utveckling.

Denna rapport innefattar det arbete som nio studenter från kursen TDDD96: Kandidatprojekt i programvaruutveckling vid Linköpings universitet ägnat sig åt under vårterminen 2016. Projektet genomfördes med målsättningen att utveckla ett grafiskt användargränssnitt som skulle visualisera simuleringar av teledatatrafik i 2G-miljöer. Arbetet har varit en lärande process som omfattat gruppdynamik, nya tekniska utmaningar och ett undersökande av hur utvecklingen i ett projekt går från en beställning till en önskvärd leverans. Gruppen har arbetat i korta intervaller med täta möten och prioriteringslistor med aktiviteter. Resultatet hittills är en prototyp med interaktiv simulering via uppkoppling mot kundens servrar som bådar gott för fortsatt utveckling.

Rapporten behandlar utvecklandet av programvaran JABE som ska användas i forskning om hjärnresponser. Syftet med rapporten är att utreda frågeställningarna kring hur ett sådant system kan utformas så att det skapar värde för kund och samtidigt underlättar vidareutveckling. Rapporten behandlar även hur ett användargränssnitt kan anpassas för en användares kunskapsnivå och vilka erfarenheter som kan dokumenteras från projektet i allmänhet. Problemet tacklas med stark kundkontakt, flera enkätundersökningar, agila arbetsmetodiker och genomgående dokumentering. Programvaran JABE är beställd av CMIV, centrum för medicisk bildvetenskap och visualisering, vid Linköpings Universitet och är den enda i sitt slag. Resultatet är, förutom en programvara, en genomgående beskrivning av erfarenheter, beskrivning av systemet och en utvärdering av SEMAT Kernel ALPHA. Kandidatrapporten innehåller även åtta individuella bidrag som gör fördjupningar i områden kopplade till projektet.

Denna undersökning har gått ut på att utveckla ett system “Order Engine” vars uppgift är att asynkront konsumera köer med ordrar (uppgifter) åt både interna- och externa enheter. Systemet har utvecklats enligt paradigmet MTEDA och prestandajämförts med ett (sedan tidigare befintligt) OE-system som är utvecklat enligt paradigmet COOA för att avgöra vilket av de två paradigmen som är att föredra vid utveckling av ett OE-system. Systemet som följer paradigmet MTEDA använder en struktur där en huvudprocess delegerar arbete till slavprocesserna som följer en event-driven arkitektur, vilket innebär att processer skapas och avbryts av huvudprocessen. Systemet som följer paradigmet COOA använder istället en trådpool där trådar tilldelas arbete ifall de är lediga. Det visade sig att MTEDA-systemet exekverade ordrarna snabbare än COOA-systemet väl under själva exekveringen av ordrarna, dock så kan olika förutsättningar hos ordrarna påverka exekveringshastigheten för MTEDA-systemet. MTEDA-systemet är en mer kostsam lösning på grund av det mindre effektiva sättet som arbete fördelas på. Skapandet och avbrytandet av flertalet processer visade sig nämligen vara mer kostsamt än hanteringen av en trådpool. Båda av dessa paradigmen kan vara fördelaktiga att följa vid utvecklingen av ett OE-system. Resultatet från denna undersökning tyder på att det paradigm som ska väljas vid utveckling av ett OE-system bör avgöras med avseende för resurstillgänglighet samt de generella förutsättningar som inkommande ordrar har. / The purpose of this project has been about comparing what performance-differences there is between the paradigms MTEDA and COOA when applied for an “Order Engine”-system, a system that receives orders (tasks) from internal and external units and executes them asynchronously. The company Dewire that has developed the COOA-system has supervised the author to find out if an OE-system can benefit from using the MTEDA-paradigm. The solution for the MTEDA-system included a structure where a master-process delegate incoming orders for slave-processes, the slave-processes then executes the orders through an event-driven manner. The COOA-system on the other hand uses a thread-pool, where the orders get assigned to the threads in the pool if they are available. It turned out that the MTEDA- system executed the orders faster than the COOA-system, even though the MTEDA-system can gain- or loose execution-speed depending on the conditions of the orders. The way MTEDA delegates the orders, that is spawning and destroying processes, turned out to be more expensive for the CPU. Assigning orders to threads that are already active turned out to be an efficient way of using the resources. Both of these paradigms could be the better choice when developing an OE-system. Therefore, the things that should decide that choice is the resources available and the general conditions that the incoming orders have.

The Model Based Testing is one of the modern automated testing methodologies used to generate test suits automatically from the abstract behavioral or environmental models of the System Under Test (SUT). The Generated test cases are abstract like models, but these test cases can also be transformed to the different test scripts or language specific test cases to execute them. The Model based testing can be applied in different ways and it has several dimensions during implementation that can be changes with nature of the SUT. Since model based testing is directly related with models, the model based testing can be applied at early stages of development that helps in validation of both models and requirements that could save time of test development at later stages. With the automatic generation of test cases, requirements change is very easy to handle with the model based testing as it requires fewer changes in the models and reduces rework. It is also easy to generate a large number of test cases with full coverage criteria using the model based testing that was hard to produce with traditional testing methodologies. Testing non-functional requirements is one field in which the model based testing is lacking; quality related aspects of the SUT difficult to be tested with the model based testing. The effectiveness and performance of model based testing is directly related to the efficiency of CASE tool that implementing it. A variety of CASE tools based on models are currently in use in different industries. The Qtronic tool is one generating test cases from abstract model of SUT automatically. In this master thesis detailed evaluation of the Qtronic test case generation technique, generation time, coverage criterion and quality of test cases are analyzed by modeling the Session Initiating Protocol (SIP) & File Transfer Protocol. (FTP), Also generation of test cases from models manually and by using the Qtronic Tool. In order to evaluate the Qtronic tool, detailed experiments and comparisons of manually generated test cases and test case generated by the Qtronic are conducted. The results of the case studies show the efficiency of the Qtronic over traditional manual test case generation in many aspects. We also show that the model based testing is not effective applied on every system under test, for some simple systems manual test case generation might be a good choice.