Titlebook: Real-Time: Theory in Practice; REX Workshop, Mook, J. W. Bakker,C. Huizing,G. Rozenberg Conference proceedings 1992 Springer-Verlag Berlin

Lipoprotein(A)

Problems, promises and performance: some questions for real-time system specification,ion of timing properties can be extended towards the implementation. The need for fault-tolerance in a real-time system is then considered and ways examined of incorporating a formal proof of fault-tolerance along with proof of its timing properties.

ASTER

注意力集中

The theory of timed automata,n graphs with timing constraints using finitely many real-valued .. A timed automaton accepts . — strings in which a real-valued time of occurrence is associated with each symbol. We study timed automata from the perspective of formal language theory: we consider closure properties, decision problem

Cognizance

Proclaim

Interim

Time in state based formal description techniques for distributed systems,ptions, support validation analyses and allow assessment of the conformance of implementations against specifications. This paper presents how some mature and important techniques based on extensions of state machines are able to handle in an integrated way functional and time requirements. It is in

parasite

Implementing reactive programs on circuits a hardware implementation of LUSTRE, hardware is of course a good way for increasing their performances. Moreover, configurable hardware is now available which makes practical such an implementation. This paper describes an implementation of the synchronous declarative language . on a “programmable active memory”.

收到

冒号

Timed transition systems,ition system are replaced (and superseded) by quantitative lower-bound and upperbound timing constraints on transitions. The purpose of this paper is to explore the scope of applicability for the abstract model of timed transition systems. We demonstrate that the model can represent a wide variety o

incarcerate

Compositional verification of real-time systems using extended Hoare triples,ograms are written in an Occam-like programming language with synchronous message passing along unidirectional channels. Real-time is incorporated by delaystatements and time-outs. To deal with reactive systems, a Hoare triple is extended with a third assertion, called commitment, which expresses th