Allen Leung, Krishna V Palem, and Amir Pnueli. TimeC: A time constraint language for ILP processor compilation. In K A Hawick and H A James, editors, The th Australian Conference on Parallel and Real Time Systems, Australia, pages 57-71. Springer Verlag, 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Concurrent Programming Made Easy - Ramirez, Santosa, Yap (2000) (Correct)
....concurrency. 2.3. Temporal constraints Most of the previous work on temporal constraints formalisms has concentrated on the specification and verification of real time systems, e.g. RTL [9] and Hoare logic with time [19] and on the synthesis of real time programs (e.g. TCEL [7] CRL [20] TimeC [14]. TimeC is the closest related work. It is also based on the notion of markers, i.e. program points, but they are used as a mean to specify realtime requirements in a sequential program. Here we use markers for denoting program points of interest in order to specify the safety properties of a ....
Leung, A., Palem, K. and Pnueli, A. 1998. Time C: A Time Constraint Language for ILP Processor Compilation, Technical Report TR1998-764, New York University.
Validating Real-Time Constraints in Embedded Systems - Shyamasundar, Aghav (2001) (Correct)
....in Esterel speci cations, synchrony simultaneity assumptions, and (ii) a method and a tool for establishing that the implementation is a realization of the speci cation on the given architecture. Our method is based on annotating Esterel programs using the notation called TimeC explored in [10] Compile Simulate debug Verify Logical Correctness Verify Timing Assumptions System concepts Arrive at ESTEREL Specifications Figure 1: General methodology of Esterel code Validation in the context of verifying constraints in compilers meant for ILP processors and deriving the global ....
....Specifying Timing Constraints: Various time constraints such as maximal, minimal, exact [13] can be speci ed. The timing constraints is speci ed through the following steps: 1. The time constraint to be satis ed by any concrete implementation is speci ed by rst placing markers as in TimeC [10] at various locations of the code. Note that even though the input and output signals in Esterel are assumed to be instantaneous, in practice actuators cause delay in the completion of reaction. These actual timing delays can be speci ed at the respective control locations through these logical ....
[Article contains additional citation context not shown here]
Allen Leung, Krishna V Palem, and Amir Pnueli. TimeC: A time constraint language for ILP processor compilation. In K A Hawick and H A James, editors, The 5 th Australian Conference on Parallel and Real Time Systems, Australia, pages 57-71. Springer Verlag, 1998.
Realizing Real-Time Systems from Synchronous Language.. - Shyamasundar, Aghav (2000) (1 citation) (Correct)
....in Esterel speci cations, synchrony simultaneity assumptions, and (ii) a method and a tool for establishing that the implementation is a realization of the speci cation on the given architecture. Our method is based on annotating Esterel programs using the notation called TimeC explored in [LPP98] in the context of verifying constraints in compilers meant for ILP processors and deriving the global constraints for the satisfaction of the synchrony hypothesis. One of the novel features of, TimeC, is that the language is independent of the base language being used to develop embedded ....
....can be speci ed through the following steps: 1. Even though the input and output signals are assumed to be instantaneous in Esterel actuators cause delay in the completion of reaction. The time constraint to be satis ed by any concrete implementation can be speci ed by placing markers as in TimeC [LPP98] at various locations of the code. 2. Now the time constraints at the respective locations are to be de ned. For the fragment of the code shown in Figure 2, markers have been shown as labels at various points of code and the constraints to be satis ed are shown in Table 1. Here, the predicate ....
[Article contains additional citation context not shown here]
Allen Leung, Krishna V Palem, and Amir Pnueli. TimeC: A time constraint language for ILP processor compilation. In K A Hawick and H A James, editors, The 5 th Australian Conference on Parallel and Real Time Systems, Australia, pages 57-71. Springer Verlag, 1998.
Validating Real-Time Behavioral Patterns of Embedded.. - Aghav, Petitpierre (2003) (Correct)
No context found.
Allen Leung, Krishna V Palem, and Amir Pnueli. TimeC: A time constraint language for ILP processor compilation. In K A Hawick and H A James, editors, The th Australian Conference on Parallel and Real Time Systems, Australia, pages 57-71. Springer Verlag, 1998.
Design Patterns of Timed Automotive Systems - Aghav, Petitpierre (2003) (Correct)
No context found.
Allen Leung, Krishna V Palem, and Amir Pnueli. TimeC: A time constraint language for ILP processor compilation. In K A Hawick and H A James, editors, The 5 th Australian Conference on Parallel and Real Time Systems, Australia, pages 57-71. Springer Verlag, 1998.
Validating Real-Time Constraints in Embedded Systems - Shyamasundar, Aghav (2001) (Correct)
No context found.
Allen Leung, Krishna V Palem, and Amir Pnueli. TimeC: A time constraint language for ILP processor compilation. In The 5 Australian Conf. on Parallel and Real Time Systems, Australia, pages 57--71. Springer Verlag, 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC