Recent years have seenincreased use of open source-based tools for development of evensecurity-critical industrial systems. Shown here is a demonstration prototypeof a control system for airport landing lights. The project is written in theC++ programming language for the open source-based HMI/SCADA platform Pvbrowserand deployed for the Ubuntu Linux operating system, and serves to illustrateone practical application and the general feasibility of open source-basedtools as a cost-efficient alternative within industrial control systems development. / På senare tid har användningen av verktyg baserade påöppen källkod ökat, ävenför utveckling av säkerhetskritiska industriellasystem. Här redovisas endemonstrationsprototyp till ett styrsystem förlandningsljus på flygplats. Projektet är skrivet i programspråket C++ för denopen source-baserade HMI/SCADA-plattformen Pvbrowser och driftsatt föroperativsystemet Ubuntu Linux, och illustrerar ett exempel på praktisktillämpning för samt rimligheten i att använda verktyg baserade på öppenkällkod som ett kostnadseffektivt alternativ för utveckling av industriellastyrsystem.

Denna rapport beskriver det examensarbete som genomförts av Johan Möller. Examensarbetets syfte var att utveckla en lösning för att flytta virtuella maskiner mellan olika datastores som finns i virtuella miljöer. Examensarbetet utfördes på Atea Sverige AB som hyr ut virtuella serverlösningar till sina kunder. Arbetet är utfört på 10 veckor, där den största delen av tiden har gått åt till att sätta upp en lämplig virtuell testmiljö som liknar Ateas riktiga produktionsmiljö. Av rapporten framgår hur jag har satt upp den virtuella testmiljön. Jag redovisar även utvecklingsarbetet som genomförts för att få mitt script för att flytta virtuella maskiner mellan olika datastores att fungera på det sätt jag ville, det vill säga utföra uppgiften på ett så enkelt och säkert sätt som möjligt. I rapporten tas det också upp hur lämplig VMwares vCloud-svit är för automation i virtuella miljöer. Min slutsats av examensarbetet är att VMwares produkter håller en hög  standard med mängder av funktioner, dock med en del buggar som kan vara irriterande för användaren. Jag har fått en bra insyn i hur virtuella miljöer fungerar i så här stor skala och vilka verktyg som finns för att administrera över dem.

No description available.

An assessment of a software engineering program has been carried out by reviewing state-of-the-art literature pertaining to software engineering education. Six surveys have been adopted and the result implies that the balance of the curriculum should be revised, and that software engineering education ought to expand the technical oriented knowledge areas somewhat. Relevant curriculum data have been derived hereby, which also confirms other studies in the area. This data, along with a benchmark of the software engineering program to the Software Engineering Body of Knowledge (SWEBOK), is very constructive to universities as it assists educators, trainers, and software engineering practitioners in evaluating, designing, and recommending existing and proposed curricula. / This is the final revision of the thesis. Author may be contacted on +464458038. See also paper at the 18th Conference on Software Engineering Education and Training (CSEE&T), Ottawa, Canada.

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.

This thesis explores the use of functional languages to implement, manipulate and query databases. Implementing databases. A functional language is used to construct a database manager that allows efficient and concurrent access to shared data. In contrast to the locking mechanism found in conventional databases, the functional database uses data dependency to provide exclusion. Results obtained from a prototype database demonstrate that data dependency permits an unusual degree of concurrency between operations on the data. The prototype database is used to exhibit some problems that seriously restrict concurrency and also to demonstrate the resolution of these problems using a new primitive. The design of a more realistic database is outlined. Some restrictions on the data structures that can be used in a functional database are also uncovered. Manipulating databases. Functions over the database are shown to provide a powerful manipulation language. How to make such functions atomic is described. Such atomic transaction-functions permit consistent concurrent transformations of a database. Some issues in the transaction model are also addressed, including nested transactions. Querying databases. Others have recommended list comprehensions, a construct found in some functional languages, as a query notation. Comprehensions are clear, concise, powerful, mathematically tractable and well integrated with a functional manipulation language. In this thesis comprehensions are proved to be adequately powerful, or relationally complete. Database and programming language theories are further integrated by describing the relational calculus in a programming language semantics. Finally, the mathematical tractability of the notation is used to improve the efficiency of list comprehension queries. For each major conventional improvement an analogous comprehension transformation is given.

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.