hh.sePublikationer
Ändra sökning
Avgränsa sökresultatet
1 - 22 av 22
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Träffar per sida
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
Markera
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 1.
    Aramrattana, Maytheewat
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Detournay, J.
    Swedish National Transport Research Institute, Gothenburg, SE-402 78, Sweden.
    Englund, Cristofer
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR Centrum för tillämpade intelligenta system (IS-lab).
    Frimodig, Viktor
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Jansson, Oscar Uddman
    Swedish National Transport Research Institute, Gothenburg, SE-402 78, Sweden.
    Larsson, Tony
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Mostowski, Wojciech
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Díez Rodríguez, Víctor
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Rosenstatter, Thomas
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Shahanoor, Golam
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Team Halmstad Approach to Cooperative Driving in the Grand Cooperative Driving Challenge 20162018Ingår i: IEEE transactions on intelligent transportation systems (Print), ISSN 1524-9050, E-ISSN 1558-0016, Vol. 19, nr 4, s. 1248-1261Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper is an experience report of team Halmstad from the participation in a competition organised by the i-GAME project, the Grand Cooperative Driving Challenge 2016. The competition was held in Helmond, The Netherlands, during the last weekend of May 2016. We give an overview of our car’s control and communication system that was developed for the competition following the requirements and specifications of the i-GAME project. In particular, we describe our implementation of cooperative adaptive cruise control, our solution to the communication and logging requirements, as well as the high level decision making support. For the actual competition we did not manage to completely reach all of the goals set out by the organizers as well as ourselves. However, this did not prevent us from outperforming the competition. Moreover, the competition allowed us to collect data for further evaluation of our solutions to cooperative driving. Thus, we discuss what we believe were the strong points of our system, and discuss post-competition evaluation of the developments that were not fully integrated into our system during competition time. © 2000-2011 IEEE.

  • 2.
    Arts, Thomas
    et al.
    Quviq AB, Gothenburg, Sweden.
    Mousavi, Mohammad Reza
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Automatic Consequence Analysis of Automotive Standards (AUTO-CAAS) [Position Paper]2015Ingår i: WASA '15: Proceedings of the First International Workshop on Automotive Software Architecture / [ed] Yanja Dajsuren, Harald Altinger & Miroslaw Staron, New York, NY: ACM Press, 2015, s. 35-38Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper provides some background and the roadmap of the AUTO-CAAS project, which is a 3-year project financed by the Swedish Knowledge Foundation and is ongoing as a joint project among three academic and industrial partners. The aim of the project is to exploit the formal models of the AUTOSAR standard, developed by the industrial partner of the project Quviq AB, in order to predict possible future failures in concrete implementations of components. To this end, the deviations from the formal specification will be exploited to generate test-cases that can push concrete components to the corners where such deviation will result in observable failures. The same information will also be used in the diagnosis of otherwise detected failures in order to pinpoint their root causes.

    Ladda ner fulltext (pdf)
    fulltext
  • 3.
    Axelsson, Markus
    et al.
    Högskolan i Halmstad, Akademin för ekonomi, teknik och naturvetenskap.
    Lundgren, Oskar
    Högskolan i Halmstad, Akademin för ekonomi, teknik och naturvetenskap.
    Raytelligent Cloud2017Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    I dagens samhälle blir fler och fler enheter uppkopplade mot Internet vilket kan ge en annars begränsad hårdvara möjlighet att genomföra större beräkningar. Detta projekt avser att skapa ett system som hanterar en användares radarenheter i ett molnbaserat system. Systemet erbjuder även möjligheten att ladda upp användarens egna applikationer vilka använder data från radarenheten, körs på virtuella maskiner och vid behov har möjlighet att skicka notiser till användarens mobila applikationer. För att underlätta utveckling har systemet delats upp i tre delsystem. Dessa är radarenhet, molntjänst och mobilapplikation. Projektet resulterade i ett komplett system med en webbapplikation som erbjuder användaren möjlighet att registrera sina radarenheter, ladda upp källkod som kompileras och körs på en molntjänst samt möjlighet att skicka notiser till en mobilapplikation. 

    Ladda ner fulltext (pdf)
    fulltext
  • 4.
    Beohar, Harsh
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Mousavi, Mohammad Reza
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Input-output conformance testing based on featured transition systems2014Ingår i: Proceedings of the 29th Annual ACM Symposium on Applied Computing, Association for Computing Machinery (ACM), 2014, s. 1272-1278Konferensbidrag (Refereegranskat)
    Abstract [en]

    We extend the theory of input-output conformance testing to the setting of software product lines. In particular, we allow for input-output featured transition systems to be used as the basis for generating test suites and test cases. We introduce refinement operators both at the level of models and at the level of test suites that allow for projecting them into a specific product configuration (or a product sub-line). We show that the two sorts of refinement are consistent and lead to the same set of test-cases. © Copyright 2014 ACM

  • 5.
    Beohar, Harsh
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Mousavi, Mohammad Reza
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Input–output conformance testing for software product lines2016Ingår i: The Journal of logical and algebraic methods in programming, ISSN 2352-2208, E-ISSN 2352-2216, Vol. 85, nr 6, s. 1131-1153Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    We extend the theory of input-output conformance (IOCO) testing to accommodate behavioral models of software product lines (SPLs). We present the notions of residual and spinal testing. These notions allow for structuring the test process for SPLs by taking variability into account and extracting separate test suites for common and specific features of an SPL. The introduced notions of residual and spinal test suites allow for focusing on the newly introduced behavior and avoiding unnecessary re-test of the old one. Residual test suites are very conservative in that they require retesting the old behavior that can reach to new behavior. However, spinal test suites more aggressively prune the old tests and only focus on those test sequences that are necessary in reaching the new behavior. We show that residual testing is complete but does not usually lead to much reduction in the test-suite. In contrast, spinal testing is not necessarily complete but does reduce the test-suite. We give sufficient conditions on the implementation to guarantee completeness of spinal testing. Finally, we specify and analyze an example regarding the Ceiling Speed Monitoring Function from the European Train Control System. (C) 2016 The Author(s). Published by Elsevier Inc.

    Ladda ner fulltext (pdf)
    fulltext
  • 6.
    Beohar, Harsh
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Mousavi, Mohammad Reza
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Spinal test suites for software product lines2014Ingår i: Proceedings: Ninth Workshop on Model-Based Testing (MBT 2014) / [ed] Alexander K. Petrenko, Holger Schlingloff, Sydney: Open Publishing Association , 2014, Vol. 141, s. 44-55Konferensbidrag (Refereegranskat)
    Abstract [en]

    A major challenge in testing software product lines is efficiency. In particular, testing a product line should take less effort than testing each and every product individually. We address this issue in the context of input-output conformance testing, which is a formal theory of model-based testing. We extend the notion of conformance testing on input-output featured transition systems with the novel concept of spinal test suites. We show how this concept dispenses with retesting the common behavior among different, but similar, products of a software product line. © H. Beohar & M.R. Mousavi.

  • 7.
    Bin Ali, Nauman
    et al.
    Blekinge Institute of Technology, Karlskrona, Sweden.
    Engström, Emelie
    Lund University, Lund, Sweden.
    Taromirad, Masoumeh
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Mousavi, Mohammad Reza
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). University Leicester, Leicester, United Kingdom.
    Minhas, Nasir Mehmood
    Blekinge Institute of Technology, Karlskrona, Sweden.
    Helgesson, Daniel
    Lund University, Lund, Sweden.
    Kunze, Sebastian
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Varshosaz, Mahsa
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    On the search for industry-relevant regression testing research2019Ingår i: Journal of Empirical Software Engineering, ISSN 1382-3256, E-ISSN 1573-7616, Vol. 24, nr 4, s. 2020-2055Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Regression testing is a means to assure that a change in the software, or its execution environment, does not introduce new defects. It involves the expensive undertaking of rerunning test cases. Several techniques have been proposed to reduce the number of test cases to execute in regression testing, however, there is no research on how to assess industrial relevance and applicability of such techniques. We conducted a systematic literature review with the following two goals: firstly, to enable researchers to design and present regression testing research with a focus on industrial relevance and applicability and secondly, to facilitate the industrial adoption of such research by addressing the attributes of concern from the practitioners' perspective. Using a reference-based search approach, we identified 1068 papers on regression testing. We then reduced the scope to only include papers with explicit discussions about relevance and applicability (i.e. mainly studies involving industrial stakeholders). Uniquely in this literature review, practitioners were consulted at several steps to increase the likelihood of achieving our aim of identifying factors important for relevance and applicability. We have summarised the results of these consultations and an analysis of the literature in three taxonomies, which capture aspects of industrial-relevance regarding the regression testing techniques. Based on these taxonomies, we mapped 38 papers reporting the evaluation of 26 regression testing techniques in industrial settings. © The Author(s) 2019

  • 8.
    Björk, Eva-Stina
    Högskolan i Halmstad, Akademin för ekonomi, teknik och naturvetenskap, Centrum för innovations-, entreprenörskaps- och lärandeforskning (CIEL).
    Insider Action Research (IAR) of product development processes2004Ingår i: TOOLS AND METHODS OF COMPETITIVE ENGINEERING Vols 1 and 2 / [ed] Horvath, I Xirouchakis, P, Rotterdam: Millpress Science Publishers , 2004, s. 1043-1052Konferensbidrag (Refereegranskat)
    Abstract [en]

    Performing product development means to simultaneously develop product systems, production processes and marketing efforts. Product Development processes are often complex as they are time dependent and contain many inter-dependencies e.g. between parts and individuals involved Due to the complexity in these processes the methods for research on integrated product development processes need to be designed differently than traditional research methods used. The study of details of totalities can work for mechanical systems but less well for complex systems. For a deeper knowledge of complex systems substantial researcher involvement and participation in real time is essential, which Insider Action Research (IAR) is designed for. IAR can be performed from the three main positions as observer, team member or project leader. The-following conclusions have been drawn (Bjork 2003): The IAR approach is beneficial in most types of development processes and projects when the aim of the research is to achieve increased knowledge and understanding. A mix of detailed and narrative descriptions of a research project provides also practitioners with an opportunity to adopt the findings. The implementation of research results would thereby become facilitated, which is an effect that most researchers as well as practitioners would benefit from.

  • 9.
    Fragal, Vanderson Hafemann
    et al.
    University of Sao Paulo, Sao Carlos, Brazil.
    Simao, Adenilso
    University of Sao Paulo, Sao Carlos, Brazil.
    Endo, Andre Takeshi
    Federal University of Paraná, Curitiba, Paraná, Brazil.
    Mousavi, Mohammad Reza
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines2017Ingår i: 10th IEEE International Conference on Software Testing, Verification and Validation Workshops - ICSTW 2017 / [ed] Randall Bilof, Los Alamitos, CA: IEEE , 2017, s. 329-336Konferensbidrag (Refereegranskat)
    Abstract [en]

    To test a Software Product Line (SPL), the test artifacts and the techniques must be extended to support variability. In general, when new SPL products are developed, more tests are generated to cover new or modified features. A dominant source of extra effort for such tests is the concretization of newly generated tests. Thus, minimizing the amount of new non-concretized tests required to perform conformance testing on new products reduces the overall test effort. In this paper, we propose a test reuse strategy for conformance testing of SPL products that aims at reducing test effort. We use incremental test generation methods based on finite state machines (FSMs) to maximize test reuse. We combine these methods with a selection algorithm used to identify non-redundant concretized tests. We illustrate our strategy using examples and a case study with an embedded mobile SPL. The results indicate that our strategy can save up to 36% of test effort in comparison to current test reuse strategies for the same fault detection capability. © 2017 IEEE.

  • 10.
    Green, Jonas
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Delén, Johan
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Trådlös styrning av larmsystem: Kandidatuppsats2010Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Lansen Technology utvecklar och säljer larmsystem. Kommunikationen mellan systemets enheter sker trådlöst. Det trådlösa radioprotokoll som används är utvecklat av Lansen med målet att vara energisnål. Larmsystemets målgrupp är privatpersoner, företag och myndigheter. Nuvarande system installeras, konfigureras och styrs från en manöverpanel. Viss manövrering kan också ske med hjälp av mobiltelefon via GSM-nätet. Önskemål från Lansen Technology finns att flytta funktionalitet till en mobil enhet och att komma ifrån trafikkostnaden på GSM-nätet. Målgruppen för applikationen är i första hand användare som omgående kräver tillgång till information från larmsystemet. Projektet har i huvudsak bestått av två delar. Första delen av projektet bestod av att utreda de två olika trådlösa tekniker som var aktuella för projektet. Utvärderingen visade att Bluetooth var det bästa valet med de krav larmsystemet ställde på uppkopplingen. Bluetooth integrerades därefter i nuvarande larmsystem. Den andra delen bestod av att utveckla en mjukvara  för att kunna manövrera larmsystemet från en handdator med Windows Mobile. Applikationen utvecklades framgångsrikt och kan utföra majoriteten av de funktioner som specificerats inför projektet. Idén med att fjärrstyra larmsystemet från en mobil enhet har resulterat i ett lyckosamt projekt. Lansen Technology utvecklar och säljer larmsystem. Kommunikationen mellan systemets enheter sker trådlöst. Det trådlösa radioprotokoll som används är utvecklat av Lansen med målet att vara energisnål. Larmsystemets målgrupp är privatpersoner, företag och myndigheter. Nuvarande system installeras, konfigureras och styrs från en manöverpanel. Viss manövrering kan också ske med hjälp av mobiltelefon via GSM-nätet. Önskemål från Lansen Technology finns att flytta funktionalitet till en mobil enhet och att komma ifrån trafikkostnaden på GSM-nätet. Målgruppen för applikationen är i första hand användare som omgående kräver tillgång till information från larmsystemet. Projektet har i huvudsak bestått av två delar. Första delen av projektet bestod av att utreda de två olika trådlösa tekniker som var aktuella för projektet. Utvärderingen visade att Bluetooth var det bästa valet med de krav larmsystemet ställde på uppkopplingen. Bluetooth integrerades därefter i nuvarande larmsystem. Den andra delen bestod av att utveckla en mjukvara  för att kunna manövrera larmsystemet från en handdator med Windows Mobile. Applikationen utvecklades framgångsrikt och kan utföra majoriteten av de funktioner som specificerats inför projektet. Idén med att fjärrstyra larmsystemet från en mobil enhet har resulterat i ett lyckosamt projekt.

    Ladda ner fulltext (pdf)
    Rapport
    Ladda ner (pdf)
    Framsida
  • 11.
    Gustafsson, Mattias
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Odd, Oliver
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Virtual Reality Data Visualization: Concepts, technologies and more2018Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Datavisualisering (DV) kan ses som ett viktigt verktyg för kommunikation och dataanalys, speciellt när stora mängder data behandlas. Visuell representation kan främja observationen av trender och mönster samt förståelsen av datan. För närvarande används tvådimensionella displayer huvudsakligen för datavisualisering, både i två och tre dimensioner (2D och 3D). Emellertid är tvådimensionella displayer begränsade i 3D-visualisering eftersom de inte möjliggör äkta djupseende, och täcker inte observatörens fulla synfält (Field Of View (FOV)). Ett alternativ tillvägagångssätt är att använda Virtual Reality (VR), vilket tillhandahåller en omslutande och interaktiv 3D-miljö. VR har huvudsakligen används för spel och simulerad träning. Däremot börjar nya användningsområden uppstå då VR teknologin har blivit mer prisvärd. Ett användningsområde är VR för DV, vilket var det huvudsakliga syftet för det här arbetet. För att uppnå syftet utfördes en litteraturstudie för att identifiera teknologier och definitioner, hårdvaru- och mjukvaruteknologier, tekniker och exempel inom området av DV och VR. Dessutom, för att exemplifiera DV genom VR, utvecklades ett prototypsystem. Vilket implementerades genom  Unity 3D, en av de ledande spelmotorerna. För att visualisera den utvecklade VR-miljön användes ett HTC Vive Head Mounted Display (HMD). Den utvecklade prototypen kan visualisera data från ett lokalt dataset genom ett spridningsdiagram med 3 axlar, i VR. I den virtuella miljön som skapas av systemet tillåts användaren att välja attribut från datasetet för att sedan visualisera dessa genom det tredimensionella spridningsdiagrammet. När datan väl är visualiserad, kan användaren använda de handhållna kontrollerna för att flytta, rotera, luta och skala grafen. Uppnådda resultat indikerar på omslutning och interaktion som de huvudsakliga fördelarna av DV genom VR.

    Ladda ner fulltext (pdf)
    fulltext
  • 12.
    Hafemann Fragal, Vanderson
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Automatic generation of configurable test-suites for software product lines2018Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    Software Product Line Engineering (SPLE) is an approach used in the development of similar products, which aims at systematic reuse of software artifacts. The SPLE process has several activities executed to assure software quality. Quality assurance is of vital importance for achieving and maintaining a high quality for various artifacts, such as products and processes. Testing activities are widely used in industry for quality assurance. However, the effort for applying testing is usually high, and increasing the testing efficiency is a major concern. A common means of increasing efficiency is automation of test design. Several techniques, processes, and strategies were developed for SPLE testing, but still many problems are open in this area of research. The challenge in focus is the reduction of the overall test effort required to test SPLE products. Test effort can be reduced by maximizing test reuse using models that take advantage of the similarity between products. The thesis goal is to automate the generation of small test-suites with high fault detection and low test redundancy between products. To achieve the goal, equivalent tests are identified for a set of products using complete and configurable test-suites. Two research directions are explored, one is product-based centered, and the other is product line-centered. For test design, test-suites that have full fault coverage were generated from state machines with and without feature constraints. A prototype tool was implemented for test design automation. In addition, the proposed approach was evaluated using examples, experimental studies, and an industrial case study for the automotive domain. The results of the product-based centered approach indicate a reduction of 36% on the number of test cases that need to be concretized. The results of the product line-centered approach indicate a reduction of 50% on the number of test cases generated for groups of product configurations.

    Ladda ner fulltext (pdf)
    fulltext
  • 13.
    Hamilton-Jones, Jo
    et al.
    Aston University, School of Engineering and Applied Science, Birmingham, United Kingdom.
    Svane, Torben Ernst
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Developing research using reflective diaries2003Ingår i: Engineering as a Human Endeavor: Fartnering Communi& Academia, Government, and Industry: Conference Proceedings - Volume III - Saturday Sessions. November 5-8, 2003, San Diego: IEEE, 2003, Vol. 1Konferensbidrag (Refereegranskat)
    Abstract [en]

    Conference proceedings often present successful research and best cases. This paper presents a case that initially did NOT develop as anticipated and reflections as to why outcomes were different than expected. It also suggests important factors to consider before similar activities are undertaken in the future. The case presented investigates reflective assessments for the module "Current Issues in Edutainment Software Design", given to seniors in the Edutainment Software Design program at Halmstad University, Sweden. Throughout their program, these students have been indoctrinated to engage in self-reflection. Module assessments included development of both individual and group papers. Moreover, all students should reflect on their own learning process and produce their thoughts in a diary. Analysis of texts indicate that self-reflection "on command" proved difficult for these students, although they had been "trained" to reflect. Compared with two other groups lacking a similar, reflective background, instructed reflection seemed easier for "untrained" students. © 2003 IEEE

  • 14.
    Hedlund, Robin
    et al.
    Högskolan i Halmstad, Akademin för ekonomi, teknik och naturvetenskap.
    Johansson, Peter
    Högskolan i Halmstad, Akademin för ekonomi, teknik och naturvetenskap.
    Tidsloggning via NFC2016Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Denna rapport beskriver utvecklandet av ett tidsrapporteringssystem som tillämpar Near-Field-Communication[NFC]-tekniken. Systemet är i första hand avsett för ett företag där systemet i sig är framtaget med moderna tekniker och utvecklades med syn på expandering och vidareutveckling.

    En webbapplikation har utvecklats som består utav en server, databas och webbsida. Servern kan ta emot förfrågningar för att hantera information som finns lagrad i databasen. Webbsidan kan hantera och se över tidsrapporter i ett användargränssnitt som kan nås med hjälp utav en webbläsare.

    Systemet innehåller en station som använder sig utav en NFC-läsare för att läsa av information ifrån externa NFC-enheter. Informationen som läses av skickas vidare, via Wi-Fi, till servern för att antingen registrera en ny station eller skapa en tidsloggning.

    En mobil applikation har utvecklats till mobiltelefoner som använder sig utav operativsystemet Android och har inbyggt NFC-stöd. En mobiltelefon som stödjer dessa kriterier kan svepas över en station för att utföra en tidsloggning. Mobiltelefonen kan själv utföra skapa, modifiera, ta bort och hämta tidsloggningar. GPS är integrerat för navigering och för att koppla ihop position med en tidsloggning.

    Ladda ner fulltext (pdf)
    fulltext
  • 15.
    Kunze, Sebastian
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Symbolic Characterisation of Commonalities in Testing Software Product Lines2016Ingår i: 2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), Piscataway, N.J.: IEEE , 2016, s. 387-388Konferensbidrag (Refereegranskat)
    Abstract [en]

    Validation and verification of Software Product Lines is particularly challenging due to the complex structure and interaction of commonalities and variabilities among products. There are several approaches to specify the structure of such commonalities and variabilities, such as the delta-oriented approach. Building upon such a structure, we propose an approach to avoid redundant analysis in Software Product Lines by extending them to semantic behavioural changes. To this end, we propose to use Differential Symbolic Execution, an automated technique for proving functional behavioural equivalence based on satisfiability modulo theories. Our proposal aims at identifying the behavioural commonalities of one software product relative to another and exploits them in order to establish an efficient model-based testing trajectory.

  • 16.
    Man, Truong Vi
    Högskolan i Halmstad, Akademin för ekonomi, teknik och naturvetenskap.
    Webbapplikationsutveckling av esMatrix2016Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Webbapplikationen esMatrix är utvecklad av Entergate AB och används för att beräkna prioriteringsmatriser. Applikationen anses inte vara tillräckligt bra och Entergate vill därför skapa ett nytt program med esMatrix som utgångspunkt. Det nya programmet ska behandla data på ett bättre sätt och alla funktionerna ska vara optimerade. Även nya funktioner ska läggas till i den nya applikationen som export av prioriteringsmatris till PDF, nedladdning av exporterade dokument som en ZIP-fil samt färgläggning av prioriteringsmatriser. Utvecklingen av den nya applikationen är ett examensarbete. Rapporten handlar om utvecklingen av den nya webbapplikationen. Det dokumenteras är olika teorier, vilka metoder som har valts, resultatet samt analyser. Resultatet är en ny version av esMatrix som beräknar prioriteringsmatriser snabbare än den äldre versionen. 

    Ladda ner fulltext (pdf)
    fulltext
  • 17.
    Rosell, Daniel
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Intelligent löpband: Hastighetsreglering efter användarens rörelse och ökad säkerhet2017Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Det finns ett behov av billiga löpband som reglerar hastighet automatiskt efter användarens steg. Behovet finns främst inom vården för rehabilitering av patienter med olika rörelse- eller balansproblem där nuvarande lösningar ofta är mycket dyra. Fördelar är att kunna förbättra behandling, öka tillgänglighet och öka säkerhet utan att kräva utrustning på användaren. För att lösa detta skapades ett system med löpband och sensorer som kan följa användarens position och kroppshållning och reglera löpbandets hastighet efter detta. Kroppshållning följs av en algoritm som identifierar risker som tecken på tappad balans eller fall och bandet bör saktas ner eller stoppas. En prototyp skapades under ett tidigare projekt men denna hade problem och svagheter. Problem med lasersensorn för avståndsmätning undersöktes och tröghet i löpbandets styrning testades. För att undvika trögheten gjordes försök att ta reda på löpbandets kommunikationsprotokoll för att uppnå närmare motorstyrning. Nya algoritmer för hastighetsreglering och riskdetektering skapades. Det ursprungliga systemet gjordes om för att lägga till nya funktioner och tester. Resultat visar att sensorproblemen berodde på elektromagnetisk interferens från löpbandet som störde sensorns I2C-protokoll. Jämförelse mellan laser och Kinect visar att lasern inte behövs och att Kinect-sensorn ger stabilare mätningar. Det nya systemets mjukvara ger en mer modulär testmiljö för algoritmer. Det kan vara svårt att anpassa löpband beroende på konstruktion utan att bygga om för att uppnå en mjuk hastighetsreglering. Systemet och algoritmerna kan med lämplig styrmetod uppnå reglering av hastighet efter användarens rörelse och ge ökad säkerhet.

    Ladda ner fulltext (pdf)
    fulltext
  • 18.
    Samuelsson, Jim
    et al.
    Genedata GmbH, Lena-Christ-Strasse 50, 82152 Martinsried, Germany.
    Dalevi, Daniel
    Computing Science, Chalmers University of Technology, SE-412 96 Göteborg.
    Levander, Fredrik
    Department of Protein Technology, Lund University, Sölvegatan 33A.
    Rögnvaldsson, Thorsteinn
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Intelligenta system (IS-lab).
    Modular, scriptable and automated analysis tools for high-throughput peptide mass fingerprinting2004Ingår i: Bioinformatics, ISSN 1367-4803, E-ISSN 1367-4811, Vol. 20, nr 18, s. 3628-3635Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    A set of new algorithms and software tools for automatic protein identification using peptide mass fingerprinting is presented. The software is automatic, fast and modular to suit different laboratory needs, and it can be operated either via a Java user interface or called from within scripts. The software modules do peak extraction, peak filtering and protein database matching, and communicate via XML. Individual modules can therefore easily be replaced with other software if desired, and all intermediate results are available to the user. The algorithms are designed to operate without human intervention and contain several novel approaches. The performance and capabilities of the software is illustrated on spectra from different mass spectrometer manufacturers, and the factors influencing successful identification are discussed and quantified.

  • 19.
    Svenjeby, Jonatan
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Jönsson, Richard
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Application for selection of Bluetooth or WLAN2019Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Wireless communication is important in data transportation between devices. It is as ever important to find the best connection fitted for the users specific requirements. This process can be a hassle and having an application testing all the options could save both time and resources. This project involves solving mentioned problem and to create an application implementing the solution.

    A method of recommending a connection is to measure different metrics e.g throughput and packet loss for Bluetooth (BT) and each channel on 2.4GHz and 5GHz Wireless Area Network (WLAN). By using an appropriate algorithm to rate the connections a result ranging from best to worst can be displayed to the user. Limitations on metrics can be inputted by the user to tailor the result to match user requirements.

    The application is based on Hardware Meets Software (HMS) product Anybus Wireless Bridge II. With a Telnet connection Attention-commands (AT-commands) can be used to configure and utilize the modules e.g measure signal strength. Third-party services POCO and iPerf are used to measure other metrics e.g throughput and latency. C++ and Visual Studio was used to develop the application.

    In accordance to the test specification the projected resulted in a successfully working application. Tests prove that with interference on a channel results in a worse rating and that other channels that are unaffected gets a higher ranking on the list. There is still room for improvement regarding exception handling when connection timeouts happen due to loss of signal.

    Ladda ner fulltext (pdf)
    fulltext
  • 20.
    Svensson, Bertil
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Ul-Abdin, Zain
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Ericsson, Per M.
    Saab AB (EDS), Gothenburg, Sweden.
    Åhlander, Anders
    Saab AB (EDS), Gothenburg, Sweden.
    Hoang Bengtsson, Hoai
    Viktoria Swedish ICT, Gothenburg, Sweden.
    Bengtsson, Jerker
    Saab AB (EDS), Gothenburg, Sweden.
    Gaspes, Veronica
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Nordström, Tomas
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    A Running Leap for Embedded Signal Processing to Future Parallel Platforms2014Ingår i: WISE'14: Proceedings of the 2014 ACM International Workshop on Long-Term Industrial Collaboration on Software Engineering, New York, NY: Association for Computing Machinery (ACM), 2014, s. 35-42Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper highlights the collaboration between industry and academia in research. It describes more than two decades of intensive development and research of new hardware and software platforms to support innovative, high-performance sensor systems with extremely high demands on embedded signal processing capability. The joint research can be seen as the run before a necessary jump to a new kind of computational platform based on parallelism. The collaboration has had several phases, starting with a focus on hardware, then on efficiency, later on software development, and finally on taking the jump and understanding the expected future. In the first part of the paper, these phases and their respective challenges and results are described. Then, in the second part, we reflect upon the motivation for collaboration between company and university, the roles of the partners, the experiences gained and the long-term effects on both sides. Copyright © 2014 ACM.

    Ladda ner fulltext (pdf)
    fulltext
  • 21.
    Synnott, Jonathan
    et al.
    University of Ulster, Jordanstown, North Ireland.
    Nugent, Chris
    Univ Ulster, Sch Comp & Math, Jordanstown, North Ireland..
    Zhang, Shuai
    Univ Ulster, Sch Comp & Math, Jordanstown, North Ireland..
    Calzada, Alberto
    Univ Ulster, Sch Comp & Math, Jordanstown, North Ireland..
    Cleland, Ian
    Univ Ulster, Sch Comp & Math, Jordanstown, North Ireland..
    Espinilla, Macarena
    Univ Jaen, Dept Comp Sci, Jaen, Spain..
    Medina Quero, Javier
    Univ Jaen, Dept Comp Sci, Jaen, Spain..
    Lundström, Jens
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR Centrum för tillämpade intelligenta system (IS-lab).
    Environment Simulation for the Promotion of the Open Data Initiative2016Ingår i: 2016 IEEE INTERNATIONAL CONFERENCE ON SMART COMPUTING (SMARTCOMP), Piscataway, N.J.: IEEE, 2016, s. 246-251Konferensbidrag (Refereegranskat)
    Abstract [en]

    The development, testing and evaluation of novel approaches to Intelligent Environment data processing require access to datasets which are of high quality, validated and annotated. Access to such datasets is limited due to issues including cost, flexibility, practicality, and a lack of a globally standardized data format. These limitations are detrimental to the progress of research. This paper provides an overview of the Open Data Initiative and the use of simulation software (IE Sim) to provide a platform for the objective assessment and comparison of activity recognition solutions. To demonstrate the approach, a dataset was generated and distributed to 3 international research organizations. Results from this study demonstrate that the approach is capable of providing a platform for benchmarking and comparison of novel approaches.

  • 22.
    Zeadally, Sherali
    et al.
    Univ Dist Columbia, Dept Comp Sci & Informat Technol, Network Syst Lab, Washington, DC 20008 USA..
    Hunt, Ray
    Univ Canterbury, Coll Engn, Dept Comp Sci & Software Engn, Christchurch 1, New Zealand..
    Chen, Yuh-Shyan
    Natl Taipei Univ, Dept Comp Sci & Informat Engn, San Shia, Taipei County, Taiwan..
    Irwin, Angela
    Univ S Australia, Sch Comp & Informat Sci, Mawson Lakes, SA 5095, Australia..
    Hassan, Aamir
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Vehicular ad hoc networks (VANETS): status, results, and challenges2012Ingår i: Telecommunications Systems, ISSN 1018-4864, E-ISSN 1572-9451, Vol. 50, nr 4, s. 217-241Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Recent advances in hardware, software, and communication technologies are enabling the design and implementation of a whole range of different types of networks that are being deployed in various environments. One such network that has received a lot of interest in the last couple of years is the Vehicular Ad-Hoc Network (VANET). VANET has become an active area of research, standardization, and development because it has tremendous potential to improve vehicle and road safety, traffic efficiency, and convenience as well as comfort to both drivers and passengers. Recent research efforts have placed a strong emphasis on novel VANET design architectures and implementations. A lot of VANET research work have focused on specific areas including routing, broadcasting, Quality of Service (QoS), and security. We survey some of the recent research results in these areas. We present a review of wireless access standards for VANETs, and describe some of the recent VANET trials and deployments in the US, Japan, and the European Union. In addition, we also briefly present some of the simulators currently available to VANET researchers for VANET simulations and we assess their benefits and limitations. Finally, we outline some of the VANET research challenges that still need to be addressed to enable the ubiquitous deployment and widespead adoption of scalable, reliable, robust, and secure VANET architectures, protocols, technologies, and services.

1 - 22 av 22
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf