<p>Rapporten belyser arbetet med att välja ut en transaktionsstrategi för RDB2 version 0.97. Arbetet med att välja ut denna transaktionsstrategi fokuseras på de två strategierna tvåfaslåsning samt tidsstämpelalgoritm.</p><p>Ett flertal varianter av dessa transaktionsstrategier har identifierats, vilka sammanbinder olika för och nackdelar hos strategierna. De egenskaper som en transaktionsstrategi bör uppfylla för att väljas är:</p><p>att lösa verifierings problemen: förlorade uppdateringar, temporära uppdateringar, felaktiga summeringar samt upprepade läsoperationer</p><p>att vara fri från deadlocks</p><p>att ha en acceptabel effektivitet nivå,</p><p>att möjliggöra testning av problemen ovan, dvs användar initierade transaktioner skall vara möjligt att införa.</p><p>Den strategi som valdes var en variant av tvåfaslåsning, nämligen multiversion. Denna variant löser inte problemet med förlorade uppdateringar men samtliga övriga verifieringsproblem. Varianten skulle, enligt [EN94], vara fri från deadlock, detta visades vara ett tvivelaktigt påstående. I avseende på effektivitet ansågs denna multiversion tvåfaslåsning vara en av de effektivaste av de tillgängliga varianterna, dessutom finns det möjlighet att implementera användar initierade transaktioner vilket möjliggör testning av verifierings problemen praktiskt.</p><p>Då det inte lyckades att fullständigt integrera transaktionsstrategin i RDB2 V0.97 fanns det ingen möjlighet att testa dessa påståenden praktiskt. Denna testning skedde då endast på en teoretisk nivå, där resultaten visades vara goda.</p><p>Slutsaten av detta projekt var att denna metod var den mest lämpade att integrera i RDB2 V0.97, då detta inte kunde verifieras praktiskt.</p>

<p>I slutet av 1996 kunde man för första gången som privatperson i Sverige göra bankaffärer via Internet. Under 1997 har användandet av dessa banktjänster ökat explosionsartat och även intresset hos de som ännu inte har tjänsterna har ökat.</p><p>Detta examensarbete, på 20 poäng, undersöker frågeställningar som kan finnas angående bankaffärer via Internet. De frågeställningar som besvaras i examensarbetet är bland annat: om det är säkert att göra bankaffärer via Internet, varför banker startat Internettjänster, vilken kategori av personer som utnyttjar dessa Internettjänster, vilka tjänster man kan utnyttja.</p><p>Då bankaffärer via Internet är ett relativt nytt sätt att utföra sina bankaffärer på har följande metoder använts för att besvara ovanstående frågor: litteraturstudie (böcker och artiklar), Internet samt telefonintervjuer.</p><p>Av de resultat som framkom under arbetets gång kan följande summering angående bankaffärer via Internet göras:</p><p>Bankerna har startat dessa Internettjänster för att underlätta arbetet både för kunderna och personalen.</p><p>Den säkerhet som bankerna idag använder sig av kan anses vara tillräckligt säker för att man skall kunna göra sina bankaffärer via Internet utan att vara orolig för att ens pengar skall gå förlorade.</p><p>Den vanligaste kunden som gör sina bankaffärer via Internet är en medelålders man med god ekonomi. Han utnyttjar framförallt tjänsterna kontroll av saldo, överföringar samt betalning av räkningar.</p><p>Om man skall se till den historiska utvecklingen av de flesta tekniska hjälpmedel har det ofta resulterat i en minskning av arbetskraft. Än så länge har man dock inte kunnat se någon personalminskning på de banker som har Internettjänster utan snarare tvärtom.</p>

<p>Den forskningsgrupp som vid Högskolan i Skövde bedriver forskning om neurala nätverk, har nyligen köpt in en ny beräkningsmaskin, dedikerad för simuleringar av dessa neurala nätverk. Maskinen är en Sun Enterprise 4000, en MIMD-maskin med 6 st UltraSparc CPUer.</p><p>Det finns behov av nya verktyg, som underlättar utveckling av ANN modeller till denna maskin, och som dessutom utnyttjar maskinens parallellitet. Detta verktyg ska uppvisa så god prestanda som möjligt. I denna rapport studeras förutsättningarna för ett sådant verktyg.</p><p>Av de tänkbara metoder som kan användas för att parallellisera en nätverksimulator, är troligtvis epokbaserad parallellisering den som ger högst prestandaökning på en MIMD-maskin. Detta beror på att den inte kräver lika täta synkroniseringar som exempelvis en neuronbaserad parallellisering.</p><p>En implementation av den epokbaserade metoden har skett, både med och utan parallelliserad summering av viktförändringar. Den parallelliserade summeringen av viktförändringar behöver teoretiskt endast log2(n) så lång tid som den serialiserade summeringen kräver (n = antal trådar). Summeringen av viktförändringar är dock en ganska liten del av varje epok, och effektivisering av denna bit har inte så stor praktiskt betydelse.</p><p>Ett mindre antal tester har gjorts för att kontrollera om simulatorn är korrekt implementerad. De tester som gjordes gav lyckat resultat och talar för att simulatorn är korrekt.</p><p>Ur prestandatesterna som genomförts kan följande slutsatser dras:</p><p>* Ökning av antal exempel ökar prestandaökningen</p><p>* Ökning av antal vikter minskar prestandaökningen</p><p>* Antal epoker påverkar inte prestandaökningen</p><p>På det målsystem med 6 CPUer som testerna genomförts på, gäller följande:</p><p>* 4-5 trådar ger oftast högst prestandaökning</p><p>* 3-5 gångers prestandaökning är normalt</p><p>Eftersom prestandan på många av nätverken ligger uppåt 75% (4.5 gånger prestandaökning med 6 st CPUer) av vad målmaskinen klarar av, anser författaren av denna rapport att parallelliseringen är lyckad.</p>

<p>Real-time task scheduling problems are generally considered to be NP-hard problems. Therefore it is necessary to apply a heuristic search strategy on these problems. This project focuses on the development of a real-time scheduling algorithm using tabu search.</p><p>A dynamic real-time task scheduling problem is defined for a single processor. The tasks in the system are sporadic, mutually independent, non-preemptable with firm, arbitrary deadlines. This problem is represented with tabu search. For performance measurements a simulator has been designed and implemented. Simulations have been conducted comparing scheduler based on tabu search to two well known scheduling algorithms, namely: earliest deadline first and highest value first. It was expected that the scheduler based on tabu search would outperform highest-value first and it would miss fewer deadlines than earliest deadline, as soon as earliest deadline starts to miss deadlines. The results of the simulations conducted did not show this results. Nevertheless did the simulation results indicate that tabu search could be a suitable heuristic search strategy for real-time task scheduling problems. This project provides a starting point on which it is possible to continue work on enhancing the tabu search scheduler.</p>

<p>The systems environments of today are often distributed and heterogeneous. These kind of systems have several advantages but also disadvantages. One problem is how to keep them secure.</p><p>The security problems in these environments are mainly due to the communication between the connected computers. It is relatively easy to tap these communication channels from information. There is also a need for the possibility to secure these channels from modification of sent information and to be able to verify the sender and receiver of information in a secure manner. The whole system's security is depending on the security of these channels which means protecting them is critical.</p><p>The Department of Computer Science (DCS) at Högskolan i Skövde, Sweden has a distributed and heterogeneous systems environment with insecure communication channels. This final year project has investigated this security problem at DCS and developed a method to implement secure communication channels.</p>

<p>This project is concerned with an investigation of simple communication between ANN-controlled mobile robots. Two robots are trained on a (seemingly) simple navigation task: to stay close to each other while avoiding collisions with each other and other obstacles.</p><p>A simple communication scheme is used: each of the robots receives some of the other robots’ outputs as inputs for an algorithm which produces extra inputs for the ANNs controlling the robots.</p><p>In the experiments documented here the desired cooperation was achieved. The different problems are analysed with experiments, and it is concluded that it is not easy to gain cooperation between autonomous mobile robots by using only output from one robot as input for the other in ANNs.</p>

<p>Abstract The objective of this project is to make it possible to evaluate real-time operating systems. A requirement specification for real-time operating system is represented with the help of the Enterprise Modelling technique. What is needed is to measure if the requirements, defined in the requirement specification, can be fulfilled by existing real-time operating system.</p><p>This dissertation is concerned with if it is possible to extend the Enterprise Modelling (EM) technique with software metrics. An emphasis is put on integrating an existing metrics paradigm with the EM technique.</p><p>The study shows that a paradigm, called Goal Question Metrics (GQM) can be used to extending the EM technique with software metrics.</p><p>Other results are that the extended EM model is good to identify metrics, because of its goal-oriented technique, with strong coupling to the enterprise, and actors and activities related to the product. This can be used to validate that relevant metrics are chosen, based on the need of components related to the enterprise.</p>

<p>RDB2 är en relationsdatabashanterare som har utvecklats på Högskolan i Skövde för att användas i undervisningssyfte. Åtkomsten av data i den nuvarande versionen av RDB2, version 0.93, anses vara ineffektiv. Lagringsstrukturen är uppbyggd med hjälp av en lagringsteknik som kallas hashing. Hashingen påverkar hur datan lagras fysiskt. När hashing inte kan användas måste åtkomsten ske sekvensiellt vilket leder till att åtkomsttiden blir dålig. Genom att införa ytterligare lagringsstrukturer kan åtkomsten av data även ske med hjälp av dessa strukturer.</p><p>Syftet med examensarbetet är att visa att ett införande av en logisk lagringsstruktur kommer att leda till att åtkomsten av data kommer att bli effektivare med avseende på snabbheten jämfört med den nuvarande versionen av RDB2.</p><p>Tre olika metoder på hur tuppelstrukturen kan se ut för ett index över attribut som innehåller icke-unika värden har behandlats. Dessa tre metoder är täta index, index med variabelt stora indextuppler och index som använder indirekta indexblock. För strukturen på indexet har en-nivå index, fler-nivå index och balanserade träd granskats.</p><p>Den metod som har valts att införa i RDB2 är ett logiskt en-nivå index med indirekta indexblock. Ett logiskt index för att underlätta rehashing och ett en-nivå index för att det är den enklaste av metoderna och kan relativt enkelt byggas ut till ett fler-nivå index. Anledningen till valet av att använda indirekta indexblock var att denna metod leder till enkel lagring och radering av tuppler samt lider varken av redundans eller ett behov av att införa nya läsfunktioner.</p><p>Hypotesen att åtkomsten skulle förbättras om en logisk lagringsstruktur infördes i RDB2 har genom teoretiska tester visat sig vara sann. Att det finns specialfall där den sekvensiella sökningen är snabbare än en sökning via index ändrar inte det faktum att det nästan undantagslöst äreffektivare att söka via index än sekvensiellt.</p>

<p>World-Wide Web (WWW) skapades 1989 av Tim Berners-Lee vid CERN. Detta utgör en del av Internet som funnits sedan långt tillbaka. Här kan privatpersoner, skolor, företag, myndigheter och många andra lägga upp information i form av hemsidor. Dessa hemsidor kan innehålla allt från bara namn och adress till avancerade försäljningssidor. Dessa sidor kan sedan nås av de som har tillgång till Internet eller WWW.</p><p>Principen för publicering av information på Internet är att den skall vara fri och tillgänglig för alla. Detta har lett till att det finns miljontals sidor på detta Internet som innehåller mer eller mindre viktig information och som ofta länkar till andra sidor på nätet.</p><p>Många av sidorna ligger ofta på samma plats under lång tid och orsakar inte några större problem för de som letar information på Internet. Men det är även många sidor som flyttar mellan olika adresser och en del sidor läggs helt enkelt ned. Detta ger som resultat att de länkar (referenser) som går till den sida som har flyttat eller inte finns kvar alls längre blir ogiltiga. Den informationssökande får då ett meddelande om att denna sida inte finns tillgänglig. Eftersom det är många sidor som flyttar fram och tillbaka eller helt enkelt läggs ned händer detta relativt ofta. Detta leder till irritation för den som söker information på Internet.</p><p>Det sätt som finns för att komma undan detta problem är att varje person som är ansvarig för en sida håller sina länkar uppdaterade. Detta kan göras manuellt men kan vara väldigt tidskrävande, även för en ganska liten sida. Istället skulle man kunna tänka sig att en mjukvarurobot kontrollerar vilka länkar som är giltiga och meddelar den ansvarige för respektive sida om vilka länkar som inte är giltiga. Detta skulle underlätta underhållsarbetet för dessa sidor avsevärt och även minska irritation hos de besökare som kommer till en sida för att söka efter information.</p><p>Det finns olika strategier för hur en sådan mjukvarurobot skulle kunna arbeta. Den skulle kunna arbeta efter en djupet först eller bredden först strategi. Djupet först innebär att mjukvaruroboten skulle ta den första länken och följa den till nästa sida och sedan första länk på den nya sedan och följa den tills man har nått ett stoppkriterium. När den nått detta stoppkriterium vänder den upp igen och tar nästa länk och följer denna nedåt. Bredden först innebär att mjukvaruroboten följer den första länken ett steg och sedan tillbaka för att ta nästa länk som den följer ett steg. När alla länkar på en sida har följts upp följer man de länkar som finns på de sidor som de länkar man följde förut på samma sätt.</p><p>Då sökdjupet, den rymd som går att nå från alla kontrollerade länkar, kan bli näst intill oändligt måste man ha ett kriterium för hur långt sökningen skall få fortsätta. Ett förslag är att man enbart följer länkar som finns inom en viss domän, tex högskolans sidor (http://www.his.se/).</p><p>Den sökstrategi som valdes blev bredden först på grund av uteslutningsmetoden då de andra strategierna föll ifrån.</p><p>De komponenter som behövdes för att implementera en mjukvarurobot av detta slag var en mekanism som drar ut alla HTML-länkar ur ett hypertextdokument, något som kontrollerar länkarnas status och en uppsättning listor för att hålla reda på vilka sidor som skall kontrolleras, vilka som är kontrollerade samt vilka länkar som var bra respektive dåliga. Dessa komponenter tillverkades och sattes sedan ihop till en helhet.</p><p>Den ihopsatta mjukvaruroboten visade sig dock inte fungera fullt ut. Det fanns begränsningar i det antal nivåer som mjukvaruroboten söker på. Dock hittar den majoriteten av länkarna på de sidor som besöks och av de länkar som hittas kontrolleras alla samt får en svarskod och ett svarsmeddelande.</p><p>Det är dock möjligt att modifiera mjukvaruroboten så att den skulle kunna fungera på det sätt som var tänkt från början.</p>

<p>The result from Requirements Engineering is a Requirements Specification. Characteristics of a good Requirements Specification are unambiguity, completeness, verifiability, consistency, modifiability, traceability, correctness and ranked for importance and/or stability.</p><p>This work defines these quality attributes and answers the questions how to reach these attributes and the diffuculties which exist in this area.</p><p>This work should be read to get an overwiew of the area Requirements Engineering and Requirements Specification.</p>