hh.sePublikasjoner
Endre søk
Begrens søket
123 101 - 129 of 129
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Treff pr side
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
Merk
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 101.
    Uddman Jansson, Oscar
    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).
    Shahanoor, Golam
    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).
    Evaluation of string stability during highway platoon merge2016Independent thesis Advanced level (degree of Master (Two Years)), 20 poäng / 30 hpOppgave
    Abstract [en]

    Automated vehicles are considered to be the future solution to reduce

    traffic congestion and to increase road safety. The Adaptive Cruise

    Control (ACC) has been introduced as Advance Driver Assistance System

    (ADAS) to improve road network utilization. However, complex

    traffic situations are still resolved by human drivers. Vehicular communication

    has been introduced to interconnect different nodes in

    the transport system for example vehicles, infrastructure, and vulnerable

    road users. Communication enables improved local awareness of

    the road users and the potential to further improve the performance

    is increased. In this study, a popular ACC algorithm, the notion of

    string stability and the concept of Cooperative Adaptive Cruise Control

    (CACC) are discussed. A new CACC algorithm is proposed focusing

    on maintaining platoon string stability during different traffic

    situations. The performance of the controller is compared with one

    of the most accepted ACC algorithms. The proposed controller was

    implemented in a real world cooperative highway merge scenario.

    The collected data was presented and appraised under three different

    evaluation criteria. The controller has shown low downstream

    error propagation in simulation and in real world experiment it successfully

    maintained string stability during highway platooning and

    merging scenarios.

  • 102.
    Ul-Abdin, Zain
    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).
    Gebrewahid, Essayas
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Svensson, Bertil
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Managing Dynamic Reconfiguration for Fault-tolerance on a Manycore Architecture2012Inngår i: Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012, New York, USA: IEEE Computer Society, 2012, s. 312-319, artikkel-id 6270657Konferansepaper (Fagfellevurdert)
    Abstract [en]

    With the advent of manycore architectures comprising hundreds of processing elements, fault management has become a major challenge. We present an approach that uses the occam-pi language to manage the fault recovery mechanism on a new manycore architecture, the Platform 2012 (P2012). The approach is made possible by extending our previously developed compiler framework to compile occam-pi implementations to the P2012 architecture. We describe the techniques used to translate the salient features of the occam-pi language to the native programming model of the P2012 architecture. We demonstrate the applicability of the approach by an experimental case study, in which the DCT algorithm is implemented on a set of four processing elements. During run-time, some of the tasks are then relocated from assumed faulty processing elements to the faultless ones by means of dynamic reconfiguration of the hardware. The working of the demonstrator and the simulation results illustrate not only the feasibility of the approach but also how the use of higher-level abstractions simplifies the fault handling. © 2012 IEEE.

  • 103.
    Ul-Abdin, Zain
    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).
    Svensson, Bertil
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    A Retargetable Compilation Framework for Heterogeneous Reconfigurable Computing2016Inngår i: ACM Transactions on Reconfigurable Technology and Systems, ISSN 1936-7406, E-ISSN 1936-7414, Vol. 9, nr 4, artikkel-id 24Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    The future trend in microprocessors for the more advanced embedded systems is focusing on massively parallel reconfigurable architectures, consisting of heterogeneous ensembles of hundreds of processing elements communicating over a reconfigurable interconnection network. However, the mastering of low-level micro-architectural details involved in programming of such massively parallel platforms becomes too cumbersome, which limits their adoption in many applications. Thus there is a dire need of an approach to produce high-performance scalable implementations that harness the computational resources of the emerging reconfigurable platforms.This paper addresses the grand challenge of accessibility of these diverse reconfigurable platforms by suggesting the use of a high-level language, occam-pi, and developing a complete design flow for building, compiling, and generating machine code for heterogeneous coarse-grained hardware. We have evaluated the approach by implementing complex industrial case studies and three common signal processing algorithms. The results of the implemented case-studies suggest that the occam-pi language based approach, because of its well-defined semantics for expressing concurrency and reconfigurability, simplifies the development of applications employing run-time reconfigurable devices. The associated compiler framework ensures portability as well as the performance benefits across heterogeneous platforms.

  • 104.
    Ul-Abdin, Zain
    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).
    Svensson, Bertil
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    An Evaluation of High-Performance Embedded Processing on MPPAs2013Inngår i: Proceedings: 21st Annual International IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2013, Los Alamitos, California: IEEE Computer Society, 2013, s. 235-235, artikkel-id 6546032Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Embedded signal processing is facing the challenges of increased performance as well as to achieve energy efficiency. Massively parallel processor arrays (MPPAs) consisting of tens or hundreds of processing cores offer the possibility of meeting the growing performance demand in an energy efficient way by exploiting parallelism instead of scaling the clock frequency of a single powerful processor.

    In this paper, we evaluate two variants of MPPAs by implementing a significantly large case study, namely an autofocus criterion calculation, which is a key component in modern synthetic aperture radar systems. The implementation results from the two target architectures are compared on the basis of utilized resources, performance, and energy efficiency. The Ambric implementations demonstrate the usefulness of occam-pi based high-level language approach in utilizing hundreds of processors, whereas the Epiphany implementation reveals that energy-efficiency can be improved even further by a factors of 2-3 with respect to the Ambric implementations and can be achieved at high clock speeds. © 2013 IEEE.

  • 105.
    Ul-Abdin, Zain
    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).
    Svensson, Bertil
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Occam-pi for Programming of Massively Parallel Reconfigurable Architectures2012Inngår i: International Journal of Reconfigurable Computing, ISSN 1687-7195, E-ISSN 1687-7209, Vol. 2012, artikkel-id 504815Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Massively parallel reconfigurable architectures, which offer massive parallelism coupled with the capability of undergoing run-time reconfiguration, are gaining attention in order to meet the increased computational demands of high-performance embedded systems. We propose that the occam-pi language is used for programming of the category of massively parallel reconfigurable architectures. The salient properties of the occam-pi language are explicit concurrency with built-in mechanisms for interprocessor communication, provision for expressing dynamic parallelism, support for the expression of dynamic reconfigurations, and placement attributes. To evaluate the programming approach, a compiler framework was extended to support the language extensions in the occam-pi language and a backend was developed to target the Ambric array of processors. We present two case-studies; DCT implementation exploiting the reconfigurability feature of occam-pi and a significantly large autofocus criterion calculation based on the dynamic parallelism capability of the occam-pi language. The results of the implemented case studies suggest that the occam-pi -language-based approach simplifies the development of applications employing run-time reconfigurable devices without compromising the performance benefits. Copyright © 2012 Zain-ul-Abdin and Bertil Svensson.

  • 106.
    Ul-Abdin, Zain
    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).
    Svensson, Bertil
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Synthetic-Aperture Radar Processing on a Manycore Architecture2012Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Synthetic-Aperture Radar (SAR) systems that are used to create high-resolution radar images from low-resolution aperture data require high computational performance. Manycore architectures are emerging to overcome the computational requirements of the complex radar signal processing.

    In this paper, we evaluate a manycore architecture namely Epiphany by implementing two significantly large case studies of fast factorized back-projection and autofocus criterion calculation, which are key components in modern synthetic aperture radar systems. The implementation results from the two case studies are compared on the basis of utilized resources and performance. The Epiphany implementations demonstrate the usefulness of the architecture for the streaming algorithm (autofocus criterion calculation) by achieving speedup of 8.9x with respect to the sequential implementation on Intel Core i7 processor while operating at a lower clock speed. On the other hand, for the memory-intensive algorithm (fast factorized back-projection), the Epiphany architecture shows moderate speedup in the order of 4.25x. The Epiphany implementations of the two algorithms are, respectively, 38x and 78x more energy-efficient.

  • 107.
    Ul-Abdin, Zain
    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).
    Yang, Mingkun
    Uppsala University, Uppsala, Sweden.
    Dataflow Programming of Real-time Radar Signal Processing on Manycores2014Inngår i: 2014 IEEE Global Conference on Signal and Information Processing (GlobalSIP), Piscataway, NJ: IEEE Press, 2014, s. 15-19Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Real-time performance is critical for the successful realization of next generation radar systems. Among these are advanced Active Electronically Scanned Array (AESA) radars in which complex calculations are to be performed on huge sets of data in real-time. Manycore architectures are designed to provide flexibility and high performance essential for such streaming applications.

    This paper deals with the implementation of compute-intensive parts of AESA radar signal processing chain in a high-level dataflow language; CAL. We evaluate the approach by targeting a commercial manycore architecture, Epiphany, and present our preliminary findings in terms of performance and productivity gains achieved in this case study. © 2014 IEEE.

  • 108.
    Ul-Abdin, Zain
    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).
    Åhlander, Anders
    Saab AB, Gothenburg, Sweden.
    Svensson, Bertil
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Energy-Efficient Synthetic-Aperture Radar Processing on a Manycore Architecture2013Inngår i: Proceedings: International Conference on Parallel Processing : The 42nd Annual Conference : ICPP 2013 : 1-4 October 2013 : Lyon, France / [ed] Randall Bilof, Piscataway, NJ: IEEE conference proceedings, 2013, s. 330-338, artikkel-id 6687366Konferansepaper (Fagfellevurdert)
    Abstract [en]

    The next generation radar systems have high performance demands on the signal processing chain. Examples include the advanced image creating sensor systems in which complex calculations are to be performed on huge sets of data in realtime. Manycore architectures are gaining attention as a means to overcome the computational requirements of the complex radar signal processing by exploiting massive parallelism inherent in the algorithms in an energy efficient manner.

    In this paper, we evaluate a manycore architecture, namely a 16-core Epiphany processor, by implementing two significantly large case studies, viz. an autofocus criterion calculation and the fast factorized back-projection algorithm, both key componentsin modern synthetic aperture radar systems. The implementation results from the two case studies are compared on the basis of achieved performance and programmability. One of the Epiphany implementations demonstrates the usefulness of the architecture for the streaming based algorithm (the autofocus criterion calculation) by achieving a speedup of 8.9x over a sequential implementation on a state-of-the-art general-purpose processor of a later silicon technology generation and operating at a 2.7x higher clock speed. On the other case study, a highly memory-intensive algorithm (fast factorized backprojection), the Epiphany architecture shows a speedup of 4.25x. For embedded signal processing, low power dissipation is equally important as computational performance. In our case studies, the Epiphany implementations of the two algorithms are, respectively, 78x and 38x more energy efficient. © 2013 IEEE

  • 109.
    Ul-Abdin, Zain
    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).
    Åhlander, Anders
    Saab AB, Gothenburg, Sweden.
    Svensson, Bertil
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Real-time Radar Signal Processing on Massively Parallel Processor Arrays2013Inngår i: Conference Record of The Forty-Seventh Asilomar Conference on Signals, Systems & Computers: November 3–6, 2013 Pacific Grove, California / [ed] Michael B. Matthews, Piscataway, NJ: IEEE Signal Processing Society, 2013, s. 1810-1814Konferansepaper (Fagfellevurdert)
    Abstract [en]

    The next generation radar systems have high performance demands on the signal processing chain. Among these are advanced image creating sensor systems in which complex calculations are to be performed on huge sets of data in realtime. Massively Parallel Processor Arrays (MPPAs) are gaining attention to cope with the computational requirements of complex radar signal processing by exploiting the massive parallelism inherent in the algorithms in an energy efficient manner.

    In this paper, we evaluate two such massively parallel architectures, namely, Ambric and Epiphany, by implementing a significantly large case study of autofocus criterion calculation, which is a key component in future synthetic aperture radar systems. The implementation results from the two case studies are compared on the basis of achieved performance, energy efficiency, and programmability. ©2013 IEEE.

  • 110. van Esch, Johannes
    Robot Navigation System: RONAS2016Independent thesis Basic level (university diploma), 10 poäng / 15 hpOppgave
    Abstract [sv]

    Fler och fler självgående fordon införs i samhället, varierar från självgående dammsugare till bilar som transporterar folk utan behov av mänsklig interaktion. I framtiden blir sådana fordon förmodligen mer vanliga. Av denna anledning är Högskolan i Halmstad intresserad av sätt att hur robotar kan lokalisera sig själva på olika sätt i en känd omgivning, denna teknologi är användbar för eventuella framtida kurser. I denna rapport beskrivs ett möjligt sätt för att programmera en robot tillverkat av Halmstad Högskola. För att bestämma robotens position i en känd omgivning använder roboten en laserscanner(LIDAR xv-11). Denna information av omgivningen behövs vid partikelfilters beräkningen. Partikelfiltret bestämmer robotens position med hjälp av iterativ closest point scanmatchning

    algoritmen. Programvaran kan ¨aven styra roboten genom att ange kommandon

    i ett användargränsnit. Samma användargränsnit används också för att konfigurera

    roboten samt att visa den aktuella robotpositionen i en karta.

  • 111.
    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).
    Test Models and Algorithms for Model-Based Testing of Software Product Lines2017Licentiatavhandling, med artikler (Annet vitenskapelig)
    Abstract [en]

    Software product line (SPL) engineering has become common practice for mass production and customization of software. A software product line comprises a family of software systems which share a managed core set of artifacts. There are also a set of well-defined variabilities between the products of a product line. The main idea in SPL engineering is to enable systematic reuse in different phases of software development to reduce cost and time to release.

    Model-Based Testing (MBT) is a technique that is widely used for checking the quality of software systems. In MBT, test cases are generated from an abstract model, which captures the desired behavior of the system. Then, the test cases are executed against a real implementation of the system and the compliance of the implementation to the specification is checked by comparing the observed outputs with the ones prescribed by the model.

    Software product lines have been applied in many domains in which sys- tems are mission critical and MBT is one of the techniques that is widely used for quality assurance of such systems. As the number of products can be potentially large in an SPL, using conventional approaches for MBT of the products of an SPL individually and as single systems can be very costly and time consuming. Hence, several approaches have been proposed in order to enable systematic reuse in different phases of the MBT process.

    An efficient modeling technique is the first step towards an efficient MBT technique for SPLs. There have been several formalisms proposed for modeling SPLs. In this thesis, we conduct a study on such modeling techniques, focusing on three fundamental formalisms, namely featured transition systems, modal transition systems, and product line calculus of communicating systems. We compare the expressive power and the succinctness of these formalisms.

    Furthermore, we investigate adapting existing MBT methods for efficient testing of SPLs. As a part of this line of our research, we adapt the test case generation algorithm of one of the well-known black-box testing approaches, namely, Harmonized State Identification (HSI) method by exploiting the idea of delta-oriented programming. We apply the adapted test case generation algorithm to a case study taken from industry and the results show up to 50 percent reduction of time in test case generation by using the delta-oriented HSI method.

    In line with our research on investigating existing MBT techniques, we compare the relative efficiency and effectiveness of the test case generation algorithms of the well-known Input-Output Conformance (ioco) testing approach and the complete ioco which is another testing technique used for input output transition systems that guarantees fault coverage. The comparison is done using three case studies taken from the automotive and railway domains. The obtained results show that complete ioco is more efficient in detecting deep faults (i.e., the faults reached through longer traces) in large state spaces while ioco is more efficient in detecting shallow faults (i.e., the faults reached through shorter traces) in small state spaces.

  • 112.
    Varshosaz, Mahsa
    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).
    Beohar, Harsh
    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).
    Basic Behavioral Models For Software Product Lines: Revisited2018Inngår i: Science of Computer Programming, ISSN 0167-6423, E-ISSN 1872-7964, Vol. 168, s. 171-185Artikkel i tidsskrift (Annet vitenskapelig)
    Abstract [en]

    In Beohar et al. (2016) [9], we established an expressiveness hierarchy and studied the notions of refinement and testing for three fundamental behavioral models for software product lines. These models were featured transition systems, product line labeled transition systems, and modal transition systems. It turns out that our definition of product line labeled transition systems is more restrictive than the one introduced by Gruler, Leucker, and Scheidemann. Adopting the original and more liberal notion changes the expressiveness results, as we demonstrate in this paper. Namely, we show that the original notion of product line labeled transition systems and featured transition systems are equally expressive. As an additional result, we show that there are featured transition systems for which the size of the corresponding product line labeled transition system, resulting from any sound encoding, is exponentially larger than the size of the original model. Furthermore, we show that each product line labeled transition system can be encoded into a featured transition system, such that the size of featured transition system is linear in terms of the size of the corresponding model. To summarize, featured transition systems are equally expressive as, but exponentially more succinct than, product line labeled transition systems. © 2018 Elsevier B.V.

  • 113.
    Vasilev, Viktor
    Högskolan i Halmstad, Akademin för informationsteknologi.
    An interactive 3D interface for hybrid model specification2017Independent thesis Advanced level (degree of Master (Two Years)), 20 poäng / 30 hpOppgave
    Abstract [en]

    To ease development and lower the entry barrier for new adopters many development environments offer visual means to edit complex data. Cyber-physical systems are a perfect candidate for such manipulations since they are usually described in the form of isolated, well defined components that can be manipulated individually. The physical parts of such systems often can be directly translated into real world objects and allowing the developer to interact with those in a familiar manner can greatly increase the usability and agility of the development process. In this thesis we focus on the exploration of interactive manipulation of hybrid system models. Our research examines a solution based on the Acumen simulation environment. We describe the tight integration between the textual model and 3D visualisation, go into detailed analysis of the implementation and use case-studies to illustrate concrete applications

  • 114.
    Wang, Rui
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Zhang, Hequn
    Högskolan i Halmstad, Akademin för informationsteknologi.
    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).
    Region-based Geocast Routing Protocols for VANETs: Summary, Evaluation Methods and Simulation Models2014Inngår i: 2014 International Conference on Connected Vehicles and Expo (ICCVE), Piscataway, NJ: IEEE Press, 2014, s. 731-738, artikkel-id 7297646Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Vehicular Ad hoc Networks (VANETs) is a technology to support communication among vehicles or between vehicles and infrastructure in order to exchange traffic information and avoid accidents. Many applications in VANETs need to transmit messages to vehicles within a specific geographic region. This behaviour is called Geocast. Several Geocast routing protocols have been proposed for VANETs. In this paper, some important and representative Geocast routing protocols are summarized and theoretically compared. In order to evaluate the performance of these protocols, the evaluation methods are also defined, which include both the Packet Delivery Ratio (PDR) and the Packet Delivery Time (PDT). Additionally, some important and new models, such as the influences of city lights, and the distance between buildings potentially acting as free line of sight obstacles, are proposed to create a more realistic city environment for Geocast routing simulation. © 2014 IEEE

  • 115.
    Weckstén, Mattias
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Frick, Jan
    Högskolan i Halmstad.
    Sjostrom, Andreas
    Högskolan i Halmstad.
    Järpe, Eric
    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).
    A Novel Method for Recovery from Crypto Ransomware Infections2016Inngår i: 2016 2nd IEEE International Conference on Computer and Communications, ICCC 2016 - Proceedings, New York: IEEE, 2016, s. 1354-1358Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Extortion using digital platforms is an increasing form of crime. A commonly seen problem is extortion in the form of an infection of a Crypto Ransomware that encrypts the files of the target and demands a ransom to recover the locked data. By analyzing the four most common Crypto Ransomwares, at writing, a clear vulnerability is identified; all infections rely on tools available on the target system to be able to prevent a simple recovery after the attack has been detected. By renaming the system tool that handles shadow copies it is possible to recover from infections from all four of the most common Crypto Ransomwares. The solution is packaged in a single, easy to use script. © 2016 IEEE.

  • 116.
    Wehrmeister, Marco A.
    et al.
    Federal University of Rio Grande do Sul, Porto Alegre, RS, Brazil.
    Pignaton de Freitas, Edison
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Pereira, Carlos E.
    Federal University of Rio Grande do Sul, Porto Alegre, RS, Brazil.
    An Infrastructure for UML-Based Code Generation Tools2009Inngår i: Analysis, architectures and modelling of embedded systems: Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009, proceedings / [ed] Rettberg, A Zanella, MC Rammig, FJ, New York: Springer-Verlag New York, 2009, s. 32-43Konferansepaper (Fagfellevurdert)
    Abstract [en]

    The use of Model-Driven Engineering (MDE) techniques in the domain of distributed embedded real-time systems are gain importance in order to cope with the increasing design complexity of such systems. This paper discusses an infrastructure created to build GenERTiCA, a flexible tool that supports a MDE approach, which uses aspect-oriented concepts to handle nonfunctional requirements from embedded and real-time systems domain. GenERTiCA generates source code from UML models, and also performs weaving of aspects, which have been specified within the UML model. Additionally, this paper discusses the Distributed Embedded Real-Time Compact Specification (DERCS), a PIM created to support UML-based code generation tools. Some heuristics to transform UML models into DERCS, which have been implemented in GenERTiCA, are also discussed.

  • 117.
    Wehrmeister, Marco A.
    et al.
    Instituto de Informática, Federal University of Rio Grande do Sul, Porto Alegre, Brazil.
    Pignaton de Freitas, Edison
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). Instituto de Informática, Federal University of Rio Grande do Sul, Porto Alegre, Brazil.
    Pereira, Carlos E.
    Dep. Engenharia Elétrica, Federal University of Rio Grande do Sul, Porto Alegre, Brazil.
    Using GenERTiCA to generation code from RT-UML: A case study2009Inngår i: Elsevier IFAC Publications / IFAC Proceedings series, ISSN 1474-6670, Vol. 13, nr PART 1, s. 674-679Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Tool support is essential to allow the use of Model-Driven Engineering (MDE) in the design of distributed embedded real-time systems. GenERTiCA is a flexible tool that supports a MDE approach, which uses concepts of Aspect-Oriented Development (AOD) to handle non-functional requirements from real-time and embedded systems domain. This paper presents a comprehensive case study that illustrates GenERTiCA usage to generate source code from UML models. GenERTiCA also performs aspects weaving using aspect’s information specified in UML models. Results regarding source code generation for a Java platform based on the Real-Time Specification for Java (RTSJ) are presented. Additionally, this paper discusses the implementation of some aspects of a high-level aspects framework, named DERAF, using the mentioned platform. © 2009 IFAC.

  • 118.
    Wernersson, Henrik Wernersson
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Atwa, Yassin
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Resource constrained Industrial IoT device2016Independent thesis Basic level (professional degree), 10 poäng / 15 hpOppgave
    Abstract [sv]

    I dagens läge är industriella nätverk inte anpassade för att koppla upp resursbegränsade enheter pga av att industriella nätverks-protokollen som används är mer anpassade för real time applikationer. Det skulle vara ett stort steg för de industriella nätverken att kunna koppla upp resursbegränsade enheter för enkel övervakning samt analysering av data.

    Efter en undersökningsperiod av ett flertal olika IoT-protokoll, gjordes valet att implementera CoAP på en Anybus CompactCom-modul för testning. Under projektets gång användes det en del white-box testning i början vid implementationen av libCoAP. Efter att en fungerande implementation var gjord, påbörjades testning av input och output överensstämmelser med hjälp av black-box testning istället.

    Resultatet jämfördes i slutändan med den existerande lösningen att skicka parameterdata med hjälp av TCP. Resultatet hade en responstidsskillnad som var 92,3 % snabbare. Samtidigt tog det sammanlagt 24,2 % mindre plats i minnet (FLASH och RAM) för implementationen på Anybus CompactCom-modulen.

  • 119.
    Wu, Jinfeng
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Inbyggda system (CERES).
    Lv, Gaofei
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Inbyggda system (CERES).
    Evaluation of Multicore Cache Architecture for Radar Signal Processing2012Independent thesis Advanced level (degree of Master (Two Years)), 20 poäng / 30 hpOppgave
  • 120.
    Xiang, Yang
    et al.
    Deakin University, Burwood VIC, Australia.
    Taha, Walid
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Wang, Hua
    University of Southern Queensland, Toowoomba QL, Australia.
    EUC 2011: Message from the program committee chairs2011Inngår i: Proceedings - 2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing, EUC 2011, s. xiii-xiiiArtikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Presents the welcome message from the conference proceedings.

  • 121.
    Xie, Hong
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    A Protocol Stack in TinyTimber for PIEs that Cooperate for Traffic Safety2012Independent thesis Advanced level (degree of Master (Two Years)), 20 poäng / 30 hpOppgave
    Abstract [en]

    There is an increasing demand for reliable wireless communication in embedded real time systems.  Various communication requirements make the development and deployment of applications that rely on the existence of a protocol stack a challenging research and industrial field of activity. Suitable protocol stacks need to be designed and implemented on new hardware platforms and software structures. Applications that exchange packets over a wireless medium have to deal with time constraints, error checks and have to be aware of energy consumption.

     

    PIE (Platform for Intelligent Embedded Systems) is an experimental platform developed at Halmstad University for educational purposes.  It is a robotic vehicle with wireless communication capabilities that can be used to experiment with traffic scenarios where the vehicles communicate in order to cooperate, for example to avoid hazards or to build platoons.

     

    This thesis addresses the design and implementation of a protocol stack suitable for the PIE platform in the area of vehicle alert systems. Requirements include low latencies along with low packet loss ratios.  The thesis addresses also experimenting with reactive objects for programming network software. 

  • 122.
    Xu, Fei
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Lightweight Immersion Techniques for Acumen2015Independent thesis Advanced level (degree of Master (Two Years)), 20 poäng / 30 hpOppgave
    Abstract [en]

    Modeling and simulation have always been essential steps in innovation, the processesof developing new products. This is especially the case for cyber-physical systems, whichare complex systems of networked physical and computational components. Modelingplays a key role in model-based design. Immersion techniques speed up the modelingprocess by presenting the design more intuitively. This thesis investigates the possibilityof improving support of immersion in Acumen, a free and open source software platformfor modeling and simulation of cyber-physical systems. To be consistent with theopen and free nature of Acumen, we investigate immersion options that would not entailadded cost to users.This thesis shows that it is possible to allow users to interact with an Acumen model, simulateand animate them simultaneously, and synchronize the simulation with real worldtime. The results show that the immersion techniques can be easily used without degradingthe performance of Acumen simulation, and help users understand and developAcumen models. Finally, we show why it is important to build a hardware independent3D visualization for Acumen, namely, that it allows users to use Acumen without acumbersome set-up process.iii

  • 123.
    Xypolitidis, Benard
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Shabani, Rudin
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Architectural Design Space Exploration of Heterogeneous Manycores2015Independent thesis Advanced level (degree of Master (Two Years)), 20 poäng / 30 hpOppgave
    Abstract [en]

    Exploring the benefits of heterogeneous architectures is becoming more desirable dueto migration from single core to manycore architectural systems. A fast way to explorethe heterogeneity is through an architectural design space exploration (ADSE) tool,which gives the designer the option to explore design alternatives before the actualimplementation. Heracles Designer is an ADSE tool which allows the user to modifylarge aspects of the architecture. At present, Heracles Designer is equipped with asingle type of processing core, a MIPS CPU.We have extended the Heracles System in order to enable the system to model het-erogeneity. Our system is called the Heterogeneous Heracles System (HHS), where adifferent type of processing core, the OpenRISC CPU, is interfaced into the HeraclesSystem. Test programs are executed on both the MIPS and OpenRISC CPUs, whichhave provided promising results. In order to provide the designer with the option tomodify the system architecture without changing the source code, a GUI named AD-SET was created. ADSET provides the designer with the ability to modify the coresettings, memory system configuration and network topology configuration.In the HHS the MIPS core can only execute basic instructions, while the OpenRISCcan execute more advanced instructions, giving a designer the option to explore theeffects of heterogeneity based on the big little architectural concept. The results of ourwork provides an infrastructure on how to integrate different types of processing coresinto the HHS.

  • 124.
    Yang, Mingkun
    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).
    Savas, Suleyman
    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).
    Nordström, Tomas
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    A Communication Library for Mapping Dataflow Applications on Manycore Architectures2013Inngår i: Proceedings of the 6th Swedish Multicore Computing Workshop / [ed] Tomas Nordstrom & Zain-ul-Abdin, 2013, s. 65-68Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Dataflow programming is a promising paradigm for high performance embedded parallel computing. When mapping a dataflow program onto a manycore architecture a key component is the library to express the communication between the actors. In this paper we present a dataflow communication library supporting the CAL actor language. A first implementation of the communication library is created for Adapteva’s manycore architecture Epiphany that contains an onchip 2-D mesh network. Three different buffering methods, with and without direct memory access (DMA) transfer, have been implemented and evaluated. We have also made a preliminary study on the effect of mapping strategies of the actors onto the cores. The assessment of the library is based on a CAL implementation of a two dimensional inverse discrete cosine transform (2D-IDCT) and our own CAL-to-C compilation framework. As expected the results show that the most efficient actor to-core mapping strategy is to keep the communication to the nearest neighbor communication pattern as much as possible. Thus, the best way to place a pipelined sequence of computations like our 2D-IDCT is to place the actors into cores in a serpentine fashion. For this application we found that the simple receiver side buffer outperforms the more complicated buffering strategies that used DMA transfer.

  • 125.
    Yang, Y.
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Larsson, Tony
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Distributed Access Framework for Embedded Device Community2005Inngår i: Proceedings of the 23rd IASTED International Multi-Conference on Applied Informatics: IASTED International Conference on Parallel and Distributed Computing and Networks / [ed] Hamza, MH, Anaheim: ACTA Press, 2005, s. 370-374Konferansepaper (Fagfellevurdert)
    Abstract [en]

    This paper identifies the need for multiple clients to concurrently access a device community. A set of embed ded devices cooperate via one or more service discovery protocols, such as UPnP, Jini, HAVi or OSGi. We present an approach that encapsulates additional services into a Distributed Access Framework (DAF). The services in DAF are responsible for secure and coordinated access of the distributed devices in the community. The different services of DAF can optionally be implemented and executed on different devices. We specify the DAF and demonstrate an implementation where the devices are organized according to the OSGi specification.

  • 126.
    Yifei, Li
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Lin, Ge
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Non-Isotropic Planar Motion Planning for Sailboat Navigation2013Independent thesis Advanced level (degree of Master (Two Years)), 20 poäng / 30 hpOppgave
    Abstract [en]

    The purpose of the thesis was to explore the possibilities of using a Level-Set method to design a time-optimal path planar of a subject to direction-dependent maximum velocities. A promising application for such a planning approach lies in sailboat navigation planning, because of the dynamic ocean waves, current, wind and the characteristics of a sailboat. In the thesis, we developed an IOS application to simulate such scenario as environment properties with wind, static obstacles and the sailboat mapped into direction-dependent velocities in different locations of the environment.  Considering the wind is the main power for the sailboat, a wind speed generation function was created, based on different locations. The Level-Set method is widely used in image processing because of its various advantages, for instance, the ability to deal with topology change and stability. It also can be applied in path planning, in which the process of the Level-Set method can be considered as a continuous wave front propagating with a speed from the start location. A grid-based map was used to represent the environment. While the wave front was crossing the cell on the grid, a time was recorded for every cell, following the negative gradient direction of such crossing time, and then an optimal path could be found. In addition, we used the Narrow Band method to speed up the calculation of processing the level set equation. Finally, this report gives the results of the experiments of static obstacle avoidance, wind effects and smooth path planning.

  • 127.
    Yu, Tianyi
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Edén, Jenny
    Högskolan i Halmstad, Akademin för informationsteknologi.
    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). Viktoria Swedish ICT, Gothenburg, 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).
    Traffic Situation Estimator for Adaptive Cruise Control2016Inngår i: 2016 IEEE 17th International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM), Piscataway, NJ: IEEE, 2016, artikkel-id 7523567Konferansepaper (Fagfellevurdert)
    Abstract [en]

    A traffic situation estimator capable of analyzing driving behavior utilizing an image analysis-based tracking module is presented. The behavior is analyzed by using a state machine driven counter to estimate the traffic rhythm and determine if the detected vehicles are approaching, getting away, have been overtaken or have overtaken the ego-vehicle. Depending on the result, the traffic situation estimator suggest different reactions, either to drive faster, slower or optionally suggest to overtake vehicles ahead to help the driver to follow the traffic rhythm which in turn will improve safety and energy efficiency. The proposed approach is implemented in a smart-phone and has shown good performance while testing the application on a two-lane highway. © 2016 IEEE.

  • 128.
    Zhang, Hequn
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Wang, Rui
    Högskolan i Halmstad, Akademin för informationsteknologi.
    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).
    Simulation of Region-based Geocast Routing Protocols2014Inngår i: 2014 International Conference on Connected Vehicles and Expo (ICCVE), Piscataway, NJ: IEEE Press, 2014, s. 723-730, artikkel-id 7297645Konferansepaper (Fagfellevurdert)
    Abstract [en]

    As one of the most important enablers of Intelligent Transportation System (ITS), Inter-Vehicle Communication (IVC) have been a hot research direction in nearly a decade. To improve vehicle safety and cooperative systems, most of ITS applications need efficient and stable Vehicular Ad hoc Networks (VANETs) among vehicles and infrastructures, which can be set up by Geocast routing protocols. Some of these applications require the protocols, known as region-based Geocast routing protocols, supporting to broadcast messages to vehicles within a specific geographic region. Since different protocols are appropriate for different purposes or occasions, it is significant to simulate protocols and evaluate their performances under a variety of scenarios. Therefore, this paper focuses on investigations of simulation environment configurations for some known Geocast routing protocols. According to the investigations, a region based Geocast routing simulator is designed and developed. To demonstrate the effectiveness and the reliability of this simulator, several protocols are simulated and the performances of them are presented. © 2014 IEEE

  • 129.
    Zhang, Tianyi
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Zhao, Yuwei
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Recognition for Robot First Aid: Recognizing a Person's Health State after a Fall in a Smart Environment with a Robot2016Independent thesis Advanced level (degree of Master (Two Years)), 20 poäng / 30 hpOppgave
123 101 - 129 of 129
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf