mdh.sePublications
Change search
Refine search result
1234567 101 - 150 of 1404
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.
  • 101. Ashjaei, Mohammad
    et al.
    Khalilzad, Nima
    Qamcom Research and Technology, Stockholm, Sweden.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Modeling, Designing and Analyzing Resource Reservations in Distributed Embedded Systems2018In: Real-Time Modelling and Processing for Communication Systems / [ed] Springer, Springer , 2018, p. 203-256Chapter in book (Other academic)
  • 102.
    Ashjaei, Mohammad
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Khalilzad, Nima
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. IS (Embedded Systems).
    Behnam, Moris
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sander, Ingo
    Royal Institute of Technology, Sweden.
    Almeida, Luis
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Nolte, Thomas
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Designing End-to-end Resource Reservations in Predictable Distributed Embedded Systems2017In: Real-time systems, ISSN 0922-6443, E-ISSN 1573-1383, Vol. 53, no 6, p. 916-956Article in journal (Refereed)
    Abstract [en]

    Contemporary distributed embedded systems in many domains have become highly complex due to ever-increasing demand on advanced computer controlled functionality. The resource reservation techniques can be effective in lowering the software complexity, ensuring predictability and allowing flexibility during the development and execution of these systems. This paper proposes a novel end-to-end resource reservation model for distributed embedded systems. In order to support the development of predictable systems using the proposed model, the paper provides a method to design resource reservations and an end-to-end timing analysis. The reservation design can be subjected to different optimization criteria with respect to runtime footprint, overhead or performance. The paper also presents and evaluates a case study to show the usability of the proposed model, reservation design method and end-to-end timing analysis. 

  • 103.
    Ashjaei, Mohammad
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Behnam, Moris
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Almeida, Luis
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Nolte, Thomas
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    End-to-end Resource Reservations in Distributed Embedded Systems2016In: Proceedings - 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2016, 2016, p. 1-11, article id 7579921Conference paper (Refereed)
    Abstract [en]

    The resource reservation techniques provide effective means to lower the software complexity, ensure predictability and allow flexibility during the development and execution of complex distributed embedded systems. In this paper we propose a new end-to-end resource reservation model for distributed embedded systems. The model is comprehensive in such a way that it supports end-to-end resource reservations on distributed transactions with various activation patterns that are commonly used in industrial control systems. The model allows resource reservations on processors and real-time network protocols. We also present timing analysis for the distributed embedded systems that are developed using the proposed model. The timing analysis computes the end-to-end response times as well as delays such as data age and reaction delays. The presented analysis also supports real-time networks that can autonomously initiate transmissions. Such networks are not supported by the existing analyses. We also include a case study to show the usability of the model and end-to-end timing analysis with resource reservations.

  • 104.
    Ashjaei, Mohammad
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Behnam, Moris
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Nolte, Thomas
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    End-to-end Resource Reservation Model2016Manuscript (preprint) (Other academic)
  • 105.
    Ashjaei, Mohammad
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Patti, Gaetano
    University of Catania, Italy.
    Behnam, Moris
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Nolte, Thomas
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Alderisi, Giuliana
    University of Catania, Italy.
    Lo Bello, Lucia
    University of Catania, Italy.
    Schedulability Analysis of Ethernet Audio Video Bridging Networks with Scheduled Traffic Support2017In: Real-time systems, ISSN 0922-6443, E-ISSN 1573-1383, Vol. 53, no 4, p. 526-577Article in journal (Refereed)
    Abstract [en]

    The IEEE Audio Video Bridging (AVB) technology is nowadays under consideration in several automation domains, such as, automotive, avionics, and industrial communications. AVB offers several benefits, such as open specifications, the existence of multiple providers of electronic components, and the real-time support, as AVB provides bounded latency to real-time traffic classes. In addition to the above mentioned properties, in the automotive domain, comparing with the existing in-vehicle networks, AVB offers significant advantages in terms of high bandwidth, significant reduction of cabling costs, thickness and weight, while meeting the challenging EMC/EMI requirements. Recently, an improvement of the AVB protocol, called the AVB ST, was proposed in the literature, which allows for supporting scheduled traffic, i.e., a class of time-sensitive traffic that requires time-driven transmission and low latency. In this paper, we present a schedulability analysis for the real-time traffic crossing through the AVB ST network. In addition, we formally prove that, if the bandwidth in the network is allocated according to the AVB standard, the schedulability test based on response time analysis will fail for most cases even if, in reality, these cases are schedulable. In order to provide guarantees based on analysis test a bandwidth over-reservation is required. In this paper, we propose a solution to obtain a minimized bandwidth over-reservation. To the best of our knowledge, this is the first attempt to formally spot the limitation and to propose a solution for overcoming it. The proposed analysis is applied to both the AVB standard and the AVB ST. The analysis results are compared with the results of several simulative assessments, obtained using OMNeT++, on both automotive and industrial case studies. The comparison between the results of the analysis and the simulation ones shows the effectiveness of the analysis proposed in this work.

  • 106.
    Ashjaei, Mohammad
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Pedreiras, P.
    University of Aveiro, Aveiro, Portugal .
    Behnam, Moris
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Almeida, L.
    University of Porto, Porto, Portugal.
    Nolte, Thomas
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Evaluation of dynamic reconfiguration architecture in multi-hop switched ethernet networks2014In: 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014, 2014, p. Article number 7005322-Conference paper (Refereed)
    Abstract [en]

    On-the-fly adaptability and reconfigurability are recently becoming an interest in real-time communications. To assure a continued real-time behavior, the admission control with a quality-of-service mechanism is required, that screen all adaptation and reconfiguration requests. In the context of switched Ethernet networks, the FTT-SE protocol provides adaptive real-time communication. Recently, we proposed two methods to perform the online reconfiguration in multi-hop FTT-SE architectures. However, the methods lack the experimental evaluation. In this paper, we evaluate both methods in terms of the reconfiguration time. 

  • 107.
    Ashjaei, Mohammad
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Pedreiras, P.
    DETI/IT, University of Aveiro, Aveiro, Portugal .
    Behnam, Moris
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Bril, Reinder J.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Technische Universiteit Eindhoven (TU/e), Netherlands .
    Almeida, L.
    Technische Universiteit Eindhoven (TU/e), Netherlands .
    Nolte, Thomas
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Response time analysis of multi-hop HaRTES Ethernet Switch networks2014In: IEEE Int. Workshop Factory Commun. Syst. Proc. WFCS, 2014Conference paper (Refereed)
    Abstract [en]

    In this paper we focus on micro-segmented switched-Ethernet networks with HaRTES switches. HaRTES switches provide synchronous and asynchronous real-time traffic scheduling, dynamic Quality-of-Service adaptation and transparent integration of real-time and non-real-time nodes. Herein we investigate the challenges of connecting multiple HaRTES switches in order to build multi-hop communication and we propose a method, named Distributed Global Scheduling, to handle the traffic forwarding in such an architecture while preserving the unique properties of the single HaRTES switch case. Moreover, we develop a response time analysis for the method. We also evaluate the level of pessimism embodied in the anal-ysis. Finally, we show the applicability of the proposed method in an industrial setting by applying it in an automotive case study.

  • 108.
    Ashjaei, Mohammad
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Pedreiras, Paulo
    University of Aveiro, Portugal.
    Behnam, Moris
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Almeida, Luis
    University of Porto, Portugal.
    Nolte, Thomas
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Dynamic Reconfiguration in Multi-Hop Switched Ethernet Networks2014In: ACM SIGBED Review. Special Issue on 6th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2014), ISSN 1551-3688, Vol. 11, no 3, p. 62-65Article in journal (Refereed)
    Abstract [en]

    The FTT-SE protocol provides adaptive real-time communication on Ethernet networks. To assure a continued real-time behavior, FTT-SE integrates admission control with a quality-of-service mechanism, which screen all adaptation and reconfiguration requests, accepting only those that do not compromise the system timeliness. The adaptability and reconfigurability have been deeply studied in the case of single switch FTT-SE architectures, whereas the extension of that for the multi-hop FTT-SE architecture was not yet investigated. Therefore, in this paper we study the challenges of enabling dynamic reconfiguration in multi-hop FTT-SE networks, we propose two methods (one centralized and one distributed) and we present a qualitative comparison between them.

  • 109.
    Ashjaei, Mohammad
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Pedreiras, Paulo
    University of Aveiro, Portugal.
    Behnam, Moris
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Almeida, Luis
    University of Porto, Portugal.
    Nolte, Thomas
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Supporting Multi-Hop Communications with HaRTES Ethernet Switches2013Conference paper (Refereed)
    Abstract [en]

    In this paper we identify the challenges of multi-hop communication when using a micro-segmented switched-Ethernet protocol with enhanced HaRTES switches. The HaRTES architecture has been explored in the scope of single-switch topology, and provides dynamic virtual channels that can be composed hierarchically and provide bounded latency together with temporal isolation. Herein we propose two different solutions regarding the traffic forwarding in multi-switch architectures, while maintaining the unique properties of the single HaRTES switch case. In the first approach, the traffic is buffered and scheduled sequentially in each hop. In the second solution the traffic is scheduled once and forwarded immediately through multiple switches without buffering. In this paper we present a brief comparison of both approaches and we report on the on-going work towards effective support to real-time communications in dynamic and complex Cyber-Physical Systems.

  • 110.
    Ashjaei, Mohammad
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. MRTC Malardalen Univ, Vasteras, Sweden..
    Silva, Luis
    DETI IT Univ Aveiro, Aveiro, Portugal..
    Behnam, Moris
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. MRTC Malardalen Univ, Vasteras, Sweden..
    Pedreiras, Paulo
    DETI IT Univ Aveiro, Aveiro, Portugal..
    Bril, Reinder J.
    Tech Univ Eindhoven TU E, Eindhoven, Netherlands..
    Almeida, Luis
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. MRTC Malardalen Univ, Vasteras, Sweden.;IT DEEC Univ Porto, Oporto, Portugal..
    Nolte, Thomas
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. MRTC Malardalen Univ, Vasteras, Sweden..
    Improved Message Forwarding for Multi-Hop HaRTES Real-Time Ethernet Networks2016In: Journal of Signal Processing Systems, ISSN 1939-8018, E-ISSN 1939-8115, Vol. 84, no 1, p. 47-67Article in journal (Refereed)
    Abstract [en]

    Nowadays, switched Ethernet networks are used in complex systems that encompass tens to hundreds of nodes and thousands of signals. Such scenarios require multi-switch architectures where communications frequently occur in multiple hops. In this paper we investigate techniques to allow efficient multi-hop communication using HaRTES switches. These are modified Ethernet switches that provide real-time traffic scheduling, dynamic bandwidth management and temporal isolation between real-time and non-real-time traffic. This paper addresses the problem of forwarding traffic in HaRTES networks. Two methods have been recently proposed, namely Distributed Global Scheduling (DGS) that buffers traffic between switches, and Reduced Buffering Scheme (RBS), that uses immediate forwarding. In this paper, we discuss the design and implementation of RBS within HaRTES and we carry out an experimental validation with a prototype implementation. Then, we carry out a comparison between RBS and DGS using worst-case response time analysis and simulation. The comparison clearly establishes the superiority of RBS concerning end-to-end response times. In fact, with sample message sets, we achieved reductions in end-to-end delay that were as high as 80 %.

  • 111.
    Ashjaei, Seyed Mohammad Hossein
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Bengtsson, Marcus
    Mälardalen University, School of Innovation, Design and Engineering, Innovation and Product Realisation. IS (Embedded Systems).
    Enhancing Smart Maintenance Management Using Fog Computing Technology2017In: 2017 International Conference on Industrial Engineering and Engineering Management IEEM, 2017, p. 1561-1565Conference paper (Refereed)
    Abstract [en]

    In order for factories to stay competitive in the current open global market, there should be efforts to put on optimizing the value stream of producing goods. Within this context, Industrial Internet of Things (IIoT) has been emerged as a technology aiming at achieving high productivity performance in manufacturing. A smart manufacturing approach also requires a smart maintenance management as it plays a crucial role in securing the productivity. IIoT applications are traditionally completed by the cloud computing technology to serve the required services. In this paper, we argue that maintenance processes have requirements that cannot be accomplished by solely the cloud computing technology. We identify several of these requirements. Then, we propose a platform using the fog computing technology, as a recently raised technology in IIoT, to enhance the smart maintenance management. We also discuss the ability of the platform in fulfilling the identified requirements.

  • 112.
    Ashjaei, Seyed Mohammad Hossein
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Clegg, Kester
    University of York, UK.
    Corneo, Lorenzo
    Uppsala University, Sweden.
    Hawkins, Richard
    University of York, UK.
    Jaradat, Omar
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Gulisano, Vincenzo
    Chalmers University of Technology, Göteborg, Sweden.
    Nikolakopoulos, Yiannis
    Chalmers University of Technology, Göteborg, Sweden.
    Service Level Agreements for Safe and Configurable Production Environments2018In: International Conference on Emerging Technologies and Factory Automation - Work in Progress Session ETFA-WiP'18, Torino, Italy, 2018Conference paper (Refereed)
    Abstract [en]

    This paper focuses on Service Level Agreements (SLAs) for industrial applications that aim to port some of the control functionalities to the cloud. In such applications, industrial requirements should be reflected in SLAs. In this paper, we present an approach to integrate safety-related aspects of an industrial application to SLAs. We also present the approach in a use case. This is an initial attempt to enrich SLAs for industrial settings to consider safety aspects, which has not been investigated thoroughly before.

  • 113.
    Ashjaei, Seyed Mohammad Hossein
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Lundbäck, John
    Arcticus Systems AB, Sweden.
    Gålnander, Mattias
    Arcticus Systems AB, Sweden.
    Lundbäck, Kurt-Lennart
    Arcticus Systems AB, Sweden.
    Nolte, Thomas
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Modeling and Timing Analysis of Vehicle Functions Distributed over Switched Ethernet2017In: IECON 2017 - 43RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2017, p. 8419-8424Conference paper (Refereed)
    Abstract [en]

    This paper proposes an approach to model switched Ethernet communication within a model- and component-based software development framework for vehicular distributed embedded systems. The paper also presents a method to extract the network timing model from the systems that use switched Ethernet networks. In order to provide a proof of concept, an existing industrial component model and its tool suite, namely RCM and Rubus-ICE respectively, are extended by implementing the modeling technique, the timing model extraction method and response-time analysis of the Ethernet AVB protocol. The extensions to RCM are backward compatible with the modeling and end-to-end timing analysis of traditional in-vehicle networks and legacy (previously developed) vehicular distributed embedded systems. Furthermore, the paper discusses the implementation and test strategy used in this work. Finally, the usability of the modeling approach and implemented timing analysis is demonstrated by modeling and time analyzing a vehicular application case study with the extended component model and tool suite.

  • 114.
    Ask, P.
    et al.
    Department of Biomedical Engineering, Linköping University, Sweden.
    Ekstrand, K.
    ?.
    Hult, P.
    Department of Biomedical Engineering, Linköping University, Sweden.
    Lindén, Maria
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Pettersson, N. -E
    Örebro County Council, Sweden.
    NovaMedTech - A regional program for supporting new medical technologies in personalized health care2012In: Studies in Health Technology and Informatics, 2012, p. 71-75Conference paper (Refereed)
    Abstract [en]

    NovaMedTech is an initiative funded from EU structural funds for supporting new medical technologies for personalized health care. It aims at bringing these technologies into clinical use and to the health care market. The program has participants from health care, industry and academia in East middle Sweden. The first three year period of the program was successful in terms of product concepts tried clinically, and number of products brought to a commercialization phase. Further, the program has led to a large number of scientific publications. Among projects supported, we can mention: Intelligent sensor networks; A digital pen to collect medical information about health status from patients; A web-based intelligent stethoscope; Methodologies to measure local blood flow and nutrition using optical techniques; Blood flow assessment from ankle pressure measurements; Technologies for pressure ulcer prevention; An IR thermometer for improved accuracy; A technique that identifies individuals prone to commit suicide among depressed patients; Detection of infectious disease using an electronic nose; Identification of the lactate threshold from breath; Obesity measurements using special software and MR camera; and An optical probe guided tumor resection. During the present three years period emphasis will be on entrepreneurial activities supporting the commercialization and bringing products to the market.

  • 115.
    Aslam, Mudassar
    Mälardalen University, School of Innovation, Design and Engineering. Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Bringing Visibility in the Clouds: using Security, Transparency and Assurance Services2014Doctoral thesis, comprehensive summary (Other academic)
    Abstract [en]

    The evolution of cloud computing allows the provisioning of IT resources over the Internet and promises many benefits for both - the service users and providers. Despite various benefits offered by cloud based services, many users hesitate in moving their IT systems to the cloud mainly due to many new security problems introduced by cloud environments. In fact, the characteristics of cloud computing become basis of new problems, for example, support of third party hosting introduces loss of user control on the hardware; similarly, on-demand availability requires reliance on complex and possibly insecure API interfaces; seamless scalability relies on the use of sub-providers; global access over public Internet exposes to broader attack surface; and use of shared resources for better resource utilization introduces isolation problems in a multi-tenant environment. These new security issues in addition to existing security challenges (that exist in today's classic IT environments) become major reasons for the lack of user trust in cloud based services categorized in Software-as-a-Service (SaaS), Platform-as-a-Service (PaaS) or Infrastructure-as-a-Service (IaaS).

    The focus of this thesis is on IaaS model which allows users to lease IT resources (e.g. computing power, memory, storage, etc.) from a public cloud to create Virtual Machine (VM) instances. The public cloud deployment model considered in this thesis exhibits most elasticity (i.e. degree of freedom to lease/release IT resources according to user demand) but is least secure as compared to private or hybrid models. As a result, public clouds are not trusted for many use cases which involve processing of security critical data such as health records, financial data, government data, etc. However, public IaaS clouds can also be made trustworthy and viable for these use cases by providing better transparency and security assurance services for the user. In this thesis, we consider such assurance services and identify security aspects which are important for making public clouds trustworthy. Based upon our findings, we propose solutions which promise to improve cloud transparency thereby realizing trustworthy clouds.

    The solutions presented in this thesis mainly deal with the secure life cycle management of the user VM which include protocols and their implementation for secure VM launch and migration. The VM launch and migration solutions ensure that the user VM is always hosted on correct cloud platforms which are setup according to a profile that fulfills the use case relevant security requirements. This is done by using an automated platform security audit and certification mechanism which uses trusted computing and security automation techniques in an integrated solution. In addition to provide the assurance about the cloud platforms, we also propose a solution which provides assurance about the placement of user data in correct and approved geographical locations which is critical from many legal aspects and usually an important requirement of the user. Finally, the assurance solutions provided in this thesis increase cloud transparency which is important for user trust and to realize trustworthy clouds.

  • 116.
    Aslam, Mudassar
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Gehrmann, Christian
    SICS Swedish ICT, Sweden.
    Björkman, Mats
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    ASArP: Automated Security Assessment & Audit of Remote Platforms: using TCG-SCAP synergies2015In: Journal of Internet Services and Applications JISA-14, ISSN 1869-0238, Vol. 22, p. 28-39Article in journal (Refereed)
    Abstract [en]

    Many enterprise solutions today are built upon complex distributed systems which are accessible to the users globally. Due to this global access, the security of the host platforms becomes critical. The platform administrators use security automation techniques such as those provided by Security Content Automation Protocol (SCAP) standards to protect the systems from the vulnerabilities that are reported daily; furthermore, they are responsible for keeping their systems compliant to the relevant security recommendations (governmental or industrial). Additionally, third party audit and certification processes are used to increase user trust in enterprise solutions. However, traditional audit and certification mechanisms are not continuous, that is, not frequent enough to deal with the daily reported vulnerabilities, and for that matter even auditors expect platform administrators to keep the systems updated. As a result, the end user is also forced to trust the platform administrators about the latest state of the platform. In this paper we develop an automated security audit and certification system (ASArP) which can be used by platform users or by third party auditors. We use security automation techniques for continuous monitoring of the platform security posture and make the results trustworthy by using trusted computing (TCG) techniques. The prototype development of ASArP validates the implementation feasibility; it also provides performance benchmarks which show that the ASArP based audit and certification can be done much more frequently (e.g. daily or weekly). The feasibility of ASArP based continuous audits is significantly better than traditional platform audits which are dependent on the physical presence of the auditors, thus making frequent audits much more expensive and operationally infeasible.

  • 117.
    Astrand, Elaine
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ekström, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Extraction of working memory load and the importance of understanding the temporal dynamics2017In: International IEEE/EMBS Conference on Neural Engineering, NER, IEEE Computer Society , 2017, p. 641-647, article id 8008433Conference paper (Refereed)
    Abstract [en]

    Working memory processing is central for higher-order cognitive functions. Although the ability CP to access and extract working memory load has been proven feasible, the temporal resolution is low and cross-task generalization is poor. In this study, EEG oscillatory activity CP was recorded from sixteen healthy subjects while they performed two versions of the visual n-back task. Observed effects in the working memory-related EEG oscillatory activity CP, specifically in theta, alpha and low beta power, are significantly different in the two tasks (i.e. two categories of visual stimuli) and these differences are greatest after image onset. Furthermore, cross-task generalization can be obtained by concatenating both tasks and although similar performances are observed before and after image onset, this study highlights the complexity CP of working memory processing related to different categories of visual stimuli, particularly after image onset, that are crucial to understand, in order to interpret the extraction of working memory load.

  • 118.
    Astrand, Elaine
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Univ Lyon 1, Dept Neurosci Cognit, CNRS UMR 5229, Inst Sci Cognit Marc Jeannerod, 67 Blvd Pinel, F-69675 Bron, France.;Malardalen Univ, IDT, Hogskoleplan 1, S-72123 Vasteras, Sweden..
    Wardak, Claire
    Univ Lyon 1, Dept Neurosci Cognit, CNRS UMR 5229, Inst Sci Cognit Marc Jeannerod, 67 Blvd Pinel, F-69675 Bron, France..
    Baraduc, Pierre
    Univ Lyon 1, Dept Neurosci Cognit, CNRS UMR 5229, Inst Sci Cognit Marc Jeannerod, 67 Blvd Pinel, F-69675 Bron, France..
    Ben Hamed, Suliann
    Univ Lyon 1, Dept Neurosci Cognit, CNRS UMR 5229, Inst Sci Cognit Marc Jeannerod, 67 Blvd Pinel, F-69675 Bron, France..
    Direct Two-Dimensional Access to the Spatial Location of Covert Attention in Macaque Prefrontal Cortex2016In: Current Biology, ISSN 0960-9822, E-ISSN 1879-0445, Vol. 26, no 13, p. 1699-1704Article in journal (Refereed)
    Abstract [en]

    Direct access to motor cortical information now enables tetraplegic patients to precisely control neuroprostheses and recover some autonomy. In contrast, explicit access to higher cortical cognitive functions, such as covert attention, has been missing. Indeed, this cognitive information, known only to the subject, can solely be inferred by an observer from the subject's overt behavior. Here, we present direct two-dimensional real-time access to where monkeys are covertly paying attention, using machine-learning decoding methods applied to their ongoing prefrontal cortical activity. Decoded attention was highly predictive of overt behavior in a cued target-detection task. Indeed, monkeys had a higher probability of detecting a visual stimulus as the distance between decoded attention and stimulus location decreased. This was true whether the visual stimulus was presented at the cued target location or at another distractor location. In error trials, in which the animals failed to detect the cued target stimulus, both the locations of attention and visual cue were misencoded. This misencoding coincided with a specific state of the prefrontal cortical population in which the shared variability between its different neurons (or noise correlations) was high, even before trial onset. This observation strongly suggests a functional link between high noise-correlation states and attentional failure. Overall, this real-time access to the attentional spotlight, as well as the identification of a neural signature of attentional lapses, open new perspectives both to the study of the neural bases of attention and to the remediation or enhancement of the attentional function using neurofeedback.

  • 119.
    Avni, G.
    et al.
    IST Austria, Klosterneuburg, Austria.
    Goel, S.
    IIT Bombay, Mumbai, India.
    Henzinger, T. A.
    IST Austria, Klosterneuburg, Austria.
    Rodriguez-Navas, Guillermo
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Computing scores of forwarding schemes in switched networks with probabilistic faults2017In: Lecture Notes in Computer Science, Volume 10206, Springer Verlag , 2017, p. 169-187Conference paper (Refereed)
    Abstract [en]

    Time-triggered switched networks are a deterministic communication infrastructure used by real-time distributed embedded systems. Due to the criticality of the applications running over them, developers need to ensure that end-to-end communication is dependable and predictable. Traditional approaches assume static networks that are not flexible to changes caused by reconfigurations or, more importantly, faults, which are dealt with in the application using redundancy. We adopt the concept of handling faults in the switches from non-real-time networks while maintaining the required predictability. We study a class of forwarding schemes that can handle various types of failures. We consider probabilistic failures. For a given network with a forwarding scheme and a constant ℓ, we compute the score of the scheme, namely the probability (induced by faults) that at least ℓ messages arrive on time. We reduce the scoring problem to a reachability problem on a Markov chain with a “product-like” structure. Its special structure allows us to reason about it symbolically, and reduce the scoring problem to #SAT. Our solution is generic and can be adapted to different networks and other contexts. Also, we show the computational complexity of the scoring problem is #P-complete, and we study methods to estimate the score. We evaluate the effectiveness of our techniques with an implementation.

  • 120.
    Avni, G.
    et al.
    IST Austria, Klosterneuburg, Austria..
    Guha, S.
    Hebrew Univ Jerusalem, Jerusalem, Israel.
    Rodriguez-Navas, Guillermo
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Synthesizing time-triggered schedules for switched networks with faulty links2016In: Proceedings of the 13th International Conference on Embedded Software, EMSOFT 2016, 2016, article id a26Conference paper (Refereed)
    Abstract [en]

    Time-triggered (TT) switched networks are a deterministic communication infrastructure used by real-time distributed embedded systems. These networks rely on the notion of globally discretized time (i.e. time slots) and a static TT schedule that prescribes which message is sent through which link at every time slot, such that all messages reach their destination before a global timeout. These schedules are generated offline, assuming a static network with fault-free links, and entrusting all error-handling functions to the end user. Assuming the network is static is an over-optimistic view, and indeed links tend to fail in practice. We study synthesis of TT schedules on a network in which links fail over time and we assume the switches run a very simple error-recovery protocol once they detect a crashed link. We address the problem of finding a pk; qresistant schedule; namely, one that, assuming the switches run a fixed error-recovery protocol, guarantees that the number of messages that arrive at their destination by the timeout is at least no matter what sequence of at most k links fail. Thus, we maintain the simplicity of the switches while giving a guarantee on the number of messages that meet the timeout. We show how a pk; q-resistant schedule can be obtained using a CEGAR-like approach: find a schedule, decide whether it is pk; q-resistant, and if it is not, use the witnessing fault sequence to generate a constraint that is added to the program. The newly added constraint disallows the schedule to be regenerated in a future iteration while also eliminating several other schedules that are not pk; q-resistant. We illustrate the applicability of our approach using an SMT-based implementation.

  • 121.
    Awada, Imad Alex
    et al.
    University Politehnica of Bucharest, Romania.
    Cramariuc, Oana
    IT Cenetr for Science and Technology, Romania.
    Mocanu, Irina
    University Politehnica of Bucharest.
    Seceleanu, Cristina
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Kunnappilly, Ashalatha
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Florea, Adina Magda
    University Politehnica of Bucharest, Romania.
    An end- user perspective on the CAMI Ambient and Assisted Living Project2018In: INTED2018 Proceedings, 2018Conference paper (Refereed)
    Abstract [en]

    In this paper, we present the outcomes and conclusions obtained by involving seniors from three countries (Denmark, Poland and Romania) in an innovative project funded under the European Ambient Assisted Living (ALL) program. CAMI stands for "Companion with Autonomously Mobile Interface" in "Artificially intelligent ecosystem for self-management and sustainable quality of life in AAL". The CAMI solution enables flexible, scalable and individualised services that support elderly to self-manage their daily life and prolong their involvement in the society (sharing knowledge, continue working, etc). This also allows their informal caregivers (family and friends) to continue working and participating in society while caring for their loved ones. The solution is designed as an innovative architecture that allows for individualized, intelligent self-management which can be tailored to an individual's preferences and needs. A user-centred approach has ranked health monitoring, computer supervised physical exercises and voice based interaction among the top favoured CAMI functionalities. Respondents from three countries (Poland, Romania and Denmark) participated in a multinational survey and a conjoint analysis study.

  • 122.
    Axelsson, Jakob
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. RISE Research Institutes of Sweden, Kista, Sweden.
    An initial analysis of operational emergent properties in a platooning system-of-systems2018In: 12th Annual IEEE International Systems Conference, SysCon 2018 - Proceedings, Institute of Electrical and Electronics Engineers Inc. , 2018, p. 1-8Conference paper (Refereed)
    Abstract [en]

    As systems-of-systems start to be more common in commercial applications, an analysis of emergent properties related to utility and cost for all stakeholders becomes critical. This paper describes an approach for this based on network simulation and game theory, which is applied to truck highway platooning. The emergent properties of energy efficiency and transport efficiency are studied as a consequence of the strategies for platoon formation, and it is shown that having information about the route planning of other vehicles has a significant positive effect on the properties. This indicates the need for a mediator in the platooning system-of-systems architecture. Its role is to communicate plans of the constituent systems.

  • 123.
    Axelsson, Jakob
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Architectural Allocation Alternatives and Associated Concerns in Cyber-Physical Systems: A Case Study2015In: ECSAW '15 Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015, Vol. Article No.15Conference paper (Refereed)
    Abstract [en]

    Cyber-physical systems is an extension of traditional embedded systems, where communication to the outside world is given more emphasis. This leads to a new design space also for software development, allowing new allocation strategies for functionality. In traditional embedded systems, all functionality was inside the product, but now it becomes possible to partition the software between the embedded systems and IT systems outside the product. This paper investigates, through a case study from the automotive domain, possible new allocation alternatives where computation is offloaded from the embedded system to a server, and what additional architectural concerns this leads to, including performance, resource utilization, robustness, and lifecycle aspects. In addition, the paper addresses new opportunities created by allocating functionality outside the embedded systems, and thus making data available for extended services, as well as the larger concerns that result on the organizational level, including new competency in architecture and DevOps.

  • 124.
    Axelsson, Jakob
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Safety in Vehicle Platooning: A Systematic Literature Review2017In: IEEE transactions on intelligent transportation systems (Print), ISSN 1524-9050, E-ISSN 1558-0016, Vol. 18, no 5, p. 1033-1045Article, review/survey (Refereed)
    Abstract [en]

    Vehicle platooning has been studied for several decades, with objectives such as improved traffic throughput on existing infrastructure or reduced energy consumption. All the time, it has been apparent that safety is an important issue. However, there are no comprehensive analyses of what is needed to achieve safety in platooning, but only scattered pieces of information. This paper investigates, through a systematic literature review, what is known about safety for platooning, including what analysis methods have been used, what hazards and failures have been identified, and solution elements that have been proposed to improve safety. Based on this, a gap analysis is performed to identify outstanding questions that need to be addressed in future research. These include dealing with a business ecosystem of actors that cooperate and compete around platooning, refining safety analysis methods to make them suitable for systems-of-systems, dealing with variability in vehicles, and finding solutions to various human factors issues.

  • 125.
    Axelsson, Jakob
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Systems-of-systems for border-crossing innovation in the digitized society: A strategic research and innovation agenda for Sweden2015Report (Other academic)
    Abstract [en]

    This report constitutes a strategic research and innovation agenda for the area systems-of-systems. The agenda has been developed during the first half of 2015 in a project led by SICS Swedish ICT AB, in collaboration with INCOSE Sweden and a large number of representatives from industry and academia, with financial support from Vinnova. The overall conclusion of the agenda is: Sweden needs a world-leading capability to rapidly develop trustworthy systems-of-systems A system-of-systems (SoS) can informally be defined as a group of independent collaborating systems. The elements of an SoS, called constituent systems, retain an operational and managerial independence, but when combined in a certain way, they provide together a new capability that is emergent from their cooperation. There are many applications of SoS, often as a consequence of the digitization of society which opens new possibilities for system integration. Examples can be found within command and control systems for defense and civilian crisis management; construction and mining; manufacturing and the reindustrialization; transportation; and health care. System integration is traditionally a Swedish area of strength, and by improving SoS knowledge, competitive advantages can be reached. SoS is also an important enabler for innovation, through the ability to combine existing technical products, processes, and organizations in new ways. Having the ability for rapid SoS development is very important for businesses to bring new innovations to market. However, to advance the practice of SoS engineering, a number of challenges need to be addressed, including improving the theoretical foundations; the socio-technical aspects; architecture; modeling and simulation; interoperability; trust; business and legal aspects; development processes and methods; and standardization. As part of the agenda project, a survey has been done of international and Swedish research in the area. Internationally, the SoS field is dominated by US researchers, with a very strong focus on military and space applications. A large number of people are involved, but few persons focus on the area. In comparison, Sweden has entered the research area much later, and only now is attention growing. As is the case internationally, few researchers focus on SoS, and many of them do not even call their research SoS. Activities are scattered over many organizations throughout the country. Many of the researchers in SoS in Sweden come from a background in Software Engineering or Control Engineering, and this is in contrast with the international research, which has its basis in Systems Engineering. In Sweden, research topics such as business aspects (in particular innovation), control systems, governance, and Internet of Things are more pronounced than internationally. However, there is little research in Sweden on the underlying, fundamental principles of SoS engineering. This is likely to be in part a consequence of the funding strategies currently implemented. The analysis shows a broad but scattered Swedish research community lacking critical mass. There is a high competence in software and control engineering, and in empirical research methods, but the lack of systems engineering competence is alarming, since it is fundamental for desired advances, such as in the reindustrialization (Industry 4.0). To achieve the desired capability in SoS development requires knowledge, competence, and capacity, which are provided through substantially increased research and education actions. It is suggested that research in the area is organized as a national SoS center-of-centers that coordinates activities at different academic member organizations. This requires increased research funding. There is also an urgent need for education in systems engineering, systems thinking, and SoS. It is proposed that the center-of-centers also takes responsibility for this, by developing joint courses in those disciplines, including on-line courses for practitioners, and PhD schools for industrial and academic doctoral students. To complement this, societal actions are needed to remove obstacles for building SoS, and enforcing standards. Finally, it is necessary to create meeting places, including triple helix flagship projects, that can fuel the interactions between individuals and organizations interested in SoS.

  • 126.
    Axelsson, Jakob
    et al.
    Swedish Institute of Computer Science, SICS, Sweden.
    Franke, Ulrik
    Swedish Institute of Computer Science, SICS, Sweden.
    Carlson, Jan
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sentilles, Séverine
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Towards the Architecture of a Decision Support Ecosystem for System Component Selection2017In: 11th Annual IEEE International Systems conference SysCon17, 2017, p. 371-377Conference paper (Refereed)
    Abstract [en]

    When developing complex software-intensive systems, it is nowadays common practice to base the solution partly on existing software components. Selecting which components to use becomes a critical decision in development, but it is currently not well supported through methods and tools. This paper discusses how a decision support system for this problem could benefit from a software ecosystem approach, where participants share knowledge across organizations both through reuse of analysis models, and through partially disclosed past decision cases. It is shown how the architecture of this ecosystem becomes fundamental to deal with efficient knowledge sharing, while respecting constraints on integrity of intellectual property. A concrete proposal for an architecture is outlined, which is a distributed system-of-systems using web technologies. Experiences of a proof-of-concept implementation are also described.

  • 127.
    Axelsson, Jakob
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Fröberg, J.
    RISE Research Institutes of Sweden, Västerås, Sweden.
    Eriksson, P.
    Volvo Construction Equipment AB, Eskilstuna, Sweden.
    Towards a system-of-systems for improved road construction efficiency using lean and industry 4.02018In: 2018 13th System of Systems Engineering Conference, SoSE 2018, Institute of Electrical and Electronics Engineers Inc. , 2018, p. 576-582Conference paper (Refereed)
    Abstract [en]

    Road construction is a very large business segment, consuming enormous public funding every year and with significant environmental impacts. However, the rate of efficiency improvement during the last few decades has been negligible, whereas other industries, such as manufacturing, have seen very large improvements by applying automation and Leanbased flow optimization across the production system. In this paper, we outline a system-of-systems concept for road construction which applies similar principles as have previously proved successful in other industries. The paper identifies efficiency attributes and wastes in current practices, which lead to a conceptual solution that focuses on improved coordination of working machines. Technical elements from Industry 4.0 are considered as potential building blocks in this concept, identifying similarities and differences between the construction domain and other industries. Finally, challenges are identified, in particular within knowledge representation and information management.

  • 128.
    Axelsson, Jakob
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Papatheocharous, E.
    Swedish Institute of Computer Science (SICS), Sweden.
    Andersson, J.
    Linneaus University, Sweden.
    Characteristics of software ecosystems for Federated Embedded Systems: A case study2014In: Information and Software Technology, ISSN 0950-5849, E-ISSN 1873-6025, Vol. 56, no 11, p. 1457-1475Article in journal (Refereed)
    Abstract [en]

    Context Traditionally, Embedded Systems (ES) are tightly linked to physical products, and closed both for communication to the surrounding world and to additions or modifications by third parties. New technical solutions are however emerging that allow addition of plug-in software, as well as external communication for both software installation and data exchange. These mechanisms in combination will allow for the construction of Federated Embedded Systems (FES). Expected benefits include the possibility of third-party actors developing add-on functionality; a shorter time to market for new functions; and the ability to upgrade existing products in the field. This will however require not only new technical solutions, but also a transformation of the software ecosystems for ES. Objective This paper aims at providing an initial characterization of the mechanisms that need to be present to make a FES ecosystem successful. This includes identification of the actors, the possible business models, the effects on product development processes, methods and tools, as well as on the product architecture. Method The research was carried out as an explorative case study based on interviews with 15 senior staff members at 9 companies related to ES that represent different roles in a future ecosystem for FES. The interview data was analyzed and the findings were mapped according to the Business Model Canvas (BMC). Results The findings from the study describe the main characteristics of a FES ecosystem, and identify the challenges for future research and practice. Conclusions The case study indicates that new actors exist in the FES ecosystem compared to a traditional supply chain, and that their roles and relations are redefined. The business models include new revenue streams and services, but also create the need for trade-offs between, e.g., openness and dependability in the architecture, as well as new ways of working. © 2014 The Authors. Published by Elsevier B.V.

  • 129.
    Ayala, Inmaculada
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Gallina, Barbara
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Towards Tool-based Security-informed Safety Oriented Process Line Engineering2016In: 1st International workshop on Interplay of Security, Safety and System/Software Architecture ISSA-2016, 2016, article id 38Conference paper (Refereed)
    Abstract [en]

    For the purpose of certification, manufactures of nowadays highly connected safety-critical systems are expected to en- gineer their systems according to well-defined engineering processes in compliance with safety and security standards. Certification is an extremely expensive and time-consuming process. Since safety and security standards exhibit a certain degree of commonality, certification-related artifacts (e.g., process models) should to some extent be reusable. To en- able systematic reuse and customization of process infor- mation, in this paper we further develop security-informed safety-oriented process line engineering (i.e., engineering of sets of processes including security and safety concerns). More specifically, first we consider three tool-supported ap- proaches for process-related commonality and variability man- agement and we apply them to limited but meaningful por- tions of safety and security standards within airworthiness. Then, we discuss our findings. Finally, we draw our conclu- sions and sketch future work.

  • 130.
    Aysan, Huseyin
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Bate, Iain
    University of York.
    Graydon, Patrick
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Punnekkat, Sasikumar
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Improving Reliability of Real-Time Systems through Value and Time Voting2013Conference paper (Refereed)
    Abstract [en]

    Critical systems often use N-modular redundancy to tolerate faults in subsystems. Traditional approaches to N-modular redundancy in distributed, loosely-synchronised, real-time systems handle time and value errors separately: a voter detects value errors, while watchdog-based health monitoring detects timing errors. In prior work, we proposed the integrated Voting on Time and Value (VTV) strategy, which allows both timing and value errors to be detected simultaneously. In this paper, we show how VTV can be harnessed as part of an overall fault tolerance strategy and evaluate its performance using a well-known control application, the Inverted Pendulum. Through extensive simulations, we compare the performance of Inverted Pendulum systems which employs VTV and alternative voting strategies to demonstrate that VTV better tolerates well-recognised faults in this realistically complex control problem.

  • 131.
    Aysan, Huseyin
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Dobrin, Radu
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Punnekkat, Susikumar
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Schedulability guarantees for dependable distributed real-time systems under error bursts2013In: Advances in Intelligent Systems and Computing, Springer Verlag , 2013, Vol. 187, p. 393-406Conference paper (Refereed)
    Abstract [en]

    In dependable embedded real-time systems, typically built of computing nodes exchanging messages over reliability-constrained networks, the provision of schedulability guarantees for task and message sets under realistic fault and error assumptions is an essential requirement, though complex and tricky to achieve. An important factor to be considered in this context is the random nature of occurrences of faults and errors, which, if addressed in the traditional schedulability analysis by assuming a rigid worst-case occurrence scenario, may lead to inaccurate results. In this work we propose a framework for end-to-end probabilistic schedulability analysis for real-time tasks exchanging messages over Controller Area Network under stochastic errors.

  • 132.
    Aysan, Hüseyin
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Dobrin, Radu
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Punnekkat, Sasikumar
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Probabilistic schedulability analysis for fault tolerant tasks under stochastic error occurrences2013In: 19th International Conference on Control Systems and Computer Science, CSCS 2013: Proceedings, 2013, p. 113-120Conference paper (Refereed)
    Abstract [en]

    In dependable real-time systems, provision of schedulability guarantees for task sets under realistic fault and error assumptions is an essential requirement, though complex and tricky to achieve. An important factor to be considered in this context is the random nature of occurrences of faults and errors, which, if addressed in the traditional schedulability analysis by assuming a rigid worst case occurrence scenario, may lead to inaccurate results. In this paper we first propose a stochastic fault and error model which has the capability of modeling error bursts in lieu of the commonly used simplistic error assumptions in processor scheduling. We then present a novel schedulability analysis that accounts for a range of worst case scenarios generated by stochastic error burst occurrences on the response times of tasks scheduled under the fixed priority scheduling (FPS) policy. Finally, we describe a methodology for the calculation of probabilistic schedulability guarantees as a weighted sum of the conditional probabilities of schedulability under specified error burst characteristics.

  • 133.
    Aysan, Hüseyin
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Dobrin, Radu
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Punnekkat, Sasikumar
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Schedulability guarantees for dependable distributed real-time systems under error bursts2013In: Advances in Intelligent Control Systems and Computer Science / [ed] Loan Dumitrache, Springer Berlin/Heidelberg, 2013, p. 393-406Chapter in book (Refereed)
    Abstract [en]

    In dependable embedded real-time systems, typically built of computing nodes exchanging messages over reliability-constrained networks, the provision of schedulability guarantees for task and message sets under realistic fault and error assumptions is an essential requirement, though complex and tricky to achieve. An important factor to be considered in this context is the random nature of occurrences of faults and errors, which, if addressed in the traditional schedulability analysis by assuming a rigid worst-case occurrence scenario, may lead to inaccurate results. In this work we propose a framework for end-to-end probabilistic schedulability analysis for real-time tasks exchanging messages over Controller Area Network under stochastic errors.

  • 134.
    Badampudi, D.
    et al.
    Blekinge Institute of Technology, Karlskrona, Sweden.
    Wnuk, K.
    Blekinge Institute of Technology, Karlskrona, Sweden.
    Wohlin, C.
    Blekinge Institute of Technology, Karlskrona, Sweden.
    Franke, U.
    Blekinge Institute of Technology, Karlskrona, Sweden.
    Smite, D.
    Blekinge Institute of Technology, Karlskrona, Sweden.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    A decision-making process-line for selection of software asset origins and components2018In: Journal of Systems and Software, ISSN 0164-1212, E-ISSN 1873-1228, Vol. 135, p. 88-104Article in journal (Refereed)
    Abstract [en]

    Selecting sourcing options for software assets and components is an important process that helps companies to gain and keep their competitive advantage. The sourcing options include: in-house, COTS, open source and outsourcing. The objective of this paper is to further refine, extend and validate a solution presented in our previous work. The refinement includes a set of decision-making activities, which are described in the form of a process-line that can be used by decision-makers to build their specific decision-making process. We conducted five case studies in three companies to validate the coverage of the set of decision-making activities. The solution in our previous work was validated in two cases in the first two companies. In the validation, it was observed that no activity in the proposed set was perceived to be missing, although not all activities were conducted and the activities that were conducted were not executed in a specific order. Therefore, the refinement of the solution into a process-line approach increases the flexibility and hence it is better in capturing the differences in the decision-making processes observed in the case studies. The applicability of the process-line was then validated in three case studies in a third company. 

  • 135.
    Bagheri, M.
    et al.
    Sharif University of Technology, Tehran, Iran.
    Khamespanah, E.
    Sharif University of Technology, Tehran, Iran.
    Sirjani, Marjan
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Reykjavik University, Reykjavik, Iceland.
    Movaghar, A.
    Sharif University of Technology, Tehran, Iran.
    Lee, A. E.
    University of California at Berkeley.
    Runtime compositional analysis of track-based traffic control systems2017In: ACM SIGBED Review, ISSN 1551-3688, Vol. 14, no 3, p. 38-39Article in journal (Refereed)
  • 136.
    Bagheri, M.
    et al.
    Sharif University of Technology, Tehran, Iran.
    Sirjani, Marjan
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Reykjavik University, Reykjavik, Iceland.
    Khamespanah, E.
    Reykjavik University, Reykjavik, Iceland.
    Khakpour, N.
    Linnaeus University, Växjö Campus, Sweden.
    Akkaya, I.
    University of California at Berkeley, CA, United States.
    Movaghar, A.
    Sharif University of Technology, Tehran, Iran.
    Lee, E. A.
    University of California at Berkeley, CA, United States.
    Coordinated actor model of self-adaptive track-based traffic control systems2018In: Journal of Systems and Software, ISSN 0164-1212, E-ISSN 1873-1228, Vol. 143, p. 116-139Article in journal (Refereed)
    Abstract [en]

    Self-adaptation is a well-known technique to handle growing complexities of software systems, where a system autonomously adapts itself in response to changes in a dynamic and unpredictable environment. With the increasing need for developing self-adaptive systems, providing a model and an implementation platform to facilitate integration of adaptation mechanisms into the systems and assuring their safety and quality is crucial. In this paper, we target Track-based Traffic Control Systems (TTCSs) in which the traffic flows through pre-specified sub-tracks and is coordinated by a traffic controller. We introduce a coordinated actor model to design self-adaptive TTCSs and provide a general mapping between various TTCSs and the coordinated actor model. The coordinated actor model is extended to build large-scale self-adaptive TTCSs in a decentralized setting. We also discuss the benefits of using Ptolemy II as a framework for model-based development of large-scale self-adaptive systems that supports designing multiple hierarchical MAPE-K feedback loops interacting with each other. We propose a template based on the coordinated actor model to design a self-adaptive TTCS in Ptolemy II that can be instantiated for various TTCSs. We enhance the proposed template with a predictive adaptation feature. We illustrate applicability of the coordinated actor model and consequently the proposed template by designing two real-life case studies in the domains of air traffic control systems and railway traffic control systems in Ptolemy II. 

  • 137.
    Bagheri, Maryam
    et al.
    Sharif University of Technology, Iran.
    Akkaya, Ilge
    University of California at Berkley, US.
    Khamespanah, Ehsan
    Reykjavik University, Iceland.
    Khakpour, Narges
    Linnaeus University, Sweden.
    Sirjani, Marjan
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Movaghar, Ali
    Sharif University of Technology, Iran.
    Lee, Edward
    University of California at Berkley, US.
    Coordinated Actors for Reliable Self-Adaptive Systems2017In: The 13th International Conference on Formal Aspects of Component Software FACS 2016, 2017, Vol. 10231, p. 241-259Conference paper (Refereed)
    Abstract [en]

    Self-adaptive systems are systems that automatically adapt in response to environmental and internal changes, such as possible failures and variations in resource availability. Such systems are often realized by a MAPE-K feedback loop, where Monitor, Analyze, Plan and Execute components have access to a runtime model of the system and environment which is kept in the Knowledge component. In order to provide guarantees on the correctness of a self-adaptive system at runtime, the MAPE-K feedback loop needs to be extended with assurance techniques. To address this issue, we propose a coordinated actor-based approach to build a reusable and scalable model@runtime for self-adaptive systems in the domain of track-based traffic control systems. We demonstrate the approach by implementing an automated Air Traffic Control system (ATC) using Ptolemy tool.We compare different adaptation policies on the ATC model based on performance metrics and analyze combination of policies in different configurations of the model. We enriched our framework with runtime performance analysis such that for any unexpected change, subsequent behavior of the model is predicted and results are used for adaptation at the change-point. Moreover, the developed framework enables checking safety properties at runtime.

  • 138.
    Baig, M. M.
    et al.
    Auckland University of Technology, Auckland, New Zealand.
    Gholamhosseini, H.
    Auckland University of Technology, Auckland, New Zealand.
    Connolly, M. J.
    University of Auckland, New Zealand.
    Lindén, Maria
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Advanced decision support system for older adults2015In: Studies in Health Technology and Informatics, vol. 211, 2015, p. 235-240Conference paper (Refereed)
    Abstract [en]

    Decision support systems are rapidly becoming part of today's healthcare delivery. The paradigm has shifted from traditional and manual recording to computer-based electronic records and, further, to handheld devices as versatile and innovative healthcare monitoring systems. The current study focuses on interpreting multiple physical signs and early warning for hospitalized older adults so that severe consequences can be minimized. Data from a total of 30 patients have been collated in New Zealand Hospitals under local and national ethics approvals. The system records blood pressure, heart rate (pulse), oxygen saturation (SpO2), ear temperature and blood glucose levels from hospitalized patients and transfers this information to a web-based software application for remote monitoring and further interpretation. Ultimately, this system is aimed to achieve a high level of agreement with clinicians' interpretation when assessing specific physical signs such as bradycardia, tachycardia, hypertension, hypotension, hypoxemia, fever and hypothermia and to generate early warnings. 

  • 139.
    Baig, M. M.
    et al.
    Auckland University of Technology, New Zealand.
    GholamHosseini, H.
    Auckland University of Technology, New Zealand.
    Moqeem, A. A.
    Auckland University of Technology, New Zealand.
    Mirza, F.
    Auckland University of Technology, New Zealand.
    Lindén, Maria
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    A Systematic Review of Wearable Patient Monitoring Systems – Current Challenges and Opportunities for Clinical Adoption2017In: Journal of medical systems, ISSN 0148-5598, E-ISSN 1573-689X, Vol. 41, no 7, article id 115Article in journal (Refereed)
    Abstract [en]

    The aim of this review is to investigate barriers and challenges of wearable patient monitoring (WPM) solutions adopted by clinicians in acute, as well as in community, care settings. Currently, healthcare providers are coping with ever-growing healthcare challenges including an ageing population, chronic diseases, the cost of hospitalization, and the risk of medical errors. WPM systems are a potential solution for addressing some of these challenges by enabling advanced sensors, wearable technology, and secure and effective communication platforms between the clinicians and patients. A total of 791 articles were screened and 20 were selected for this review. The most common publication venue was conference proceedings (13, 54%). This review only considered recent studies published between 2015 and 2017. The identified studies involved chronic conditions (6, 30%), rehabilitation (7, 35%), cardiovascular diseases (4, 20%), falls (2, 10%) and mental health (1, 5%). Most studies focussed on the system aspects of WPM solutions including advanced sensors, wireless data collection, communication platform and clinical usability based on a specific area or disease. The current studies are progressing with localized sensor-software integration to solve a specific use-case/health area using non-scalable and ‘silo’ solutions. There is further work required regarding interoperability and clinical acceptance challenges. The advancement of wearable technology and possibilities of using machine learning and artificial intelligence in healthcare is a concept that has been investigated by many studies. We believe future patient monitoring and medical treatments will build upon efficient and affordable solutions of wearable technology. 

  • 140.
    Baig, M. M.
    et al.
    Auckland University of Technology, Auckland, New Zealand.
    Hosseini, H. G.
    Auckland University of Technology, Auckland, New Zealand.
    Lindén, Maria
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Machine learning-based clinical decision support system for early diagnosis from real-time physiological data2017In: Proceedings/TENCON, Institute of Electrical and Electronics Engineers Inc. , 2017, p. 2943-2946, article id 7848584Conference paper (Refereed)
    Abstract [en]

    This research aims to design a self-organizing decision support system for early diagnosis of key physiological events. The proposed system consists of pre-processing, clustering and diagnostic system, based on self-organizing fuzzy logic modeling. The clustering technique was employed with empirical pattern analysis, particularly when the information available is incomplete or the data model is affected by vagueness, which is mostly the case with medical/clinical data. Clustering module can be viewed as unsupervised learning from a given dataset. This module partitions the patient vital signs to identify the key relationships, patterns and clusters among the medical data. Secondly, it uses self-organizing fuzzy logic modeling for early symptom and event detection. Based on the clustering outcome, when detecting abnormal signs, a high level of agreement was observed between system interpretation and human expert diagnosis of the physiological events and signs. © 2016 IEEE.

  • 141.
    Baig, M.M.
    et al.
    Auckland University of Technology.
    GholamHosseini, H.
    Auckland University of Technology.
    Lindén, Maria
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Tablet-based Patient Monitoring and Decision Support Systems in Hospital Care2015In: 2015 37TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), 2015, p. 1215-1218Conference paper (Refereed)
    Abstract [en]

    Remote patient monitoring with evidence-based decision support is revolutionizing healthcare. This novel approach could enable both patients and healthcare providers to improve quality of care and reduce costs. Clinicians can also view patients' data within the hospital network on tablet computers as well as other ubiquitous devices. Today, a wide range of applications are available on tablet computers which are increasingly integrating into the healthcare mainstream as clinical decision support systems. Despite the benefits of table-based healthcare applications, there are concerns around the accuracy, security and stability of such applications. In this study, we developed five tablet-based application screens for remote patient monitoring at hospital care settings and identified related issues and challenges. The ultimate aim of this research is to integrate decision support algorithms into the monitoring system in order to improve inpatient care and the effectiveness of such applications.

  • 142.
    Bakhshi, Zeynab
    et al.
    RighTel, Iran.
    Balador, Ali
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. RISE SICS, Västerås, Sweden.
    Mustafa, Jawad
    RISE SICS, Västerås, Sweden.
    Industrial IoT Security Threats and Concerns by Considering CISCO and Microsoft IoT reference Models2018In: IEEE WCNCW 2018 IEEE WCNCW 2018: 2018 IEEE Wireless Communications and Networking Conference Workshops, 2018, p. 173-178Conference paper (Refereed)
    Abstract [en]

    This paper investigates security concerns and issues for Industrial Internet of Things (IIoT). The IIoT is an emerging transformation, bringing great values to every industry. Although this rapid alter in industries create values, but there are concerns about security issues, most of which would be still unknown due to the novelty of this platform. In order to provide a guideline for those who want to investigate IoT security and contribute to its improvement, this paper attempts to provide a list of security threats and issues on the cloud-side layer of IoT, which consists of data accumulation and abstraction levels. For this reason, we choose Cisco and Microsoft Azure IoT Architecture as reference models. Then, two layers of Cisco reference architecture model have been chosen to be investigated for their security issues. Finally, consideration of security issues has been briefly explained.

  • 143.
    Balador, Ali
    et al.
    SICS Swedish ICT Västerås AB, Sweden.
    Böhm, Annette
    Halmstad University, Sweden.
    Uhlemann, Elisabeth
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Calafate, Carlos T.
    Universitat Politecnica de Valencia, Spain.
    Cano, Juan-Carlos
    Universitat Politecnica de Valencia, Spain.
    A Reliable and Efficient Token-Based MAC Protocol for Platooning Applications2016In: 12th Swedish National Computer Networking Workshop SNCNW 2016, 2016Conference paper (Refereed)
    Abstract [en]

    Platooning is both a challenging and rewarding application. Challenging since strict timing and reliability requirements are imposed by the distributed control system required to operate the platoon. Rewarding since considerable fuel reductions are possible. As platooning takes place in a vehicular ad hoc network, the use of IEEE 802.11p is close to mandatory. However, the 802.11p medium access method suffers from packet collisions and random delays. Most ongoing research suggests using TDMA on top of 802.11p as a potential remedy. However, TDMA requires synchronization and is not very flexible if the beacon frequency needs to be updated, the number of platoon members changes, or if retransmissions for increased reliability are required. We therefore suggest a token-passing medium access method where the next token holder is selected based on beacon data age. This has the advantage of allowing beacons to be re-broadcasted in each beacon interval whenever time and bandwidth are available. We show that our token-based method is able to reduce the data age and considerably increase reliability compared to pure 802.11p.

  • 144.
    Balador, Ali
    et al.
    Universitat Politecnica de Valencia, Spain.
    Böhm, Annette
    Halmstad University, Sweden.
    Uhlemann, Elisabeth
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Calafate, Carlos T.
    Universitat Politecnica de Valencia, Spain.
    Cano, Juan-Carlos
    Universitat Politecnica de Valencia, Spain.
    A reliable token-based MAC protocol for delay sensitive platooning applications2016In: 2015 IEEE 82nd Vehicular Technology Conference, VTC Fall 2015 - Proceedings, Boston, MA, United States, 2016, p. Article number 7390813-Conference paper (Refereed)
    Abstract [en]

    Platooning is both a challenging and rewarding application. Challenging since strict timing and reliability requirements are imposed by the distributed control system required to operate the platoon. Rewarding since considerable fuel reductions are possible. As platooning takes place in a vehicular ad hoc network, the use of IEEE 802.11p is close to mandatory. However, the 802.11p medium access method suffers from packet collisions and random delays. Most ongoing research suggests using TDMA on top of 802.11p as a potential remedy. However, TDMA requires synchronization and is not very flexible if the beacon frequency needs to be updated, the number of platoon members changes, or if retransmissions for increased reliability are required. We therefore suggest a token-passing medium access method where the next token holder is selected based on beacon data age. This has the advantage of allowing beacons to be re-broadcasted in each beacon interval whenever time and bandwidth are available. We show that our token-based method is able to reduce the data age and considerably increase reliability considerably compared to pure 802.11p.

  • 145.
    Balador, Ali
    et al.
    Polytechnic University of Valencia, Valencia, Spain.
    Böhm, Annette
    Halmstad Universit, Sweden.
    Uhlemann, Elisabeth
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Calafate, Carlos T.
    Polytechnic University of Valencia, Valencia, Spain.
    Ji, Yusheng
    National Institute of Informatics, Tokyo, Japan.
    Cano, Juan-Carlos
    Polytechnic University of Valencia, Valencia, Spain.
    Manzoni, Pietro
    Polytechnic University of Valencia, Valencia, Spain.
    An Efficient MAC Protocol for vehicle platooning in automated highway systems2015In: Jornadas Sarteco 2015 JS 2015, Cordoba, Spain, 2015Conference paper (Refereed)
    Abstract [en]

    Lately, all the top truck manufacturers are investing considerable resources in the research and development of platooning systems which would allow vehicles to save fuel and improve safety by travelling in a close-following manner. The platoon-ing system requires frequent and reliable vehicle-to-vehicle communications. As platooning takes place in a vehicular ad hoc network, the use of IEEE 802.11p is close to mandatory. However, the 802.11p medium access method suffers from packet collisions and random delays. Most ongoing research suggests using TDMA on top of 802.11p as a potential remedy. However , TDMA requires synchronization and is not very flexible if the beacon frequency needs to be updated, the number of platoon members changes, or if re-transmissions for increased reliability are required. We therefore suggest a token-passing medium access method where the next token holder is selected based on beacon data age. This has the advantage of allowing beacons to be re-broadcasted in each beacon interval whenever time and bandwidth are available. We show that our token-based method is able to reduce the data age and considerably increase reliability considerably compared to pure 802.11p.

  • 146.
    Balador, Ali
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ericsson, Niclas
    Bakhshi, Zeynab
    Communication Middleware Technologies for Industrial Distributed Control Systems: A Literature Review2017In: International Conference on Emerging Technologies And Factory Automation ETFA'17, 2017Conference paper (Refereed)
    Abstract [en]

    Industry 4.0 is the German vision for the future of manufacturing, where smart factories use information and communication technologies to digitise their processes to achieve improved quality, lower costs, and increased efficiency. It is likely to bring a massive change to the way control systems function today. Future distributed control systems are expected to have an increased connectivity to the Internet, in order to capitalize on new offers and research findings related to digitalization, such as cloud, big data, and machine learning. A key technology in the realization of distributed control systems is middleware, which is usually described as a reusable software layer between operating system and distributed applications. Various middleware technologies have been proposed to facilitate communication in industrial control systems and hide the heterogeneity amongst the subsystems, such as OPC UA, DDS, and RT-CORBA. These technologies can significantly simplify the system design and integration of devices despite their heterogeneity. However, each of these technologies has its own characteristics that may work better for particular applications. Selection of the best middleware for a specific application is a critical issue for system designers. In this paper, we conduct a survey on available standard middleware technologies, including OPC UA, DDS, and RT-CORBA, and show new trends for different industrial domains.

  • 147.
    Balador, Ali
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Uhlemann, Elisabeth
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Calafate, C. T.
    Universitat Politècnica de València, València, Spain.
    Cano, J. -C
    Universitat Politècnica de València, València, Spain.
    Supporting beacon and event-driven messages in vehicular platoons through token-based strategies2018In: Sensors, ISSN 1424-8220, E-ISSN 1424-8220, Vol. 18, no 4, article id 955Article in journal (Refereed)
    Abstract [en]

    Timely and reliable inter-vehicle communications is a critical requirement to support traffic safety applications, such as vehicle platooning. Furthermore, low-delay communications allow the platoon to react quickly to unexpected events. In this scope, having a predictable and highly effective medium access control (MAC) method is of utmost importance. However, the currently available IEEE 802.11p technology is unable to adequately address these challenges. In this paper, we propose a MAC method especially adapted to platoons, able to transmit beacons within the required time constraints, but with a higher reliability level than IEEE 802.11p, while concurrently enabling efficient dissemination of event-driven messages. The protocol circulates the token within the platoon not in a round-robin fashion, but based on beacon data age, i.e., the time that has passed since the previous collection of status information, thereby automatically offering repeated beacon transmission opportunities for increased reliability. In addition, we propose three different methods for supporting event-driven messages co-existing with beacons. Analysis and simulation results in single and multi-hop scenarios showed that, by providing non-competitive channel access and frequent retransmission opportunities, our protocol can offer beacon delivery within one beacon generation interval while fulfilling the requirements on low-delay dissemination of event-driven messages for traffic safety applications. 

  • 148.
    Balasubramanian, S.M.N
    et al.
    Technische Universiteit Eindhoven, Eindhoven, Netherlands.
    Afshar, Sara Zargari
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Behnam, Moris
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Gai, Paolo
    Evidence Srl, Pisa, Italy.
    Bril, Reinder J.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Technische Universiteit Eindhoven, Eindhoven, Netherlands.
    A dual shared stack for FSLM in Erika enterprise2017In: The 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications - WiP Session RTCSA'17, 2017Conference paper (Refereed)
    Abstract [en]

    Recently, the flexible spin-lock model (FSLM) has been introduced, unifying spin-based and suspension-based resource sharing protocols for real-time multi-core platforms. Unlike the multiprocessor stack resource policy (MSRP), FSLM doesn’t allow tasks on a core to share a single stack, however. In this paper, we present a hypothesis claiming that for a restricted range of spin-lock priorities, FSLM requires only two stacks. We briefly describe our implementation of a dual stack for FSLM in the Erika Enterprise RTOS as instantiated on an Altera Nios II platform using 4 soft-core processors.

  • 149.
    Balasubramanian, S.M.N
    et al.
    Tech Univ Eindhoven, Eindhoven, Netherlands.
    Afshar, Sara Zargari
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Gai, Paolo
    Evidence Srl, Pisa, Italy.
    Behnam, Moris
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    J. Bril, Reinder
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Tech Univ Eindhoven, Eindhoven, Netherlands.
    Incorporating implementation overheads in the analysis for the flexible spin-lock model2017In: IECON 2017 - 43RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2017, p. 411-8418Conference paper (Refereed)
    Abstract [en]

    The flexible spin-lock model (FSLM) unifies suspension-based and spin-based resource sharing protocols for partitioned fixed-priority preemptive scheduling based real-time multiprocessor platforms. Recent work has been done in defining the protocol for FSLM and providing a schedulability analysis without accounting for the implementation overheads. In this paper, we extend the analysis for FSLM with implementation overheads. Utilizing an initial implementation of FSLM in the OSEK/VDX-compliant Erika Enterprise RTOS on an Altera Nios II platform using 4 soft-core processors, we present an improved implementation. Given the design of the implementation, the overheads are characterized and incorporated in specific terms of the existing analysis. The paper also supplements the analysis with measurement results, enabling an analytical comparison of FSLM with the natively provided multiprocessor stack resource policy (MSRP), which may serve as a guideline for the choice of FSLM or MSRP for a specific application.

  • 150.
    Ballesteros, A.
    et al.
    DMI, Universitat de les Illes Balears, Spain.
    Proenza, J.
    DMI, Universitat de les Illes Balears, Spain.
    Gessner, D.
    DMI, Universitat de les Illes Balears, Spain.
    Rodriguez-Navas, Guillermo
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sauter, T.
    Danube University Krems, Austria.
    Achieving elementary cycle synchronization between masters in the flexible time-triggered replicated star for ethernet2014In: 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014, 2014, p. Article number 7005335-Conference paper (Refereed)
    Abstract [en]

    For a distributed embedded system (DES) to operate continuously in a dynamic environment, it must be flexible and highly reliable. This applies in particular to its communication subsystem. The Flexible Time-Triggered Replicated Star for Ethernet (FTTRS) aims at providing such a subsystem by means of a highly-reliable switched-Ethernet architecture based on the Flexible Time-Triggered paradigm (FTT), a master/slave communication paradigm where the master periodically polls the slaves using so-called trigger messages (TMs). In particular, FTTRS interconnects nodes by redundant communication paths provided by two switches, each embedding an FTT master that manages the communication. This allows FTTRS to tolerate the failure of one switch without interrupting the communication as long as the masters are replica determinate, i.e., provide identical service to the slaves. The master replica determinism entails the masters broadcasting their TMs in a lockstep fashion: when one master broadcasts a TM, the other should do the same quasi-simultaneously. In this paper we present a solution inspired by the Precision Time Protocol (PTP) for achieving this lockstep transmission and preliminary results showing the precision with which we can synchronize the masters on a software prototype.

1234567 101 - 150 of 1404
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