mdh.sePublikationer
Ändra sökning
Avgränsa sökresultatet
3456789 251 - 300 av 1851
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Träffar per sida
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
Markera
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 251.
    Begum, Shahina
    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.
    Larsson, Thomas B
    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.
    Sandström, Kristian
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Towards a Compositional Service Architecture for Real-Time Cloud Robotics2016Ingår i: ACM SIGBED Review, E-ISSN 1551-3688, s. 63-64Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    In this paper we present our ongoing work towards a compositional service architecture that integrates cloud technology for computational capacity targeting real-time robotics applications. In particular we take a look at the challenges inherent within the data center where the services are executing. We outline characteristics of the services used in the real-time cloud robotics application, along with the service management and corresponding task model used to execute services. We identify several key central challenges that must be addressed towards integrating cloud technology in real-time robotics.

  • 252.
    Behnam, Moris
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Ciccozzi, Federico
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Sjödin, Mikael
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Bruhn, Fredrik
    Bruhnspace AB, Uppsala, Sweden .
    Software architecture for next generation hyperparallel cyber-physical hardware platforms: challenges and opportunities2015Ingår i: ECSAW '15 Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015, Vol. Article No. 19Konferensbidrag (Refereegranskat)
    Abstract [en]

    We present what is destined to become the de-facto standard for hardware platforms for next generation cyber-physical systems. Heterogeneous System Architecture (HSA) is an initiative to harmonize the industry around a common architecture which is easier to program and is an open standard defining the key interfaces for parallel computation. Since HSA is supported by virtually all major players in the silicon market we can conjecture that HSA, with its capabilities and quirks, will highly influence both the hardware and software for next generation cyber-physical systems. In this paper we describe HSA and discuss how its nature will influence architectures of system software and application software. Specifically, we believe that the system software needs to both leverage the hyperparallel nature of HSA while providing predictable and efficient resource allocation to different parallel activities. The application software, on the other hand, should be isolated from the complexity of the hardware architecture but yet be able to efficiently use the full potential of the hyperparallel nature of HSA.

  • 253.
    Behnam, Moris
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Inam, Rafia
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Nolte, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Sjödin, Mikael
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Multi-core Composability in the Face of Memory Bus Contention2012Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this paper we describe the problem of achieving composability of independently developed real-time subsystems to be executed on a multicore platform.We evaluate existing work for achieving real-time performance on multicores and illustrate their lack with respect to composability. To better address composability we present a multi-resource server-based scheduling technique to provide predictable performance when composing multiple subsystems on a multicore platform. To achieve composability also on multicore platforms, we propose to add memory-bandwidth as an additional server resource. Tasks within our multi-resource servers are guaranteed both CPU- and memory-bandwidth; thus the performance of a server will become independent of resource usage by tasks in other servers. We are currently implementing multi-resource servers for the Enea’s OSE operating system for a P4080 8-core processor to be tested with software for a 3G-basestation.

  • 254.
    Behnam, Moris
    et al.
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Isovic, Damir
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Real-Time Control Design for Flexible Scheduling using Jitter Margin2007Rapport (Övrigt vetenskapligt)
    Abstract [en]

    Real-time control algorithms are designed based on the characteristics of the controlled plants and they require good performance without delays. However, digital control implementation typically introduces delays and jitters due to insufficient CPU processing power and the limitations of the real-time scheduling method used. This can degrade the system performance or even make it unstable. In this paper we propose an integrated approach for control design and real-time scheduling, suitable for both discrete-time and continuous-time controllers. It guarantees system performance by accepting a certain minimum value of jitter for control tasks and feasibly schedules them together with other tasks in the system. Results from comparison with other approaches from real-time and control theory domains underline the effectiveness of our method.

  • 255.
    Behnam, Moris
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Nolte, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik.
    J. Bril, Reinder
    Mälardalens högskola, Akademin för innovation, design och teknik.
    A new approach for global synchronization in hierarchical scheduled real-time systems2009Ingår i: Work-in-Progress (WiP) session of the 21st Euromicro Conference on Real-Time Systems (ECRTS'09), 2009Konferensbidrag (Refereegranskat)
  • 256.
    Behnam, Moris
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Nolte, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Shin, Insik
    Mälardalens högskola, Akademin för innovation, design och teknik.
    A Hierarchical Approach for Reconfigurable and Adaptive Embedded Systems2008Ingår i: APRES'08 Adaptive and Reconfigurable Embedded Systems: First International Workshop on Adaptive and Reconfigurable Embedded Systems, 2008, s. 51-54Konferensbidrag (Refereegranskat)
    Abstract [en]

    Adaptive and reconfigurable embedded systems have been gaining an increasing interest in the past year from both academics and industry. This paper presents our work on hierarchical scheduling frameworks (HSF) intended as a backbone architecture facilitating the implementation of operating system support for adaptability and reconfigurability.

  • 257.
    Behnam, Moris
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Nolte, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Åsberg, Mikael
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Shin, Insik
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Synchronization protocols for hierarchical real-time scheduling frameworks2008Ingår i: Proceedings of the 1st Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'08) in conjunction with the 29th IEEE International Real-Time Systems Symposium (RTSS'08), Barcelona, Spain, 2008Konferensbidrag (Refereegranskat)
  • 258.
    Behnam, Moris
    et al.
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Shin, Insik
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Nolte, Thomas
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Sjödin, Mikael
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Independent Abstraction and Dynamic Slack Reclaiming in Hierarchical Real-Time Open Systems2007Ingår i: Proceedings of the Work-In-Progress (WIP) session of the 19th Euromicro Conference on Real-Time Systems (ECRTS'07), Pisa, Italy, 2007, s. 1-4Konferensbidrag (Refereegranskat)
    Abstract [en]

    Independent subsystem abstraction allows subsystems to be developed and validated separately and supports an easier subsystem integration. In particular, this approach is desirable in open systems, since it does not require knowledge of temporal behaviour of other subsystems. However, independent

    abstraction, assuming the worst-case CPU supply pattern, requires extra CPU allocations. We present our work in progress on dynamic slack reclamation, which keeps track of such extra CPU allocations at run time. We are also investigating how to utilize those extra resources for supporting soft real-time tasks.

  • 259.
    Behnam, Moris
    et al.
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Shin, Insik
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Nolte, Thomas
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Sjödin, Mikael
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    SIRAP: A Global Resource Sharing Protocol Facilitating Integration of Semi-independent Real-Time Systems2007Rapport (Övrigt vetenskapligt)
    Abstract [en]

    This paper presents a protocol for resource sharing in a hierarchical real-time scheduling framework. Together, the protocol and the scheduling framework significantly reduce the efforts and errors associated with integrating multiple semi-independent subsystems on a single processor. Thus, our proposed techniques facilitate modern software development processes, where subsystems are developed by independent teams (or subcontractors) and at a later stage integrated into a single product. Using our solution, a subsystem need not know, and is not dependent on, the timing behaviour of other subsystems; even though they share mutually exclusive resources. In this paper we also prove the correctness of our approach and evaluate its efficiency.

  • 260.
    Belli, Fevzi
    et al.
    University of Paderborn, Germany.
    Seceleanu, Cristina
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Panel Description: 40 Years of Software Engineering2008Ingår i: Proceedings 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC2008, 2008, s. 7-7Konferensbidrag (Övrigt vetenskapligt)
    Abstract [en]

    In the fall of 1968, NATO hosted in Garmisch- Partenkirchen, close to Munich, a conference devoted to the problems of the computer industry that was having a great deal of trouble in producing large and complex programs. The term Software Engineering (SE) was not in general use at that time, its adoption for the title of this conference was deliberately provocative. As a result, the conference and its report have played a major role in gaining general acceptance of the term SE.

  • 261.
    Bello, L. L.
    et al.
    University of Catania, Catania, Italy.
    Åkerberg, J.
    ABB Corporate Research, Västerås, Sweden.
    Gidlund, M.
    Mid Sweden University, Sundsvall, Sweden.
    Uhlemann, Elisabeth
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Guest Editorial Special Section on New Perspectives on Wireless Communications in Automation: From Industrial Monitoring and Control to Cyber-Physical Systems2017Ingår i: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 13, nr 3, s. 1393-1396, artikel-id 7938563Artikel i tidskrift (Refereegranskat)
  • 262.
    Bello, Luciano
    et al.
    Chalmers University of Technology, Gothenburg, Sweden.
    Hedin, Daniel
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. Chalmers University of Technology, Gothenburg, Sweden.
    Sabelefeld, Andrei
    Chalmers University of Technology, Gothenburg, Sweden.
    Value Sensitivity and Observable Abstract Values for Information Flow Control2015Ingår i: 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR'15, 2015, s. 63-78Konferensbidrag (Refereegranskat)
    Abstract [en]

    Much progress has recently been made on information flow control, enabling the enforcement of increasingly rich policies for increasingly expressive programming languages. This has resulted in tools for mainstream programming languages as JavaScript, Java, Caml, and Ada that enforce versatile security policies. However, a roadblock on the way to wider adoption of these tools has been their limited permissiveness (high number of false positives). Flow-, context-, and object-sensitive techniques have been suggested to improve the precision of static information flow control and dynamic monitors have been explored to leverage the knowledge about the current run for precision. This paper explores value sensitivity to boost the permissiveness of information flow control. We show that both dynamic and hybrid information flow mechanisms benefit from value sensitivity. Further, we introduce the concept of observable abstract values to generalize and leverage the power of value sensitivity to richer programming languages. We demonstrate the usefulness of the approach by comparing it to known disciplines for dealing with information flow in dynamic and hybrid settings.

  • 263.
    Belogiannis, Theodoros
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Individual Stress Diagnosis from Skin Conductance sensor signals2012Självständigt arbete på avancerad nivå (magisterexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
  • 264.
    Benavente, F.
    et al.
    Department of Chemical Engineering, Applied Electrochemistry, KTH Royal Institute of Technology, Stockholm, Sweden.
    Lundblad, A.
    Division of Safety and Transport/Electronics, RISE, Research Institutes of Sweden, Borås, Sweden.
    Campana, Pietro Elia
    Mälardalens högskola, Akademin för ekonomi, samhälle och teknik, Framtidens energi. Department of Chemical Engineering, Energy Processes, KTH Royal Institute of Technology, Sweden.
    Zhang, Y.
    Department of Chemical Engineering, Energy Processes, KTH Royal Institute of Technology, Sweden.
    Cabrera, S.
    Instituto de Investigaciones Químicas, Carrera de Ciencias Químicas, UMSA Universidad Mayor de San Andrés, Bolivia.
    Lindbergh, G.
    Department of Chemical Engineering, Applied Electrochemistry, KTH Royal Institute of Technology, Stockholm, Sweden.
    Photovoltaic/battery system sizing for rural electrification in Bolivia: Considering the suppressed demand effect2019Ingår i: Applied Energy, ISSN 0306-2619, E-ISSN 1872-9118, Vol. 235, s. 519-528Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Rural electrification programs usually do not consider the impact that the increment of demand has on the reliability of off-grid photovoltaic (PV)/battery systems. Based on meteorological data and electricity consumption profiles from the highlands of Bolivian Altiplano, this paper presents a modelling and simulation framework for analysing the performance and reliability of such systems. Reliability, as loss of power supply probability (LPSP), and cost were calculated using simulated PV power output and battery state of charge profiles. The effect of increasing the suppressed demand (SD) by 20% and 50% was studied to determine how reliable and resilient the system designs are. Simulations were performed for three rural application scenarios: a household, a school, and a health centre. Results for the household and school scenarios indicate that, to overcome the SD effect, it is more cost-effective to increase the PV power rather than to increase the battery capacity. However, with an increased PV-size, the battery ageing rate would be higher since the cycles are performed at high state of charge (SOC). For the health centre application, on the other hand, an increase in battery capacity prevents the risk of electricity blackouts while increasing the energy reliability of the system. These results provide important insights for the application design of off-grid PV-battery systems in rural electrification projects, enabling a more efficient and reliable source of electricity. 

  • 265.
    Bengtsson, Erik
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Robotic Calibration using Kinematic Coupling2013Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Industrial robot calibration is a very important tool when extra precision and repeata- bility is required, also to make it possible to change robot without reprogramming. The difference between the virtual robot and the real robot can be as much as 8-15mm [1]. Presently used methods for calibration are both expensive and time-consuming. This the- sis will test a method of calibration that is simple and cheap, using kinematic coupling. The repeatability of the calibration and improvements to the method have been investi- gated, as well as the impact of lost-space motion at different positions of the robot. The thesis shows that the precision of the robot when coupling is better than ±0.05mm. A problem with backlash in a gearbox was solved using statistical method and by adding an external force affecting the coupling. Also a simulation of the coupling is developed to more easily identify errors in any axis.

  • 266.
    Bengtsson, Marcus
    Mälardalens högskola, Institutionen för innovation, design och produktutveckling.
    Condition Based Maintenance Systems Technology: Where is Development Heading?2004Ingår i: Proceedings of the 17th Congress of Euromaintenance, 2004Konferensbidrag (Övrigt vetenskapligt)
  • 267.
    Bengtsson, Marcus
    Mälardalens högskola, Institutionen för innovation, design och produktutveckling.
    Standardization Issues in Condition Based Maintenance2003Ingår i: Proceedings of the 16th International Congress, August 27-29, 2003, Växjö University, Sweden, Växjö: Växjö University Press , 2003Konferensbidrag (Övrigt vetenskapligt)
  • 268.
    Bengtsson, Marcus
    et al.
    Mälardalens högskola, Institutionen för innovation, design och produktutveckling.
    Jackson, Mats
    Important Aspects to take into Consideration when Deciding to Implement Condition Based Maintenance2004Konferensbidrag (Övrigt vetenskapligt)
  • 269.
    Bengtsson, Sebastian
    Mälardalens högskola, Akademin för innovation, design och teknik.
    MACHINE LEARNING FOR MECHANICAL ANALYSIS2019Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    It is not reliable to depend on a persons inference on dense data of high dimensionality on a daily basis. A person will grow tired or become distracted and make mistakes over time. Therefore it is desirable to study the feasibility of replacing a persons inference with that of Machine Learning in order to improve reliability. One-Class Support Vector Machines (SVM) with three different kernels (linear, Gaussian and polynomial) are implemented and tested for Anomaly Detection. Principal Component Analysis is used for dimensionality reduction and autoencoders are used with the intention to increase performance. Standard soft-margin SVMs were used for multi-class classification by utilizing the 1vsAll and 1vs1 approaches with the same kernels as for the one-class SVMs. The results for the one-class SVMs and the multi-class SVM methods are compared against each other within their respective applications but also against the performance of Back-Propagation Neural Networks of varying sizes. One-Class SVMs proved very effective in detecting anomalous samples once both Principal Component Analysis and autoencoders had been applied. Standard SVMs with Principal Component Analysis produced promising classification results. Twin SVMs were researched as an alternative to standard SVMs.

  • 270.
    Berg, Tobias
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Karlström, Lars
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    The construction of a Pan-Tilt unit with two digitalcameras and a PC interface2014Självständigt arbete på avancerad nivå (yrkesexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
  • 271.
    Bergblomma, Marcus
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Ekström, Martin
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Björkman, Mats
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Ekström, Mikael
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Gerdtman, Christer
    Motion Control AB, Västerås, Sweden .
    Lindén, Maria
    Mälardalens högskola, Akademin för innovation, design och teknik.
    A wireless low latency control system for harsh environments2012Ingår i: IFAC Proceedings Volumes (IFAC-PapersOnline): Vol. 11, PART 1, 2012, s. 17-22Konferensbidrag (Refereegranskat)
    Abstract [en]

    The use of wireless communication technologies in the industry offer severaladvantages. One advantage is the ability to deploy sensors where they previously could noteasily be deployed, for instance on parts that rotate. To use wireless communication in industrialcontrol loops, demands on reliability and latency requirements has to be met. This in anenvironment that may be harsh for radio communication. This work presents a reliable, lowlatency wireless communication system. The system is used in a wireless thyristor control loopin a hydro power plant generator. The wireless communication is based on Bluetooth radiomodules. The work shows a latency analysis together with empirical hardware based latencyand packet error rate measurements. The background noise of a hydro power plant station isalso investigated. The average latency between the Bluetooth modules for the proposed systemis 5.09 ms. The packet error rate is 0.00288 for the wireless low latency control system deployedin a hydro power plant.

  • 272.
    Berglin, Lena
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Ekström, Mikael
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Lindén, Maria
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Monitoring health and activity by smartwear2005Konferensbidrag (Övrigt vetenskapligt)
  • 273.
    Berglund, Jessica
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Gallardo, Marielle
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Spektrumanalys och Dynamiska Management-system med Cisco Radio Resource Management och CleanAir2017Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Störningar är en av de vanligaste orsakerna till försämrad prestanda och tillförlitlighet i trådlösa nätverk. Frekvensstörningar och brus kan lokaliseras genom att utföra spektrumanalys för att mäta amplitud- och frekvensegenskaper hos elektromagnetiska signaler. Inledningsvis gjordes en teoretisk beskrivning av spektrumanalys och site survey. Manuell spektrumanalys undersöktes dessutom praktiskt genom laborationsmätningar och grafritning med Metageek Wi-Spy och dess mjukvara Chanalyzer. Signaler från 802.11-enheter betraktades med spektrumanalys, och analyserades utifrån hur störande dess signaler såg ut att vara. Detta jämfördes sedan mot den faktiska störningsinverkan enheterna hade. Analysen visade att manuellt genomförd spektrumanalys kan vara svårtolkad när det kommer till att identifiera störande moment, då signaler från enheter som såg ut att störa mycket i själva verket inte gjorde det. Enheternas kanalaccessmetod, i det här fallet CSMA/CA, bidrog till en låg störningsinverkan då enheterna väntade med att sända tills mediet var ledigt, vilket minskade risken för kollisioner. Ciscos nya CleanAir-teknologi har inbyggd spektrumanalysfunktionalitet, för att kunna upptäcka, klassificera och undvika radiofrekvensstörningar. Att störningar automatiskt kan upptäckas och åtgärdas sparar både driftskostnader och minimerar nätverksavbrott. Denna automatisering är möjlig tack vare Cisco Radio Resource Management (RRM) som är ett system bestående av flera protokoll, och innefattar bland annat funktioner för att byta kanal och ändra utsänd effekt automatiskt. De protokoll som ingår i RRM undersöktes och diskuterades sedan i förhållande till genomförda laborationsmätningar. Laborationsmätningar visade att Ciscos Aironet 2700-accesspunkt var mer robust mot störningar än en D-Link-router avsedd för hemmabruk och mindre kontorsmiljöer. En accesspunkts robusthet avgörs av dess trådlösa standard, modulationsteknik och dynamiska managementprotokoll. Trådlös kommunikation är ett komplext ämne, där många faktorer har betydelse för ett nätverks prestanda. Det är därför inte lämpligt att dra några konkreta slutsatser från de laborationsmätningar som genomfördes. För framtida arbeten bör liknande laborationer med störningar från icke-802.11-enheter genomföras för att jämföra störningsinverkan från CSMA- och icke-CSMA-kommunikation.

  • 274.
    Bergman, B.L.S
    et al.
    Chalmers university of .
    Fundin, Anders
    Chalmers university of technology, Sweden.
    Gremyr, I.C
    Chalmers university of technology, Sweden.
    Johansson, P.M
    Chalmers university of technology, Sweden.
    Beyond root-cause analysis2002Ingår i: Proceedings of the Annual Reliability and Maintainability Symposium (RAMS), 2002Konferensbidrag (Refereegranskat)
  • 275.
    Bergman, Jan E. S.
    et al.
    Swedish Institute of Space Physics, Sweden.
    Bruhn, Fredrik
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Funk, Peter
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Isham, Brett
    Interamerican University of Puerto Rico, Bayamón, Puerto Rico.
    Rincon-Charris, Amilcar
    Interamerican University of Puerto Rico, Bayamón, Puerto Rico.
    Capo-Lugo, Pedro
    NASA Marshall Space Flight Center, Huntsville, Alabama, USA.
    Åhlen, Lennart
    Swedish Institute of Space Physics, Sweden.
    Exploiting Artificial Intelligence for Analysis and Data Selection on-board the Puerto Rico CubeSat2015Konferensbidrag (Refereegranskat)
  • 276.
    Bergström, Henning
    Mälardalens högskola, Akademin för innovation, design och teknik.
    A Study on Timed Base Choice Criteria for Testing Embedded Software2016Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Programs for Programmable Logic Controller (PLC) are often written in graphical or textual languages. Control engineers design and use them in systems where safety is vital, such as avionics, nuclear power plants or transportation systems. Malfunction of such a computer could have severe consequences, therefore thorough testing of PLCs are important. The Base Choice (BC) combination strategy was proposed as a suitable technique for testing software. Test cases are created based on BC strategy by varying the values of one parameter at a time while keeping the values of the other parameters fixed on the values in the base choice. However, this strategy might not be as effective when used on embedded software where parameters need to be set for a certain amount of time in order to trigger a certain interesting behavior. By incorporating time as another parameter when generating the tests, the goal is to create a better strategy that will increase not only code coverage but also fault detection compared to base choice strategy. Timed Base Choice (TBC) coverage criteria is an improvement upon the regular Base Choice criteria with the inclusion of time. We define TBC as follows: The base test case in timed base choice criteria is determined by the tester of the program. A criterion suggested by Ammann and Offutt is the “most likely value” from the point of view of the user. In addition, a time choice T is determined by the tester as the most likely time for keeping the base test case to the same values. From the base test case, new test cases are created by varying the interesting values of one parameter at a time, keeping the values of the other parameters fixed on the base test case. Each new test case is executed with the input values set for a certain amount of time determined by the time choice T. The time choice is given in time units. The research questions stated in this thesis are as follows: Research Question 1 (RQ1) How does Timed Base Choice tests compare to Base Choice tests in terms of decision coverage? Research Question 2 (RQ2) How does Timed Base Choice tests compare to Base Choice tests in terms of fault detection? In order to answer these questions, an empirical study was made in which 11 programs was tested along with respective test cases generated by BC and TBC. Each program was executed on a PLC along with the belonging test cases and several faulty programs (mutants). From this testing we got the corresponding decision coverage for each program achieved by BC and TBC respectively as well as a mutation score measuring how many of the mutated programs was detected and killed. We found that TBC outperformed BC testing both in terms of decision coverage and fault detection. Using TBC testing we managed to achieve full decision coverage on several programs that we were unable to achieve using regular BC. This shows that TBC is an improvement upon the regular BC in both ways, thus answering our previously stated research questions.

  • 277.
    Bergström, Henning
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Enoiu, Eduard Paul
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software2017Ingår i: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017, Institute of Electrical and Electronics Engineers Inc. , 2017, s. 216-219Konferensbidrag (Refereegranskat)
    Abstract [en]

    The base-choice criterion was proposed as a suitable technique for testing software based on its nominal choice of input parameters. Test cases are created based on this strategy by varying the values of one input parameter at a time while keeping the values of the other parameters fixed on the base choice. However, this strategy might not be as effective when used on industrial control software for testing timed behavior. We propose to incorporate time as another parameter when generating and executing tests by defining the timed base-choice coverage criterion. We performed an empirical evaluation using 11 industrial programs written in the IEC 61131-3 programming language. We found that tests generated for timed base-choice criterion show better code coverage (7% improvement) and fault detection (27% improvement) in terms of mutation score than tests satisfying base-choice coverage criterion. The results demonstrate the feasibility of applying timed base-choice criterion for testing industrial control software.

  • 278.
    Berhmann, Gerd
    et al.
    Aalborg University, Denmark .
    David, Alexandre
    Aalborg University, Denmark .
    Guldstrand Larsen, Kim
    Aalborg University, Denmark .
    Håkansson, John
    Uppsala University, Sweden .
    Pettersson, Paul
    Uppsala University, Sweden.
    Wang, Yi
    Uppsala University, Sweden.
    Hendriks, Martijn
    Radboud University Nijmegen, Netherlands .
    UPPAAL 4.02006Ingår i: Third International Conference on the Quantitative Evaluation of Systems, QEST 2006, 2006, s. 125-126Konferensbidrag (Refereegranskat)
    Abstract [en]

    UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements and polish to the the easy to use graphical user interface, and is accompanied by several open source libraries. The tool and libraries are available free of charge for academic, educational and evaluation purposes from http://www.uppaal.com/. We describe three of the new features: User defined functions, priorities and symmetry reduction. 

  • 279.
    Berhmann, Gerd
    et al.
    NORDUnet A/S, Copenhagen, Denmark.
    David, Alexandre
    Department of Computer Science, Aalborg University.
    Guldstrand Larsen, Kim
    Department of Computer Science, Aalborg University.
    Pettersson, Paul
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Yi, Wang
    Department of Information Technology, Uppsala University.
    Developing UPPAAL over 15 years2011Ingår i: Software - Practice and Experience, ISSN 0038-0644, Vol. 41, nr 2, s. 133-142Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    UPPAAL is a tool suitable for model checking real-time systems described as networks of timed automata communicating by channel synchronizations and extended with integer variables. Its first version was released in 1995 and its development is still very active. It now features an advanced modeling language, a user-friendly graphical interface, and a performant model checker engine. In addition, several flavors of the tool have matured in recent years. In this paper, we present how we managed to maintain the tool during 15 years, its current architecture with its challenges, and we give the future directions of the tool.

  • 280.
    Bilic, Damir
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Daniel, Sundmark
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Afzal, Wasif
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Wallin, Peter
    RISE SICS, Västerås, Sweden.
    Causevic, Adnan
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. ES (Embedded Systems).
    Amlinger, Christoffer
    Volvo CE, Eskilstuna, Sweden.
    Model-Based Product Line Engineering in an Industrial Automotive Context: An Exploratory Case Study2018Ingår i: 1st Intl. Workshop on Variability and Evolution of Software-intensive Systems VariVolution'18, 2018Konferensbidrag (Refereegranskat)
    Abstract [en]

    Product Line Engineering is an approach to reuse assets of complex systems by taking advantage of commonalities between product families. Reuse within complex systems usually means reuse of artifacts from different engineering domains such as mechanical, electronics and software engineering. Model-based systems engineering is becoming a standard for systems engineering and collaboration within different domains. This paper presents an exploratory case study on initial efforts of adopting Product Line Engineering practices within the model-based systems engineering process at Volvo Construction Equipment (Volvo CE), Sweden. We have used SysML to create overloaded models of the engine systems at Volvo CE. The variability within the engine systems was captured by using the Orthogonal Variability Modeling language. The case study has shown us that overloaded SysML models tend to become complex even on small scale systems, which in turn makes scalability of the approach a major challenge. For successful reuse and to, possibly, tackle scalability, it is necessary to have a database of reusable assets from which product variants can be derived.

  • 281.
    Bilstrup, Katrin
    et al.
    Högskolan i Halmstad, Inbyggda system (CERES).
    Böhm, Annette
    Högskolan i Halmstad, Inbyggda system (CERES).
    Lidström, Kristoffer
    Högskolan i Halmstad, Inbyggda system (CERES).
    Jonsson, Magnus
    Högskolan i Halmstad, Inbyggda system (CERES).
    Larsson, Tony
    Högskolan i Halmstad, Inbyggda system (CERES).
    Uhlemann, Elisabeth
    Högskolan i Halmstad, Inbyggda system (CERES).
    Report on the Collaboration between CVIS and CERES in the Project Vehicle Alert System (VAS)2009Rapport (Övrigt vetenskapligt)
    Abstract [en]

    In March 2007, an agreement was made for interchange of experiences between CVIS and the Centre for Research on Embedded Systems (CERES) at Halmstad University in Sweden. The majority of the work relating to this collaboration has been conducted within the CERES project Vehicle Alert System (VAS), aiming to use vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I) communications to provide different types of warning messages. The main focus of the VAS project is on communication and in particular the lower layers of the communication stack are investigated. VAS involves academic researchers from Halmstad University as well as researchers from Volvo Technology, SP Technical Research Institute of Sweden and the company Free2move. This report presents the results of the VAS project, its publications, and other issues of interest both to the CVIS consortium as well as a broader scope.

  • 282.
    Bilstrup, Katrin
    et al.
    Högskolan i Halmstad, Inbyggda system (CERES).
    Uhlemann, Elisabeth
    Högskolan i Halmstad, Inbyggda system (CERES).
    Ström, Erik G.
    Chalmers.
    Medium access control in vehicular networks based on the upcoming IEEE 802.11p standard2008Ingår i: 15th World Congress on Intelligent Transport Systems and ITS America Annual Meeting 2008, World Congress on ITS , 2008, s. 4155-4167Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this paper, initial simulations are presented showing that the upcoming IEEE 802.11p standard is not suitable for traffic safety applications requiring reliable, low delay communication between vehicles. The medium access control procedure is one of the most important parts in the design of delay-constrained communication systems, and emerging vehicle safety applications put new stringent demands on timely and reliable delivery of data packets. The medium access procedure used in 802.11p is carrier sense multiple access, which is inherently unsuitable for time-critical data traffic since it is contention-based and cannot provide a finite upper bound on the time to channel access. The simulation results indicate that with IEEE 802.11p, channel access cannot be granted in a manner that is sufficiently predictable to support reliable, low-delay communications between vehicles on a highway.

  • 283.
    Bilstrup, Katrin
    et al.
    Högskolan i Halmstad, Inbyggda system (CERES).
    Uhlemann, Elisabeth
    Högskolan i Halmstad, Inbyggda system (CERES).
    Ström, Erik G.
    Chalmers.
    Bilstrup, Urban
    Högskolan i Halmstad, Inbyggda system (CERES).
    Evaluation of the IEEE 802.11p MAC method for vehicle-to-vehicle communication2008Ingår i: 68th IEEE Vehicular Technology Conference, 2008. VTC 2008-Fall: IEEE Vehicular Technology Conference (VTC) (2008), Piscataway, N.J.: IEEE Press , 2008, s. Article number 4657278-Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this paper the medium access control (MAC) method of the upcoming vehicular communication standard IEEE 802.11p has been simulated in a highway scenario with periodic broadcast of time-critical packets (so-called heartbeat messages) in a vehicle-to-vehicle situation. The 802.11p MAC method is based on carrier sense multiple access (CSMA) where nodes listen to the wireless channel before sending. If the channel is busy, the node must defer its access and during high utilization periods this could lead to unbounded delays. This well-known property of CSMA is undesirable for time critical communications. The simulation results reveal that a specific node/vehicle is forced to drop over 80% of its heartbeat messages because no channel access was possible before the next message was generated. To overcome this problem, we propose to use self-organizing time division multiple access (STDMA) for real-time data traffic between vehicles. This MAC method is already successfully applied in commercial surveillance applications for ships (AIS) and airplanes (VDL mode 4). Our initial results indicate that STDMA outperforms CSMA for time-critical traffic safety applications in ad hoc vehicular networks.

  • 284.
    Bilstrup, Katrin
    et al.
    Högskolan i Halmstad, Inbyggda system (CERES).
    Uhlemann, Elisabeth
    Högskolan i Halmstad, Inbyggda system (CERES).
    Ström, Erik G.
    Högskolan i Halmstad, Inbyggda system (CERES).
    Bilstrup, Urban
    Högskolan i Halmstad, Inbyggda system (CERES).
    On the ability of the 802.11p MAC method and STDMA to support real-time vehicle-to-vehicle communications2009Ingår i: EURASIP Journal on Wireless Communications and Networking, ISSN 1687-1472, E-ISSN 1687-1499, Vol. 2009, nr 902414, s. 1-14Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Traffic safety applications using vehicle-to-vehicle (V2V) communication is an emerging and promising area within the intelligent transportation systems (ITS) sphere. Many of these new applications require real-time communication with high reliability, meaning that packets must be successfully delivered before a certain deadline. Applications with early deadlines are expected to require direct V2V communications, and the only standard currently supporting this is the upcoming IEEE 802.11p, included in the wireless access in vehicular environment (WAVE) stack. To meet a real-time deadline, timely and predictable access to the channel is paramount. However, the medium access method used in 802.11p, carrier sense multiple access with collision avoidance (CSMA/CA), does not guarantee channel access before a finite deadline. In this paper, we analyze the communication requirements introduced by traffic safety applications, namely, low delay, reliable, real-time communications.We show by simulation of a simple, but realistic, highway scenario, that vehicles using CSMA/CA can experience unacceptable channel access delays and, therefore, 802.11p does not support real-time communications. In addition, we present a potential remedy for this problem, namely, the use of self-organizing time division multiple access (STDMA). The real-time properties of STDMA are investigated by means of the same highway simulation scenario, with promising results.

  • 285.
    Bilstrup, Katrin
    et al.
    Högskolan i Halmstad, Inbyggda system (CERES).
    Uhlemann, Elisabeth
    Högskolan i Halmstad, Inbyggda system (CERES).
    Ström, Erik G.
    Chalmers, Gothenburg.
    Bilstrup, Urban
    Högskolan i Halmstad, Inbyggda system (CERES).
    On the ability of the IEEE 802.11p and STDMA to provide predictable channel access2009Ingår i: Proceedings of the 16th World Congress on Intelligent Transport Systems (ITS), 2009, s. 10-Konferensbidrag (Refereegranskat)
    Abstract [en]

    Emerging traffic safety applications requiring low delay communications will need vehicle ad-hoc networks. The only communication standard currently supporting this is IEEE 802.11p. However, 802.11p uses the medium access method CSMA/CA, which has a major drawback: unbounded worst case channel access delay. We therefore propose an algorithm already in commercial use in the shipping industry: STDMA. With STDMA, nodes always get predictable channel access regardless of the number of competing nodes and the maximum delay is deterministic. In this paper we elaborated with different parameter settings for the two protocols with the aim of improving performance without altering the standards.

     

  • 286.
    Bizhuta, Ermal
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Carhoshi, Dhespina
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Applicability Study of Software Architectures in the Discrete Manufacturing Domain2019Självständigt arbete på avancerad nivå (magisterexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Manufacturing, under the umbrella of the latest industrial revolution, has gone through enormous changes in the last decades to then later evolve in what we know now as smart manufacturing. Different companies and entities have developed their own versions of architectures for intelligentand digitalized manufacturing systems. Ideating a exible and safe architecture is one of the first steps towards a system that intends to be applicable in different environments, regardless of the vast variety of possibilities available. For this purpose, the following thesis presents an investigation on the state-of-the-art solutions of the most recent digitalized cloud-based system architectures in the domain of discreet manufacturing. Based on an initial system architecture conceived from the company ABB, an evaluation of this architecture was conducted, by taking in consideration the existing systematical approaches to the digitalization of this industry. In the following thesis work, we investigate, describe and evaluate the limitations and strengths of the most recent and known architectural approaches to cloud robotics. Finally, a few key remarks are made towards ABB's initial solution but also to the industry in general.

  • 287.
    Björkman, Mats
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Lindén, Maria
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. ES (Embedded Systems).
    Cooperation between academia and industry within embedded sensor systems2018Ingår i: World Congress on Medical Physics and Biomedical Engineering IUPESM 2018, 2018, Vol. 68, nr 1Konferensbidrag (Refereegranskat)
  • 288.
    Björkman, Patrik
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Odens Hedman, Lars
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Development of a collision avoidance system for a videoconferencing robot.2010Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    The work presented in this paper is about the development of a collision avoidance systemfor a mobile telepresence robot developed by the company Gira technologies AB.The robot is designed to extend the length of time elderly can stay in their homes beforerequiring full-time staed care. The collision avoidance system is needed to help the userto avoid running in to objects or down a stairway. The design must be capable of beingimplemented at low cost, and should not look overtly "robotic" as this would not resultin an appealing industrial design.

    Herein, dierent techniques are presented and analyzed to nd the best suitable solutionfor the robot. In particular a lot of work is done in taking measurements to nd theright characteristics for the sensors according dierent mounting angles, dierent objectsand distances. A solution is chosen and calculations are made to nd the best positionsto place the sensors to get the best results.

    A complete solution is presented and implemented in the current system and testedto work as expected.

  • 289.
    Björnander, Stefan
    et al.
    CrossControl AB.
    Seceleanu, Cristina
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Lundqvist, Kristina
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Pettersson, Paul
    Mälardalens högskola, Akademin för innovation, design och teknik.
    A Formal Analysis Framework for AADL2011Ingår i: The Journal of Science and Technology, ISSN 0866-708X, Vol. 49, nr 5Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    As system failure of mission-critical embedded systems may result in serious consequences, the development process should include verification techniques already at the architectural design stage, in order to provide evidence that the architecture fulfils its requirements. The Architecture Analysis and Design Language (AADL) is a language designed for modeling embedded systems, and its Behavior Annex defines the behavior of the system. However, even though it is an internationally used industry standard, AADL still lacks a formal semantics and is not executable, which limits the possibility to perform formal verification. In this paper, we introduce a formal analysis framework for a subset of AADL and its Behavior Annex, which includes the following: a denotational semantics, its implementation in Standard ML, and a graphical Eclipse-based tool encapsulating the implementation. We also show how to perform model checking of AADL properties defined in the Computation Tree Logic (CTL).

  • 290.
    Björnfot, Lars
    et al.
    Uppsala University, Sweden.
    Asplund, Lars
    Uppsala University, Sweden.
    Lundqvist, Kristina
    Uppsala University, Sweden.
    Wall, Göran
    Uppsala University, Sweden.
    Distributed Run-Time System, a Protocol for Ada1993Ingår i: Proc. Ada-Europe'93, LNCS 688, 1993, s. 249-263Konferensbidrag (Övrigt vetenskapligt)
    Abstract [en]

    The requirements and specification of a protocol for low level communication between the run-time systems in a distributed Ada environment is presented. This allows an Ada system to be separated into software resources and run-time controllers. Calls to the local run-time system of a node, concerning task management, are transformed into remote calls to the controller, that schedules all tasks in the application. The calls to the run-time system together with all messages, requests and replies, that are triggered as a consequence, are described. The controller will be implemented in hardware separate from the processors. Communication between processors and controllers are by means of high speed (Gigabit) networks. In the proposed system, partitioning and distribution of Ada programs can fully utilize the inherent and strong type checking in Ada.

  • 291.
    Björnfot, Lars
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Lundqvist, Kristina
    Uppsala University, Uppsala, Sweden.
    Wall, Göran
    Uppsala University, Uppsala, Sweden.
    Asplund, Lars
    Uppsala University, Uppsala, Sweden.
    Distribution of Tasks Within a Centrally Scheduled Local Area Network1994Ingår i: Proc. Ada-Europe'94, LNCS 887, 1994, s. 421-432Konferensbidrag (Övrigt vetenskapligt)
    Abstract [en]

    Distribution of a single Ada program on a local area network is accomplished by partitioning the run-time system into two parts. A central scheduling module is responsible for task management. Distributed run-time executives handle context switches and remote entry calls; however all activities are supervised by the scheduler. The scheduler can be implemented in hardware in order to achieve high efficiency. A network based on optical fibers is necessary due to the high speed required for system calls. Asynchronous Transfer Mode is suggested as the protocol for the communication. We describe an implementation of the divided run-time system on an Ethernet network, using MC68030-based micro computers as targets and an Ada program executing on a Rational host as the scheduler.

  • 292.
    Björnfot, Lars
    et al.
    Uppsala University, Sweden.
    Lundqvist, Kristina
    Uppsala University, Sweden.
    Wall, Göran
    Uppsala University, Sweden.
    Asplund, Lars
    Uppsala University, Sweden.
    Termination of Ada Tasks in Hardware1995Ingår i: Proc. TRI-Ada'95, 1995, s. 474-486Konferensbidrag (Övrigt vetenskapligt)
  • 293. Blanco, Angeles
    et al.
    Dahlquist, Erik
    Mälardalens högskola, Akademin för hållbar samhälls- och teknikutveckling.
    Kappen, Johannes
    Manninen, Jussi
    Negro, Carlos
    Rittala, Risto
    Chapter 12: Modelling and simulation in the Pulp and Paper Industry: Current state and future perspectives2006Ingår i: Handbook of Control Room Design and Ergonomics: A Perspective for the Future / [ed] Toni Ivergård and Brian Hunt, Taylor & Francis Group, 2006, 2nd, s. 311-326Kapitel i bok, del av antologi (Övrigt vetenskapligt)
  • 294.
    Bleichner, H.
    et al.
    Scanner Lab, Department of Technology, Uppsala University, Uppsala, Sweden.
    Nordgren, M.
    Scanner Lab, Department of Technology, Uppsala University, Uppsala, Sweden; Mälardalen Univ. College, Västerås, Sweden .
    Rosling, M.
    Scanner Lab, Department of Technology, Uppsala University, Uppsala, Sweden.
    Jonsson, P.
    Scanner Lab, Department of Technology, Uppsala University, Uppsala, Sweden.
    Nordlander, E.
    Scanner Lab, Department of Technology, Uppsala University, Uppsala, Sweden; Gävle/Sandviken Univ. College, Sandviken, Sweden.
    Turn-off failure mechanisms in GTO thyristors of different anode designs supported by 3-D simulations1994Ingår i: Device Research Conference - Conference Digest, DRC, Institute of Electrical and Electronics Engineers Inc. , 1994, s. 33-34Konferensbidrag (Refereegranskat)
  • 295.
    Blom, Jonatan
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Autonomous Hauler Loading2013Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    I det här examensarbetet har designat och implementerat komponenter till ettsystem för automatiserad materialhantering i anläggningsbranschen, en autonomhjullastare. Examensarbetet avslutas med en uppvisning av den prototyp somvi implementerat våra komponenter på. Vårt främsta bidrag till systemet är enny mjukvarudesign, med det nya upplägget har det blivit enklare att integreranya komponenter i systemet. Förutom plattformen så har vi tagit fram komponenteroch lösningar för era delsystem som krävs för autonom operation medhjullastaren, dessa har vi listat några av dessa nedan.ˆ Tillståndsmaskin för hantering av övergripande uppdrag.ˆ Bildbehandlingsalgoritmer, som utifrån LiDAR data parametriserar lastmottagaren(i detta examensarbete en dumper)ˆ Dynamisk translationsalgoritm, denna används för att genomföra en tömningssekvenspå en godtycklig koordinat.Mycket jobb har även lagts på utveckling av underliggande system och funktionalitet,bland annat har vi implementerat kommunikations protokoll och APIför en LiDAR skanner samt ett API för en servo controller. Vi har också konstrueraten mekanisk vagga för LiDAR skannern och servomotorn i CAD, dennakonstruktion tillverkade vi senare i en CNC fräs.

  • 296.
    Bohlin, Markus
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik. SICS, Sweden.
    Flier, Holger
    Mälardalens högskola, Akademin för innovation, design och teknik. ETH, Suisse.
    Maue, Jens
    ETH, Suisse.
    Mihalák, Matúš
    Mälardalens högskola, Akademin för innovation, design och teknik. ETH, Suisse.
    Hump Yard Track Allocation with Temporary Car Storage2011Ingår i: 4th International Seminar on Railway Operations Modelling and Analysis, 2011Konferensbidrag (Refereegranskat)
    Abstract [en]

    In rail freight operation, freight cars need to be separated and reformed into new trains at hump yards. The classification procedure is complex and hump yards constitute bottlenecks in the rail freight network, often causing outbound trains to be delayed. One of the problems is that planning for the allocation of tracks at hump yards is difficult, given that the planner has limited resources (tracks, shunting engines, etc.) and needs to foresee the future capacity requirements when planning for the current inbound trains. In this paper, we consider the problem of allocating classification tracks in a rail freight hump yard for arriving and departing trains with predetermined arrival and departure times. The core problem can be formulated as a special list coloring problem. We focus on an extension where individual cars can temporarily be stored on a special subset of the tracks. An extension where individual cars can temporarily be stored on a special subset of the tracks is also considered. We model the problem using mixed integer programming, and also propose several heuristics that can quickly give feasible track allocations. As a case study, we consider a real-world problem instance from the Hallsberg Rangerbangard hump yard in Sweden. Planning over horizons over two to four days, we obtain feasible solutions from both the exact and heuristic approaches that allow all outgoing trains to leave on time.

  • 297.
    Bohlin, Markus
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Flier, Holger
    ETH Zürich, Institute of Theoretical Computer Science, Switzerland.
    Maue, Jens
    ETH Zürich, Institute of Theoretical Computer Science, Switzerland.
    Mihalák, Matúš
    ETH Zürich, Institute of Theoretical Computer Science, Switzerland.
    Track Allocation in Freight-Train Classification with Mixed Tracks2011Ingår i: OpenAccess Series in Informatics, Volume 20, 2011, 2011, s. 38-51Konferensbidrag (Refereegranskat)
    Abstract [en]

    We consider the process of forming outbound trains from cars of inbound trains at rail-freight hump yards. Given the arrival and departure times as well as the composition of the trains, we study the problem of allocating classification tracks to outbound trains such that every outbound train can be built on a separate classification track. We observe that the core problem can be formulated as a special list coloring problem in interval graphs, which is known to be NP-complete. We focus on an extension where individual cars of different trains can temporarily be stored on a special subset of the tracks. This problem induces several new variants of the list-coloring problem, in which the given intervals can be shortened by cutting off a prefix of the interval. We show that in case of uniform and sufficient track lengths, the corresponding coloring problem can be solved in polynomial time, if the goal is to minimize the total cost associated with cutting off prefixes of the intervals. Based on these results, we devise two heuristics as well as an integer program to tackle the problem. As a case study, we consider a real-world problem instance from the Hallsberg Rangerbangard hump yard in Sweden. Planning over horizons of seven days, we obtain feasible solutions from the integer program in all scenarios, and from the heuristics in most scenarios.

  • 298.
    Bohlin, Markus
    et al.
    SICS.
    Forsgren, Malin
    SICS.
    Holst, Anders
    SICS.
    Levin, Björn
    SICS.
    Aronsson, Martin
    SICS.
    Steinert, Rebecca
    SICS.
    Reducing vehicle maintenance using condition monitoring and dynamic planning2008Ingår i: In Proc. of the 4th IET Intl. Conf. on Railway Condition Monitoring (RCM’08), June 2008, 2008, Vol. 2216Konferensbidrag (Refereegranskat)
  • 299.
    Bohlin, Markus
    et al.
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Hänninen, Kaj
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Mäki-Turja, Jukka
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Shared Stack Analysis in Transaction-Based Systems2007Ingår i: Work in Progress Proceedings RTSS'07, Tucson, Arizona, USA, 2007, s. 37-40Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this paper, we present our ongoing work on shared stack analysis for hybrid (static and dynamic) scheduled fixed priority systems. We present two methods that extend our previous work to support stack analysis for the general tasks model with offsets where several transactions can share a common run-time stack. The aim of this work is to support stack analysis of a wider range of systems. 

  • 300.
    Bohlin, markus
    et al.
    SICS.
    Lu, Yue
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Kraft, Johan
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Kreuger, Per
    SICS, Sweden.
    Nolte, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Best-Effort Simulation-Based Timing Analysis using Hill-Climbing with Random Restarts2009Ingår i: In Proc. of RTCSA, Aug. 2009., 2009Konferensbidrag (Refereegranskat)
3456789 251 - 300 av 1851
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