Abstract
The process trellis is a software architecture for building parallel real-time monitors: heterogeneous, large, real-time, continuously executing programs. These programs receive massive quantities of data in domains that are often ill-defined; they filter this data, presenting the user with an analysis rather than a simple summary. The process trellis combines heterogeneous processes that communicate among themselves and with the external world using a uniform framework.
We begin by motivating and describing the goals of the process trellis. After briefly reviewing the informal description of the trellis architecture, we extend our work by presenting a formal definition of the trellis architecture. We then show how several beneficial properties of the architecture follow from this definition. We briefly describe our experience with the process trellis in building a prototype monitor for a hospital intensive care unit.
This work was performed in large part at Yale University, Department of Computer Science, with support from National Library of Medicine grant TI5-LM-07056 and from National Science Foundation grant CCR-8657615.
Preview
Unable to display preview. Download preview PDF.
References
G. A. Agha. ACTORS: A model of Concurrent Computation in Distributed Systems. The MIT Press, Cambridge, MA, 1986.
J. G. P. Barnes. An overview of Ada. Software Practice and Experience, 10:851–887, 1980.
J. K. Bennet. The design and implementation of distributed Smalltalk. In Proceedings 1987 ACM Conference on Object Oriented Programming, pages 318–330, Dec. 1987.
A. Black, N. Hutchinson, E. Jul, H. Levy, and L. Carter. Distribution and abstract types in Emerald. IEEE Transactions on Software Engineering, SE-13(1):65–76, Jan. 1987.
P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice. LUSTRE: A declarative language for programming synchronous systems. In 14th Annual ACM Symposium on Principles of Programming Languages (POPL), pages 178–188. ACM Sigplan, Jan. 1987. Munich, West Germany.
A. I. Cohn, S. Rosenbaum, M. Factor, and P. L. Miller. DYNASCENE: An approach to computer-based intelligent cardiovascular monitoring using sequential clinical 'scenes'. Methods of Information in Medicine, 29:122–131, Apr. 1990. Revised version of paper in SCAMC-89.
Department of Defense, Washington, DC. Military Standard Ada Programming Language, MIL-STD-1815 edition, Apr. 1982.
M. Factor. The Process Trellis Software Architecture for Parallel, Real-Time Monitors. PhD thesis, Yale University, Department of Computer Science, Dec. 1990. New Haven, CT.
M. Factor. The process trellis software architecture for real-time monitors. In Second ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPoPP), pages 147–155. ACM, SIGPLAN, Mar. 1990. Seattle, WA. (SIGPLAN Notices, 25(3)).
M. Factor, D. H. Gelernter, C. Kolb, P. L. Miller, and D. F. Sittig. Real-time performance, parallelism and program visualization in medical monitoring. Research Report YALEU/DCS/RR-808, Yale University, Department of Computer Science, June 1990.
M. Factor, D. F. Sittig, A. I. Cohn, D. H. Gelernter, P. L. Miller, and S. Rosenbaum. A parallel software architecture for building intelligent medical monitors. International Journal of Clinical Monitoring and Computing, 7:117–128, 1990. Revised version of paper in SCAMC-89.
C. Hewitt. Viewing control structures as patterns of passing messages. Artificial Intelligence, 8(3):323–364, June 1977.
Luqi and V. Berzins. Rapidly prototyping real-time systems. IEEE Software, pages 25–36, Sept. 1988.
Luqi, V. Berzins, and R. T. Yeh. A prototyping language for real-time software. IEEE Transactions on Software Engineering, 14(10):1409–1423, Oct. 1988.
D. F. Sittig and M. Factor. Physiologic trend detection and artifact rejection: A parallel implementation of a multi-state Kalman filtering algorithm. Computer Methods in Programs in Biomedicine, 31:1–10, 1990. Revised version of paper in SCAMC-89.
J. Stankovic. Misconceptions about real-time computing: A serious problem for next-generation systems. IEEE Computer, 21(10):10–19, Oct. 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag
About this paper
Cite this paper
Factor, M. (1991). A formal specification of the process trellis. In: Aarts, E.H.L., van Leeuwen, J., Rem, M. (eds) PARLE '91 Parallel Architectures and Languages Europe. PARLE 1991. Lecture Notes in Computer Science, vol 506. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54152-7_70
Download citation
DOI: https://doi.org/10.1007/3-540-54152-7_70
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54152-3
Online ISBN: 978-3-540-47472-2
eBook Packages: Springer Book Archive