https://www.mdu.se/

mdu.sePublications
Change search
Refine search result
2345678 201 - 250 of 1454
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.
  • 201.
    Becker, Matthias
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Liu, Meng
    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.
    Adaptive Routing of Real-Time Traffic on a 2D-Mesh Based NoC2015In: The 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, WiP RTCSA-wip'15, 2015Conference paper (Refereed)
  • 202.
    Becker, Matthias
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. KTH, Sweden.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Timing Analysis Driven Design-Space Exploration of Cause-Effect Chains in Automotive Systems2018In: 44th Annual Conference of the IEEE Industrial Electronics Society IECON'18, Washington DC, United States, 2018, p. 4090-4095, article id 8592842Conference paper (Refereed)
    Abstract [en]

    Model-based development and component-based software engineering have emerged as a promising approach to deal with enormous software complexity in automotive systems. This approach supports the development of software architectures by interconnecting (and reusing) software components (SWCs) at various abstraction levels. Automotive software architectures are often modeled with chains of SWCs, also called cause-effect chains that are constrained by timing requirements. Based on the variations in activation patterns of SWCs, a single model of a cause-effect chain at a higher abstraction level can conform to several valid refined models of the chain at a lower abstraction level, which is closer to the system implementation. As a consequence, the total number of valid implementation-level models generated by the existing techniques increases exponentially, thereby significantly increasing the runtime of the timing analysis engines and liming the scalability of the existing techniques. This paper computes an upper bound on the activation pattern combinations that may result from a system of cause-effect chains in a given high-level model of the software architecture. An efficient algorithm is presented that traverses only a reduced number of possible combinations of the cause-effect chains, resulting in the timing analysis of significantly lower number of implementation-level models of the software architecture. A proof of concept is provided by conducting a case study that shows significant reduction in the runtime of timing analysis engines, i.e., the timing behavior of the considered system is verified by performing the timing analysis of only 27% of all possible combinations of the cause-effect chains.

  • 203.
    Becker, Matthias
    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. Arcticus Systems AB, Järfälla, Sweden.
    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.
    Extending Automotive Legacy Systems with Existing End-to-End Timing Constraints2018In: 14th International Conference on Information Technology : New Generations ITNG'17, 2018, Vol. 558, p. 597-605Conference paper (Refereed)
    Abstract [en]

    Developing automotive software is becoming in- creasingly challenging due to continuous increase in its size and complexity. The development challenge is amplified when the industrial requirements dictate extensions to the legacy (previously developed) automotive software while requiring to meet the existing timing requirements. To cope with these challenges, sufficient techniques and tooling to support the modeling and timing analysis of such systems at earlier development phases is needed. Within this context, we focus on the extension of software component chains in the software architectures of automotive legacy systems. Selecting the sampling frequency, i.e. period, for newly added software components is crucial to meet the timing requirements of the chains. The challenges in selecting periods are identified. It is further shown how to automatically assign periods to software components, such that the end-to-end timing requirements are met while the runtime overhead is minimized. An industrial case study is presented that demonstrates the applicability of the proposed solution to industrial problems.

  • 204.
    Becker, Matthias
    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. Arcticus Systems, Järfälla, Sweden.
    Dasari, Dakshina
    Research and Technology Centre, Robert Bosch, India.
    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.
    A Generic Framework Facilitating Early Analysis of Data Propagation Delays in Multi-Rate Systems2017In: The 23th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications RTCSA'17, 2017, article id 8046323Conference paper (Refereed)
    Abstract [en]

    A majority of multi-rate real-time systems are constrained by a multitude of timing requirements, in addition to the traditional deadlines on well-studied response times. This means, the timing predictability of these systems not only depends on the schedulability of certain task sets but also on the timely propagation of data through the chains of tasks from sensors to actuators. In the automotive industry, four different timing constraints corresponding to various data propagation delays are commonly specified on the systems. This paper identifies and addresses the source of pessimism as well as optimism in the calculations for one such delay, namely the reaction delay, in the state-of-the-art analysis that is already implemented in several industrial tools. Furthermore, a generic framework is proposed to compute all the four end-to-end data propagation delays, complying with the established delay semantics, in a scheduler and hardware-agnostic manner. This allows analysis of the system models already at early development phases, where limited system information is present. The paper further introduces mechanisms to generate job-level dependencies, a partial ordering of jobs, which need to be satisfied by any execution platform in order to meet the data propagation timing requirements. The job-level dependencies are first added to all task chains of the system and then reduced to its minimum required set such that the job order is not affected. Moreover, a necessary schedulability test is provided, allowing for varying the number of CPUs. The experimental evaluations demonstrate the tightness in the reaction delay with the proposed framework as compared to the existing state-of-the-art and practice solutions.

  • 205.
    Becker, Matthias
    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.
    Dasari, Dakshina
    Research and Technology Centre, Robert Bosch, India.
    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.
    Scheduling Multi-Rate Real-Time Applications on Clustered Many-Core Architectures with Memory Constraints2018In: 2018 23RD ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2018, p. 560-567Conference paper (Refereed)
    Abstract [en]

    Access to shared memory is one of the main chal- lenges for many-core processors. One group of scheduling strategies for such platforms focuses on the division of tasks’ access to shared memory and code execution. This allows to orchestrate the access to shared local and off-chip memory in a way such that access contention between different compute cores is avoided by design. In this work, an execution framework is introduced that leverages local memory by statically allocating a subset of tasks to cores. This reduces the access times to shared memory, as off-chip memory access is avoided, and in turn improves the schedulability of such systems. A Constrained Programming (CP) formulation is presented to selects the statically allocated tasks and generates the complete system schedule. Evaluations show that the pro- posed approach yields an up to 21% higher schedulability ratio than related work, and a case study demonstrates its applicability to industrial problems.

  • 206.
    Becker, Matthias
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Nicolic, Borislav
    Technische Universität Braunschweig, Germany.
    Dasari, Dakshina
    Robert Bosch GmbH, Renningen, Germany.
    Åkesson, Benny
    CISTER/INESC-TEC, ISEP, Portugal.
    Nélis, Vincent
    CISTER/INESC-TEC, ISEP, Portugal.
    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.
    Partitioning and Analysis of the Network-on-Chip on a COTS Many-Core Platform2017In: 23rd IEEE Real-Time and Embedded Technology and Applications Symposium RTAS'17, 2017, p. 101-112Conference paper (Refereed)
    Abstract [en]

    Many-core processors can provide the computational power required by future complex embedded systems. However, their adoption is not trivial, since several sources of interference on COTS many-core platforms have adverse effects on the resulting performance. One main source of performance degradation is the contention on the Network-on-Chip, which is used for communication among the compute cores via the off- chip memory. Available analysis techniques for the traversal time of messages on the NoC do not consider many of the architectural features found on COTS platforms. In this work, we target a state-of-the-art many-core processor, the Kalray MPPA R . A novel partitioning strategy for reducing the contention on the NoC is proposed. Further, we present an analysis technique dedicated to the proposed partitioning strategy, which considers all architectural features of the COTS NoC. Additionally, it is shown how to configure the parameters for flow-regulation on the NoC, such that the Worst-Case Traversal Time (WCTT) is minimal and buffers never overflow. The benefits of our approach are evaluated based on extensive experiments that show that contention is significantly reduced compared to the unconstrained case, while the proposed analysis outperforms a state-of-the-art analysis for the same platform. An industrial case study shows the tightness of the proposed analysis.

  • 207.
    Begum, Shahina
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Ahmed, Mobyen Uddin
    Mälardalen University, Department of Computer Science and Electronics.
    Funk, Peter
    Mälardalen University, Department of Computer Science and Electronics.
    Xiong, Ning
    Mälardalen University, Department of Computer Science and Electronics.
    Folke, Mia
    Mälardalen University, Department of Computer Science and Electronics.
    von Schéele, Bo
    Mälardalen University, Department of Computer Science and Electronics.
    A computer-based system for the assessment and diagnosis of individual sensitivity to stress in Psychophysiology2007Conference paper (Refereed)
    Abstract [en]

    Increased exposure to stress may cause serious health problems leading to long term sick leave if undiagnosed and untreated. The practice amongst clinicians' to use a standardized procedure measuring blood pressure, ECG, finger temperature, breathing speed etc. to make a reliable diagnosis of stress and stress sensitivity is increasing. But even with these measurements it is still difficult to diagnose due to large individual variations. A computer-based system as a second option for the assessment and diagnosis of individual stress level is valuable in this domain.

    A combined approach based on a calibration phase and case-based reasoning is proposed exploiting data from finger temperature sensor readings from 24 individuals. In calibration phase, a standard clinical procedure with six different steps helps to establish a person's stress profile and set up a number of individual parameters. When acquiring a new case, patients are also asked to provide a fuzzy evaluation on how reliable was the procedure to define the case itself. Such a reliability "level" could be used to further discriminate among similar cases. The system extracts key features from the signal and classifies individual sensitivity to stress. These features are stored into a case library and similarity measurements are taken to assess the degrees of matching and create a ranked list containing the most similar cases retrieved by using the nearest-neighbor algorithm.

    A current case (CC) is compared with two other stored cases (C_92 and C_115) in the case library. The global similarity between the case CC and case C_92 is 67% and case CC and case C_115 is 80% shown by the system. So the case C_115 has ranked higher than the case C_92 and is more similar to current case CC. If necessary, the solution for the best matching case can be revised by the clinician to fit the new patient. The current problem with confirmed solution is then retained as a new case and added to the case library for future use.

    The system allows us to utilize previous experience and at the same time diagnose stress along with a stress sensitivity profile. This information enables the clinician to make a more informed decision of treatment plan for the patients. Such a system may also be used to actively notify a person's stress levels even in the home environment.

  • 208.
    Begum, Shahina
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Ahmed, Mobyen Uddin
    Mälardalen University, Department of Computer Science and Electronics.
    Funk, Peter
    Mälardalen University, Department of Computer Science and Electronics.
    Xiong, Ning
    Mälardalen University, Department of Computer Science and Electronics.
    von Schéele, Bo
    Mälardalen University, Department of Computer Science and Electronics.
    Individualized Stress Diagnosis Using Calibration and Case-Based Reasoning2007In: Proceedings of the 24th annual workshop of the Swedish Artificial Intelligence Society, Borås, Sweden, 2007, p. 59-69Conference paper (Refereed)
    Abstract [en]

    Diagnosing stress is difficult even for experts due to large individual variations. Clinician's use today manual test procedures where they measure blood pressure, ECG, finger temperature and breathing speed during a number of exercises. An experienced clinician makes diagnosis on different readings shown in a computer screen. There are only very few experts who are able to diagnose and predict stress-related problems. In this paper we have proposed a combined approach based on a calibration phase and case-based reasoning to provide assistance in diagnosing stress, using data from the finger temperature sensor readings. The calibration phase helps to establish a number of individual parameters. The system uses a case-based reasoning approach and also feedback on how well the patient succeeded with the different test, used for giving similar cases reliability estimates.

  • 209.
    Begum, Shahina
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Ahmed, Mobyen Uddin
    Mälardalen University, Department of Computer Science and Electronics.
    Funk, Peter
    Mälardalen University, Department of Computer Science and Electronics.
    Xiong, Ning
    Mälardalen University, Department of Computer Science and Electronics.
    von Schéele, Bo
    Mälardalen University, Department of Computer Science and Electronics.
    Similarity of Medical Cases in Health Care Using Cosine Similarity and Ontology2007Conference paper (Refereed)
    Abstract [en]

    The increasing use of digital patient records in hospital saves both time and reduces risks wrong treatments caused by lack of information. Digital patient records also enable efficient spread and transfer of experience gained from diagnosis and treatment of individual patient. This is today mostly manual (speaking with col-leagues) and rarely aided by computerized system. Most of the content in patient re-cords is semi-structured textual information. In this paper we propose a hybrid tex-tual case-based reasoning system promoting experience reuse based on structured or unstructured patient records, case-based reasoning and similarity measurement based on cosine similarity metric improved by a domain specific ontology and the nearest neighbor method. Not only new cases are learned, hospital staff can also add comments to existing cases and the approach enables prototypical cases.

  • 210.
    Begum, Shahina
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Ahmed, Mobyen Uddin
    Mälardalen University, Department of Computer Science and Electronics.
    Funk, Peter
    Mälardalen University, Department of Computer Science and Electronics.
    Xiong, Ning
    Mälardalen University, Department of Computer Science and Electronics.
    von Schéele, Bo
    Mälardalen University, Department of Computer Science and Electronics.
    Using Calibration and Fuzzification of Cases for Improved Diagnosis and Treatment of Stress2006In: 8th European Workshop on Case-based Reasoning in the Health Sciences, workshop proceedings, 2006, p. 113-122Conference paper (Refereed)
    Abstract [en]

    In the medical literature there are a number of physiological reactions related to cognitive activities. Psychosocial and psychophysiological stress is such activities reflected in physiological reactions. Stress related symptoms are highly individual, but decreased hands temperature is the common for most individuals. A clinician learns with experience how to interpret the different symptoms but there is no adaptive diagnostic system for diagnosing stress. Decision support systems (DSS) diagnosing stress would be valuable both for junior clinicians and as second opinion for experts. Due to the large individual variations and no general set of rules, DSS are difficult to build for this task. The proposed solution combines a calibration phase with case-based reason¬ing approach and fuzzification of cases. During the calibration phase a number of individual parameters and case specific fuzzy membership functions are es-tablishes. This case-based approach may help the clinician to make a diagnosis, classification and treatment plan. The case may also be used to follow the treat-ment progress. This may be done using the proposed system. Initial tests show promising results. The individual cases including calibration and fuzzy mem-bership functions may also be used in an autonomous system in home environ-ment for treatment programs for individuals often under high stress.

  • 211.
    Begum, Shahina
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Barua, Shaibal
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ahmed, Mobyen Uddin
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    In-Vehicle Stress Monitoring Based on EEG Signal2017In: International Journal of Engineering Research and Applications, E-ISSN 2248-9622, Vol. 7, no 7, p. 55-71Article in journal (Refereed)
    Abstract [en]

    In recent years, improved road safety by monitoring human factors i.e., stress, mental load, sleepiness, fatigue etc. of vehicle drivers has been addressed in a number of studies. Due to the individual variations and complex dynamic in-vehicle environment systems that can monitor such factors of a driver while driving is challenging. This paper presents a drivers’ stress monitoring system based on electroencephalography (EEG) signals enabling individual-focused computational approach that can generate automatic decision. Here, a combination of different signal processing i.e., discrete wavelet transform, largest Lyapunov exponent (LLE) and modified covariance have been applied to extract key features from the EEG signals. Hybrid classification approach Fuzzy-CBR (case-based reasoning) is used for decision support. The study has focused on both long and short-term temporal assessment of EEG signals enabling monitoring in different time intervals. In short time interval, which requires complex computations, the classification accuracy using the proposed approach is 79% compare to a human expert. Accuracy of EEG in developing such system is also compared with other reference signals e.g., Electrocardiography (ECG), Finger temperature, Skin conductance, and Respiration. The results show that in decision making the system can handle individual variations and provides decision in each minute time interval.

  • 212.
    Begum, Shahina
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Behnam, Moris
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Larsson, Thomas B
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Nolte, Thomas
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sandström, Kristian
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Towards a Compositional Service Architecture for Real-Time Cloud Robotics2016In: ACM SIGBED Review, E-ISSN 1551-3688, p. 63-64Article in journal (Refereed)
    Abstract [en]

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

  • 213.
    Behnam, Moris
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Bruhn, Fredrik
    Bruhnspace AB, Uppsala, Sweden .
    Software architecture for next generation hyperparallel cyber-physical hardware platforms: challenges and opportunities2015In: ECSAW '15 Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015, Vol. Article No. 19Conference paper (Refereed)
    Abstract [en]

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

  • 214.
    Behnam, Moris
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Isovic, Damir
    Mälardalen University, Department of Computer Science and Electronics.
    Real-Time Control Design for Flexible Scheduling using Jitter Margin2007Report (Other academic)
    Abstract [en]

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

  • 215.
    Behnam, Moris
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Jan, Mathieu
    Univ Calif Berkeley, Berkeley UCB, Berkeley, CA 94720 USA..
    Selected papers presented at the 26th International Conference on Real-Time and Network Systems (RTNS 2018)2021In: Real-time systems, ISSN 0922-6443, E-ISSN 1573-1383, Vol. 57, no 1-2, p. 1-3Article in journal (Refereed)
  • 216.
    Behnam, Moris
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Nolte, Thomas
    Mälardalen University, School of Innovation, Design and Engineering.
    J. Bril, Reinder
    Mälardalen University, School of Innovation, Design and Engineering.
    A new approach for global synchronization in hierarchical scheduled real-time systems2009In: Work-in-Progress (WiP) session of the 21st Euromicro Conference on Real-Time Systems (ECRTS'09), 2009Conference paper (Refereed)
  • 217.
    Behnam, Moris
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Nolte, Thomas
    Mälardalen University, School of Innovation, Design and Engineering.
    Shin, Insik
    Mälardalen University, School of Innovation, Design and Engineering.
    A Hierarchical Approach for Reconfigurable and Adaptive Embedded Systems2008In: APRES'08 Adaptive and Reconfigurable Embedded Systems: First International Workshop on Adaptive and Reconfigurable Embedded Systems, 2008, p. 51-54Conference paper (Refereed)
    Abstract [en]

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

  • 218.
    Behnam, Moris
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Nolte, Thomas
    Mälardalen University, School of Innovation, Design and Engineering.
    Åsberg, Mikael
    Mälardalen University, School of Innovation, Design and Engineering.
    Shin, Insik
    Mälardalen University, School of Innovation, Design and Engineering.
    Synchronization protocols for hierarchical real-time scheduling frameworks2008In: Proceedings of the 1st Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'08) in conjunction with the 29th IEEE International Real-Time Systems Symposium (RTSS'08), Barcelona, Spain, 2008Conference paper (Refereed)
  • 219.
    Behnam, Moris
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Shin, Insik
    Mälardalen University, Department of Computer Science and Electronics.
    Nolte, Thomas
    Mälardalen University, Department of Computer Science and Electronics.
    Sjödin, Mikael
    Mälardalen University, Department of Computer Science and Electronics.
    Independent Abstraction and Dynamic Slack Reclaiming in Hierarchical Real-Time Open Systems2007In: Proceedings of the Work-In-Progress (WIP) session of the 19th Euromicro Conference on Real-Time Systems (ECRTS'07), Pisa, Italy, 2007, p. 1-4Conference paper (Refereed)
    Abstract [en]

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

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

  • 220.
    Behnam, Moris
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Shin, Insik
    Mälardalen University, Department of Computer Science and Electronics.
    Nolte, Thomas
    Mälardalen University, Department of Computer Science and Electronics.
    Sjödin, Mikael
    Mälardalen University, Department of Computer Science and Electronics.
    SIRAP: A Global Resource Sharing Protocol Facilitating Integration of Semi-independent Real-Time Systems2007Report (Other academic)
    Abstract [en]

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

  • 221.
    Belli, Fevzi
    et al.
    University of Paderborn, Germany.
    Seceleanu, Cristina
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Panel Description: 40 Years of Software Engineering2008In: Proceedings 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC2008, 2008, p. 7-7Conference paper (Other academic)
    Abstract [en]

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

  • 222.
    Bello, L. L.
    et al.
    University of Catania, Catania, Italy.
    Åkerberg, J.
    ABB Corporate Research, Västerås, Sweden.
    Gidlund, M.
    Mid Sweden University, Sundsvall, Sweden.
    Uhlemann, Elisabeth
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Guest Editorial Special Section on New Perspectives on Wireless Communications in Automation: From Industrial Monitoring and Control to Cyber-Physical Systems2017In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 13, no 3, p. 1393-1396, article id 7938563Article in journal (Other academic)
  • 223.
    Bello, Luciano
    et al.
    Chalmers University of Technology, Gothenburg, Sweden.
    Hedin, Daniel
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Chalmers University of Technology, Gothenburg, Sweden.
    Sabelefeld, Andrei
    Chalmers University of Technology, Gothenburg, Sweden.
    Value Sensitivity and Observable Abstract Values for Information Flow Control2015In: 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR'15, 2015, p. 63-78Conference paper (Refereed)
    Abstract [en]

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

  • 224.
    Bengtsson, Marcus
    Mälardalen University, Department of Innovation, Design and Product Development.
    Condition Based Maintenance Systems Technology: Where is Development Heading?2004In: Proceedings of the 17th Congress of Euromaintenance, 2004Conference paper (Other academic)
  • 225.
    Bengtsson, Marcus
    Mälardalen University, Department of Innovation, Design and Product Development.
    Standardization Issues in Condition Based Maintenance2003In: Proceedings of the 16th International Congress, August 27-29, 2003, Växjö University, Sweden, Växjö: Växjö University Press , 2003Conference paper (Other academic)
  • 226.
    Bengtsson, Marcus
    et al.
    Mälardalen University, Department of Innovation, Design and Product Development.
    Jackson, Mats
    Important Aspects to take into Consideration when Deciding to Implement Condition Based Maintenance2004Conference paper (Other academic)
  • 227.
    Berglund, Jessica
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Gallardo, Marielle
    Mälardalen University, School of Innovation, Design and Engineering.
    Spektrumanalys och Dynamiska Management-system med Cisco Radio Resource Management och CleanAir2017Independent thesis Basic level (university diploma), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

    Interference is one of the most common causes of performance issues and reliability issues in wireless networks. Interference and background noise can be localized by performing spectrum analysis to measure amplitude and frequency characteristics of electromagnetic signals. Initially a theoretical description of spectrum analysis and site survey was performed. Manual spectrum analysis was also examined by performing practical measurements and creating graphs with Metageek Wi-Spy and Chanalyzer. Signals from 802.11 units were observed with spectrum analysis, and were analyzed according to their visual interference levels. This was compared to the actual interference impact of the units. This analysis showed that manual spectrum analysis could be hard to interpret when it comes to interference, as signals from units that looked harmful were in fact not. The channel access method of the units, in this case CSMA/CA, contributed to a low impact of interference, since the units waited for the medium to be free before sending, which reduced the probability of collisions. Cisco CleanAir technology has built-in spectrum analysis functionality, to detect, classify and avoid radio frequency interference. Dynamic interference detection and avoidance reduces costs in operating and network outages. This is made possible by Cisco Radio Resource Management (RRM) - a system consisting of multiple protocols that can dynamically change frequency channel and power. The protocols of RRM were examined and discussed relative to the lab measurement. The measurements showed that the Cisco Aironet 2700 access point was more robust against interference compared to a D-Link router for small offices and home use. The robustness of an access point depends on its wireless standard, modulation and dynamic management protocols. Wireless communication is a complex subject, where multiple factors has an impact on network performance. Therefore, it might not be appropriate to draw any hard conclusions from the laboratory measurements that were performed. For future studies, similar lab measurements should be carried out by creating interference from non-802.11 units to compare the interference impact from CSMA and non-CSMA communication.

    Download full text (pdf)
    fulltext
  • 228.
    Bergman, B.L.S
    et al.
    Chalmers university of .
    Fundin, Anders
    Chalmers university of technology, Sweden.
    Gremyr, I.C
    Chalmers university of technology, Sweden.
    Johansson, P.M
    Chalmers university of technology, Sweden.
    Beyond root-cause analysis2002In: Proceedings of the Annual Reliability and Maintainability Symposium (RAMS), 2002Conference paper (Refereed)
  • 229.
    Bergman, Jan E. S.
    et al.
    Swedish Institute of Space Physics, Sweden.
    Bruhn, Fredrik
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Funk, Peter
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Isham, Brett
    Interamerican University of Puerto Rico, Bayamón, Puerto Rico.
    Rincon-Charris, Amilcar
    Interamerican University of Puerto Rico, Bayamón, Puerto Rico.
    Capo-Lugo, Pedro
    NASA Marshall Space Flight Center, Huntsville, Alabama, USA.
    Åhlen, Lennart
    Swedish Institute of Space Physics, Sweden.
    Exploiting Artificial Intelligence for Analysis and Data Selection on-board the Puerto Rico CubeSat2015Conference paper (Refereed)
  • 230.
    Bergström, Henning
    Mälardalen University, School of Innovation, Design and Engineering.
    A Study on Timed Base Choice Criteria for Testing Embedded Software2016Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

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

    Download full text (pdf)
    A Study on Timed Base Choice Criteria for Testing Embedded Software
  • 231.
    Bergström, Henning
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Enoiu, Eduard Paul
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software2017In: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017, Institute of Electrical and Electronics Engineers Inc. , 2017, p. 216-219Conference paper (Refereed)
    Abstract [en]

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

    Download full text (pdf)
    fulltext
  • 232.
    Berhmann, Gerd
    et al.
    Aalborg University, Denmark .
    David, Alexandre
    Aalborg University, Denmark .
    Guldstrand Larsen, Kim
    Aalborg University, Denmark .
    Håkansson, John
    Uppsala University, Sweden .
    Pettersson, Paul
    Uppsala University, Sweden.
    Wang, Yi
    Uppsala University, Sweden.
    Hendriks, Martijn
    Radboud University Nijmegen, Netherlands .
    UPPAAL 4.02006In: Third International Conference on the Quantitative Evaluation of Systems, QEST 2006, 2006, p. 125-126Conference paper (Refereed)
    Abstract [en]

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

  • 233.
    Berhmann, Gerd
    et al.
    NORDUnet A/S, Copenhagen, Denmark.
    David, Alexandre
    Department of Computer Science, Aalborg University.
    Guldstrand Larsen, Kim
    Department of Computer Science, Aalborg University.
    Pettersson, Paul
    Mälardalen University, School of Innovation, Design and Engineering.
    Yi, Wang
    Department of Information Technology, Uppsala University.
    Developing UPPAAL over 15 years2011In: Software - Practice and Experience, ISSN 0038-0644, Vol. 41, no 2, p. 133-142Article in journal (Refereed)
    Abstract [en]

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

  • 234.
    Bernardi, Simona
    et al.
    University of ZaragozaZaragozaSpain.
    Vittorini, ValeriaUniversity of Naples Federico II, Naples, Italy.Flammini, FrancescoLinnaeus University, Växjö, Sweden.Nardone, RobertoUniversity of Reggio Calabria, Reggio Calabria, Italy.Marrone, StefanoUniversity of Naples Federico II, Naples, Italy.Adler, RasmusFraunhofer IESE, Kaiserslautern, Germany.Schneider, DanielFraunhofer IESE, Kaiserslautern, Germany.Schleiß, PhilippFraunhofer IKS, Munich, Germany.Nostro, NicolaResiltech s.r.l., Pontedera, Italy.Løvenstein Olsen, RasmusAalborg University, Aalborg, Denmark.Di Salle, AmletoUniversity of L'Aquila, L’Aquila, Italy.Masci, PaoloNational Institute of Aerospace, Langley Research Center, Hampton, USA.
    Dependable Computing - EDCC 2020 Workshops: AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings2020Conference proceedings (editor) (Refereed)
  • 235.
    Besinovic, Nikola
    et al.
    Delft Univ Technol, Dept Transport & Planning, NL-2600 GA Delft, Netherlands..
    De Donato, Lorenzo
    Univ Naples Federico II, Dept Elect Engn & Informat Technolo2y, I-80125 Naples, Italy..
    Flammini, Francesco
    Mälardalen University, School of Innovation, Design and Engineering, Innovation and Product Realisation.
    Goverde, Rob M. P.
    Delft Univ Technol, Dept Transport & Planning, NL-2600 GA Delft, Netherlands..
    Lin, Zhiyuan
    Univ Leeds, Inst Transport Studies, Leeds LS2 9JT, W Yorkshire, England..
    Liu, Ronghui
    Univ Leeds, Inst Transport Studies, Leeds LS2 9JT, W Yorkshire, England..
    Marrone, Stefano
    Univ Naples Federico II, Dept Elect Engn & Informat Technolo2y, I-80125 Naples, Italy..
    Nardone, Roberto
    Univ Naples Parthenope, Dept Engn, I-80143 Naples, Italy..
    Tang, Tianli
    Southeast Univ, Sch Transportat, Jiangsu Prov Collaborat Innovat Ctr Modern Urban, Jiangsu Key Lab Urban ITS, Nanjing 211189, Peoples R China..
    Vittorini, Valeria
    Univ Naples Federico II, Dept Elect Engn & Informat Technolo2y, I-80125 Naples, Italy..
    Artificial Intelligence in Railway Transport: Taxonomy, Regulations, and Applications2022In: IEEE transactions on intelligent transportation systems (Print), ISSN 1524-9050, E-ISSN 1558-0016, Vol. 23, no 9, p. 14011-14024Article in journal (Refereed)
    Abstract [en]

    Artificial Intelligence (AI) is becoming pervasive in most engineering domains, and railway transport is no exception. However, due to the plethora of different new terms and meanings associated with them, there is a risk that railway practitioners, as several other categories, will get lost in those ambiguities and fuzzy boundaries, and hence fail to catch the real opportunities and potential of machine learning, artificial vision, and big data analytics, just to name a few of the most promising approaches connected to AI. The scope of this paper is to introduce the basic concepts and possible applications of AI to railway academics and practitioners. To that aim, this paper presents a structured taxonomy to guide researchers and practitioners to understand AI techniques, research fields, disciplines, and applications, both in general terms and in close connection with railway applications such as autonomous driving, maintenance, and traffic management. The important aspects of ethics and explainability of AI in railways are also introduced. The connection between AI concepts and railway subdomains has been supported by relevant research addressing existing and planned applications in order to provide some pointers to promising directions.

  • 236.
    Besker, T.
    et al.
    RISE Research Institutes of Sweden AB, Systems Engineering, Gothenburg, Sweden.
    Franke, U.
    Systems Engineering, RISE Research Institutes of Sweden AB, KTH Royal Institute of Technology, Kista, Sweden.
    Axelsson, Jakob
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Navigating the Cyber-Security Risks and Economics of System-of-Systems2023In: 2023 18th Annual System of Systems Engineering Conference, SoSe 2023, Institute of Electrical and Electronics Engineers Inc. , 2023Conference paper (Refereed)
    Abstract [en]

    Cybersecurity is an important concern in systems-of-systems (SoS), where the effects of cyber incidents, whether deliberate attacks or unintentional mistakes, can propagate from an individual constituent system (CS) throughout the entire SoS. Unfortunately, the security of an SoS cannot be guaranteed by separately addressing the security of each CS. Security must also be addressed at the SoS level. This paper reviews some of the most prominent cybersecurity risks within the SoS research field and combines this with the cyber and information security economics perspective. This sets the scene for a structured assessment of how various cyber risks can be addressed in different SoS architectures. More precisely, the paper discusses the effectiveness and appropriateness of five cybersecurity policy options in each of the four assessed SoS archetypes and concludes that cybersecurity risks should be addressed using both traditional design-focused and more novel policy-oriented tools.

  • 237.
    Bilic, Damir
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Carlson, Jan
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sundmark, Daniel
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Afzal, Wasif
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Wallin, Peter
    RISE SICS Västerås, Sweden.
    Detecting Inconsistencies in Annotated Product Line Models2020In: ACM International Conference Proceeding Series, 2020, Vol. F164267-A, p. 252-262, article id 20Conference paper (Refereed)
    Abstract [en]

    Model-based product line engineering applies the reuse practices from product line engineering with graphical modeling for the specification of software intensive systems. Variability is usually described in separate variability models, while the implementation of the variable systems is specified in system models that use modeling languages such as SysML. Most of the SysML modeling tools with variability support, implement the annotation-based modeling approach. Annotated product line models tend to be error-prone since the modeler implicitly describes every possible variant in a single system model.To identifying variability-related inconsistencies, in this paper, we firstly define restrictions on the use of SysML for annotative modeling in order to avoid situations where resulting instances of the annotated model may contain ambiguous model constructs. Secondly, inter-feature constraints are extracted from the annotated model, based on relations between elements that are annotated with features. By analyzing the constraints, we can identify if the combined variability- and system model can result in incorrect or ambiguous instances. The evaluation of our prototype implementation shows the potential of our approach by identifying inconsistencies in the product line model of our industrial partner which went undetected through several iterations of the model.

  • 238.
    Bilic, Damir
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sundmark, Daniel
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Afzal, Wasif
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Wallin, Peter
    RISE SICS Västerås, Sweden.
    Causevic, Adnan
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Amlinger, C.
    Volvo Construction Equipment, Eskilstuna, Sweden.
    Barkah, D.
    Volvo Construction Equipment, Eskilstuna, Sweden.
    Towards a Model-Driven Product Line Engineering Process - An Industrial Case Study2020In: ACM International Conference Proceeding Series, NEW YORK: ASSOC COMPUTING MACHINERY , 2020, article id 3385043Conference paper (Refereed)
    Abstract [en]

    Many organizations developing software-intensive systems face challenges with high product complexity and large numbers of variants. In order to effectively maintain and develop these product variants, Product-Line Engineering methods are often considered, while Model-based Systems Engineering practices are commonly utilized to tackle product complexity. In this paper, we report on an industrial case study concerning the ongoing adoption of Product Line Engineering in the Model-based Systems Engineering environment at Volvo Construction Equipment (Volvo CE) in Sweden. In the study, we identify and define a Product Line Engineering process that is aligned with Model-based Systems Engineering activities at the engines control department of Volvo CE. Furthermore, we discuss the implications of the migration from the current development process to a Model-based Product Line Engineering-oriented process. This process, and its implications, are derived by conducting and analyzing interviews with Volvo CE employees, inspecting artifacts and documents, and by means of participant observation. Based on the results of a first system model iteration, we were able to document how Model-based Systems Engineering and variability modeling will affect development activities, work products and stakeholders of the work products.

  • 239.
    Bilic, Damir
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sundmark, Daniel
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Afzal, Wasif
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Wallin, Peter
    RISE SICS, Västerås, Sweden.
    Causevic, Adnan
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. ES (Embedded Systems).
    Amlinger, Christoffer
    Volvo CE, Eskilstuna, Sweden.
    Model-Based Product Line Engineering in an Industrial Automotive Context: An Exploratory Case Study2018In: 1st Intl. Workshop on Variability and Evolution of Software-intensive Systems VariVolution'18, 2018Conference paper (Refereed)
    Abstract [en]

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

  • 240.
    Bizhuta, Ermal
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Carhoshi, Dhespina
    Mälardalen University, School of Innovation, Design and Engineering.
    Applicability Study of Software Architectures in the Discrete Manufacturing Domain2019Independent thesis Advanced level (degree of Master (One Year)), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

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

    Download full text (pdf)
    fulltext
  • 241.
    Björklund, Emil
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Hjorth, Johan
    Mälardalen University, School of Innovation, Design and Engineering.
    Towards Reliable Computer Vision in Aviation: An Evaluation of Sensor Fusion and Quality Assessment2020Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
    Abstract [en]

    Research conducted in the aviation industry includes two major areas, increased safety and a reduction of the environmental footprint. This thesis investigates the possibilities of increased situational awareness with computer vision in avionics systems. Image fusion methods are evaluated with appropriate pre-processing of three image sensors, one in the visual spectrum and two in the infra-red spectrum. The sensor setup is chosen to cope with the different weather and operational conditions of an aircraft, with a focus on the final approach and landing phases. Extensive image quality assessment metrics derived from a systematic review is applied to provide a precise evaluation of the image quality of the fusion methods. A total of four image fusion methods are evaluated, where two are convolutional network-based, using the networks for feature extraction in the detailed layers. Other approaches with visual saliency maps and sparse representation are also evaluated. With methods implemented in MATLAB, results show that a conventional method implementing a rolling guidance filter for layer separation and visual saliency map provides the best results. The results are further confirmed with a subjective ranking test, where the image quality of the fusion methods is evaluated further. 

    Download full text (pdf)
    fulltext
  • 242.
    Björkman, Mats
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Lindén, Maria
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. ES (Embedded Systems).
    Cooperation between academia and industry within embedded sensor systems2018In: World Congress on Medical Physics and Biomedical Engineering IUPESM 2018, 2018, Vol. 68, no 1Conference paper (Refereed)
  • 243.
    Björnfot, Lars
    et al.
    Uppsala University, Sweden.
    Asplund, Lars
    Uppsala University, Sweden.
    Lundqvist, Kristina
    Uppsala University, Sweden.
    Wall, Göran
    Uppsala University, Sweden.
    Distributed Run-Time System, a Protocol for Ada1993In: Proc. Ada-Europe'93, LNCS 688, 1993, p. 249-263Conference paper (Other academic)
    Abstract [en]

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

  • 244.
    Björnfot, Lars
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Lundqvist, Kristina
    Uppsala University, Uppsala, Sweden.
    Wall, Göran
    Uppsala University, Uppsala, Sweden.
    Asplund, Lars
    Uppsala University, Uppsala, Sweden.
    Distribution of Tasks Within a Centrally Scheduled Local Area Network1994In: Proc. Ada-Europe'94, LNCS 887, 1994, p. 421-432Conference paper (Other academic)
    Abstract [en]

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

  • 245.
    Björnfot, Lars
    et al.
    Uppsala University, Sweden.
    Lundqvist, Kristina
    Uppsala University, Sweden.
    Wall, Göran
    Uppsala University, Sweden.
    Asplund, Lars
    Uppsala University, Sweden.
    Termination of Ada Tasks in Hardware1995In: Proc. TRI-Ada'95, 1995, p. 474-486Conference paper (Other academic)
  • 246.
    Bohlin, Markus
    et al.
    Mälardalen University, School of Innovation, Design and Engineering. SICS, Sweden.
    Flier, Holger
    Mälardalen University, School of Innovation, Design and Engineering. ETH, Suisse.
    Maue, Jens
    ETH, Suisse.
    Mihalák, Matúš
    Mälardalen University, School of Innovation, Design and Engineering. ETH, Suisse.
    Hump Yard Track Allocation with Temporary Car Storage2011In: 4th International Seminar on Railway Operations Modelling and Analysis, 2011Conference paper (Refereed)
    Abstract [en]

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

  • 247.
    Bohlin, Markus
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Flier, Holger
    ETH Zürich, Institute of Theoretical Computer Science, Switzerland.
    Maue, Jens
    ETH Zürich, Institute of Theoretical Computer Science, Switzerland.
    Mihalák, Matúš
    ETH Zürich, Institute of Theoretical Computer Science, Switzerland.
    Track Allocation in Freight-Train Classification with Mixed Tracks2011In: OpenAccess Series in Informatics, Volume 20, 2011, 2011, p. 38-51Conference paper (Refereed)
    Abstract [en]

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

  • 248.
    Bohlin, Markus
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Hänninen, Kaj
    Mälardalen University, Department of Computer Science and Electronics.
    Mäki-Turja, Jukka
    Mälardalen University, Department of Computer Science and Electronics.
    Shared Stack Analysis in Transaction-Based Systems2007In: Work in Progress Proceedings RTSS'07, Tucson, Arizona, USA, 2007, p. 37-40Conference paper (Refereed)
    Abstract [en]

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

  • 249.
    Bohlin, markus
    et al.
    SICS.
    Lu, Yue
    Mälardalen University, School of Innovation, Design and Engineering.
    Kraft, Johan
    Mälardalen University, School of Innovation, Design and Engineering.
    Kreuger, Per
    SICS, Sweden.
    Nolte, Thomas
    Mälardalen University, School of Innovation, Design and Engineering.
    Best-Effort Simulation-Based Timing Analysis using Hill-Climbing with Random Restarts2009In: In Proc. of RTCSA, Aug. 2009., 2009Conference paper (Refereed)
  • 250.
    Borhani, Mohammad
    Mälardalen University, School of Innovation, Design and Engineering.
    Anomaly Detection using Machine Learning Approaches in HVDC Power System2020Independent thesis Advanced level (degree of Master (One Year)), 20 credits / 30 HE creditsStudent thesis
    Download full text (pdf)
    fulltext
2345678 201 - 250 of 1454
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