By Topic

Engineering of Computer Based Systems (ECBS), 2011 18th IEEE International Conference and Workshops on

Date 27-29 April 2011

Filter Results

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

    Publication Year: 2011 , Page(s): C1
    Save to Project icon | Request Permissions | PDF file iconPDF (856 KB)  
    Freely Available from IEEE
  • [Title page i]

    Publication Year: 2011 , Page(s): i
    Save to Project icon | Request Permissions | PDF file iconPDF (86 KB)  
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2011 , Page(s): iii
    Save to Project icon | Request Permissions | PDF file iconPDF (168 KB)  
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2011 , Page(s): iv
    Save to Project icon | Request Permissions | PDF file iconPDF (109 KB)  
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2011 , Page(s): v - viii
    Save to Project icon | Request Permissions | PDF file iconPDF (205 KB)  
    Freely Available from IEEE
  • Foreword

    Publication Year: 2011 , Page(s): ix
    Save to Project icon | Request Permissions | PDF file iconPDF (91 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Program Committee

    Publication Year: 2011 , Page(s): x
    Save to Project icon | Request Permissions | PDF file iconPDF (73 KB)  
    Freely Available from IEEE
  • Consensus in Networks: Coordination and Control of CyberPhysical Systems, from Unmanned Vehicles to Energy-Efficient Buildings

    Publication Year: 2011 , Page(s): 1
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (184 KB) |  | HTML iconHTML  

    Summary form only given. In this talk we discuss the consensus variable approach to the coordination and control of cyberphysical systems (those with a tight integration of physical dynamics, sensors and actuators, and computing infrastructure). We begin with an overview of motivating problems and a summary of key results related to the consensus (or agreement) paradigm. We illustrate the applicat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Medical Cyber-Physical Systems

    Publication Year: 2011 , Page(s): 2
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (118 KB) |  | HTML iconHTML  

    Summary form only given. We discuss current trends in the development and use of high-confidence medical cyber-physical systems (MCPS). These trends, including increased reliance on software to deliver new functionality, wider use of network connectivity in MCPS, and demand for continuous patient monitoring, bring new challenges into the process of MCPS development and at the same time create new ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Supporting Community-Driven Evolution of Model-Driven Development Knowledge Using ReMoDD

    Publication Year: 2011 , Page(s): 3
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (241 KB)  

    Summary form only given. Research on model-driven development (MDD) tackles the problem of developing complex, critical software systems by providing support for systematically transforming abstract models of software systems to dependable implementations. A problem that significantly impedes MDD research productivity and hampers efforts to effectively teach MDD concepts is the lack of accessible ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Finding Interaction Faults Adaptively Using Distance-Based Strategies

    Publication Year: 2011 , Page(s): 4 - 13
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (265 KB) |  | HTML iconHTML  

    Software systems are typically large and exhaustive testing of all possible input parameters is usually not feasible. Testers select tests that they anticipate may catch faults, yet many unanticipated faults may be overlooked. This work complements current testing methodologies by adaptively dispensing one-test-at-a-time, where each test is as "distant" as possible from previous tests. Two types o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Structured Framework for Assessing the "Goodness" of Agile Methods

    Publication Year: 2011 , Page(s): 14 - 23
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (337 KB) |  | HTML iconHTML  

    Agile Methods are designed for customization, they offer an organization or a team the flexibility to adopt a set of principles and practices based on their culture and values. While that flexibility is consistent with the agile philosophy, it can lead to the adoption of principles and practices that can be sub-optimal relative to the desired objectives. We question then, how can one determine if ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analysis of Applicability for Synchronization Complexity Metric

    Publication Year: 2011 , Page(s): 24 - 33
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (235 KB) |  | HTML iconHTML  

    The paper analyzes the practical applicability of the novel Synchronization Complexity metric (SCM) introduced by the authors in. This metric characterizes complexity of a program based on the kind and amount of means used for synchronization between its concurrent components. The metric is evaluated with respect to the soundness properties introduced by Weyuker and software measurement scales con... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hardware/Software Communication Middleware for Data Adaptable Embedded Systems

    Publication Year: 2011 , Page(s): 34 - 43
    Cited by:  Papers (4)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (445 KB) |  | HTML iconHTML  

    Recent trends toward increased flexibility and configurability in emerging applications present demanding challenges for implementing systems that incorporate such capabilities. The resulting application configuration space is generally much larger than any one hardware implementation can support. We present an overview of a new data-adaptive approach to rapid design and implementation of such hig... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems

    Publication Year: 2011 , Page(s): 44 - 51
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (1397 KB) |  | HTML iconHTML  

    Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of dependability, such as predictability, availability, and security. In component-based systems, these challenges are exacerbated since the tradeoffs must faithfully be reflected within the complex metadata descriptors used to ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hardware Observability Framework for Minimally Intrusive Online Monitoring of Embedded Systems

    Publication Year: 2011 , Page(s): 52 - 60
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (363 KB) |  | HTML iconHTML  

    As the complexity of digital systems rapidly increases, designers are presented with significant challenges in monitoring, analyzing, and debugging the complex interactions of various software and hardware components. Existing hardware tests and debugging methods are often intrusive, either requiring significant hardware resources or requiring the execution of the system to be halted thus leading ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications

    Publication Year: 2011 , Page(s): 61 - 70
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (530 KB) |  | HTML iconHTML  

    Real-Time Embedded Systems (RTES) have an increasing role in controlling the IT that we use on a day-to-day basis. The behaviour of an RTES is not based solely on the interactions it might have with its surrounding environment, but also on the timing requirements it induces. As a result, ensuring that an RTES behaves correctly is non-trivial, especially after adding time as a new dimension to the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Meta-Framework for Design Space Exploration

    Publication Year: 2011 , Page(s): 71 - 80
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (387 KB) |  | HTML iconHTML  

    Complex software systems have a large number of choices in terms of selection of software components and hardware architectures for implementation. These design choices create a large space of possible design solutions called the design space. The design process requires exploring through this design space to find valid design solutions before the actual implementation. Design space exploration (D... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Queral Networks: Toward an Approach for Engineering Large Artificial Neural Networks

    Publication Year: 2011 , Page(s): 81 - 88
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (466 KB) |  | HTML iconHTML  

    A generalization of an artificial neuron is introduced in this paper. Called the queron, this abstraction is the basic computational node of Queral Networks (QN). QNs are introduced as a parallel architecture expected to be an improvement upon Artificial Neural Networks (ANN). The fundamental properties of QNs are presented here: reusability, complexity management and human-readability. It is expe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards Change Propagating Test Models in Autonomic and Adaptive Systems

    Publication Year: 2011 , Page(s): 89 - 96
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (709 KB) |  | HTML iconHTML  

    Autonomic and adaptive computing systems can add, remove, and replace their own components in response to a changing environment. Self-adaptation facilitates the performance of automated maintenance and configuration tasks, but makes it possible for faults to be introduced into the software at runtime. To address this issue, researchers have developed approaches for integrating runtime testing int... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards an Operational Safety Standard for Software: Modelling IEC 61508 Part 3

    Publication Year: 2011 , Page(s): 97 - 104
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (320 KB) |  | HTML iconHTML  

    Safety standards are an important means for developing safety-critical (software) systems. Usually they provide a set of requirements and recommendations in order to support implementing safe software, such as the prominent IEC 61508 functional safety standard. Meeting them leads to safer software and reduces the likelihood for harms on people and environment. But for both, the development team an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fostering the Universal Virtual Computer as Long-Term Preservation Platform

    Publication Year: 2011 , Page(s): 105 - 110
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (836 KB) |  | HTML iconHTML  

    The Universal Virtual Computer (UVC) is a simple yet powerful approach to preserve digital objects on a long-term scale. The main idea is to develop tools for the UVC to access encoded objects, thus preserving the accessibility of the digital object. Consisting of only few commands, the UVC allows for an arbitrary amount of segments, registers, and memory. The specification is provided in plain En... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Measuring and Reducing Modeling Effort in Domain-Specific Modeling Languages with Examples

    Publication Year: 2011 , Page(s): 120 - 129
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (1343 KB) |  | HTML iconHTML  

    Domain-specific modeling languages (DSMLs) facilitate rapid and ``correct-by-construction'' realization of concepts for the target domain. Although DSMLs provide such benefits, there is implied (or hidden) modeling effort---in terms of user actions---associated with using a DSML that can negatively impact its effectiveness. It is therefore critical that DSML developers understand the meaning of mo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated Adaptor Generation for Services Based on Pushdown Model Checking

    Publication Year: 2011 , Page(s): 130 - 139
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (333 KB) |  | HTML iconHTML  

    Service adaptation is a promising solution for mismatches in service composition by introducing a mediate service called adaptor to coordinate interactions of services. In a previous work, an approach of non-regular service adaptation using model checking has been proposed for solving behavior mismatches. The approach uses pushdown automata as behavior model of adaptors so that non-regular interac... View full abstract»

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

    Publication Year: 2011 , Page(s): 140 - 148
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (357 KB) |  | HTML iconHTML  

    We describe the various composition operations available in the Rosetta specification language, provide examples, and discuss reasoning compositionally about specified systems. Composing specifications allows for more than the usual benefits of modularity and re-use: reasoning about specifications also may rely explicitly on the nature of composition. Rosetta facilitates composition of differing v... View full abstract»

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