Skip to main content
SpringerLink
Log in
Book cover

International Conference on Parallel Architectures and Languages Europe

PARLE 1991: PARLE '91 Parallel Architectures and Languages Europe pp 277–294Cite as

A formal specification of the process trellis

  • Submitted Presentations
  • Conference paper
  • First Online:

  • 104 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 506))

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.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. A. Agha. ACTORS: A model of Concurrent Computation in Distributed Systems. The MIT Press, Cambridge, MA, 1986.

    Google Scholar 

  2. J. G. P. Barnes. An overview of Ada. Software Practice and Experience, 10:851–887, 1980.

    Google Scholar 

  3. J. K. Bennet. The design and implementation of distributed Smalltalk. In Proceedings 1987 ACM Conference on Object Oriented Programming, pages 318–330, Dec. 1987.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. Department of Defense, Washington, DC. Military Standard Ada Programming Language, MIL-STD-1815 edition, Apr. 1982.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. 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)).

    Google Scholar 

  10. 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.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. C. Hewitt. Viewing control structures as patterns of passing messages. Artificial Intelligence, 8(3):323–364, June 1977.

    Google Scholar 

  13. Luqi and V. Berzins. Rapidly prototyping real-time systems. IEEE Software, pages 25–36, Sept. 1988.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. 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.

    Google Scholar 

  16. J. Stankovic. Misconceptions about real-time computing: A serious problem for next-generation systems. IEEE Computer, 21(10):10–19, Oct. 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Science and Technology LTD, IBM Israel, Israel

    Michael Factor

Authors
  1. Michael Factor
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Emile H. L. Aarts Jan van Leeuwen Martin Rem

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation