By Topic

Computing & Control Engineering Journal

Issue 4 • Date Aug. 2002

Filter Results

Displaying Results 1 - 9 of 9
  • Temporal composability [real-time embedded systems]

    Publication Year: 2002 , Page(s): 156 - 162
    Cited by:  Papers (6)  |  Patents (2)
    Click to expandAbstract | PDF file iconPDF (541 KB)  

    The constructive design of dependable distributed real-time systems out of pre-validated components requires precise interface specifications of the components in the temporal domain and in the value domain. This paper focuses on the temporal specification of interfaces in composable distributed real-time systems and establishes four principles of composability (independent development of nodes, s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • EDF message scheduling on controller area network

    Publication Year: 2002 , Page(s): 163 - 170
    Cited by:  Papers (7)
    Click to expandAbstract | PDF file iconPDF (495 KB)  

    The controller area network (CAN) has a maximum transmission rate of 1 Mbit/s and its fixed priorities-based medium access control (MAC) limits the maximum bus utilisation when timeliness guarantees are required. An implementation of earliest deadline first (EDF) message scheduling on the CAN, based on the FTT-CAN (flexible time-triggered communication on CAN) protocol, is presented, which allows ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Probabilistic performance analysis in multiprocessor scheduling

    Publication Year: 2002 , Page(s): 171 - 179
    Cited by:  Papers (1)
    Click to expandAbstract | PDF file iconPDF (644 KB)  

    A novel probabilistic framework for the study of performance issues in multiprocessor scheduling of tasks with uncertain characteristics is proposed. It enables the determination of various performance measures, such as the overall completion rate from a probabilistic picture of the tasks currently under execution, formed from a probabilistic description of newly arriving tasks and assignment of p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Process algebraic modelling and analysis of power-aware real-time systems

    Publication Year: 2002 , Page(s): 180 - 188
    Click to expandAbstract | PDF file iconPDF (607 KB)  

    A unified formal framework for designing and reasoning about power-constrained, real-time systems is described. The framework is based on process algebra, a formalism that has been developed to describe and analyse communicating, concurrent systems. The proposed extension allows the modelling of probabilistic resource failures, priorities of resource usages and power consumption by resources withi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modelling of real-time constraints using SDL for embedded systems design

    Publication Year: 2002 , Page(s): 189 - 196
    Click to expandAbstract | PDF file iconPDF (450 KB)  

    The use of SDL (Specification and Description Language)has arisen as a promising way of dealing with the increasing complexity of embedded real-time systems. However, SDL does not take into account non-functional aspects, such as the time requirements that are especially important in the context of real-time systems. Furthermore, the associated code generators do not integrate the management of te... View full abstract»

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

    Publication Year: 2002 , Page(s): 197 - 205
    Cited by:  Papers (3)
    Click to expandAbstract | PDF file iconPDF (508 KB)  

    An efficient scheme for placing forced checkpoints in a distributed real-time embedded system so as to eliminate useless checkpoints is presented. The notion of primary non-causal intervals is introduced; these intervals are shown to be the only candidates that need to be considered for inserting a minimum number of forced checkpoints. An efficient algorithm is then used to identify the primary no... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Development of fast-response servos for military and naval systems. 2. Simulation techniques

    Publication Year: 2002 , Page(s): 206 - 213
    Click to expandAbstract | PDF file iconPDF (514 KB)  

    In Part 1 (see ibid., vol. 13, no. 3, p. 127-136, June 2002), a brief history of the development of servo drives for military applications was given and the design and performance of the laboratory hardware constructed was described. This article comments on results from system analysis mathematics and computer modelling work using Matlab/Simulink software. The article refers to computer modelling... View full abstract»

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

    Publication Year: 2002 , Page(s): 215 - 216
    Click to expandAbstract | PDF file iconPDF (266 KB)  

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time embedded systems

    Publication Year: 2002 , Page(s): 154 - 155
    Cited by:  Papers (3)
    Click to expandAbstract | PDF file iconPDF (274 KB)  

    First Page of the Article
    View full abstract»

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

Aims & Scope

Published from 2003-2007, Computing and Control Engineering was concerned with computing, communications, control and instrumentation.

Full Aims & Scope