Change search
Refine search result
1234 151 - 162 of 162
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.
  • 151.
    Vedder, Benjamin
    et al.
    Department of Electronics, SP Technical Research Institute of Sweden, Borås, Sweden.
    Vinter, Jonny
    Department of Electronics, SP Technical Research Institute of Sweden, Borås, Sweden.
    Jonsson, Magnus
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Using Simulation, Fault Injection and Property-Based Testing to Evaluate Collision Avoidance of a Quadcopter System2015In: 2015 IEEE International Conference on Dependable Systems and Networks Workshops (DSN-W) / [ed] Juan E. Guerrero, Los Alamitos, CA: IEEE Computer Society, 2015, p. 104-111Conference paper (Refereed)
    Abstract [en]

    In this work we use our testing platform based on FaultCheck and QuickCheck that we apply on a quadcopter simulator. We have used a hardware platform as the basis for the simulator and for deriving realistic fault models for our simulations. The quadcopters have a collision-avoidance mechanism that shall take over control when the situation becomes hazardous, steer away from the potential danger and then give control back to the pilot, thereby preventing collisions regardless of what the pilot does. We use our testing platform to randomly generate thousands of simulations with different input stimuli (using QuickCheck) for hundreds of quadcopters, while injecting faults simultaneously (using FaultCheck). This way, we can effectively adjust system parameters and enhance the collision-avoidance mechanism. © 2015 IEEE

  • 152.
    Wang, Bin
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Jonsson, Magnus
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Fan, Xing
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Analysis of Efficient TDMA Schedules via the Fat-Tree Network with Real-Time Many-to-Many Communication2006In: Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks: as part of the 24th IASTED International Multi-Conference on Applied Informatics : February 14-16, 2006, Innsbruck, Austria, Anaheim, CA: ACTA Press, 2006, p. 192-197Conference paper (Refereed)
    Abstract [en]

    The Real-Time Many-to-Many (RTM2M) communication pattern is widely used in many parallel and distributed computing applications with time constraints such as radar signal processing. In this paper, we propose how to use TDMA (Time Division Multiple Access) to achieve efficient support for RTM2M over the fat-tree network built up on 4×2 switches (four children and two parents). Moreover, we have compared four different TDMA schedules in terms of the end-to-end delay and network utilization [1] and presented two of them in detail hereby. The general formulas of the end-to-end delay of two of the most interesting schedules are derived and simulations are represented to both verify the formulas and provide support for the conclusion from the viewpoint of the network utilization.

  • 153.
    Wecksten, Mattias
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Embedded Systems (CERES).
    Jonsson, Magnus
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Embedded Systems (CERES).
    Less pessimistic worst-case delay analysis for packet-switched networks2008In: IEEE International Conference on Emerging Technologies and Factory Automation, 2008. ETFA 2008, Piscataway, N.J.: IEEE Press, 2008, p. 1213-1219Conference paper (Refereed)
    Abstract [en]

    The rapid growth of distributed real-time systems creates a need for cheap and available network solutions while still fulfilling the real-time requirements. In this paper we propose a method for less pessimistic delay analysis for packet switched first come first serve network, when knowing the intervals of possible message generation. Experiments show that the proposed method generates the expected results according to theoretical limitations of the experiment cases. The experiments also show that the proposed method could be practically used for non-trivial systems. Suggestions are given for future work on how to relax traffic requirements and how to cope with circular dependencies.

  • 154.
    Wecksten, Mattias
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Vasell, Jonas
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Jonsson, Magnus
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Towards a tool for derivation of implementation constraints2004In: Ninth IEEE International Conference on Engineering Complex Computer Systems, 2004. Proceedings, Piscataway, N.J.: IEEE , 2004, p. 119-127Conference paper (Refereed)
    Abstract [en]

    An increasing concern in the development of embedded systems is that fundamental design problems often remain undetected until the final tests, after implementation and integration of all components, or maybe even later - at runtime. This is particularly important when it comes to meeting nonfunctional constraints such as performance or resource utilization requirements. Correcting problems with their sources in design, after implementation, may be very costly as it often requires both redesign and re-implementation. Therefore, much effort has been put into the development of methods and tools that help system designers and developers to detect problems as early as possible during system development. This paper contributes with an addition to that field by presenting and evaluating the practical usefulness of a method that makes it possible to detect problems in system design and dimensioning, even before all components of the system have been fully implemented. Evaluation of the proposed method has been done through 17 different case studies with different characteristics, focusing particularly on realtime latency requirements for tasks on homogeneous single bus platforms. The evaluation indicates a practical method that can be turned into a powerful tool. The presented principles can be extended to wider classes of constraints and systems.

  • 155.
    Weckstén, Mattias
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Jonsson, Magnus
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Vasell, J.
    Generic Systems Sweden AB.
    Derivation of implementation constraints - implementation simulation and treatment of multiple design choices2005In: Proceedings: 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005, 16-20 June 2005, Shanghai, China, Los Alamitos, Calif.: IEEE Computer Society, 2005, p. 459-466Conference paper (Refereed)
    Abstract [en]

    The industrial use of ad hoc implementation methods for non-functional constrained tasks has resulted in unnecessary expensive projects. In some cases, ad hoc methods result in overly many iterations to be made and in some severe cases, total project breakdown. To be able to solve these problems a method has been developed to derive end-to-end non-functional constraints, such as timing requirements, to task-level constraints and to promote this information to the implementation phase of the project. For a tool, as the one described above, to be really useful it is important to be able to show that there is a potential cost reduction to be made. To be able to show that a certain implementation method costs less in work hours than to use an ad hoc implementation method, a model for implementation simulation with support for multiple implementation alternatives has been developed. The experiments show that using the budget based implementation method leads to a significant cost reduction in most cases, compared to the ad hoc method. As far as we know, no similar experiments have been done to compare implementation methods.

  • 156.
    Weckstén, Mattias
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Embedded Systems (CERES).
    Jonsson, Magnus
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Embedded Systems (CERES).
    Vasell, Jonas
    Generic Systems Sweden AB, Stockholm, Sweden.
    Derivation of implementation constraints – implementation simulation and treatment of multiple design choices2007In: Proc. of the 9th biennial SNART Conference on Real-Time Systems (Real-Time in Sweden – RTiS’07), Västerås, Sweden, Aug. 21-22, 2007, p. 21-28Conference paper (Refereed)
    Abstract [en]

    The industrial use of ad hoc implementation methods for non-functional constrained tasks has resulted in unnecessary expensive projects. In some cases, ad hoc methods result in overly many iterations to be made and in some severe cases, total project breakdown. To be able to solve these problems a method has been developed to derive end-to-end non-functional constraints, such as timing requirements, to task-level constraints and to promote this information to the implementation phase of the project. For a tool, as the one described above, to be really useful it is important to be able to show that there is a potential cost reduction to be made. To be able to show that a certain implementation method costs less in work hours than to use an ad hoc implementation method, a model for implementation simulation with support for multiple implementation alternatives has been developed. The experiments show that using the budget based implementation method leads to a significant cost reduction in most cases, compared to the ad hoc method. As far as we know, no similar experiments has been done to compare implementation methods.

  • 157.
    Weckstén, Mattias
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Embedded Systems (CERES).
    Vassell, Jonas
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Embedded Systems (CERES).
    Jonsson, Magnus
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Embedded Systems (CERES).
    A tool for derivation of implementation constraints: – evaluation using implementation simulation2004In: RTSS 2004 WIP Proceedings, The 25th IEEE International Real-Time Systems Symposium, IEEE , 2004, p. 4-Conference paper (Refereed)
    Abstract [en]

    The industrial use of ad hoc implementation methods for non-functional constrained tasks has sometimes resulted in unnecessary expensive projects. In some cases, ad hoc methods result in overly many iterations to be made and in some severe cases, total project breakdown. To be able to solve these problems a new method has been developed to derive end-to-end non-functional constraints, such as performance or resource utilization requirements, to task-level constraints and to promote this information to the implementation phase of the project. For a tool to be really useful it is important to be able to show the usability and potential cost reduction. To be able to show that a certain implementation method costs less in work hours than to use an ad hoc implementation method, a model for implementation simulation has been developed. As far as we know, no similar experiments has been done to compare implementation methods.

  • 158.
    Yu, Rong
    et al.
    Guangdong University of Technology, Guangzhou, China.
    Ding, Jiefei
    Guangdong University of Technology, Guangzhou, China.
    Zhong, Weifeng
    Guangdong University of Technology, Guangzhou, China.
    Zhang, Yan
    Simula Research Laboratory, Fornebu, Norway.
    Gjessing, Stein
    University of Oslo, Oslo, Norway.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Jonsson, Magnus
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Price-based Energy Control for V2G Networks in the Industrial Smart Grid2015In: Proceedings of the 2015 1st International Conference on Industrial Networks and Intelligent Systems: INISCom: Tokyo, Japan: March 2-4, 2015, Piscataway, NJ: IEEE, 2015, p. 107-112, article id 7157830Conference paper (Refereed)
    Abstract [en]

    The energy crisis and global warming call for a new industrial revolution in production and distribution of renewable energy. Distributed power generation will be well developed int he new smart electricity distribution grid, in which robust power distribution will be the key technology. In this paper, we presenta new vehicle-to-grid (V2G) network for energy transfer, in which distributed renewable energy helps the power grid balance demand and supply. Plug-in hybrid electric vehicles (PHEVs) will act as transporters of electricity for distributed renewable energy dispatching. We formulate and analyze the V2G network within the theoretical framework of complex network. We also employthe generalized synchronization method to study the dynamic behavior of V2G networks. Furthermore, we develop a new price-based energy control method to stimulate the PHEV’s behavior of charging and discharging. Simulation results indicate that the V2G network can achieve synchronization and each region is able to balance energy supply and demand through price-based control. © 2015 ICST.

  • 159.
    Yu, Rong
    et al.
    Guangdong University of Technology, Guangzhou, China.
    Huang, Xumin
    Guangdong University of Technology, Guangzhou, China.
    Kang, Jiawen
    Guangdong University of Technology, Guangzhou, China.
    Yuen, Chau
    Singapore University of Technology and Design, Singapore, Singapore.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Jonsson, Magnus
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Gjessing, Stein
    Simula Research Laboratory & Department of Informatics, University of Oslo, Oslo, Norway.
    Zhang, Yan
    Simula Research Laboratory & Department of Informatics, University of Oslo, Oslo, Norway.
    An Optimal Replenishment Strategy in Energy Harvesting Wireless Networks with A Mobile Charger2015In: 11th EAI International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness / [ed] Der-Jiunn Deng, Lei Shu, Chih-Cheng Tseng, Chun-Cheng Lin, Neeli R. Prasad & Tony Quek, Taipei: Institute for Computer Sciences (ICST) , 2015Conference paper (Refereed)
    Abstract [en]

    Energy harvesting wireless network is an emerging paradigm where the wireless nodes harvest energy to increase their lifetime. Due to high potential for a large variety of applications, such networks have drawn considerable attention in both industry and academia. In this paper, we consider the energy replenishment problem when the wireless nodes not only harvest energy from the ambient environment but also may receive energy from a mobile charger. We propose an optimal energy replenishment strategy using stochastic inventory theory to derive the optimal amount of energy supplied by the mobile charger. The simulation results show that our proposed scheme not only optimizes the energy utilization, but also improves the economic benefit of the wireless nodes. Copyright © 2015–2015 ICST

  • 160.
    Zhang, Ke
    et al.
    University of Electronic Science and Technology of China, Chengdu, China.
    Mao, Yuming
    University of Electronic Science and Technology of China, Chengdu, China.
    Leng, Supeng
    University of Electronic Science and Technology of China, Chengdu, China.
    Maharjan, Sabita
    Simula Research Laboratory, Oslo, Norway.
    Zhang, Yan
    Simula Research Laboratory, Oslo, Norway.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Jonsson, Magnus
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Incentive-Driven Energy Trading in the Smart Grid2016In: IEEE Access, E-ISSN 2169-3536, Vol. 4, p. 1243-1257, article id 7436757Article in journal (Refereed)
    Abstract [en]

    The smart grid is widely considered as an efficient and intelligent power system. With the aid of communication technologies, the smart grid can enhance the efficiency and reliability of the grid system through intelligent energy management. However, with the development of new energy sources, storage and transmission technologies together with the heterogeneous architecture of the grid network, several new features have been incorporated into the smart grid. These features make the energy trading more complex and pose a significant challenge on designing efficient trading schemes. Based on this motivation, in this paper, we present a comprehensive review of several typical economic incentive approaches adopted in the energy-trading control mechanisms. We focus on the technologies that address the challenges specific to the new features of the smart grid. Furthermore, we investigate the energy trading in a new cloud-based vehicle-to-vehicle energy exchange scenario. We propose an optimal contract-based electricity trading scheme, which efficiently increases the generated profit. © 2013 IEEE.

  • 161.
    Zhang, Yan
    et al.
    Department of Informatics, University of Oslo, Oslo, Norway.
    Jonsson, Magnus
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Li, Minqiang
    Department of Information Management and Management Science, Tianjin University, Tianjin, China.
    Guest editorial special issue on industrial IoT systems and applications2017In: IEEE Systems Journal, ISSN 1932-8184, E-ISSN 1937-9234, Vol. 11, no 3, p. 1337-1339, article id 8052330Article in journal (Other academic)
  • 162.
    Zhang, Yan
    et al.
    School of Electrical and Electronics Engineering, Nanyang Technological University, Singapore, Singapore.
    Jonsson, MagnusHalmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).Li, MinqiangDepartment of Information Management and Management Science, College of Management and Economics, Tianjin University, Tianjin Shi, China.
    Special Issue on Industrial IoT Systems and Applications2017Collection (editor) (Refereed)
1234 151 - 162 of 162
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf