By Topic

Parallel and Distributed Real-Time Systems, 1996. Proceedings of the 4th International Workshop on

Date 15-16 April 1998

Filter Results

Displaying Results 1 - 25 of 47
  • Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems

    Publication Year: 1996
    Save to Project icon | Request Permissions | PDF file iconPDF (76 KB)  
    Freely Available from IEEE
  • POSIX standards for fault management in a real-time environment

    Publication Year: 1996 , Page(s): 53 - 56
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (400 KB)  

    Describes the Portable Operating System Interface (POSIX) standards, specifically the application programming interface (API) standards for fault management for use in a real-time environment. This work is being performed by the Services for Reliable, Available and Serviceable Systems (SRASS) Working Group. This work is a POSIX standards effort in the P1003.1 System Services group project P1003.1h... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Timed reachability analysis method for communication protocols with time intervals

    Publication Year: 1996 , Page(s): 188 - 191
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (332 KB)  

    As communication systems have progressed rapidly, real time performance has been required for communication systems recently. In order to meet this demand, communication protocols must have real time processing capabilities. We assume that an execution time of each event has an interval for which the lower and upper bounds are specified. Under this assumption, we propose a timed reachability analy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Use case maps for attributing behaviour to system architecture

    Publication Year: 1996 , Page(s): 3 - 10
    Cited by:  Papers (7)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (736 KB)  

    The ability to attribute behaviour to architecture is important for the high-level understanding, design, evolution and reengineering of all kinds of systems (from object-oriented programs to parallel and distributed computer systems). Scenarios are a good way of doing it, but popular scenario techniques, such as message sequence charts, that use intercomponent “wiring” as their starti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The response time distribution in a multi-processor database with single queue static locking

    Publication Year: 1996 , Page(s): 118 - 121
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (364 KB)  

    A transaction scheduling mechanism is designed for a shared memory, multiprocessor database system. The scheduler used is a variant of static locking, adapted for real time and more than one processor. It is assumed that transactions arrive according to a Poisson process, execution times of transactions are independent and exponentially distributed and all transactions use the same number of data ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The time characteristics of cyclic service in Profibus

    Publication Year: 1996 , Page(s): 192 - 195
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (348 KB)  

    In Profibus master stations poll data from slave stations using the cyclic service CSRD (Cyclic Send and Request Data with Reply). Because the polling-interval determines the data sampling interval, it is important for the Profibus user to be able to know the maximum polling-interval of a cyclic service. We develop a formula for determining the maximum polling-interval of a cyclic service. Further... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An environment for incremental development of distributed extensible asynchronous real-time systems

    Publication Year: 1996 , Page(s): 43 - 46
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (412 KB)  

    Incremental, parallel development of distributed real-time systems is difficult. Architectural techniques and software tools developed at the Jet Propulsion Laboratory's (JPL's) Flight System Testbed (FST) make feasible the integration of complex systems in various stages of development. In particular, two techniques are used: a strict layering architecture for organization of independent subsyste... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An approach to monitoring and assertion-checking of real-time specifications

    Publication Year: 1996 , Page(s): 236 - 243
    Cited by:  Papers (9)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (704 KB)  

    The paper describes the development of a monitoring and assertion checking tool, MAC, which supports monitoring of symbolic execution traces generated by the Modechart Toolset, permitting testing of specifications early in the design phase and providing a mechanism for evaluating properties of the system on a particular execution trace. This approach avoids many of the difficulties of run time mon... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Development and validation of network clock measurement techniques

    Publication Year: 1996 , Page(s): 65 - 68
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (352 KB)  

    Navy systems are inherently real time. As these systems evolve with the introduction of new requirements, technologies, and commercial off the shelf (COTS) equipment, they are evolving toward more distributed systems. A key component to the deployment of real time distributed systems in Navy applications is quality clock synchronization among the various computing platforms in the distributed syst... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling real-time distributed software systems

    Publication Year: 1996 , Page(s): 11 - 18
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (752 KB)  

    The “architecture” of a software system refers to its highest-level modular decomposition and the interrelationship patterns between its modules. An architecture serves as a blueprint for implementation and also as the chief determinant of a system's ability to evolve. Consequently, there is an increased interest in methods for specifying and validating software architectures. One such... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Establishing a real-time distributed benchmark

    Publication Year: 1996 , Page(s): 200 - 201
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (184 KB)  

    There are currently very few well-known approaches for performing measurements on real-time distributed environments, none of which can be considered as widely accepted at this point in time. The establishment of an acceptable approach to evaluation for real-time distributed environments will be a far-reaching enterprise. There is much debate about what constitutes a valid performance level evalua... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling and simulation in reactive systems

    Publication Year: 1996 , Page(s): 27 - 34
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (876 KB)  

    In currently-used paradigms for system development, knowledge about the objects in the system's environment is used to derive algorithms that relate events in the environment to actions. This results in implicit representation of the original knowledge in the operational system. In the majority of cases, there are only very limited mechanisms for controlling these built-in behaviours, whereas for ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluating LAN communications performance for a real-time environment

    Publication Year: 1996 , Page(s): 164 - 171
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (708 KB)  

    The Navy is a large user of real time systems. A modern surface ship is deployed with hundreds of computers which are required for the ship to perform its mission. The Navy is moving away from using “niche” market components to meet its real time computing needs and towards distributed processing using Commercial Off The Shelf (COTS) computing components. The use of commercial real tim... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Relaxed serializability based on consistent states for real-time database applications

    Publication Year: 1996 , Page(s): 126 - 129
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (396 KB)  

    Serializability, the standard notion of correctness, has limitations in real-time database systems because its strict logical consistency. For certain real-time applications, serializability may not be necessary for concurrent execution and different correctness criteria may be applied to different applications depending on the semantics and the requirements of transactions in the applications. Th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Joint STARS perspective on real-time high performance computer benchmarking

    Publication Year: 1996 , Page(s): 204 - 206
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (152 KB)  

    A real-world application perspective on embedded real-time high performance computing benchmarks. Joint STARS (Joint Surveillance Target Attack Radar System) is an air-to-ground surveillance system which provides on-line real-time information on the detection, location, classification, and tracking of ground based objects over a large area. The real-time airborne nature of Joint STARS places physi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An engineering approach to decomposing end-to-end delays on a distributed real-time system

    Publication Year: 1996 , Page(s): 244 - 251
    Cited by:  Papers (10)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (648 KB)  

    We propose an adequate engineering technique for decomposing end-to-end delays in distributed real time systems. Our technique greatly simplifies the real time system design process by turning a global distributed scheduling problem into a set of single processor scheduling problems with local deadlines. The deadline decomposition is done using critical scaling factor (J. Lehoczky et al., 1989) as... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Benchmarking of real-time high-performance computing systems

    Publication Year: 1996 , Page(s): 198 - 199
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (224 KB)  

    The real-time high performance computing community needs to establish an industry-supported benchmarking effort. This effort should specify two sets of benchmarks: one at an application level and one at a functional level, or so-called “compact” applications. A common set of performance metrics incorporating the embedded physical attributes of systems must be defined. Both system vendo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rare event simulation with an adaptive “RESTART” method in a Petri net modeling environment

    Publication Year: 1996 , Page(s): 229 - 234
    Cited by:  Papers (3)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (552 KB)  

    For the performability evaluation of complex soft real time systems, simulation often remains the only feasible method. Simulation experiments tend to be very time consuming if rare events have to be considered. The paper describes a fast simulation approach for rare events implemented in a Petri net tool. The technique is based on the recently developed RESTART method, which is applicable for rar... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Inter- and intra-processor synchronizations in multiprocessor real-time kernel

    Publication Year: 1996 , Page(s): 69 - 74
    Cited by:  Papers (5)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (660 KB)  

    In multiprocessor systems the worst case execution time of a task that exclusively accesses a shared resource is unavoidably prolonged as the number of contending processors is increased. In case of function distributed multiprocessors, because many of the tasks can be processed without synchronizing or communicating with other processors, it is advantageous that the worst case behavior of such ta... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scheduling periodic distributed hard real-time tasks

    Publication Year: 1996 , Page(s): 101 - 104
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (396 KB)  

    We present several efficient online and offline strategies for assigning periodic tasks to the nodes of a distributed system, such that the tasks can be feasibly scheduled by the node using some local static/dynamic priority assigning rule. We describe rules that lead to a near optimal utilization factor. Strategies are given for approximation algorithms and the approach leads to a high guarantee ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Heterogeneous parallel architecture for improving signal processing performance in Doppler blood flow instrumentation

    Publication Year: 1996 , Page(s): 135 - 138
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (356 KB)  

    The work presents a heterogeneous parallel approach, for implementing a model based spectral estimation method, based on the modified covariance parametric algorithm. A Heterogeneous Processing Node (HPN) has been developed, which combines the communications ability of the transputer with a high performance signal processing of a DSP, in order to improve the time performance in parametric spectral... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling and simulation for distributed computer control systems in a steel plant

    Publication Year: 1996 , Page(s): 252 - 255
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (356 KB)  

    The paper presents a modeling and simulation method to evaluate the performance of distributed computer control systems (DCCSs). Task response time, resource utilization, and network delay are considered as performance indices for time critical systems. The proposed DCCS model is composed of nodes, network, and environment model and their sub models are also described. The suggested method is appl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Earliest deadline message scheduling with limited priority inversion

    Publication Year: 1996 , Page(s): 87 - 94
    Cited by:  Papers (5)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (640 KB)  

    The paper presents an innovative approach for scheduling network messages with real time dynamic algorithms. The solution described takes advantage of the increased network utilization allowed by dynamic scheduling methods and bounds and at the same time the priority inversion phenomena caused by the lack of a sufficient number of priority levels. We give a very simple formula for checking the sch... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic verification system based on automaton theory

    Publication Year: 1996 , Page(s): 256 - 259
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (372 KB)  

    It is important to formally verify real-time systems. The author specifies system specification and verification properties using a timed automaton. In order to avoid the state-space explosion, the author proposes the following methods. (1) Computing SCC (strongly connected components) satisfying acceptance conditions by checking timing constraints. (2) Computing SCC by image computation based on ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An embedded real-time SIMD processor array for image processing

    Publication Year: 1996 , Page(s): 131 - 134
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (312 KB)  

    The paper presents an overview of the SuperSPAR (Systolic Processor Array) architecture and chip set. The SuperSPAR was designed by Lockheed Martin to bring the benefits of massively parallel SIMD processing to the embedded systems domain. The system philosophy focused on building a hierarchy of scaleable subarray modules allowing systems to be configured by “plugging together” any num... View full abstract»

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