11 citations found. Retrieving documents...
IEEE Standard P1003.4 (Real-time extensions to POSIX). IEEE, 345 East 47th St., New York, NY 10017, 1991.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Taxys = Esterel + Kronos - A tool for verifying.. - Bertin, Closse.. (2001)   (Correct)

....Central R D, DAIS, 850 rue Jean Monnet, 38926 Crolles, France. valerie.bertinst.cora. 4France Telecom R :D, 28 chemin du Vieux Chine, 38243 Meylan, France. Contact: daniel weilrd francetelecm cm 5VERIMAG, Centre Equation, 2 Ave. Vignate, 38610 Glares, France. Contact: sergio.yovineiraag.fr. [15]) which typically provide preemptire scheduling al gorithms based on priorities and implement protocols for avoiding deadlocks (e.g. 21] The scheduling is en sured at run time by the RTOS scheduler. Correctness is thereby guaranteed by the fulfillment of the schedulability conditions. This ....

IEEE Standard P1003.4. Real-time extensions to POSIX. 1991.


A Software Architecture Supporting Networked Sensors - Hill (2000)   (7 citations)  (Correct)

....and many others [8, 36, 39] Table 6 shows the characteristics for a handful of these systems. Many are based on microkernels that allow for capabilities to be added or removed based on system needs. They provide an execution environment that is similar to traditional desktop systems. Their POSIX [49] compatible thread packages allow system programmers to reuse existing code and multiprogramming techniques. The largest RTOSes provide memory protection given the appropriate hardware support. This becomes increasingly important as the size of the embedded applications grow. In addition to ....

I. Standard. Real-time extensions to posix. IEEE Standard P1003.4, 1991.


Taxys = Esterel + Kronos - A tool for verifying.. - Bertin, Closse..   (Correct)

....R D, DAIS, 850 rue Jean Monnet, 38926 Crolles, France. valerie.bertin st.com. 4 France Telecom R D, 28 chemin du Vieux Ch ene, 38243 Meylan, France. Contact: daniel.weil rd.francetelecom.com. 5 VERIMAG, Centre Equation, 2 Ave. Vignate, 38610 Gi eres, France. Contact: sergio.yovine imag.fr. [15]) which typically provide preemptive scheduling algorithms based on priorities and implement protocols for avoiding deadlocks (e.g. 21] The scheduling is ensured at run time by the RTOS scheduler. Correctness is thereby guaranteed by the ful llment of the schedulability conditions. This ....

IEEE Standard P1003.4. Real-time extensions to POSIX. 1991.


System Architecture Directions for Networked Sensors - Hill, Szewczyk, Woo..   (296 citations)  (Correct)

....of the CPU time during the entire period of receiving the packet. It also consumes 451.17nJ per bit it processes. Note that these measurements are done with respect to raw bits at the physical layer with the bit rate of the radio set to 100 s bit using DC balanced ON OFF keying. Their POSIX [40] compatible thread packages allow system programmers to reuse existing code and multiprogramming techniques. The largest RTOSs provide memory protection given the appropriate hardware support. This becomes increasingly important as the size of the embedded applications grow. In addition to ....

I. Standard. Real-time extensions to posix, 1991.


System Architecture Directions for Networked Sensors - Hill, Szewczyk, Woo.. (2000)   (296 citations)  (Correct)

....and many others [8, 33, 35] Table 5 shows the characteristics for a handful of these systems. Many are based on microkernels that allow for capabilities to be added or removed based on system needs. They provide an execution environment that is similar to traditional desktop systems. Their POSIX [41] compatible thread packages allow system programmers to reuse existing code and multiprogramming techniques. The largest RTOSes provide memory protection given the appropriate hardware support. This becomes increasingly important as the size of the embedded applications grow. In addition to ....

I. Standard. Real-time extensions to posix, 1991.


Synthesis of Hard Real-Time Application Specific Systems - Lee, Potkonjak, Wolf (1999)   (2 citations)  (Correct)

.... application of real time scheduling approaches, in particular rate monotonic and generalized rate monotonic scheduling algorithms, include the inclusion of rate monotonic scheduling as the scheduling policy for the IEEE POSIX real time operating system standard and IEEE Futurebus standards [19] [20] 44] and use of the generalized rate monotonic scheduling techniques in several major advanced technology projects such as the Space Station Program and the European Space Agency s on board operating system [45] The strong endorsements from several research and development groups of the ....

IEEE. Real-Time Extensions to POSIX. IEEE, New York, NY, 1991.


System-level Synthesis of Hard Real-Time Application.. - Lee, Potkonjak, Wolf   (Correct)

....580 580 745 720 830 830 Optimized Solution 430 435 445 530 525 610 Cost reduction ( 25.9 25 40.3 27.4 36.8 26.5 Resource Utilization 0.692 0.634 0.575 0.676 0.572 0. 607 Table 11: Experimental Results 21 of 23 the IEEE POSIX real time operating system standard and IEEE Futurebus standards [IEE91, IEE93, Sha90b], and use of the generalized rate monotonic scheduling techniques in several major advance technology projects such as Space Station Program and the European Space Agency on board operating system [Sha94] The strong endorsement of several research and development groups of the ....

IEEE, "Real-Time extensions to POSIX", IEEE Std. P. 1003.4, IEEE, New York, NY, 1991.


IDERS: An Integrated Environment for the Development of Hard.. - Alonso, Baresi   (Correct)

....release of the IDERS SDA will support the notations proposed by Hatley and Pirbhai (H P) 7] augmented with minic, a dialect of C, for expressing textual aspects. The requirements notation strictly adheres to H P, while the design notation integrates the original proposal with the POSIX standard [9] as to the elements not fully specified. Requirements and design described by the end user in the H P notations are internally represented by means of high level timed Petri nets. Consequently, one of the side results of the IDERS project is to give complete formal semantics to the H P notations ....

IEEE. Real-Time extensions to POSIX. IEEE Standard P1003.1b. IEEE, March 1993.


Outline of the IPTES Physical Model. - Alonso, Elmstrøm, Pezze, Pulli.. (1993)   (Correct)

....order to asses the correction of the proposed approach and its impact on the current IPTES toolset. Different terms, such as task, job, process and thread, are used in the literature to refer to the unit of concurrency in a system. The last two terms have a precise meaning in the POSIX standard [POSIX4, POSIX4a] In order to avoid confusion, in this document we will refer to the unit of concurrency unit as a task . Due to the high abstraction level used in most of the document, only few differences between POSIX processes and threads can be noticed, and most of what is said in it can be applied ....

....to asses the correction of the proposed approach and its impact on the current IPTES toolset. Different terms, such as task, job, process and thread, are used in the literature to refer to the unit of concurrency in a system. The last two terms have a precise meaning in the POSIX standard [POSIX4, POSIX4a] In order to avoid confusion, in this document we will refer to the unit of concurrency unit as a task . Due to the high abstraction level used in most of the document, only few differences between POSIX processes and threads can be noticed, and most of what is said in it can be applied to ....

[Article contains additional citation context not shown here]

IEEE. Real-Time extensions to POSIX. IEEE Standard P1003.4. IEEE, March 1993.


RT-IPC: An IPC Extension for Real-Time Mach - Kitayama, Nakajima, Tokuda (1993)   (10 citations)  (Correct)

....the mechanisms to avoid unbounded priority inversion. Lynx operating system[4] provides the priority inheritance protocol for real time synchronization. However, the Lynx IPC does not provide priority inheritance for IPC, and cannot mix these two features without having priority inversions. POSIX[11] also proposed priority inheritance, but it does not discuss about the integration of IPC and synchronization. There is a similar mechanism provided by QNX[5] It provides priority based message queueing and priority management mechanisms for IPC. However, it only supports synchronous ....

IEEE Standard P1003.4 (Real-time extensions to POSIX). IEEE, 345 East 47th St., New York, NY 10017, 1991.


The Real-Time Publisher/Subscriber Inter-Process.. - Rajkumar, Gagliardi, Sha (1997)   (19 citations)  (Correct)

No context found.

IEEE Standard P1003.4 (Real-time extensions to POSIX). IEEE, 345 East 47th St., New York, NY 10017, 1991.

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