By Topic

Engineering of Computer Based Systems, 2009. ECBS 2009. 16th Annual IEEE International Conference and Workshop on the

Date 14-16 April 2009

Filter Results

Displaying Results 1 - 25 of 49
  • [Front cover]

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

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

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

    Publication Year: 2009
    Request permission for commercial reuse | PDF file iconPDF (110 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2009, Page(s):v - viii
    Request permission for commercial reuse | PDF file iconPDF (261 KB)
    Freely Available from IEEE
  • Foreword

    Publication Year: 2009, Page(s): ix
    Request permission for commercial reuse | PDF file iconPDF (29 KB) | HTML iconHTML
    Freely Available from IEEE
  • Organizing Committee

    Publication Year: 2009, Page(s): x
    Request permission for commercial reuse | PDF file iconPDF (45 KB)
    Freely Available from IEEE
  • Program Committee

    Publication Year: 2009, Page(s): xi
    Request permission for commercial reuse | PDF file iconPDF (37 KB)
    Freely Available from IEEE
  • Steering Committee

    Publication Year: 2009, Page(s): xii
    Request permission for commercial reuse | PDF file iconPDF (36 KB)
    Freely Available from IEEE
  • Additional reviewers

    Publication Year: 2009, Page(s): xiii
    Request permission for commercial reuse | PDF file iconPDF (36 KB)
    Freely Available from IEEE
  • Using Integrative Models in an Advanced Heterogeneous System Simulation

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

    This paper is an academic experience report describing the use by researchers at the University of Arizona of a domain-specific language developed by the Institute for Software Integrated Systems (at Vanderbilt University). The domain in question is heterogeneous, distributed simulation of quad-rotor unmanned aerial vehicles (UAVs) as they respond to command and control requests from a human opera... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CQML: Aspect-Oriented Modeling for Modularizing and Weaving QoS Concerns in Component-Based Systems

    Publication Year: 2009, Page(s):11 - 20
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (541 KB) | HTML iconHTML

    Current domain-specific modeling (DSM) frameworks for designing component-based systems often consider the system's structural and behavioral concerns as the two dominant concerns of decomposition while treating nonfunctional or quality of service (QoS) concerns as an after thought. Such frameworks lack a strong decoupling between the modeling of the system's structural composition and their QoS r... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Application Capturing and Performance Estimation in an Holistic Design Environment

    Publication Year: 2009, Page(s):21 - 30
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (380 KB) | HTML iconHTML

    The objective of the hArtes (holistic approach to reconfigurable real time embedded systems) is to provide a tool set that facilitates the management of entire design flow. Despite of its improved design productivity, the two bottleneck are: (1) capturing initial application specifications in the specified graphical tool and (2) Cycle accurate performance estimation in design space exploration. We... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Raising the Abstraction of Domain-Specific Model Translator Development

    Publication Year: 2009, Page(s):31 - 37
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (335 KB) | HTML iconHTML

    Model-based development methodologies are gaining ground as software applications are getting more and more complex while the pressure to decrease time-to-market continually increase. Domain-specific modeling tools that support system analysis, simulation, and automatic code generation can increase productivity. However, most domain-specific model translators are still manually written. This paper... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Task Tree Executor: New Runtime for Parallelized Legacy Software

    Publication Year: 2009, Page(s):41 - 47
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (380 KB) | HTML iconHTML

    Building a very large-scale distributed system, such as a power distribution system, was always regarded as a highly demanding undertaking in the area of engineering of computer based systems. Such systems nowadays are managing tens of millions of input variables using rather complex mathematical calculations. Traditionally, these calculations are implemented as sequential software, e.g. in FORTRA... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Semantically Enhanced Containers for Concurrent Real-Time Systems

    Publication Year: 2009, Page(s):48 - 57
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (407 KB) | HTML iconHTML

    Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophistication of robotic spacecraft has skyrocketed the complexity and cost of its software development and validation. The engineering of autonomous spacecraft software relies on the availability and application of advanced method... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Systematic Process for Implementing Gateways for Test Tools

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

    Test automation is facing a new challenge because tools, as well as having to provide conventional test functionalities, must be capable to interact with ever more heterogeneous complex systems under test (SUT). The number of existing software interfaces to access these systems is also a growing number. The problem cannot be analyzed only from a technical or engineering perspective; the economic p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling and Analysis of Probabilistic Timed Systems

    Publication Year: 2009, Page(s):69 - 78
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1553 KB) | HTML iconHTML

    Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness properties for probabilistic timed automata. The proposed technique is an extension of a technique used to verify stochastic hybrid automata using an approximation with Markov Decision Processes. A case study for CSMA/CD prot... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using CSP to Model and Analyze TinyOS Applications

    Publication Year: 2009, Page(s):79 - 88
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (317 KB) | HTML iconHTML

    The TinyOS concurrency model, although easier to reason about than shared-state threads, may still produce undesirable behavior as a result of unexpected interleaving of concurrent activities. This is problematic, since TinyOS applications are typically intended to run unattended for long periods of time, and must be reliable. In this paper, we describe a technique for modeling the interactions be... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed BMC: A Depth-First Approach to Explore Clause Symmetry

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

    In recent years new and efficient symbolic model checking algorithms have been developed. One technique, bounded model checking or BMC, has been particularly promising. BMC models the system being verified as a boolean formula whose satisfying assignments provide counterexamples for properties verified. BMC unrolls the system in its multiple iterations. Because of this the structure of the formula... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the Meaning of SysML Activity Diagrams

    Publication Year: 2009, Page(s):95 - 105
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (394 KB) | HTML iconHTML

    In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational semantics that provides a rigorous and intuitive operational understanding of the behavior captured by the diagram. The semantics covers advanced control flows such as unstructured loops and concurrent control flows. Furthe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Architectural Design Meets Security Engineering

    Publication Year: 2009, Page(s):109 - 118
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (355 KB) | HTML iconHTML

    Security requirements strongly influence the architectural design of complex IT systems in a similar way as other non-functional requirements. Both security engineering as well as software engineering provide methods to deal with such requirements. However, there is still a critical gap concerning the integration of the methods of these separate fields. In this paper we close this gap with respect... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tradeoff and Sensitivity Analysis of a Hybrid Model for Ranking Commercial Off-the-Shelf Products

    Publication Year: 2009, Page(s):119 - 127
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (485 KB) | HTML iconHTML

    Despite its popularity, The COTS-based development still faces some challenges, in particular the evaluation and selection process in which uncertainty plays a major role. A hybrid model, composed of the analytic hierarchy process (AHP) and Bayesian belief network (BBN), is proposed to evaluate and rank various COTS candidates while explicitly considering uncertainty. Several input parameters such... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Penny Saved is a Penny Earned: Applying Optimization Techniques to Power Management

    Publication Year: 2009, Page(s):128 - 137
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (292 KB) | HTML iconHTML

    Shortage of electricity is a major problem in many developing countries. Unfortunately, for some of these countries the only solution to this problem is to shut down complete electricity supply to a few neighborhoods to make up for the gap between demand and supply. To this end, we have developed a self-optimization approach to reduce the gap between demand and supply through remotely controlling ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications

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

    With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured through offered features, where consistent composition and dynamic variability are the driving forces. We contribute to these two challenging problems when distribution and correctness are at stake. First, we soundly specif... View full abstract»

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