By Topic

IEE Proceedings - Software

Issue 2 • Date April 1999

Filter Results

Displaying Results 1 - 9 of 9
  • Editorial real-time systems - multidisciplinary engineering [Editorial]

    Publication Year: 1999, Page(s): 57
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (136 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.
  • Elements of distributed algorithms-modeling and analysis with petri nets Wolfgang Reisig [Book review]

    Publication Year: 1999, Page(s): 128
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (92 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.
  • Fail-aware datagram service

    Publication Year: 1999, Page(s):58 - 74
    Cited by:  Papers (9)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1408 KB)

    In distributed real time systems it is often useful for a process p to know that another process q will not use a certain piece of information that p has sent to q beyond a certain deadline. If p can learn about the occurrence of the deadline by simply measuring the passage of time on its own local clock, we call this kind of information exchange `communication by time'. It is shown that communica... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applicability of SIGNAL in safety critical system development

    Publication Year: 1999, Page(s):86 - 95
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (956 KB)

    The paper concerns the specification of functional and safety requirements of a safety critical system independently, and subsequent validation of the integrated requirements in the synchronous data flow formalism SIGNAL. The SIGNAL language provides a unified framework for hierarchical development of systems by refinement of specifications. Validation of specifications can be realised through a f... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic acceptance of aperiodic tasks with periodic tasks under resource sharing constraints

    Publication Year: 1999, Page(s):120 - 127
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (712 KB)

    A real time system is considered in which a set of periodic tasks are scheduled on an earliest-deadline-first basis and exclusively access critical sections through a dynamic priority ceiling protocol. An optimal online acceptance test is described for hard deadline aperiodic tasks. Aperiodic tasks are accepted only if all deadlines can be met. Here, optimality means that the algorithm is able to ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrated design approach for real-time embedded systems

    Publication Year: 1999, Page(s):75 - 85
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1064 KB)

    System designers face many problems during the design and implementation of real time embedded systems. Not only must such systems produce correct responses (logical correctness), they must also produce these at the correct time (temporal correctness). The paper presents results of research undertaken to develop an integrated design, development and run time environment for embedded systems that a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modelling a distributed real-time system for feedback control in a nuclear fusion experiment

    Publication Year: 1999, Page(s):96 - 103
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (836 KB)

    The paper presents a real time distributed application which is used for feedback control in a nuclear fusion experiment. The system employs a number of Texas TMS320C40 digital signal processors mounted on VME crates which communicate by means of dedicated communication ports and reflective memories. Owing to the distributed architecture of the system, a formal analysis was necessary to fully unde... View full abstract»

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

    Publication Year: 1999, Page(s):104 - 111
    Cited by:  Papers (4)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (712 KB)

    The deadline command is a simple, yet highly flexible language primitive for real time programming. Formally, it has a straightforward definition as a constraint on the current time. In practice, it acts as a compiler directive, which can be checked statically, to ensure that the program will always meet its timing requirements. As a concrete example, a way of adding the deadline command to the sa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The stack resource protocol based on real-time transactions

    Publication Year: 1999, Page(s):112 - 119
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (800 KB)

    Current hard real time (HRT) kernels have their timely behaviour guaranteed at the cost of a rather restrictive use of the available resources. This makes current HRT scheduling techniques inadequate for use in a multimedia environment where one can profit by a better and more flexible use of the resources. It is shown that one can improve the flexibility and efficiency of real time kernels and a ... View full abstract»

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