By Topic

2012 38th Euromicro Conference on Software Engineering and Advanced Applications

Date 5-8 Sept. 2012

Filter Results

Displaying Results 1 - 25 of 84
  • [Cover art]

    Publication Year: 2012, Page(s): C4
    Request permission for commercial reuse | PDF file iconPDF (307 KB)
    Freely Available from IEEE
  • [Title page i]

    Publication Year: 2012, Page(s): i
    Request permission for commercial reuse | PDF file iconPDF (66 KB)
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2012, Page(s): iii
    Request permission for commercial reuse | PDF file iconPDF (163 KB)
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2012, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (133 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2012, Page(s):v - xi
    Request permission for commercial reuse | PDF file iconPDF (178 KB)
    Freely Available from IEEE
  • Message from the General Chair

    Publication Year: 2012, Page(s): xii
    Request permission for commercial reuse | PDF file iconPDF (60 KB) | HTML iconHTML
    Freely Available from IEEE
  • Message from the Program Chairs

    Publication Year: 2012, Page(s):xiii - xiv
    Request permission for commercial reuse | PDF file iconPDF (79 KB) | HTML iconHTML
    Freely Available from IEEE
  • Program Committee

    Publication Year: 2012, Page(s):xv - xvii
    Request permission for commercial reuse | PDF file iconPDF (116 KB)
    Freely Available from IEEE
  • Reviewers

    Publication Year: 2012, Page(s):xviii - xxiii
    Request permission for commercial reuse | PDF file iconPDF (129 KB)
    Freely Available from IEEE
  • Sponsors

    Publication Year: 2012, Page(s): xxiv
    Request permission for commercial reuse | PDF file iconPDF (81 KB)
    Freely Available from IEEE
  • Organizer

    Publication Year: 2012, Page(s): xxv
    Request permission for commercial reuse | PDF file iconPDF (51 KB)
    Freely Available from IEEE
  • Model-Driven Engineering and the Impact of a Change

    Publication Year: 2012, Page(s):xxvi - xxvii
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (131 KB)

    These keynote speeches discuss the following: Model-driven engineering and the impact of a change; Things aren't always what they seem: Three examples of seemingly proper statistical analyses leading to unsubstantiated software engineering claims. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • DiplodocusDF, a Domain-Specific Modelling Language for Software Defined Radio Applications

    Publication Year: 2012, Page(s):1 - 8
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (294 KB) | HTML iconHTML

    Given its intrinsic complexity, it is not efficient to develop software defined radio (SDR) systems following traditional methodologies. A new methodology is necessary, which should allow the description of the applications at higher abstraction levels. This paper describes such a methodology. It includes domain specific modelling languages (DSML) for SDR applications / SDR architectures, and the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A MDD Approach for RTOS Integration on Valid Real-Time Design Model

    Publication Year: 2012, Page(s):9 - 16
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (751 KB) | HTML iconHTML

    The transition from the design model to the implementation model is a critical phase in Real-Time Embedded Systems development process. Indeed, this model must conserve functional and non-functional requirements of the design model on the target execution platform. In this paper, we propose a two-steps approach based on an explicit description of two types of platform: the abstract platform used a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multi-view Power Modeling Based on UML, MARTE and SysML

    Publication Year: 2012, Page(s):17 - 20
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (224 KB) | HTML iconHTML

    In embedded systems, non-functional and functional aspects are closely related and cannot be considered independently. However, the high complexity of systems requires a large domain of competencies and experts in various domains have to work concurrently on different aspects of the same systems. This is why we propose a multi-view model where each view represents a specific domain. The different ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Property-Based Proof System for Contract-Based Design

    Publication Year: 2012, Page(s):21 - 28
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (204 KB) | HTML iconHTML

    Contract-based design is an emerging paradigm for the design of complex systems, where each component is associated with a contract, i.e., a clear description of the expected behaviour. Contracts specify the input-output behaviour of a component by defining what the component guarantees, provided that the its environment obeys some given assumptions. The ultimate goal of contract-based design is t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Max-Plus Algebraic Throughput Analysis of Synchronous Dataflow Graphs

    Publication Year: 2012, Page(s):29 - 38
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (284 KB) | HTML iconHTML

    In this paper we present a novel approach to throughput analysis of synchronous dataflow (SDF) graphs. Our approach is based on describing the evolution of actor firing times as a linear time-invariant system in max-plus algebra. Experimental results indicate that our approach is faster than state-of-the-art approaches to throughput analysis of SDF graphs. The efficiency of our approach is due to ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems

    Publication Year: 2012, Page(s):39 - 46
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (289 KB) | HTML iconHTML

    Embedded real-time applications increasingly present high computation requirements, which need to be completed within specific deadlines. But, those applications present highly variable patterns, depending on the data set in a determined instant. The current trend to provide parallel processing in the embedded domain allows providing higher processing power, however, it does not address the variab... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Structuring Modular Safety Software Certification by Using Common Criteria Concepts

    Publication Year: 2012, Page(s):47 - 50
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (151 KB) | HTML iconHTML

    Safety and security certification are time and money consuming tasks. Changes to certified systems usually require re-certification of the whole product. Modular certification approaches applied to the safety and security domain aim at reducing these costs. In this paper, modular certification concepts with focus on IEC 61508 safety certification are analyzed and an approach for structuring the mo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Database Proxy Tool Support in an AUTOSAR Development Environment

    Publication Year: 2012, Page(s):51 - 54
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (245 KB) | HTML iconHTML

    AUTOSAR has been introduced as a remedy for the increasing complexity and rising costs within automotive systems development. However, AUTOSAR does not provide sufficient support for the increased complexity with respect to data management. Database proxies have been presented as a promising solution to provide software component technologies with the capabilities of a state-of-the-art real-time d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analyzing Long-Running Controller Applications for Specification Violations Based on Deterministic Replay

    Publication Year: 2012, Page(s):55 - 62
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (636 KB) | HTML iconHTML

    Deterministic replay debugging is a technique aimed at finding and debugging software failures occurring in field operation that are usually hard to reproduce. With deterministic replay debugging a software run is recorded, so that it can be reproduced deterministically in a debugger. While deterministic replay debugging is capable of reproducing a failure, in practice, especially in the case of a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Varying Topology of Component-Based System Architectures Using Metaheuristic Optimization

    Publication Year: 2012, Page(s):63 - 70
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (424 KB) | HTML iconHTML

    Today's complex systems require software architects to address a large number of quality properties. These quality properties can be conflicting. In practice, software architects manually try to come up with a set of different architectural designs and then try to identify the most suitable one. This is a time-consuming and error-prone process. Also this may lead the architect to sub optimal desig... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards Automatic Synthesis of Hardware-Specific Code in Component-Based Embedded Systems

    Publication Year: 2012, Page(s):71 - 74
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (159 KB) | HTML iconHTML

    Most component models currently in use do not try to provide extensive support for dealing with hardware devices like sensors and actuator. Lack of such support means that software components and subsystems often include device- and platform-specific code, limiting our ability to reuse them and forcing us to deal with specifics of underlying hardware in high-level software models. In this paper we... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Bridge from System to Software Development for Safety-Critical Automotive Embedded Systems

    Publication Year: 2012, Page(s):75 - 79
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (242 KB) | HTML iconHTML

    In this paper, we present a tool enhancement that allows an effective transition from the system level development phase to the software level development phase of a tool-supported safety engineering workflow aligned with the automotive functional safety standard ISO 26262. The tool enhancement has capabilities for model generation and code generation. Whereas the generation of Simulink models sup... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-Time Component Integration Using Runnable Virtual Nodes

    Publication Year: 2012, Page(s):80 - 84
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (372 KB) | HTML iconHTML

    We present the concept of runnable virtual nodes (RVNs) as means to achieve predictable integration and temporal error-containment of real-time software components. An RVN exploits the latest techniques for hierarchical scheduling and is intended as a coarse-grained component for single-node deployment, that provides functional and temporal isolations with respect to its environment. It uses a two... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.