mdh.sePublications
Change search
Refine search result
5678 351 - 388 of 388
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.
  • 351.
    Sebek, Filip
    Mälardalen University, Department of Computer Science and Electronics.
    Academic Dishonesty - an IDE perspective2006Report (Other academic)
  • 352.
    Sehlberg, Daniel
    et al.
    Prevas AB, Västerås, Sweden.
    Ermedahl, Andreas
    Mälardalen University, Department of Computer Science and Electronics.
    Gustafsson, Jan
    Mälardalen University, Department of Computer Science and Electronics.
    Lisper, Björn
    Mälardalen University, Department of Computer Science and Electronics.
    Wiegratz, Steffen
    AbsInt Angewandte Informatik GmbH, Saarbrücken, Germany.
    Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems2006In: Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006, p. 212-219Conference paper (Refereed)
    Abstract [en]

    Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. This technique is gradually being entered into industry to analyse real production codes. This article presents a case study where the aiT WCET analysis tool was used to find upper time bounds for task-oriented vehicular control code. The main purpose was to investigate the practical difficulties that arise when applying the current WCET analysis methods to this particular kind of code. In particular, we were interested in how labor-intense the analysis becomes, measured by the number of manual annotations necessary for calculating a WCET estimate. We were also interested how much tighter WCET estimates will become by manually adding extra annotations, and how much additional work that is needed to give these annotations. We also made some systematic comparisons between calculated and measured WCET estimates for the analysed system. 

  • 353.
    Sentilles, Séverine
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Vulgarakis, Aneta
    Mälardalen University, Department of Computer Science and Electronics.
    Crnkovic, Ivica
    Mälardalen University, Department of Computer Science and Electronics.
    A Model-Based Framework for Designing Embedded Real-Time Systems2007In: Proceedings of the Work-In-Progress (WIP) track of the 19th Euromicro Conference on Real-Time Systems (ECRTS 2007), Pisa, Italy, 2007Conference paper (Refereed)
    Abstract [en]

    This paper addresses the challenge of designing embedded real-time systems in an uniformed view no matter what their targeted utilisation domain is. Although Component-Based Development is an acknowledged approach for developing non real-time and non embedded systems, it still struggles to emerge in embedded real-time domains. This is mainly due to an inability to have accepted definitions and standards well-suited with the highly constrained characteristics (timing requirements, memory size, CPU speed) of such domain. In leaning upon a model-based framework, this paper describes a work-in-progress which aims at getting a common definition of what real-time components are as well as having a common structure to specify and design them.

  • 354.
    Shin, Insik
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Behnam, Moris
    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.
    Towards Optimal Hierarchical Resource Sharing in Open Environments2007In: Proceedings of the Work-In-Progress (WIP) session of the 28th IEEE Real-Time Systems Symposium (RTSS'07), Tucson, AZ, USA, 2007, p. 57-60Conference paper (Refereed)
  • 355. Sjödin, Peter
    et al.
    Sjödin, Mikael
    Mälardalen University, Department of Computer Science and Electronics.
    Kjellberg, Mats
    CANopen.NET - Programming-less interconnection between GUI- and control-application2006In: International CAN Conference (iCC), Stockholm, 2006Conference paper (Refereed)
    Abstract [en]

    We present the novel concept CANopen.NET. In this concept we integrate Windows GUI-programming in .NET and control-applications based on CANopen. The integration is automated, thus no programming is needed.

    An increasing number of CAN-based systems are equipped with Windows-based graphical user-interfaces (GUIs). Today, the .NET framework provides the most attractive solutions for design of GUIs both i Windows and WindowsCE. However, transferring information between the CANopen-domain (which is typically unmanaged code) and the .NET-domain (managed code) is non trivial. Traditional methods require handwritten pieces of code both in the managed and unmanaged domain for each signal (object-dictionary entry). This means that adding or modifying signals to the system becomes tedious, error-prone and expensive.

    In .NET high-level abstractions like XML-documents, web-servers and databases are easily accessible and can be bound to graphical controls. Hence, in CANopen.NET we provide a .NET-database interface via the .NET type "dataset" to the data in the object dictionary. This dataset is automatically generated from a CANopen profile-specification (EDS-file). Also, the CANopen-stack is automatically configured from the EDS-file. Hence, CANopen.NET provides a programming-less interconnection between CANopen-based control-applications and Windows.NET-based GUI-applications. This significantly eases the development of CANopen-systems with GUIs.

  • 356.
    Srinivasan, Jayakanth
    Mälardalen University, Department of Computer Science and Electronics.
    Studying Customer-Supplier Relationships in Global Software Development2008Conference paper (Refereed)
    Abstract [en]

    The preliminary argument used by most organizations that choose to source their software from other organizations is the perceived cost savings. The nature of the relationship between the customer and supplier has to necessarily evolve in order for it to remain mutually beneficial over the long run, i.e., the 'arms-length' relationship becomes one of strategic partnering. Studying this evolving relationship requires a set of methods that capture the context within which these organizations exist, make explicit the gap (if any) between the actual and articulated nature of the relationship between the two organizations, and can be used to create some useful constructs for managing/ evolving the relationship. This paper illustrates how the paradigm of engaged scholarship has been applied to studying the EuroTel-IndiaCo relationshi

  • 357.
    Sundmark, Daniel
    Mälardalen University, Department of Computer Science and Electronics.
    Structural System-Level Testing of Embedded Real-Time Systems2008Doctoral thesis, monograph (Other scientific)
    Abstract [en]

    People make mistakes. Software engineers are no exception to this fact. When software engineers make mistakes, these manifest in the form of buggy software - a major problem in today's industry. The existence of bugs is commonly detected using testing, the process of executing the software and checking if its behaviour complies with the specification. As limitations in time make testing of the entire software behaviour impracticable, testers need to make informed decisions on how to test the software to detect as many bugs as possible.

    In the realm of real-time systems (RTSs), software testing is made more difficult by non-deterministic factors such as interaction with the surrounding environment, (pseudo)parallelism, and timing requirements. Furthermore, RTS testing suffers from behaviour-altering perturbation from the instrumentation inserted in the system to keep track of test progress (i.e., probe effects).

    In our work, we analyse the main test criteria used for traditional software testing in order to see which of these scale to, and assist in, system-level testing of multi-tasking RTSs. We focus on one of these criteria, the all definition-use paths coverage criterion, as it highlights a central aspect of non-deterministic task interaction, and investigate what is specifically required for applying this criterion to testing of multi-tasking RTSs. Further, we examine the possibility of using execution replay for probe effect-free test monitoring. We evaluate this approach in real industrial settings by means of case studies.

    The contributions of this thesis are twofold: First, the use of structural test criteria in RTS system-level testing is facilitated by two different analysis methods. Second, the probe effect is handled by recording non-deterministic events during run-time, and by using this recording to create a monitorable deterministic replica of the first execution. By these contributions, this thesis shows how the non-determinism of multi-tasking RTSs can be handled during system-level testing.

  • 358. Sundmark, Daniel
    et al.
    Möller, Anders
    Mälardalen University, Department of Computer Science and Electronics.
    Mikael, Nolin
    Monitored Software Components: A Novel Software Engineering Approach2004In: Proceedings - Asia-Pacific Software Engineering Conference, APSEC, 2004, p. 624-631Conference paper (Other academic)
  • 359.
    Sundmark, Daniel
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Pettersson, Anders
    Mälardalen University, Department of Computer Science and Electronics.
    Sandberg, Christer
    Mälardalen University, Department of Computer Science and Electronics.
    Ermedahl, Andreas
    Mälardalen University, Department of Computer Science and Electronics.
    Thane, Henrik
    Mälardalen University, Department of Computer Science and Electronics.
    Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis2007Report (Other academic)
    Abstract [en]

    Memory corruption is one of the most common software failures. For sequential software and multitasking software with synchronized data accesses, it has been shown that program faults causing memory corruption can be detected by analyzing the relations between defines and uses of variables (DU-based testing). However, such methods are insufficient in preemptive systems, since they lack the ability to detect inter-task shared variable dependencies. In this paper, we propose the use of a system level shared variable DU analysis of preemptive multi-tasking real-time software. By deriving temporal attributes of each access to shared data using WCET analysis, and combining this information with the real-time schedule information, our method also detects inter-task shared variable dependencies

  • 360.
    Sundmark, Daniel
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Pettersson, Anders
    Mälardalen University, Department of Computer Science and Electronics.
    Sandberg, Christer
    Mälardalen University, Department of Computer Science and Electronics.
    Ermedahl, Andreas
    Mälardalen University, Department of Computer Science and Electronics.
    Thane, Henrik
    Mälardalen University, Department of Computer Science and Electronics.
    Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis2007In: OpenAccess Series in Informatics, Volume 6, 2007Conference paper (Refereed)
    Abstract [en]

    Memory corruption is one of the most common software failures. For sequential software and multi-tasking software with synchronized data accesses, it has been shown that program faults causing memory corruption can be detected by analyzing the relations between defines and uses of variables (DU-based testing). However, such methods are insufficient in preemptive systems, since they lack the ability to detect inter-task shared variable dependencies. In this paper, we propose the use of a system level shared variable DU analysis of preemptive multi-tasking real-time software. By deriving temporal attributes of each access to shared data using WCET analysis, and combining this information with the real-time schedule information, our method also detects inter-task shared variable dependencies.

  • 361.
    Suryadevara, Jagadish
    et al.
    Birla Institute of Technology & Scinec, INDIA.
    Shyamasundar, RK
    Mälardalen University, Department of Computer Science and Electronics. Tata Institute of Fundamental Research, INDIA .
    UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources2007In: Journal of Object Technology (JOT), ISSN 1660-1769, Vol. 6, no 1, p. 107-119Article in journal (Refereed)
    Abstract [en]

    In object oriented paradigm, a concurrent system can be regarded as a collection of autonomous active objects which synchronize and communicate through shared passive objects. In this paper, we propose a UML-based approach to specify secured, fine-grained concurrent access to shared resources ensuring data integrity and security. The goal of the approach is to develop the UML specification with precise executional semantics, yet independent of low-level synchronization primitives and implementation environment. The approach is largely inspired from the language constructs of CDL*. A light-weight extension of UML 2.0 meta-model is proposed for the required constructs and semantics. UML protocol statemachine is used to define the access protocol for shared resources and UML activity is used to specify the behavior of methods implementing plausibly concurrent operations. The UML activity construct is extended to support concurrency features; synchronization regions, mutual exclusion and conditional synchronization not supported in current UML2.0 semantic model. The approach can be easily extended to a programming framework of design and coding.

  • 362.
    Thane, Henrik
    Mälardalen University, Department of Computer Science and Electronics.
    Monitoring, Testing and Debugging of Distributed Real-Time Systems2000Doctoral thesis, monograph (Other scientific)
    Abstract [en]

    Abstract Testing is an important part of any software development project, and can typically surpass more than half of the development cost. For safety-critical computer based systems, testing is even more important due to stringent reliability and safety requirements. However, most safety-critical computer based systems are real-time systems, and the majority of current testing and debugging techniques have been developed for sequential (non real-time) programs. These techniques are not directly applicable to real-time systems, since they disregard issues of timing and concurrency. This means that existing techniques for reproducible testing and debugging cannot be used. Reproducibility is essential for regression testing and cyclic debugging, where the same test cases are run repeatedly with the intention of verifying modified program code or to track down errors. The current trend of consumer and industrial applications goes from single micro-controllers to sets of distributed micro-controllers, which are even more challenging than handling real-time per-see, since multiple loci of observation and control additionally must be considered. In this thesis we try to remedy these problems by presenting an integrated approach to monitoring, testing, and debugging of distributed real-time systems. For monitoring, we present a method for deterministic observations of single tasking, multi-tasking, and distributed real-time systems. This includes a description of what to observe, how to eliminate the disturbances caused by the actual act of observing, how to correlate observations, and how to reproduce them. For debugging, we present a software-based method, which uses deterministic replay to achieve reproducible debugging of single tasking, multi-tasking, and distributed real-time systems. Program executions are deterministically reproduced off-line, using information concerning interrupts, task-switches, timing, data accesses, etc., recorded at runtime. For testing, we introduce a method for deterministic testing of multitasking and distributed real-time systems. This method derives, given a set of tasks and a schedule, all execution orderings that can occur at run-time. Each such ordering is regarded as a sequential program, and by identifying which ordering is actually executed during testing, techniques for testing of sequential software can be applied. For system development, we show the benefits of considering monitoring, debugging, and testing early in the design of real-time system software, and we give examples illustrating how to monitor, test, and debug distributed real-time systems.

  • 363.
    Vera, Xavier
    Mälardalen University, Department of Computer Science and Electronics.
    Cache and Compiler Interaction: How to analyze, optimize and time cache behavior2003Doctoral thesis, monograph (Other scientific)
  • 364.
    Vera, Xavier
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Lisper, Björn
    Mälardalen University, Department of Computer Science and Electronics.
    Xue, Jingling
    Mälardalen University, Department of Computer Science and Electronics.
    Data cache locking for tight timing calculations2008In: ACM Transactions on Embedded Computing Systems, ISSN 1539-9087, E-ISSN 1558-3465, Vol. 7, no 1Article in journal (Refereed)
    Abstract [en]

    Caches have become increasingly important with the widening gap between main memory and processor speeds. Small and fast cache memories are designed to bridge this discrepancy. However, they are only effective when programs exhibit sufficient data locality. In addition, caches are a source of unpredictability, resulting in programs sometimes behaving in a different way than expected. Detailed information about the number of cache misses and their causes allows us to predict cache behavior and to detect bottlenecks. Small modifications in the source code may change memory patterns, thereby altering the cache behavior. Code transformations, which take the cache behavior into account, might result in a high cache performance improvement. However, cache memory behavior is very hard to predict, thus making the task of optimizing and timing cache behavior very difficult. This article proposes and evaluates a new compiler framework that times cache behavior for multitasking systems. Our method explores the use of cache partitioning and dynamic cache locking to provide worst-case performance estimates in a safe and tight way for multitasking systems. We use cache partitioning, which divides the cache among tasks to eliminate intertask cache interferences. We combine static cache analysis and cache-locking mechanisms to ensure that all intratask conflicts, and consequently, memory access times, are exactly predictable. The results of our experiments demonstrate the capability of our framework to describe cache behavior at compile time. We compare our timing approach with a system equipped with a nonpartitioned, but statically, locked data cache. Our method outperforms static cache locking for all analyzed task sets under various cache architectures, demonstrating that our fully predictable scheme does not compromise the performance of the transformed programs.

  • 365.
    Wall, Anders
    Mälardalen University, Department of Computer Science and Electronics.
    A Formal Approach to Analysis of Software Architectures for Real-Time Systems2000Licentiate thesis, monograph (Other scientific)
    Abstract [en]

    A software architecture is a high-level design description of a software system. In terms of the architecture, early design decisions can be analyzed to improve the quality of a real time software system, which depends very much on how it is structured rather than how it is implemented. Architectural analysis techniques vary in their degree of formality. The least formal is based on reviews and scenarios, whereas the most formal analysis methods are based on mathematics. In this thesis, we propose to use a formal approach to software architectural analysis. We use networks of timed automata to model the architecture of real time systems and transform architectural analysis problems to reachability problems that can be checked by the existing tools for timed automata. The typical properties that can be handled using this approach are schedulability and safety properties. As the first technical contribution, we extend the classic model of timed automata with a notion of real time tasks. This yields a general model for real-time systems in which tasks may be periodic and non-periodic. We show that the schedulability problem for the extended model can be transformed to a reachability problem for standard timed automata, and thus it can be checked by existing model-checking tools, e.g. UPPAAL for timed automata. As the second contribution, we present a method to check general high level temporal requirements e.g. timing constraints on data flowing in multi-rate transactions, which can not be handled by traditional approach to schedulability analysis. We have developed an algorithm that given a data dependency model and a schedule for a transaction constructs a timed automaton describing the behavior of the transaction. Thus, by using existing verification tools we can verify that a given architecture is schedulable and more importantly, it is correctly constructed with respect to the high level temporal constraints.

  • 366.
    Wall, Anders
    Mälardalen University, Department of Computer Science and Electronics.
    Architectural Modeling and Analysis of Complex Real-Time Systems2003Doctoral thesis, monograph (Other scientific)
  • 367.
    Wall, Anders
    et al.
    ABB AB, Corporate Research, Västerås, Sweden .
    Andersson, Johan
    Mälardalen University, Department of Computer Science and Electronics.
    Norström, Christer
    Mälardalen University, Department of Computer Science and Electronics.
    Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings2006In: Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers, 2006, p. 130-145Conference paper (Other academic)
    Abstract [en]

    A common problem with long-lived large industrial software systems such as telecom and industrial automation systems is the increasing complexity and the lack of formal models enabling efficient analyses of critical properties. New features are added or changed during the system life cycle and it becomes harder and harder to predict the impact of maintenance operations such as adding new features or fixing bugs.

    We present a framework for introducing analyzability in a late phase of the system's life cycle. The framework is based on the general idea of introducing a probabilistic formal model that is analyzable with respect to the system properties in focus, timing and usage of logical resources. The analyses are based on simulations. Traditional analysis method falls short due to a too limited modelling language or problems to scale up to real industrial systems.

    This method can be used for predicting the impact caused by e.g. adding a new feature or other changes to the system. This enables the system developers to identify potential problems with their design at an early stage and thus decreasing the maintenance cost.

    The framework primarily targets large industrial real-time systems, but it is applicable on a wide range of software system where complexity is an issue. This paper presents the general ideas of the framework, how to construct, validate, and use this type of models, and how the industry can benefit from this. The paper also present a set of tools developed to support the framework and our experiences from deploying parts of the framework at a company.

  • 368.
    Wallin, Peter
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Fröberg, Joakim
    Volvo Car Corporation, Eskilstuna, Sweden.
    Axelsson, Jakob
    Volvo Car Corporation, Gothenburg, Sweden.
    Making Decisions in Integration of Automotive Software and Electronics: A Method Based on ATAM and AHP2007In: Proceedings - ICSE 2007 Workshops: Fourth International Workshop on Software Engineering for Automotive Systems, SEAS'07, 2007, p. Article number 4228592--Conference paper (Other academic)
    Abstract [en]

    In this paper we present a new method for makingdecisions on integration strategy for in-vehicle automotive systems.We describe the problem of choosing integration strategy and wedescribe the method, which is a combination of the ArchitectureTradeoff Analysis Method, ATAM, and the Analytical HierarchyProcess, AHP. We exemplify the use of the proposed method byevaluating the integration decisions concerning the physicalconnection of a realistic example system; a computer controlledautomatic gearbox. We present analysis on the use of the method andconclude that the method has several benefits compared to ATAM orAHP used individually. The method firstly supports a structured wayof listing system goals, and secondly, it also supports the makingof design decisions.

  • 369.
    Wang, Xiaoyan
    et al.
    Infineon Technologies AG, Germany.
    Fard, Ali
    Mälardalen University, Department of Computer Science and Electronics.
    Andreani, Pietro
    Technical University of Denmark, Denmark.
    Phase Noise Analysis and Design of a 3-GHz Bipolar Differential Colpitts VCO2005In: Proceedings of ESSCIRC 2005: 31st European Solid-State Circuits Conference, 2005, p. 391-394Conference paper (Other academic)
    Abstract [en]

    This paper presents a low-phase-noise differential bipolar Colpitts VCO, implemented in a 0.35μm BiCMOS process. A time-variant phase noise analysis yields closed-form symbolic expressions for the dominant noise sources in the I/f2 phase-noise region. Measurements show a phase noise of -123 dBc/Hz at 1 MHz offset from a 2.8-3.1 GHz carrier, for a figure-of-merit of 183 dBc/Hz. A very good agreement between the derived theoretical formulas, spectreRF simulations, and measurements is observed.

  • 370.
    Xiong, Ning
    Mälardalen University, Department of Computer Science and Electronics.
    Generating Fuzzy Rules to Identify Relevant Cases in Case-Based Reasoning2008In: 2008 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-5, 2008, p. 2361-2366Conference paper (Refereed)
    Abstract [en]

    This paper proposes a new fuzzy case-based reasoning system In which fuzzy rule-based reasoning is utilized as a mechanism for matching between cases. The motivation is that fuzzy if-then rules present a more powerful and flexible means to represent the knowledge about case relevance than traditional distance based similarity measurements. With such fuzzy rules available, every case in the case base can be examined via fuzzy reasoning to predict whether it is relevant to a target problem in query. Those cases that are predicted as relevant are then retrieved and delivered to the next stage of decision fusion. Further, we claim that the set of fuzzy rules for case relevance prediction can be learned from the case base. The key to this is doing pair-wise comparisons of cases with known solutions In the case base such that sufficient samples of case relevance can be derived for fuzzy rule learning. The evaluations conducted on a benchmark data set have shown that the fuzzy rules in demand can be learned from a rather small case base without the risk of over-fitting and that the proposed system yields high information recall rate by capturing more cases that are relevant while not undermining the precision for the set of retrieved cases.

  • 371.
    Xiong, Ning
    et al.
    Mälardalen University, Department of Computer Science and Electronics. Royal Institute of Technology, Stockholm, Sweden.
    Christensen, Henrik
    Royal Institute of Technology, Stockholm, Sweden.
    Svensson, Per
    Swedish Defense Research Agency, Stockholm, Sweden.
    Agent negotiation of target distribution enhancing system survivability2007In: International Journal of Intelligent Systems, ISSN 0884-8173, Vol. 22, no 12, p. 1251-1269Article in journal (Refereed)
    Abstract [en]

    This article proposes an agent negotiation model for target distribution across a set of geographically dispersed sensors. The key idea is to consider sensors as autonomous agents that negotiate over the division of tasks among them for obtaining better payoffs. The negotiation strategies for agents are established based upon the concept of subgame perfect equilibrium from game theory. Using such negotiation leads to not only superior measuring performance from a global perspective but also possibly balanced allocations of tasks to sensors, benefiting system robustness and survivability. A simulation test and results are given to demonstrate the ability of our approach in improving system security while keeping overall measuring performance near optimal.

  • 372.
    Xiong, Ning
    et al.
    Mälardalen University, Department of Computer Science and Electronics. Royal Institute of Technology, Stockholm, Sweden.
    Christensen, Henrik
    Mälardalen University, Department of Computer Science and Electronics. Royal Institute of Technology, Stockholm, Sweden.
    Svensson, Per
    Swedish Defense Research Agency (FOI), Stockholm, Sweden.
    Reactive tuning of target estimate accuracy in multisensor data fusion2007In: Cybernetics and Systems, ISSN 0196-9722, Vol. 38, no 1, p. 83-103Article in journal (Refereed)
    Abstract [en]

    Dealing with conflicting and target-specific requirements is an important issue in multisensor and multitarget tracking. This paper aims to allocate sensing resources among various targets in reaction to individual information requests. The proposed approach is to introduce agents for every relevant target responsible for its tracking. Such agents are expected to bargain with each other for a division of resources. A bilateral negotiation model is established for resource allocation in two-target tracking. The applications of agent negotiation to target covariance tuning are illustrated together with simulation results presented. Moreover, we suggest a way of organizing simultaneous one-to-one negotiations, making our negotiation model still applicable in scenarios of tracking more than two targets.

  • 373.
    Xiong, Ning
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Funk, Peter
    Mälardalen University, Department of Computer Science and Electronics.
    Building similarity metrics reflecting utility in case-based reasoning2006In: Journal of Intelligent & Fuzzy Systems, ISSN 1064-1246, E-ISSN 1875-8967, Vol. 17, no 4, p. 407-416Article in journal (Refereed)
    Abstract [en]

    Fundamental to case-based reasoning is the idea that similar problems have similar solutions. The meaning of the concept of "similarity" can vary in different situations and remains an issue. Since we want to identify and retrieve truly useful or relevant cases for problem solving, the metrics of similarity must be defined suitably to reflect the utility of cases for solving a particular target problem. A framework for utility-oriented similarity modeling is developed in this paper. The main idea is to exploit a case library to obtain adequate samples of utility from pairs of cases. The task of similarity modeling then becomes the customization of the parameters in a similarity metric to minimize the discrepancy between the assessed similarity values and the utility scores desired. A new structure for similarity metrics is introduced which enables the encoding of single feature impacts and more competent approximation of case utility. Preliminary experimental results have shown that the proposed approach can be used for learning with a surprisingly small case base without the risk of over-fitting and that it yields stable system performance with variations in the threshold selected for case retrieval.

  • 374.
    Xiong, Ning
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Funk, Peter
    Mälardalen University, Department of Computer Science and Electronics.
    Construction of Fuzzy Knowledge Bases Incorporating Feature Selection2006In: Soft Computing, ISSN 1432-7643, Vol. 10, no 9, p. 796-804Article in journal (Refereed)
    Abstract [en]

    Constructing concise fuzzy rule bases from databases containing many features present an important yet challenging goal in the current researches of fuzzy rule-based systems. Utilization of all available attributes is not realistic due to the "curse of dimensionality" with respect to the rule number as well as the overwhelming computational costs. This paper proposes a general framework to treat this issue, which is composed of feature selection as the first stage and fuzzy modeling as the second stage. Feature selection serves to identify significant attributes to be employed as inputs of the fuzzy system. The choice of key features for inclusion is equivalent to the problem of searching for hypotheses that can be numerically assessed by means of case-based reasoning. In fuzzy modeling, the genetic algorithm is applied to explore general premise structure and optimize fuzzy set membership functions at the same time. Finally, the merits of this work have been demonstrated by the experiment results on a real data set.

  • 375.
    Yrjölä, Kristian
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Larsson, Thomas
    Mälardalen University, Department of Computer Science and Electronics.
    Real-time Generation of Plausible Surface Waves2007Conference paper (Refereed)
    Abstract [en]

    We present a fast and flexible algorithm for the simulation and rendering of ocean waves. The method is designed to support efficient view frustum culling and various simple wave effects such as choppy waves, capillary waves, wave refraction, round waves, and wave-land interaction, which makes the model suitable in, e.g., computer games. The waves are numerically robust, and the execution time of the generated waves can be controlled dynamically. Finally, experimental results illustrate the interactive performance and the visual quality of the generated waves.

  • 376.
    Zins, Chaim
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Dodig-Crnkovic, Gordana
    Mälardalen University, Department of Computer Science and Electronics.
    KNOWLEDGE MAP OF INFORMATION SCIENCE: IMPLICATIONS FOR THE FUTURE OF THE FIELD2007In: Brazilian Journal of Information Science, ISSN 1981-1640, Vol. 1, no 1Article in journal (Refereed)
    Abstract [en]

    This collective paper incorporates eleven position papers on implications of the "Knowledge Map of Information Science,” a Critical Delphi study conducted in 2003-2005 and published as a series of four articles (ZINS, 2007 a, b, c, d). The Delphi study captured the deliberations of 57 leading information science scholars from 16 countries to provide (1) definitions of the fundamental concepts of data, information knowledge and message, (2) alternative conceptions of the broad information science domain, (3) different classificatory mappings of the field, and (4) comprehensive mappings of information science. Overall, the Knowledge Map provides an early 21st century snapshot of the field that should help guide future research, educational programming, publishing, and other professional and scholarly thrusts. Future information science mapping research should be done periodically, including additional Delphi studies and assessments of the degree of the field's expansion and probable division into sub-fields. Alternative methodologies for mapping the expanding information science universe and its synergies with other fields of knowledge should also be explored.

  • 377.
    Åberg, Denny
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Gunnarsson, Tommy
    Mälardalen University, Department of Computer Science and Electronics.
    Norin, Peder
    Mälardalen University, Department of Computer Science and Electronics.
    Steps to Microwave Probing of Complex Dielectric Bodies2005In: Midwest Symposium on Circuits and Systems, Volume 2005, 2005, p. 1932-1935Conference paper (Other academic)
    Abstract [en]

    Microwave probing of dielectric materials is a challenging application of microwaves. This study investigates a Finite Difference Time Domain electro-magnetic wave simulation tool with the intent of establishing a quantitative simulation environment for microwave probing techniques. Measurements were compared to simulations on distilled water and a phantom resembling a human breast with and without a 10 mm diameter tumor. The measurements showed high signal differences on tumor insertion as well as on variation of the tumor position within the phantom. The simulation results shows agreement on quantitative levels for the whole phantom object, however the simulation results on tumor variation could not be quantitatively correlated to measurements

  • 378.
    Åkerholm, Mikael
    Mälardalen University, Department of Computer Science and Electronics.
    A Software Component Technology for Vehicle Control Systems2005Licentiate thesis, comprehensive summary (Other scientific)
  • 379.
    Åkerholm, Mikael
    Mälardalen University, Department of Computer Science and Electronics.
    Reusability of Software Components in the Vehicular Domain2008Doctoral thesis, comprehensive summary (Other scientific)
    Abstract [en]

    Component-based software engineering is concerned with enabling software to be assembled through systematic (re)use of carefully built software elements denoted components. In this thesis we describe how reusability benefits of component-based software engineering can be utilized for organizations acting in the vehicular domain. Attractive benefits with this approach include managing complexity through an architecture divided in components and avoidance of large monolithic structures; reduction of time-to-market since applications ideally can be assembled from pre-existing components; increased quality when applications are built from components already proven in use; and cost amortization through investment payoff by each reuse of a component.

    Successful deployment of component-based development is however not simple - it depends on many strategic, technical, and business decisions. Furthermore the domain of vehicular systems represents a class of systems where component-based principles have had a limited success, in comparison to the domain of PC applications where the approach has emerged. The major reason to this is a number of important qualities that leaven all through the software life-cycle, e.g., safety, reliability, timing, and resource efficiency.

    We have developed a prototype component technology tailored for the vehicular domain. The technology is based on a proposed component-model defining how component-based applications should be built and modelled in the context of vehicular systems. Our solution includes analysis tools and mechanisms supporting the process of maintaining important quality attributes in the life-cycle of software components.

    Furthermore, we have used the technology to develop a typical vehicular application, demonstrated its integration with a component repository for vehicular components, and also studied real cases to evaluate our results in cooperation with industry. The results confirm the suitability of component-based principles for the domain, and also show the potential in further development of component technologies for vehicular systems.

  • 380.
    Åkerholm, Mikael
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Carlson, Jan
    Mälardalen University, Department of Computer Science and Electronics.
    Fredriksson, Johan
    Mälardalen University, Department of Computer Science and Electronics.
    Hansson, Hans
    Mälardalen University, Department of Computer Science and Electronics.
    Håkansson, John
    Uppsala University, Sweden.
    Möller, Anders
    Mälardalen University, Department of Computer Science and Electronics.
    Pettersson, Paul
    Uppsala University, Sweden.
    Tivoli, Massimo
    University of L'Aquila, Italy.
    The SAVE approach to component-based development of vehicular systems2007In: Journal of Systems and Software, ISSN 0164-1212, E-ISSN 1873-1228, Vol. 80, no 5, p. 655-667Article in journal (Refereed)
    Abstract [en]

    The component-based strategy aims at managing complexity, shortening time-to-market, and reducing maintenance requirements by building systems with existing components. The full potential of this strategy has not yet been demonstrated for embedded software, mainly because of specific requirements in the domain, e.g., those related to timing, dependability, and resource consumption. We present SaveCCT - a component technology intended for vehicular systems, show the applicability of SaveCCT in the engineering process, and demonstrate its suitability for vehicular systems in an industrial case-study. Our experiments indicate that SaveCCT provides appropriate expressiveness, resource efficiency, analysis and verification support for component-based development of vehicular software. 

  • 381.
    Åkerholm, Mikael
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Carlson, Jan
    Mälardalen University, Department of Computer Science and Electronics.
    Fredriksson, Johan
    Mälardalen University, Department of Computer Science and Electronics.
    Hansson, Hans
    Mälardalen University, Department of Computer Science and Electronics.
    Sjödin, Mikael
    Mälardalen University, Department of Computer Science and Electronics.
    Nolte, Thomas
    Mälardalen University, Department of Computer Science and Electronics.
    Håkansson, John
    Mälardalen University, Department of Computer Science and Electronics.
    Pettersson, Paul
    Mälardalen University, Department of Computer Science and Electronics.
    Handling Subsystems using the SaveComp Component Technology2006In: Workshop on Models and Analysis for Automotive Systems (WMAAS'06) in conjunction with the 27th IEEE Real-Time Systems Symposium (RTSS'06), Rio de Janeiro, Brazil, 2006Conference paper (Refereed)
  • 382.
    Åkerholm, Mikael
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Carlson, Jan
    Mälardalen University, Department of Computer Science and Electronics.
    Håkansson, John
    Uppsala University, Uppsala, Sweden.
    Hansson, Hans
    Mälardalen University, Department of Computer Science and Electronics.
    Sjödin, Mikael
    Mälardalen University, Department of Computer Science and Electronics.
    Nolte, Thomas
    Mälardalen University, Department of Computer Science and Electronics.
    Pettersson, Paul
    Mälardalen University, Department of Computer Science and Electronics.
    The SaveCCM Language Reference Manual2007Report (Other academic)
    Abstract [en]

    This language reference describes the syntax and semantics of SaveCCM, a

    component modeling language for embedded systems designed with vehicle applications and safety concerns in focus. The SaveCCM component model was

    defined within the SAVE project. The SAVE components are influenced mainly

    by the Rubus component technology, with a switch concept similar to that

    in Koala. The semantics is defined by a transformation into timed automata

    with tasks, a formalism that explicitly models timing and real-time task scheduling.

    The purpose of this document is to describe a semantics of the SAVE component modeling language, which can be used to describe timing and functional behavior of components. The model of a system is in some cases an over approximation of the actual system behavior. An implementation of a model can resolve non-determinism e.g. by merging tasks or assigning a scheduling policy (such as static scheduling or fixed priority, preemptive or not) that will resolve

    the non-determinism.

  • 383.
    Åkerholm, Mikael
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Fröberg, Joakim
    Mälardalen University, Department of Computer Science and Electronics.
    Sandström, Kristian
    Mälardalen University, Department of Computer Science and Electronics.
    Crnkovic, Ivica
    Mälardalen University, Department of Computer Science and Electronics.
    A Model for Reuse and Optimization of Embedded Software Components2007In: Proceedings of the International Conference on Information Technology Interfaces, ITI, 2007, p. 567-572Conference paper (Other academic)
    Abstract [en]

    In software engineering for embedded systems generic reusable software components must often be discarded in favor of using resource optimized solutions. In this paper we outline a modelthat enables the utilization of component-based principles even for embedded systems with high optimization demands. The model supports the creation of component variants optimized for different scenarios, through the introduction of an entrance preparation step and an ending verification step into the component design process. These activities are proposed to be supported by tools working on metadata associated with components, where the metadata is possible to automatically retrieve from many development tools. This paper outlines the theoretical model that is the basis for our current realization work.

  • 384. Åkerholm, Mikael
    et al.
    Möller, Anders
    Mälardalen University, Department of Computer Science and Electronics.
    Hansson, Hans
    Mikael, Åkerholm
    Towards a Dependable Component Technology for Embedded System Applications2005In: Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS, 2005, p. 320-328Conference paper (Other academic)
    Abstract [en]

    Component-based software engineering is a technique that has proven effective to increase reusability and efficiency in development of office and webapplications. Though being promising also for development of embedded and dependable systems, the true potential in this domain has not yet been realized. In this paper we present a prototype component technology, developed with safety-critical automotive applications in mind. Thetechnology is illustrated by a case-study, which is also used as the basis for an evaluation and a discussion of the appropriateness and applicability in the considered domain. Our study provides initial positive evidence of the suitability of our technology, but also shows that it needs to be extended to be fully applicable in an industrial context.

  • 385.
    Åkerholm, Mikael
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Möller, Anders
    Hansson, Hans
    Nolin, Mikael
    Towards a Dependable Component Technology for Embedded System ApplicationsManuscript (Other academic)
  • 386.
    Åkerholm, Mikael
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Sandström, Kristian
    Mälardalen University, Department of Computer Science and Electronics.
    Crnkovic, Ivica
    Mälardalen University, Department of Computer Science and Electronics.
    Introducing Component Based Software Engineering at an Embedded Systems Sub-Contractor2008In: PROCEEDINGS OF THE 34TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, 2008, p. 59-67Conference paper (Other academic)
    Abstract [en]

    Attractive benefits with successful implementation of component-based principles include managing complexity, reduction of time-to-market, increased quality, and reusability. Deployment of component-based development is however not simple - it depends on many strategic, technical, and business decisions. In this paper we report experiences from our attempts with finding a correct implementation of component-based principles for the business situation of sub-contractors of embedded systems. Findings related to suitable component models, component technologies, and component management are presented. Overall the results confirm the suitability of component-based principles for the domain, but also show the need (and potential) in further development of CBSE theory and technology for embedded systems. 

  • 387.
    Çürüklü, Baran
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Lansner, Anders
    Mälardalen University, Department of Computer Science and Electronics.
    Configuration-specific facilitation phenomena explained by the layout of the V1 horizontal connections2006Conference paper (Refereed)
  • 388.
    Çürüklü, Baran
    et al.
    Mälardalen University, Department of Computer Science and Electronics.
    Lansner, Anders
    Mälardalen University, Department of Computer Science and Electronics.
    On the development and functional roles of the layer 4 horizontal connections in the primary visual cortex2006Conference paper (Refereed)
5678 351 - 388 of 388
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