By Topic

Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2012 15th IEEE International Symposium on

Date 11-11 April 2012

Filter Results

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

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

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

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

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

    Publication Year: 2012 , Page(s): v - viii
    Save to Project icon | Request Permissions | PDF file iconPDF (86 KB)  
    Freely Available from IEEE
  • FORDS 2012 Message from the Workshop Chairs

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

    Publication Year: 2012 , Page(s): x
    Save to Project icon | Request Permissions | PDF file iconPDF (67 KB)  
    Freely Available from IEEE
  • FORDS 2012 Reviewers

    Publication Year: 2012 , Page(s): xi
    Save to Project icon | Request Permissions | PDF file iconPDF (64 KB)  
    Freely Available from IEEE
  • iVCE 2012 Message from the Workshop Chairs

    Publication Year: 2012 , Page(s): xii
    Save to Project icon | Request Permissions | PDF file iconPDF (117 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • iVCE 2012 Committees

    Publication Year: 2012 , Page(s): xiii
    Save to Project icon | Request Permissions | PDF file iconPDF (67 KB)  
    Freely Available from IEEE
  • iVCE 2012 Reviewers

    Publication Year: 2012 , Page(s): xiv
    Save to Project icon | Request Permissions | PDF file iconPDF (64 KB)  
    Freely Available from IEEE
  • RTSOAA 2012 Message from the Workshop Chair

    Publication Year: 2012 , Page(s): xv
    Save to Project icon | Request Permissions | PDF file iconPDF (64 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • RTSOAA 2012 Workshop Organization

    Publication Year: 2012 , Page(s): xvi
    Save to Project icon | Request Permissions | PDF file iconPDF (60 KB)  
    Freely Available from IEEE
  • RTSOAA 2012 Reviewers

    Publication Year: 2012 , Page(s): xvii
    Save to Project icon | Request Permissions | PDF file iconPDF (62 KB)  
    Freely Available from IEEE
  • SORT 2012 Message from the Workshop Co-chairs

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

    Publication Year: 2012 , Page(s): xix
    Save to Project icon | Request Permissions | PDF file iconPDF (67 KB)  
    Freely Available from IEEE
  • SORT 2012 Reviewers

    Publication Year: 2012 , Page(s): xx
    Save to Project icon | Request Permissions | PDF file iconPDF (65 KB)  
    Freely Available from IEEE
  • STeC: A Location-Triggered Specification Language for Real-Time Systems

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

    Internet of Things (IoT) or Cyber-Physical Systems (CPS) is a new trend of real-time systems in the area of information technology. This paper introduces a spatiotemporal consistence language for real-time systems (Shortly, STeC). The consistence requires that a process do its tasks at the required location or time. Thus, this language provides a location-triggered specification for real-time syst... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Functional Safety Analysis Method for CTCS Level 3 Based on Hybrid Automata

    Publication Year: 2012 , Page(s): 7 - 12
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (6173 KB) |  | HTML iconHTML  

    Chinese Train Control System Level 3(CTCS-3) is a typical complex cyber-physical system. The complexity of functionality of CTCS-3 brings some challenges to the safety analysis with the typical methods. In this paper, we propose the method of functional safety analysis based on the hybrid automata, where the faults are modeled as fault events to present the fault situation of system, moreover, the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Low Power Consumption Data Structure Design for Embedded Applications in Real-Time Systems

    Publication Year: 2012 , Page(s): 13 - 18
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (361 KB) |  | HTML iconHTML  

    In the widely used real-time and embedded systems, resources such as memory footprint, energy, are very limited. We try to find solutions -- in the context of data structure design- that are memory efficient and low power consumption in memory usage. We analyze various existing and creative new data structure implementations of a specific embedded application. Low memory cost, data accesses and po... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Measuring Time Lag with Nested Preemptions and Resumptions

    Publication Year: 2012 , Page(s): 19 - 24
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (310 KB) |  | HTML iconHTML  

    Controller automata, adopting an unbounded stack, provide sequential execution of a group of timed automata according to various priority policies. When a preemption between two processes is considered, a time lag function is used to transform a timed automaton into one that waits a certain time when preempted by another timed automaton. This paper proposes a static algorithm for timed lag by clon... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Review of Cyber-Physical System Architecture

    Publication Year: 2012 , Page(s): 25 - 30
    Cited by:  Papers (5)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (322 KB) |  | HTML iconHTML  

    With the goal of accomplish the ubiquitous intelligence in social life, Cyber-Physical Systems (CPS) are getting growing attentions of researchers and engineers. However, the complexity of computing and physical dynamics bring a lot of challenges in the development of CPS, such as integration of heterogeneous physical devices, system verification, security assurance, and so on. A general or unifie... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending the Four-Variable Model for Cyber-Physical Systems

    Publication Year: 2012 , Page(s): 31 - 36
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (6214 KB) |  | HTML iconHTML  

    As Cyber-physical System (CPS) is gaining more and more concerns recently, the requirements modeling becomes a critical issue in CPS. In this paper we propose a requirements model for CPS by extending the Four-Variable Model. Through extension, the requirements model deals with complex network environment that CPS are facing, and views timing and position requirements as functional requirements. B... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Component Based Design of Fault Tolerant Devices in Cyber Physical System

    Publication Year: 2012 , Page(s): 37 - 42
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (205 KB) |  | HTML iconHTML  

    The complexity of software in safety critical systems has increased significantly over the last ten years so that how to tackle the complexity and gain high dependable software plays an important roles in ensuring the overall product quality. In this context, component based development (CBD) has been successfully applied to large scale software system in the fields of Software Engineering. Simila... View full abstract»

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

    Publication Year: 2012 , Page(s): 43 - 47
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (4936 KB) |  | HTML iconHTML  

    Cyber-Physical Systems (CPS) aims at having the cyber world and the physical world integrated gracefully. Great challenges are raised for management of CPS. In this paper, we put management of CPS in the vision of Web-of-Things to achieve interoperability and simplicity under the design style of "REpresentational State Transfer" (REST). The integration of management entities to the web was analyze... View full abstract»

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