Ändra sökning
Avgränsa sökresultatet
1234567 151 - 200 av 2741
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)
  • 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)
Markera
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 151.
    Andersson Holmström, Simon
    Linköpings universitet, Institutionen för systemteknik, Datorteknik.
    Adaptive TDC: Implementation and Evaluation of an FPGA2015Självständigt arbete på grundnivå (kandidatexamen), 10,5 poäng / 16 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Time to digital converter (TDC) is a digital unit that measures the time interval between two events.This is useful to determine the characteristics and patterns of a signal or an event. In this thesis ahybrid TDC is presented consisting of a tapped delay line and a clock counter principle.

    The TDC is used to measure the time between received data in a QKD application. If the measuredtime does not exceed a certain value then data had been sent without any interception. It is alsopossible to use TDCs in other fields such as laser-ranging and time-of-flight applications.

    The TDC consists of two carry chains, an encoder, a FIFO and a counter for each channel, anAXI-module and a control unit to generate command signals to all channels that are implemented.The time is measured by sampling the signal that has propagated through the carry chain and from thissample encode the propagation length.

    In this thesis a TDC is implemented that has a 10 ns dead time and a resolution below 28 psin a four channel mode. The propagation variation is approximately two percent of the total valueduring testing. For the implementation an FPGA-board with a Zynq XC7Z020 SoC is used withSystemVerilog that is a hardware describing language (HDL).

  • 152.
    Andersson, Håkan
    et al.
    Linköpings universitet, Institutionen för ekonomisk och industriell utveckling. Linköpings universitet, Tekniska fakulteten. Construct Tools PC AB, Sweden.
    Nordin, Peter
    Linköpings universitet, Institutionen för ekonomisk och industriell utveckling. Linköpings universitet, Tekniska fakulteten.
    Borrvall, Thomas
    DYNAmore Nordic AB, Brigadgatan 5, S-58758 Linkoping, Sweden.
    Simonsson, Kjell
    Linköpings universitet, Institutionen för ekonomisk och industriell utveckling, Mekanik och hållfasthetslära. Linköpings universitet, Tekniska fakulteten.
    Hilding, Daniel
    DYNAmore Nordic AB, Brigadgatan 5, S-58758 Linkoping, Sweden.
    Schill, Mikael
    DYNAmore Nordic AB, Brigadgatan 5, S-58758 Linkoping, Sweden.
    Krus, Petter
    Linköpings universitet, Institutionen för ekonomisk och industriell utveckling, Fluida och mekatroniska system. Linköpings universitet, Tekniska fakulteten.
    Leidermark, Daniel
    Linköpings universitet, Institutionen för ekonomisk och industriell utveckling, Mekanik och hållfasthetslära. Linköpings universitet, Tekniska fakulteten.
    A co-simulation method for system-level simulation of fluid-structure couplings in hydraulic percussion units2017Ingår i: Engineering with Computers, ISSN 0177-0667, E-ISSN 1435-5663, Vol. 33, nr 2, 317-333 s.Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper addresses a co-simulation method for fluid power driven machinery equipment, i.e. oil hydraulic machinery. In these types of machinery, the fluid-structure interaction affects the end-product performance to a large extent, hence an efficient co-simulation method is of high importance. The proposed method is based on a 1D system model representing the fluid components of the hydraulic machinery, within which structural 3D Finite Element (FE) models can be incorporated for detailed simulation of specific sub-models or complete structural assemblies. This means that the fluid system simulation will get a more accurate structural response, and that the structural simulation will get more correct fluid loads at every time step, compared to decoupled analysis. Global system parameters such as fluid flow, performance and efficiency can be evaluated from the 1D system model simulation results. From the 3D FE-models, it is possible to evaluate displacements, stresses and strains to be used in stress analysis, fatigue evaluation, acoustic analysis, etc. The method has been implemented using two well-known simulation tools for fluid power system simulations and FE-simulations, respectively, where the interface between the tools is realised by use of the Functional Mock-up Interface standard. A simple but relevant model is used to validate the method.

  • 153.
    Andersson, Jesper
    et al.
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).
    Caporuscio, Mauro
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).
    Aligning Architectures for Sustainability2016Ingår i: ACM Proccedings of the 10th European Conference on Software Architecture Workshops (ECSA-W) / [ed] Rami Bahsoon and Rainer Weinreich, ACM Press, 2016, 13Konferensbidrag (Refereegranskat)
    Abstract [en]

    The digitization of industry has drastically changed the competitive landscape by requiring a higher degree of specialization and shorter time to delivery that affect the design properties a software platform should satisfy. The platform architecture must sustain continuous and rapid change to the organizational architecture, which in turn is affected by external forces: i.e., forces drive the velocity of change. In this paper, we explore the effects of digitization, characterizing internal and external forces that impact on business strategies and trigger the continuous realignment of the platform, and outline a research agenda to mitigate the effects.

  • 154.
    Andersson, Johan
    et al.
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Huselius, Joel
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Norström, Christer
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Wall, Anders
    Mälardalens högskola, Institutionen för datavetenskap och elektronik. ABB Corporate Research, Västerås, Sweden.
    Extracting Simulation Models from Complex Embedded Real-Time Systems2006Ingår i: Proceedings of the 2006 International Conference on Software Engineering Advances, ICSEA'06, Tahiti, French Polynesia, 2006, Article number 4031792- s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    A modeling process is presented for extracting timingaccurate simulation models from complex embedded real-time systems. The process is supported by two complementary methods for tool-supported model extraction, Model Synthesis and Hybrid Model Extraction. The generated models enable impact analysis for complex real-time systems with respect to dynamic system properties, such as timing and resource usage. This can make software maintenance more predictable with respect to time-to-market and development costs, since timing errors can be identified early and avoided. The contribution of the paper is the modeling process, the Hybrid Model Extraction method and an interactive modeling tool, MASS, designed to support Hybrid Model Extraction of large implementations in C.

  • 155.
    Andersson, Johan
    et al.
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Wall, Anders
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Norström, Christer
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    A Framework for Analysis of Timing and Resource Utilization targeting Complex Embedded Systems2006Ingår i: ARTES - A network for Real-Time research and graduate Education in Sweden 1997 - 2006, Uppsala: Department of Information Technology , 2006, 297-329 s.Kapitel i bok, del av antologi (Övrigt vetenskapligt)
    Abstract [en]

    A problem in common of many complex software systems embedded in industrial

    products is the absence of analyzability as formal models of the system

    behavior does not exist. When performing maintenance of such systems it is

    hard to predict how changes will impact specific system properties related to

    timing and resource utilization and there is therefore a significant risk of running

    into problems with unexpected side-effects of the changes made, which

    increases development time required and costs.

    In this paper we present the ART Framework, a set of methods and tools

    that enable behavior impact analysis for existing industrial real-time systems.

    The ART Framework enables developers of complex software systems to identify

    problematic side-effects of a proposed design before vast resources have

    been invested in implementation and testing. This reduces the risk of expensive

    and time-consuming problems discovered late in a development project

    and also reduces the risk releasing software containing latent critical errors.

  • 156.
    Andersson Nyrén, Martina
    Karlstads universitet, Fakulteten för humaniora och samhällsvetenskap (from 2013), Handelshögskolan.
    Pilotstudier avanvändargränssnitt till app för smärtpatienter2016Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Experio Lab i Landstinget i Värmland, Karolinska Institutet och Kungliga TekniskaHögskolan håller i dag på med att utveckla en digital tjänst i form av en app försmärtpatienter. Målet är att genom en digital tjänst kunna lära sig mer om hur patienter kankartlägga sina besvär inför ett möte med sjukvården.

    Uppsatsen syftar till att inför kommande användbarhetstester på riktiga patienterundersöka hur väl prototypen fungerar när det kommer till gränssnittet och ge förslag somskulle kunna förbättra appen inför de kommande användbarhetstesterna.

    Undersökningen genomfördes i två steg: Först testades appen som en pappersprototyp.Därefter genomfördes användbarhetstester med hjälp av studenter och experter inomtjänstedesign på en ipad-platta, där både intervjuer och observationer gjordes. Resultatetvisade att flera av testpersonerna hade samma sorts svårigheter när det kom till att interageramed appen. Svårast var att rita sina besvär på besvärsteckningen samt att veta var i processenman befann sig. Efter genomförande av studien uppgav de flesta testpersonerna att de skullerekommendera appen till någon de kände. Majoriteten såg även behov av att appensanvändargränssnitt blir tydligare för användaren.

  • 157.
    Andersson, Rikard
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Emberg, Johan
    Linköpings universitet, Institutionen för datavetenskap.
    Hazell, Sofie
    Linköpings universitet, Institutionen för datavetenskap.
    Laestander, Hjalmar
    Linköpings universitet, Institutionen för datavetenskap.
    Norberg, Gustaf
    Linköpings universitet, Institutionen för datavetenskap.
    Elmfeldt Rönnmark, Maximilian
    Linköpings universitet, Institutionen för datavetenskap.
    Buciuto Sundelin, Bruno
    Linköpings universitet, Institutionen för datavetenskap.
    Törngren, Erik
    Linköpings universitet, Institutionen för datavetenskap.
    Heat n' Eat: Utvecklingen av en användbar e-butik med fokus på navigerbarhet2017Självständigt arbete på grundnivå (kandidatexamen), 12 poäng / 18 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Studenter idag har brist på både tid och pengar. Samtidigt ökar e-handeln och specifikt matförsäljningen över internet. Rapporten har som avsikt att undersöka möjligheterna för en tjänst, i form av en webbapplikation, som erbjuder studenter högkvalitativ mat inom deras budget på ett enkelt sätt. Via en marknadsundersökning på Campus Valla uttryckte studenter avsaknad av en sådan tjänst. Studien genomfördes genom att ta fram teori rörande användbarhet och navigerbarhet. Studenter som grupp har ofta ont om tid och är vana vid att få snabb och tydlig information vilket god navigerbarhet säkerställer. Efter teoristudien genomfördes användartester på målgruppen. Som ett resultat utvecklades webbapplikationen Heat n’ Eat. För att uppnå god navigerbarhet blev utformningen en simpel struktur med produkterna i fokus. Ett avslutande användartest visade att webbapplikationen kan anses vara användbar med fokus på navigerbarhet.

  • 158.
    Andersson, Roland
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Utvinning av data ur mobiltelefoner: En valideringsstudie av forensiska verktyg2016Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Den vetenskapliga aspekten i de flesta forensiska discipliner är välgrundad och prövad under ett långt tidsperspektiv. Det ökande användandet av digital teknik har gjort att en ny forensisk disciplin har vuxit fram och den vetenskapliga grunden i detta nya forensiska område är i många avseenden fortfarande outforskat. Inom det svenskarättsväsendet krävs att de forensiska metoder som används inom en brottsutredning ska vara kvalitetssäkrade och i största mån vara ackrediterade av ettackrediteringsorgan. Det finns idag få relevanta studier kring validering av forensiska metoder som hanterar småskaliga enheter som smarta mobiler.

    I denna rapport analyseras de metoder som används för att utvinna data från mobiltelefon och hur dessa metoder kan anses vara forensiskt korrekta. Rapporten presenterar ett nytt ramverk för att validera de metoder som används av ett forensisk verktyg. Ramverket är kvalitetssäkrat genom att utgå ifrån tidigare vetenskaplig studier och är praktiskt testad i laboratoriemiljö. Ramverket ska kunna användas direkt inom en forensisk verksamhet som kräver validering.

  • 159.
    Andersson, Samuel
    et al.
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Ekberg, Björn
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Prestandaoptimering av spelet Go Supernova2013Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Som underlag för den här rapporten använder vi oss av vårtspel Go Supernova. Det är skrivet i Java med hjälp avramverket LibGDX. Vi har undersökt hur man kan optimeraspelet för att kunna hantera så många objekt som möjligt menändå hålla ett bra spelflöde utan att förstöra den vision vihade när vi skapade spelet från första början. Vi har kommitfram till att ljusmotorn box2dlights använder sig av mycketprocessorkraft och användningen av den behövde justeras föratt tillfredsställa våra krav. Vi kommer även att tala omdesignval av spelets interna delar som gjorde att vi kundeundvika prestandaförluster.

  • 160.
    Andersson, Viktor
    Luleå tekniska universitet, Institutionen för system- och rymdteknik, Datavetenskap.
    Machine Learning in Logistics: Machine Learning Algorithms: Data Preprocessing and Machine Learning Algorithms2017Självständigt arbete på grundnivå (yrkesexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Data Ductus är ett svenskt IT-konsultbolag, deras kundbas sträcker sig från små startups till stora redan etablerade företag. Företaget har stadigt växt sedan 80-talet och har etablerat kontor både i Sverige och i USA.

    Med hjälp av maskininlärning kommer detta projket att presentera en möjlig lösning på de fel som kan uppstå inom logistikverksamheten, orsakade av den mänskliga faktorn.Ett sätt att förbehandla data innan den tillämpas på en maskininlärning algoritm, liksom ett par algoritmer för användning kommer att presenteras.

  • 161.
    Andreasson, Henrik
    et al.
    Örebro University, Örebro, Sweden.
    Bouguerra, Abdelbaki
    Örebro University, Örebro, Sweden.
    Åstrand, Björn
    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).
    Rögnvaldsson, Thorsteinn
    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).
    Gold-fish SLAM: An application of SLAM to localize AGVs2012Ingår i: Field and Service Robotics: Results of the 8th International Conference / [ed] Kazuya Yoshida & Satoshi Tadokoro, Heidelberg: Springer, 2012, 585-598 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    The main focus of this paper is to present a case study of a SLAM solution for Automated Guided Vehicles (AGVs) operating in real-world industrial environments. The studied solution, called Gold-fish SLAM, was implemented to provide localization estimates in dynamic industrial environments, where there are static landmarks that are only rarely perceived by the AGVs. The main idea of Gold-fish SLAM is to consider the goods that enter and leave the environment as temporary landmarks that can be used in combination with the rarely seen static landmarks to compute online estimates of AGV poses. The solution is tested and verified in a factory of paper using an eight ton diesel-truck retrofitted with an AGV control system running at speeds up to 3m/s. The paper includes also a general discussion on how SLAM can be used in industrial applications with AGVs. © Springer-Verlag Berlin Heidelberg 2014.

  • 162.
    Andréasson, Kim
    et al.
    Högskolan Väst, Institutionen för ingenjörsvetenskap, Avd för data- och elektroteknik.
    Hagberg, Daniel
    Högskolan Väst, Institutionen för ingenjörsvetenskap, Avd för data- och elektroteknik.
    Undersökning av iBeaconannonsering via smartphoneapplikation: Objective c och ASP.NET2014Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Detta examensarbete är utfört tillsammans med företaget Sigma i samband med utbildning-en Datateknisk Systemutveckling, vid Högskolan Väst i Trollhättan. Arbetet går ut på att undersöka den nya teknologin iBeacon och ta reda om den är att föredra, framför liknande teknologier, vid utveckling av ett system som skall användas i till exempel ett annonserings-syfte. För att genomföra detta skapas en smartphoneapplikation tillsammans med ett admi-nistratörsgränssnitt för att sedan kunna utföra ett användartest av produkten med ett slumpmässigt urval personer.

    Målet med examensarbetet är främst att lyckas skapa en fungerande produkt som skall kunna testas för att undersöka projektets frågeställning. I rapporten beskrivs tillvägagångs-sättet och en diskussion förs kring det resultat som användartestet visar.

  • 163. Andrén, Börje
    et al.
    Wang, Kun
    Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Institutionen för informationsteknologi och medier.
    Brunnström, Kjell
    Characterizations of 3D TV: Active vs passive2012Ingår i: SID Symposium Digest of Technical Papers 2012, Blackwell Publishing Ltd , 2012, 137-140 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    Two different techniques are dominating the 3D TV market today i.e. active shutter glasses and passive film patterned retarder. Both the techniques have their pros and cons. In this paper we compare these two types of 3D TV3D TV by evaluating them with respect to some important visual ergonomic parameters such as angle dependent cross talk, luminance levels, flicker and resolution.

  • 164.
    ANGELONE, MARIA LAURA
    Örebro universitet, Institutionen för naturvetenskap och teknik.
    AndroidOS- Robot Command Interface2011Självständigt arbete på avancerad nivå (magisterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
  • 165.
    Angelsmark, Ola
    et al.
    Department of Computer Science, Lund University, Lund, Sweden.
    Malec, Jacek
    Department of Computer Science, Lund University, Lund, Sweden.
    Nilsson, Klas
    Department of Computer Science, Lund University, Lund, Sweden.
    Nowaczyk, Sławomir
    Department of Computer Science, Lund University, Lund, Sweden.
    Prosperi, Leonardo
    Department of Computer Science, Lund University, Lund, Sweden.
    Knowledge Representation for Reconfigurable Automation Systems2007Konferensbidrag (Refereegranskat)
    Abstract [en]

    This article describes the work in progress on knowledge representation formalisms chosen for use in the European project SIARAS. Skill-Based Inspection and Assembly for Reconfigurable Automation Systems has a goal of creating intelligent support system for reconfiguration and adaptation of assembly systems. Knowledge is represented in an ontology expressed in OWL, for generic reasoning in Description Logic, and in a number of special-purpose reasoning modules, specific for the application domain.

  • 166.
    Angulo, Julio
    Karlstads universitet, Fakulteten för ekonomi, kommunikation och IT, Centrum för HumanIT. Karlstads universitet, Fakulteten för humaniora och samhällsvetenskap (from 2013), Handelshögskolan.
    Designing for Usable Privacy and Transparency in Digital Transactions2015Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    People engage with multiple online services and carry out a range of different digital transactions with these services. Registering an account, sharing content in social networks, or requesting products or services online are a few examples of such digital transactions. With every transaction, people take decisions and make disclosures of personal data. Despite the possible benefits of collecting data about a person or a group of people, massive collection and aggregation of personal data carries a series of privacy and security implications which can ultimately result in a threat to people's dignity, their finances, and many other aspects of their lives. For this reason, privacy and transparency enhancing technologies are being developed to help people protect their privacy and personal data online. However, some of these technologies are usually hard to understand, difficult to use, and get in the way of people's momentary goals.

    The objective of this thesis is to explore, and iteratively improve, the usability and user experience provided by novel privacy and transparency technologies. To this end, it compiles a series of case studies that address identified issues of usable privacy and transparency at four stages of a digital transaction, namely the information, agreement, fulfilment and after-sales stages. These studies contribute with a better understanding of the human-factors and design requirements that are necessary for creating user-friendly tools that can help people to protect their privacy and to control their personal information on the Internet.

  • 167.
    Angulo, Julio
    Karlstads universitet, Fakulteten för ekonomi, kommunikation och IT, Avdelningen för informatik och projektledning. Karlstads universitet, Fakulteten för ekonomi, kommunikation och IT, Centrum för HumanIT.
    Usable Transparency through network representations and analyses2015Ingår i: The Future of Networked Privacy: Challenges and opportunities, 2015Konferensbidrag (Refereegranskat)
    Abstract [en]

    We explore how concepts from the field of network science can be employed to inform Internet users about the way their personal identifiable information (PII) is being used and shared by online services. We argue that presenting users with graphical interfaces that display information about the network structures that are formed by PII exchanges can have an impact on the decisions users take online, such as the services they choose to interact with and the information they decide release.

  • 168.
    Angulo, Julio
    et al.
    Karlstads universitet, Fakulteten för ekonomi, kommunikation och IT, Avdelningen för informatik och projektledning.
    Fischer-Hübner, Simone
    Karlstads universitet, Fakulteten för ekonomi, kommunikation och IT, Avdelningen för datavetenskap. Karlstads universitet, Fakulteten för ekonomi, kommunikation och IT, Centrum för HumanIT.
    Pulls, Tobias
    Karlstads universitet, Fakulteten för ekonomi, kommunikation och IT, Avdelningen för datavetenskap.
    Ulrich, König
    HCI for Policy Display and Administration2011Ingår i: Privacy and Identity Management for Life / [ed] Jan Camenish, Simone Fischer-Hübner and Kai Rannenberg, Berlin: Springer Berlin/Heidelberg, 2011, 1, 261-277 s.Kapitel i bok, del av antologi (Refereegranskat)
    Abstract [en]

    The PrimeLife Policy Language (PPL) has the objective of helping end users make the data handling practices of data controllers more transparent, allowing them to make well-informed decisions about the release of personal data in exchange for services. In this chapter, we present our work on user interfaces for the PPL policy engine, which aims at displaying the core elements of a data controller's privacy policy in an easily understandable way as well as displaying how far it corresponds with the user's privacy preferences. We also show how privacy preference management can be simplified for end users.

  • 169.
    Angulo, Julio
    et al.
    Karlstads universitet, Fakulteten för ekonomi, kommunikation och IT, Avdelningen för datavetenskap.
    Fischer-Hübner, Simone
    Karlstads universitet, Fakulteten för ekonomi, kommunikation och IT, Avdelningen för datavetenskap. Karlstads universitet, Fakulteten för ekonomi, kommunikation och IT, Centrum för HumanIT.
    Wästlund, Erik
    Karlstads universitet, Fakulteten för ekonomi, kommunikation och IT, Avdelningen för psykologi. Karlstads universitet, Fakulteten för ekonomi, kommunikation och IT, Centrum för HumanIT. Karlstads universitet, Fakulteten för ekonomi, kommunikation och IT, Centrum för tjänsteforskning.
    Pulls, Tobias
    Karlstads universitet, Fakulteten för ekonomi, kommunikation och IT, Avdelningen för datavetenskap.
    Towards Usable Privacy Policy Display & Management: The PrimeLife Approach2011Ingår i: Proceedings of 5th International Symposium on Human Aspects of Information Security & Assurance / [ed] Steven Furnell, Plymouth: University of Plymouth , 2011, 108-118 s.Konferensbidrag (Refereegranskat)
  • 170.
    Angulo, Julio
    et al.
    Karlstads universitet, Fakulteten för ekonomi, kommunikation och IT, Avdelningen för informatik och projektledning. Karlstads universitet, Fakulteten för ekonomi, kommunikation och IT, Centrum för HumanIT.
    Wästlund, Erik
    Identity Management through “Profiles”: Prototyping an Online Information Segregation Service2013Ingår i: Human-Computer Interaction. Users and Contexts of Use.: 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III, Springer Berlin/Heidelberg, 2013, Vol. 8006, 10-19 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    Whereas in real everyday life individuals have an intuitive approach at deciding which information to disseminate to others, in the digital world it becomes difficult to keep control over the information that is distributed to different online services. In this paper we present the design of a user interface for a system that can help users decide which pieces of information to distribute to which type of service providers by allowing them to segregate their information attributes into various personalized profiles. Iterative usability evaluations showed that users understand and appreciate the possibility to segregate information, and revealed possible improvements, implications and limitations of such an interface.

  • 171.
    Annerbrink, Totte
    et al.
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för informatik (IK).
    Talovic, Nizar
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för informatik (IK).
    Den avskalade effekten: Om effekten av ett minimalistiskt skrivverktyg och hur det upplevs i en interaktiv användningssituation2017Studentarbete andra termin, 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Denna studie och uppsats har behandlat och fokuserats på att synliggöra interaktionseffekten som uppstår när ett informationssystems gränssnitt är avskalat. Fallstudien i denna uppsats utgår ifrån ett webbaserat skrivverktyg vid namn Writer. Syftet med studien har varit att tydliggöra interaktionseffekten vid personligt handlande i en interaktiv användningssituation och hur det i sin tur påverkar användarupplevelsen. Studiens teoretiska område och ramverk är Handlingsbarhet där fokus har varit på den interaktiva handlingsnivån i koppling till den grundläggande interaktionsloopen. Den grundläggande interaktionsloopen består av fyra steg där en användare frågar, gör får ett svar och sedan utvärderar. I koppling till teorin har fem interkationskriterier för teorin inkorporerats som dessa är; Tydlig handlingsrepertoar, Känd & begriplig vokabulär, Handlingstransparens, Tydlig feedback och Ändringsbarhet . Dessa fem kriterier har varit tematiseringen för det empiriska arbetet.

    Genom både det målinriktade urvalet och snöbollsurvalet har sex journalister/skribenter involverats för att samla in data. I metodarbetet genomfördes användartest på skrivverktyget med uppgifter som utformats i enlighet med de fem interaktionskriterierna. Efter detta användartest fick samtliga informanter utvärdera upplevelsen och göra tretton ställningstaganden utifrån ett användarupplevelse-frågeformulär där begrepp såsom lätt att lära sig/inte lätt att lära sig och effektiv/ineffektiv efterfrågades. Efter dessa två moment utfördes semistrukturerade intervjuer med femton framtagna frågor som också dem baserats på de fem interaktionskriterierna. För att analysera den insamlade datan tillämpades metoden innehållsanalys som resulterade i 25 kategorier med tillhörande beskrivningar och citat. Utifrån innehållsanalysen och dess resultat analyserades kategorierna i jämförelse med modellen D.EU.PS och dess 18 klasser baserat på deras definition. Detta mynnade i sin tur ut i tio stycken interaktionseffekter baserat på sju klasser. Resultatet och de tio effekterna är: Säkerhet, Tidigare referenser, Terminologi, Igenkännelse, Förståelse för sekvens/handling, Uppfattning, Enkelhet, Effektivitet Tillgänglighet och Gruppering (närhet). Utifrån det personliga handlandet som perspektiv är dessa effekter ett resultat av ett avskalat skrivverktyg som bidrar till en god användarupplevelse.

  • 172.
    Anwar, Qaiser
    et al.
    Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Avdelningen för elektronikkonstruktion.
    Imran, Muhammad
    Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Avdelningen för elektronikkonstruktion.
    O'Nils, Mattias
    Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Avdelningen för elektronikkonstruktion.
    Intelligence Partitioning as a Method for Architectural Exploration of Wireless Sensor Node2017Ingår i: Proceedings of the International Conference on Computational Science and Computational Intelligence (CSCI), 2016., IEEE Press, 2017, 935-940 s., 7881473Konferensbidrag (Refereegranskat)
    Abstract [en]

    Embedded systems with integrated sensing, processing and wireless communication are driving future connectivity concepts such as Wireless Sensor Networks (WSNs) and Internet of Things (IoTs). Because of resource limitations, there still exists a number of challenges such as low latency and energy consumption to realize these concepts to full potential. To address and understand these challenges, we have developed and employed an intelligence partitioning method which generates different implementation alternatives by distributing processing load across multiple nodes. The task-to-node mapping has exponential complexity which is hard to compute for a large scale system. Regarding this, our method provides recommendation to handle and minimize such complexity for a large system. Experiments on a use-case concludes that the proposed method is able to identify unfavourable architecture solutions in which forward and backword communication paths exists in task-to-node mapping. These solution can be avoided for further architectural exploration, thus limiting the space for architecture exploration of a sensor node.

  • 173. Anzanpour, A.
    et al.
    Rahmani, Amir-Mohammad
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Industriell och Medicinsk Elektronik. University of Turku, Finland.
    Liljeberg, P.
    Tenhunen, Hannu
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Industriell och Medicinsk Elektronik. University of Turku, Finland.
    Context-aware early warning system for in-home healthcare using internet-of-things2016Ingår i: 2nd International Summit on Internet of Things, IoT 360° 2015, Springer, 2016, 517-522 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    Early warning score (EWS) is a prediction method to notify caregivers at a hospital about the deterioration of a patient. Deterioration can be identified by detecting abnormalities in patient’s vital signs several hours prior the condition of the patient gets life-threatening. In the existing EWS systems, monitoring of patient’s vital signs and the determining the score is mostly performed in a paper and pen based way. Furthermore, currently it is done solely in a hospital environment. In this paper, we propose to import this system to patients’ home to provide an automated platform which not only monitors patents’ vital signs but also looks over his/her activities and the surrounding environment. Thanks to the Internet-of-Things technology, we present an intelligent early warning method to remotely monitor in-home patients and generate alerts in case of different medical emergencies or radical changes in condition of the patient. We also demonstrate an early warning score analysis system which continuously performs sensing, transferring, and recording vital signs, activity-related data, and environmental parameters.

  • 174.
    Apelkrans, Mats
    et al.
    Dept of Informatics, Jönköping International Business School.
    Håkansson, Anne
    Uppsala University, Sweden.
    Information Coordination Using Meta-agents in Information Logistics Processes2008Ingår i: Proceedings of Knowledge-Based and Intelligent Information & Engineering Systems: KES2008 / [ed] Ignac Lovrek, Robert J. Howlett, Lakhmi C. Jain, Berlin Heidelberg: Springer Berlin/Heidelberg, 2008, 788-798 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    In order to coordinate and deliver information in the right time and to the right place, theories from multi-agent systems and information logistics are combined. We use agents to support supply chain by searching for company specific information. Hence, there are a vast number of agents working at the Internet, simultaneously, which requires supervising agents. In this paper, we suggest using meta-agents to control the behaviour of a number of intelligent agents, where the meta-agents are working with coordination of the communication that takes place in a supply chain system. As an example, we look at a manufacturing company receiving orders on items from customers, which need to be produced. The handling of this distributed information flow can be thought of as an Information Logistics Processes and the similarities of the functioning of processes and intelligent agents’ behaviour are illuminated.

  • 175.
    Arad, Cosmin
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Programvaruteknik och Datorsystem, SCS.
    Dowling, Jim
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Programvaruteknik och Datorsystem, SCS.
    Haridi, Seif
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Programvaruteknik och Datorsystem, SCS.
    Message-Passing Concurrency for Scalable, Stateful, Reconfigurable Middleware2012Ingår i: Middleware 2012: ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, QC, Canada, December 3-7, 2012. Proceedings / [ed] Priya Narasimhan and Peter Triantafillou, Springer Berlin/Heidelberg, 2012, 208-228 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    Message-passing concurrency (MPC) is increasingly being used to build systems software that scales well on multi-core hardware. Functional programming implementations of MPC, such as Erlang, have also leveraged their stateless nature to build middleware that is not just scalable, but also dynamically reconfigurable. However, many middleware platforms lend themselves more naturally to a stateful programming model, supporting session and application state. A limitation of existing programming models and frameworks that support dynamic reconfiguration for stateful middleware, such as component frameworks, is that they are not designed for MPC.

    In this paper, we present Kompics, a component model and programming framework, that supports the construction and composition of dynamically reconfigurable middleware using stateful, concurrent, message-passing components. An added benefit of our approach is that by decoupling our component execution model, we can run the same code in both simulation and production environments. We present the architectural patterns and abstractions that Kompics facilitates and we evaluate them using a case study of a non-trivial key-value store that we built using Kompics. We show how our model enables the systematic development and testing of scalable, dynamically reconfigurable middleware.

  • 176.
    Arad, Cosmin Ionel
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Programvaruteknik och Datorsystem, SCS.
    Programming Model and Protocols for Reconfigurable Distributed Systems2013Doktorsavhandling, monografi (Övrigt vetenskapligt)
    Abstract [en]

    Distributed systems are everywhere. From large datacenters to mobile devices, an ever richer assortment of applications and services relies on distributed systems, infrastructure, and protocols. Despite their ubiquity, testing and debugging distributed systems remains notoriously hard. Moreover, aside from inherent design challenges posed by partial failure, concurrency, or asynchrony, there remain significant challenges in the implementation of distributed systems. These programming challenges stem from the increasing complexity of the concurrent activities and reactive behaviors in a distributed system on the one hand, and the need to effectively leverage the parallelism offered by modern multi-core hardware, on the other hand.

    This thesis contributes Kompics, a programming model designed to alleviate some of these challenges. Kompics is a component model and programming framework for building distributed systems by composing message-passing concurrent components. Systems built with Kompics leverage multi-core machines out of the box, and they can be dynamically reconfigured to support hot software upgrades. A simulation framework enables deterministic execution replay for debugging, testing, and reproducible behavior evaluation for largescale Kompics distributed systems. The same system code is used for both simulation and production deployment, greatly simplifying the system development, testing, and debugging cycle.

    We highlight the architectural patterns and abstractions facilitated by Kompics through a case study of a non-trivial distributed key-value storage system. CATS is a scalable, fault-tolerant, elastic, and self-managing key-value store which trades off service availability for guarantees of atomic data consistency and tolerance to network partitions. We present the composition architecture for the numerous protocols employed by the CATS system, as well as our methodology for testing the correctness of key CATS algorithms using the Kompics simulation framework.

    Results from a comprehensive performance evaluation attest that CATS achieves its claimed properties and delivers a level of performance competitive with similar systems which provide only weaker consistency guarantees. More importantly, this testifies that Kompics admits efficient system implementations. Its use as a teaching framework as well as its use for rapid prototyping, development, and evaluation of a myriad of scalable distributed systems, both within and outside our research group, confirm the practicality of Kompics.

  • 177.
    Arain, Muhammad Asif
    et al.
    Örebro universitet, Institutionen för naturvetenskap och teknik.
    Havoutis, Ioannis
    Istituto Italiano di Tecnologia, Italy.
    Semini, Claudio
    Istituto Italiano di Tecnologia, Italy.
    Buchli, Jonas
    ETH Zurich.
    Caldwell, Darwin G.
    Istituto Italiano di Tecnologia, Italy.
    A comparison of search-based planners for a legged robot2013Konferensbidrag (Refereegranskat)
    Abstract [en]

    Path planning for multi-DoF legged robots is achallenging task due to the high dimensionality and complexityof the planning space. We present our first attempt to builda path planning framework for the hydraulic quadruped -HyQ. Our approach adopts a similar strategy to [1], whereplanning is divided into a task-space and a joint-space part.The task-space planner finds a path for the center of gravity(COG) of the robot, while then the footstep planner generates theappropriate footholds under reachability and stability criteria.Next the joint-space planner translates the task-space COGtrajectories into robot joint angles. We present a comparisonof a set of search-based planning algorithms; Dijkstra, A* andARA*, and evaluate these over a set of given terrains and anumber of varying start and end points. All test runs supportthat our approach is a simple yet robust solution. We reportcomparisons in path length, computation time, and path cost,between the aforementioned planning algorithms.

  • 178.
    Arain, Muhammad Asif
    et al.
    Örebro universitet, Institutionen för naturvetenskap och teknik.
    Schaffernicht, Erik
    Örebro universitet, Institutionen för naturvetenskap och teknik.
    Hernandez Bennetts, Victor
    Örebro universitet, Institutionen för naturvetenskap och teknik.
    Lilienthal, Achim J.
    Örebro universitet, Institutionen för naturvetenskap och teknik.
    The Right Direction to Smell: Efficient Sensor Planning Strategies for Robot Assisted Gas Tomography2016Ingår i: 2016 IEEE International Conference on Robotics and Automation (ICRA), New York, USA: IEEE Robotics and Automation Society, 2016, 4275-4281 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    Creating an accurate model of gas emissions is an important task in monitoring and surveillance applications. A promising solution for a range of real-world applications are gas-sensitive mobile robots with spectroscopy-based remote sensors that are used to create a tomographic reconstruction of the gas distribution. The quality of these reconstructions depends crucially on the chosen sensing geometry. In this paper we address the problem of sensor planning by investigating sensing geometries that minimize reconstruction errors, and then formulate an optimization algorithm that chooses sensing configurations accordingly. The algorithm decouples sensor planning for single high concentration regions (hotspots) and subsequently fuses the individual solutions to a global solution consisting of sensing poses and the shortest path between them. The proposed algorithm compares favorably to a template matching technique in a simple simulation and in a real-world experiment. In the latter, we also compare the proposed sensor planning strategy to the sensing strategy of a human expert and find indications that the quality of the reconstructed map is higher with the proposed algorithm.

  • 179.
    Aramrattana, Maytheewat
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). The Swedish National Road and Transport Research Institute (VTI), Linköping, Sweden.
    Modelling and Simulation for Evaluation of Cooperative Intelligent Transport System Functions2016Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    Future vehicles are expected to be equipped with wireless communication tech- nology, that enables them to be “connected” to each others and road infras- tructures. Complementing current autonomous vehicles and automated driving systems, the wireless communication allows the vehicles to interact, cooperate, and be aware of its surroundings beyond their own sensors’ range. Such sys- tems are often referred to as Cooperative Intelligent Transport Systems (C-ITS), which aims to provide extra safety, efficiency, and sustainability to transporta- tion systems. Several C-ITS applications are under development and will require thorough testing and evaluation before their deployment in the real-world. C- ITS depend on several sub-systems, which increase their complexity, and makes them difficult to evaluate.

    Simulations are often used to evaluate many different automotive appli- cations, including C-ITS. Although they have been used extensively, simulation tools dedicated to determine all aspects of C-ITS are rare, especially human fac- tors aspects, which are often ignored. The majority of the simulation tools for C-ITS rely heavily on different combinations of network and traffic simulators. The human factors issues have been covered in only a few C-ITS simulation tools, that involve a driving simulator. Therefore, in this thesis, a C-ITS simu- lation framework that combines driving, network, and traffic simulators is pre- sented. The simulation framework is able to evaluate C-ITS applications from three perspectives; a) human driver; b) wireless communication; and c) traffic systems.

    Cooperative Adaptive Cruise Control (CACC) and its applications are cho- sen as the first set of C-ITS functions to be evaluated. Example scenarios from CACC and platoon merging applications are presented, and used as test cases for the simulation framework, as well as to elaborate potential usages of it. Moreover, approaches, results, and challenges from composing the simulation framework are presented and discussed. The results shows the usefulness of the proposed simulation framework.

  • 180.
    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). The Swedish National Road and Transport Research Institute (VTI), Linköping, 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).
    Jansson, Jonas
    The Swedish National Road and Transport Research Institute (VTI), Linköping, Sweden.
    Nåbo, Arne
    The Swedish National Road and Transport Research Institute (VTI), Linköping, Sweden.
    Cooperative Driving Simulation2016Ingår i: Proceedings of the Driving Simulation Conference 2016, 2016, 123-132 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    For a few decades, driving simulators have been supporting research and development of advanced driver assistance systems (ADAS). In the near future, connected vehicles are expected to be deployed. Driving simulators will need to support evaluation of cooperative driving applications within cooperative intelligent transportation systems (C-ITS) scenarios. C-ITS utilize vehicle-to-vehicle and vehicle-to-infrastructure (V2X) communication. Simulation of the inter vehicle communication is often not supported in driving simulators. On the other hand, previous efforts have been made to connect network simulators and traffic simulators, to perform C-ITS simulations. Nevertheless, interactions between actors in the system is an essential aspect of C-ITS. Driving simulators can provide the opportunity to study interactions and reactions of human drivers to the system. This paper present simulation of a C-ITS scenario using a combination of driving, network, and traffic simulators. The architecture of the solution and important challenges of the integration are presented. A scenario from Grand Cooperative Driving Challenge (GCDC) 2016 is implemented in the simulator as an example use case. Lastly, potential usages and future developments are discussed.

  • 181.
    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). The Swedish National Road and Transport Research Institute (VTI), Linköping, 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).
    Jansson, Jonas
    The Swedish National Road and Transport Research Institute (VTI), Linköping, Sweden.
    Nåbo, Arne
    The Swedish National Road and Transport Research Institute (VTI), Linköping, Sweden.
    Extended Driving Simulator for Evaluation of Cooperative Intelligent Transport Systems2016Ingår i: SIGSIM-PADS '16: Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, New York: ACM Digital Library, 2016, 255-278 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    Vehicles in cooperative intelligent transport systems (C-ITS) often need to interact with each other in order to achieve their goals, safe and efficient transport services. Since human drivers are still expected to be involved in C-ITS, driving simulators are appropriate tools for evaluation of the C-ITS functions. However, driving simulators often simplify the interactions or influences from the ego vehicle on the traffic. Moreover, they normally do not support vehicle-to-vehicle and vehicle-to-infrastructure (V2X) communication, which is the main enabler for C-ITS. Therefore, to increase the C-ITS evaluation capability, a solution on how to extend a driving simulator with traffic and network simulators to handle cooperative systems is presented as a result of this paper. Evaluation of the result using two use cases is presented. And, the observed limitations and challenges of the solution are reported and discussed. © 2016 ACM, Inc.

  • 182.
    Araujo Soto, Víctor Estuardo
    Luleå tekniska universitet, Institutionen för system- och rymdteknik, Datavetenskap.
    Performance evaluation of scalable and distributed iot platforms for smart regions2017Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    As the vision of the Internet of Things (IoT) becomes a reality, thousands of devices will beconnected to IoT platforms in smart cities and regions. These devices will actively send dataupdates to cloud-based platforms, as part of smart applications in domains like healthcare, trafficand pollution monitoring. Therefore, it is important to study the ability of modern IoT systemsto handle high rates of data updates coming from devices. In this work we evaluated the per-formance of components of the Internet of Things Services Enablement Architecture of theEuropean initiative FIWARE. We developed a testbed that is able to inject data updates usingMQTT and the CoAP-based Lightweight M2M protocols, simulating large scale IoT deploy-ments. Our extensive tests considered the vertical and horizontal scalability of the componentsof the platform. Our results found the limits of the components when handling the load, and thescaling strategies that should be targeted by implementers. We found that vertical scaling is notan effective strategy in comparison to the gains achieved by horizontally scaling the databaselayer. We reflect about the load testing methodology for IoT systems, the scalability needs ofdifferent layers and conclude with future challenges in this topic.

  • 183.
    Aravind, Meera
    et al.
    Mälardalens högskola.
    Wiklander, G.
    Uppsala University, Uppsala, Sweden.
    Palmheden, J.
    Scania AB, Södertälje, Sweden.
    Dobrin, Radu
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    An Event-Based Messaging Architecture for Vehicular Internet of Things (IoT) Platforms2017Ingår i: Communications in Computer and Information Science, vol. 778, Springer Verlag , 2017, 37-46 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    Internet of Things (IoT) has revolutionized transportation systems by connecting vehicles consequently enabling their tracking, as well as monitoring of driver activities. Such an IoT platform requires a significant amount of data to be send from the on-board vehicle to the off-board servers, contributing to high network usage. The data can be send at regular intervals or in an event-based manner whenever relevant events occur. In interval-based approach, the data is send even if it is not relevant for reporting leading to a wastage of network resources, e.g., when the data does not change considerably compared to the previously sent value. In this paper, we investigate the possibility of using an event-based architecture to send data from the on-board system to the off-board system. The results show that our event-based architecture improves the accuracy of data available at the off-board system, by a careful selection of events. Moreover, we found that our event based architecture significantly decreases the frequency of sending messages, particularly during highway driving, leading to reduced average data transfer rates. Our results enable a customer to perform trade-offs between accuracy and data transfer rates. 

  • 184.
    Ardelius, John
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Programvaruteknik och Datorsystem, SCS.
    On the Performance Analysis of Large Scale, Dynamic, Distributed and Parallel Systems.2013Doktorsavhandling, monografi (Övrigt vetenskapligt)
    Abstract [sv]

    Att utvärdera prestanda hos storskaliga distribuerade system är en viktigoch icke-trivial uppgift. I och med utvecklingen av Internet och det faktum attapplikationer och system har fått global utsträckning, har det uppkommit ettökande behov av kvantifiering av tillförlitlighet och prestanda hos dessa system.Både som underlag för systemdesign men också för att skapa förståelseoch kunskap om fundamentala egenskaper hos distribuerade system.Tidigare forskning har i mångt och mycket fokuserat antingen på formaliserademodeller, där egenskaper kan härledas med hjälp av strikta matematiskametoder eller på mätningar av riktiga system. Målet med arbetet i dennaavhandling är att undersöka modeller på en abstraktionsnivå mellan dessa tvåytterligheter. Vi tillämpar en modell av distributerade system med inspirationfrån så kallade partikelmodeller från den teoretiska fysiken och modellererarapplikationsnoder som en samling interagerande pariklar var och en med sitteget interna tillstånd vars beteende beskrivs av det exekvernade programmeti fråga. Vi tillämpar denna modelerings- och utvärderingsmetod på fyra olikadistribuerade och parallella system.Det första systemet är den distribuerade hash tabellen (DHT) Chord i endynamisk miljö. Vi har valt att studera systemet under två scenarion. Förstutvärderar vi hur systemet beteer sig (med avseende på lookup latency) iett nätverk med finita kommunikationsfördröjningar. Vårt arbete visar atten generell fördröjning i nätet tillsammans med andra parametrar (som t.ex.tidsskala för felkorrektion och anslutningsprocess för noder) genererar fundamentaltskilda prestandamått. Vi verifierar vår analytiska model med simuleringar.I det andra scenariot undersöker vi betydelsen av NATs (networkadress translators) i nätverksmodellen. Förekomsten av dessa tar bort dentransitiva egenskapen hos nätverkstopologin och vi undersöker hur detta påverkarlookup-kostnad, datakonsistens och lastbalans. Denna analys är främst simuleringsbaserad.Även om dessa två studier fokuserar på en specifik DHT såkan de flesta resultat och metoden som sådan överföras på andra liknanderingbaserade DHTer med långa länkar och även andra geometrier.Den andra klassen av system som analyseras är ostrukturerade gossip protokolli form av den välkända Belman-Ford algoritmen. Algoritmen, GAP,skapar ett spännande träd över systemets noder. Problemställningen vi studerarär hur tillförlitlig denna struktur, med avseende på precisionen på aggregatvid rotnoden, är i ett dynamiskt nätverk. Samtliga analytiska resultatverifieras i simulator.Det tredje systemet vi undersöker är ett CDN (content distribution system)med en hierarkisk cache struktur i sitt distributionsnät. I den här modellenefterfrågas data från löven på cache-trädet. Antingen kan förfrågan servas avcacharna på de lägre nivåerna eller så skickas förfrågan vidare uppåt i trädet.Vi analyserar två fundamentala heuristiker, LRU och LFU. Vi jämför våraanalytiska resultat med tracedata från riktiga cachesystem.Till sist analyserar vi en heuristik för last distribution i TileraPro64 arkitekturen.Systemet har ett centralt delat minne och är därför att betrakta somparallellt. Vi skapar här en model för den dynamiska genereringen av lastsamt hur denna distribueras till de olika noderna på chipet. Vi studerar hur heuristiken skalar när antalet noder överstiger antalet på chipet (64) samtjämför prestanda hos olika heuristiker. Analysen är simuleringsbaserad.

  • 185.
    Ardelius, John
    et al.
    SICS.
    Grönvall, Björn
    SICS.
    Westberg, Lars
    Ericsson AB.
    Arvidsson, Åke
    Ericsson AB.
    On the effects of caching in access aggregation networks2012Ingår i: ICN 2012, Helsinki, Finland / [ed] Dirk Kutscher, Giacomo Morabito, Börje Ohlman, George C. Polyzos, Ignacio Solis och Lixia Zhang, Association for Computing Machinery (ACM), 2012Konferensbidrag (Refereegranskat)
    Abstract [en]

    All forecasts of Internet trac point at a substantial growth over the next few years. From a network operator perspective, efficient in-network caching of data is and will be a key component in trying to cope with and profit from this increasing demand. One problem, however, is to evaluate the performance of different caching policies as the number of available data items as well as the distribution networks grows very large.

    In this work, we develop an analytical model of an aggregation access network receiving a continuous flow of requests from external clients. We provide exact analytical solutions for cache hit rates, data availability and more. This enables us to provide guidelines and rules of thumb for operators and Information-Centric Network designers.

    Finally, we apply our analytical results to a real VoD trace from a network operator and show that substantial bandwidth savings can be expected when using in-network caching in a realistic setting.

  • 186. Argunsah, Ali Özgur
    et al.
    Çürüklü, Baran
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Cetin, Mujdat
    Detection of Eye Blinks from EEG using Hidden Markov Models2009Konferensbidrag (Refereegranskat)
  • 187.
    Arias Ramos, Ceferino
    Högskolan i Skövde, Institutionen för teknik och samhälle.
    Programming and Image Processing in a Compact Production Cell2012Självständigt arbete på grundnivå (kandidatexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    In recent years, control system in the automation industries has become more and more useful, covering a wide range of fields, for example, industrial instrumentation, control and monitoring systems. Vision systems are used nowadays to improve products quality control, saving costs, time, and obtaining a better accuracy than a human operator in the manufacturing process of companies. Combining a vision system with a suitable automated system allow companies to cover a wide range of products and rapid production. All these factors are considered in this project.

    The aim of this project is to upgrade the functionality of a Nokia-Cell, which was used in a quality control process for the back shells of Nokia cell phones. The project includes design, upgrade and implementation of a new system in order to make the cell work properly. The Nokia-Cell is composed of the following basic modules: vision and image recognition system, automation system devices (PC and PLC, robot), and other mechatronics devices. The new system will consist of a new camera, due to the poor connectivity and quality of the old camera. For the same reason, a new PC will replace two older ones for communication and vision recognition. The new system will also include a new PLC of Beckhoff to replace the aging one of Omron so as to facilitate the connections using the same language. In addition, IEC-61499 Function Blocks standard is adopted for programming the Nokia-Cell.

    It is expected that the results of this project will contribute to both research and education in the future. In addition, it would be correctly to apply the results to industries in vision-based quality control systems.

  • 188.
    Arman, Ala
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Programvaruteknik och Datorsystem, SCS.
    Al-Shishtawy, Ahmad
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Programvaruteknik och Datorsystem, SCS.
    Vlassov, Vladimir
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Programvaruteknik och Datorsystem, SCS.
    Elasticity controller for Cloud-based key-value stores2012Ingår i: Parallel and Distributed Systems (ICPADS), 2012 IEEE 18th International Conference on, IEEE , 2012, 268-275 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    Clouds provide an illusion of an infinite amount of resources and enable elastic services and applications that are capable to scale up and down (grow and shrink by requesting and releasing resources) in response to changes in its environment, workload, and Quality of Service (QoS) requirements. Elasticity allows to achieve required QoS at a minimal cost in a Cloud environment with its pay-as-you-go pricing model. In this paper, we present our experience in designing a feedback elastically controller for a key-value store. The goal of our research is to investigate the feasibility of the control theoretic approach to the automation of elasticity of Cloud-based key-value stores. We describe design steps necessary to build a feedback controller for a real system, namely Voldemort, which we use as a case study in this work. The design steps include defining touchpoints (sensors and actuators), system identification, and controller design. We have designed, developed, and implemented a prototype of the feedback elasticity controller for Voldemort. Our initial evaluation results show the feasibility of using feedback control to automate elasticity of distributed keyvalue stores.

  • 189. Armengaud, Eric
    et al.
    Biehl, Matthias
    KTH, Skolan för industriell teknik och management (ITM), Maskinkonstruktion (Inst.), Mekatronik.
    Bourrouilh, Quentin
    Breunig, Michael
    Farfeleder, Stefan
    Hein, Christian
    Oertel, Markus
    Wallner, Alfred
    Zoier, Markus
    Integrated tool chain for improving traceability during the development of automotive systems2012Ingår i: ERTS2 2012 | Embedded Real Time Software and Systems, 2012Konferensbidrag (Refereegranskat)
    Abstract [en]

    Tool integration is a key factor for improving development efficiency and product quality during the development of safety-relevant embedded systems. We present in this work a demonstrator based on the most recent outcomes of the CESAR project. The proposed integrated tool-chain aims at better linking development activities together, thus improving traceability during requirements engineering, system design, safety analysis and V&V activities using a model-based development approach. We analyze the proposed tool-chain from three different points of view: (1) tool integrator, (2) technology provider, and (3) end-user. These different points of view enable the description of the different technologies used at the different levels and the analysis of the benefits for the end-user.

  • 190.
    Aronis, Stavros
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Sagonas, Konstantinos
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Lystig Fritchie, Scott
    VMware, Cambridge, MA, USA.
    Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking2017Konferensbidrag (Refereegranskat)
    Abstract [en]

    Corfu is a distributed shared log that is designed to be scalable and reliable in the presence of failures and asynchrony. Internally, Corfu is fully replicated for fault tolerance, without sharding data or sacrificing strong consistency. In this case study, we present the modeling approaches we followed to test and verify, using Concuerror, the correctness of repair methods for the Chain Replication protocol suitable for Corfu. In the first two methods we tried, Concuerror located bugs quite fast. In contrast, the tool did not manage to find bugs in the third method, but the time this took also motivated an improvement in the tool that reduces the number of traces explored. Besides more details about all the above, we present experiences and lessons learned from applying stateless model checking for verifying complex protocols suitable for distributed programming.

  • 191.
    Aronsson, John
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Bolmér, Percy
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Hur forensiska verktyg påverkar integriteten på mobiltelefoner2016Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Användandet av mobiltelefoner och andra mobila enheter är stort i samhället vilket gör att de förekommer allt oftare vid brott och brottsutredningar. Information i dessa enheter måste kunna utvinnas och integriteten på det utvinna materialet säkerställas. Syftet med detta arbete är att undersöker om de forensiska verktygen Xry och Encase påverkar materialet vid utvinning från mobiltelefoner. För att ta reda på detta har en litteraturstudie, en intervju och två experiment utförts. Resultatet från experimenten visade på att det fanns filer vars innehåll ändrades mellan utvinningar. En analys av resultatet visade att det var systemet själv samt processer som skedde innan utvinningen som förändrat innehållet. Slutsatsen blev att verktygen inte påverkar materialet under utvinningsprocessen

  • 192.
    Artho, Cyrille
    et al.
    KTH.
    Ölveczky, P.C.
    Preface2017Ingår i: 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, Springer Verlag , 2017Konferensbidrag (Refereegranskat)
  • 193.
    Arvidsson, Åke
    et al.
    Ericsson AB.
    Du, Manxing
    Acreo.
    Aurelius, Andreas
    Acreo.
    Kihl, Maria
    Lunds universitet.
    Analysis of user demand patterns and locality for YouTube traffic2013Ingår i: 25th International Teletraffic Congress / [ed] Zhisheng Niu. Kurt Tutschku. Zhanhong Xin och Moshe Zukerman, IEEE Communications Society, 2013Konferensbidrag (Refereegranskat)
    Abstract [en]

    Video content, of which YouTube is a major part, constitutes a large share of residential Internet traffic. In this paper, we analyse the user demand patterns for YouTube in two metropolitan access networks with more than 1 million requestsover three consecutive weeks in the first network and more than 600,000 requests over four consecutive weeks in the second network.

    In particular we examine the existence of “local interest communities”, i.e. the extent to which users living closer to each other tend to request the same content to a higher degree, and it is found that this applies to (i) the two networks themselves; (ii) regions within these networks (iii) households with regions and (iv) terminals within households. We also find that different types of access devices (PCs and handhelds) tend to form similar interest communities.

    It is also found that repeats are (i) “self-generating” in the sense that the more times a clip has been played, the higher the probability of playing it again, (ii) “long-lasting” in the sense that repeats can occur even after several days and (iii) “semi regular”in the sense that replays have a noticeable tendency tooccur with relatively constant intervals.

    The implications of these findings are that the benefits from large groups of users in terms of caching gain may be exaggerated, since users are different depending on where they live and what equipment they use, and that high gains can be achieved in relatively small groups or even for individual users thanks totheir relatively predictable behaviour.

  • 194.
    Arvidsson, Åke
    et al.
    Högskolan Kristianstad, Sektionen för hälsa och samhälle, Avdelningen för Design och datavetenskap. Ericsson AB.
    Rydén, Tobias
    Uppsala University.
    Load transients in pooled cellular core network nodes2015Ingår i: Performance evaluation (Print), ISSN 0166-5316, Vol. 90, 18-35 s.Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The coverage areas of cellular networks are logically subdivided into service areas. Each service area has a local anchor node which “hides” the mobility inside the area and the entire network has a global anchor node which “hides” the mobility between areas.

    The concept of unique local anchor nodes per service area was invented to simplify routing but has been found to complicate expansion. The rapidly growing demand for cellular access has therefore prompted for alternative solutions with pools of local anchor nodes per service area. Such pools are now deployed by several operators all over the world.

    Users in pooled service areas are mapped to specific pool members according to a load distribution policy, but the mapping can change as a result of node failures or operator interventions. Such changes take a certain time to implement and cause additional load on the anchor nodes. We study these processes in detail and derive closed form expressions which allow operators to control the trade-off between rapid changes and acceptable loads.

    Finally we show that the key assumptions of our model are in agreement with measured data and demonstrate how the model can be applied to investigate the effects of different network settings (timers) under different user behaviour (traffic and mobility).

    Contrary to current solutions to this problem, which typically are slow and/or inaccurate, our results enable fast and accurate analysis of different scenarios thereby enabling operators to maximise utilisation of the existing investments and at the same time avoid potentially dangerous situations of overload.

  • 195.
    Arvidsson, Åke
    et al.
    Ericsson AB.
    Zhang, Ying
    Ericsson AB.
    Detecting user dissatisfaction and understanding the underlying reasons2013Ingår i: ACM SIGMETRICS / International conference on measurement and modeling of computer systems, SIGMETRICS '13, Pittsburgh, PA, USA, June 17-21, 2013 / [ed] John Douceur och Jun Xu, Association for Computing Machinery (ACM), 2013Konferensbidrag (Refereegranskat)
    Abstract [en]

    Quantifying quality of experience for network applications is challenging as it is a subjective metric with multiple dimensions such as user expectation, satisfaction, and overall experience. Today, despite various techniques to support differentiated Quality of Service (QoS), the operators still lack of automated methods to translate QoS to QoE, especially for general web applications.

    In this work, we take the approach of identifying unsatisfactory performance by searching for user initiated early terminations of web transactions from passive monitoring. However, user early abortions can be caused by other factors such as loss of interests. Therefore, naively using them to represent user dissatisfaction will result in large false positives. In this paper, we propose a systematic method for inferring user dissatisfaction from the set of early abortion behaviors observed from identifying the traffic traces. We conduct a comprehensive analysis on the user acceptance of throughput and response time, and compare them with the traditional MOS metric. Then we present the characteristics of early cancelation from dimensions like the types of URLs and objects. We evaluate our approach on four data sets collected in both wireline network and a wireless cellular network.

  • 196.
    Arvidsson, Åke
    et al.
    Ericsson AB.
    Zhang, Ying
    Ericsson AB.
    Neda, Beheshti
    Ericsson AB.
    Detecting user dissatisfaction from passive monitoring2013Ingår i: Proceedings of Eurocon 2013, International Conference on computer as a tool, Zagreb, Croatia, July 1-4, 2013, IEEE Communications Society, 2013Konferensbidrag (Refereegranskat)
    Abstract [en]

    In an increasingly competitive environment it is more important than ever for operators to keep their end users satisfied. User satisfaction is often characterised in terms of Quality of Experience (QoE), a subjective metric with multiple dimensions such as expectations, content, terminal, environment, cost and performance. QoE is typically quantified as MOS, mean opinion score, which is obtained by averaging the ranks of a number of voluntary users for controlled combinations content/terminals/performance etc. While this approach has many advantages, there are also a number of difficulties such as representativeness (the number of users as well as the number of objects and devices all have to be kept small); validity (the results may be biased by the situation, the setting, the renumeration and so on); and applicability (it is not clear how different numbers map to notions such as “acceptable” or “unacceptable” and operators alone cannot do very much about factors such as content).

    We thus investigate the possibilities of detecting user opinions in the above, simplified, terms and from the network itself; with actual expectations, content, terminals, environments, costs and performance for virtually all users all the time. To this end we revisit the earlier suggestion that user opinions be reflected in their behaviour such that poor performance may result in interrupted requests. These works have, however, considered single flows hence we extend that idea to web pages which are groups of flows. In this paper we present our methods to group flows, interpret users, and characterise performance and we make a first assessment of the correlations between web page interruptions and network performance characteristics.

  • 197.
    Aryefyev, Maksym
    Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Institutionen för informationsteknologi och medier.
    NAT traversal techniques for MediaSense open source platform2013Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    This thesis project concerns NAT traversal techniques and their application to P2P networking with regard to MediaSense platform. Since MediaSense open source platform, developed by Mid Sweden University, utilizes the benefits of P2P networking, it also suffers from the drawbacks provided by NAT. The issue of NAT traversal is not trivial due to the fact that the behavior of NAT devices is not standardized and vendors are free to provide their own implementations. The common knowledge is, that at least four main types of NATs exist, differing in the filtering and mapping algorithms employed. NAT traversal techniques vary accordingly. No single technique can handle all the cases. Most of the techniques can handle up to three main types of NAT. The last type is usually used in large corporate networks and is called the Symmetric NAT. The most viable, and basically the only available technique for its traversal, is data relaying. This thesis builds a NAT traversal module for the MediaSense platform. The main purpose of this module is to provide seamless NAT traversal capabilities to the platform. The module does this in several steps: UPnP enabled device discovery, NAT type determination and data relaying via the proxy. Firstly the module attempts to discover the presence of a UPnP enabled Internet Gateway Device on the network. If such a device is present on the network, a port mapping can be created, making the node located behind NAT accessible from the public Internet. If a UPnP enabled device was not found, the module will try to determine the type of NAT used. Based on the type of NAT used, the module can transit to either the proxy mode or request assistance of the STUN server to keep the created mapping alive. The resulting chapters provide the reader with the output produced by each step, conclusions the author has made while working on this project and some general ideas on future work within the subject.

  • 198.
    Asghar, Adeel
    et al.
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska fakulteten.
    Pfeiffer, Andreas
    DLR Institute of System Dynamic and Control, Wessling, Tyskland.
    Palanisamy, Arunkumar
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska fakulteten.
    Mengist, Alachew
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
    Sjölund, Martin
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
    Pop, Adrian
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
    Automatic Regression Testing of Simulation Models and Concept for Simulation of Connected FMUs in PySimulator2015Ingår i: Proceedings of the 11th International Modelica Conference: Versailles, France, September 21-23, 2015 / [ed] Peter Fritzson, Hilding Elmqvist, Linköping, 2015, 671-679 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    The Modelica and FMI tool ecosystem is growing each year with new tools and methods becoming available. The open Modelica standard promises portability but it is important to ensure that a certain model behaves the same in different Modelica tools or in a different version of the same tool. It is also very important (for model evolution) to check that a new version of the same model produces comparable results. Finally, it is desirable to verify that a model exported in FMU form from a Modelica tool gives exactly the same results as the original model. This paper presents a framework for automatic regression testing as part of PySimulator which provides an efficient and concise way of testing if a model or a range of models behaves in the same way in several tools or versions of a tool by checking that the results produced are essentially identical. The FMI standard has been adopted by many tool vendors and is growing in popularity each year. This paper proposes a concept for building and simulating a system made from connected FMUs generated by different tools. The FMUs for Co-Simulation can be connected together using a GUI. The system model built graphically in this way can be saved for later use or simulated directly inside PySimulator. Active development is going on to support simulation of connected FMUs for Model Exchange.

  • 199.
    Ashjaei, Mohammad
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Behnam, Moris
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Almeida, Luis
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. University of Porto, Porto, Portugal .
    Nolte, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    MTU Configuration for Real-Time Switched Ethernet Networks2016Ingår i: Journal of systems architecture, ISSN 1383-7621, E-ISSN 1873-6165, Vol. 70, 15-25 s.Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    In this paper, we show that in real-time switched Ethernet networks reducing the Maximum Transmission Unit (MTU) size may cause an increase or decrease in the response time of messages. This contradicting behavior arises an optimization problem for configuring the MTU size. We formulate the optimization problem in the context of the multi-hop HaRTES architecture, which is a hard real-time Ethernet protocol. As part of the solution, we propose a search-based algorithm to achieve optimum solutions. We modify the algorithm by presenting two techniques to reduce the search space. Then, we propose a heuristic algorithm with a pseudo-polynomial time complexity based on the search-based algorithm. We perform several experiments, and we show that the proposed heuristic results in an improvement regarding messages response times, compared with configuring the MTU to the maximum or minimum values. Moreover, we show in small network configurations that the heuristic performs as good as the search-based algorithm in many cases.

  • 200.
    Ashjaei, Mohammad
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Du, Yong
    Almeida, L.
    University of Porto, Porto, Portugal .
    Behnam, Moris
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nolte, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Dynamic reconfiguration in HaRTES switched ethernet networks2016Ingår i: IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, 2016, Article number 7496510Konferensbidrag (Refereegranskat)
    Abstract [en]

    The ability of reconfiguring a system during runtime is essential for dynamic real-time applications in which resource usage is traded online for quality of service. The HaRTES switch, which is a modified Ethernet switch, holds this ability for the network resource, and at the same time it provides hard real-time support for both periodic and sporadic traffic. Although the HaRTES switch technologically caters this ability, a protocol to actually perform the dynamic reconfiguration is missing in multi-hop HaRTES networks. In this paper we introduce such a protocol that is compatible with the traffic scheduling method used in the architecture. We prove the correctness of the protocol using a model checking technique. Moreover, we conduct a set of simulation experiments to show the performance of the protocol and we also show that the reconfiguration process is terminated within a bounded time. 

1234567 151 - 200 av 2741
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