A Formal Specification of the Process Trellis

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.

[1]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[2]  Luqi,et al.  A Prototyping Language for Real-Time Software , 1988, IEEE Trans. Software Eng..

[3]  Michael Factor.  The process trellis architecture for real-time monitors , 1990, PPOPP '90.

[4]  John G. P. Barnes.  An overview of Ada , 1980, Softw. Pract. Exp..

[5]  Luqi,et al.  Rapidly prototyping real-time systems , 1988, IEEE Software.

[6]  Michael E. Factor.  The process trellis software architecture for parallel, real-time monitors , 1991 .

[7]  Larry Carter,et al.  Distrbution and Abstract Types in Emerald , 1987, IEEE Transactions on Software Engineering.

[8]  Nicolas Halbwachs,et al.  LUSTRE: A declarative language for programming synchronous systems* , 1987 .

[9]  Dean F. Sittig,et al.  Physiologic trend detection and artifact rejection: a parallel implementation of a multi-state Kalman filtering algorithm. , 1989, Computer methods and programs in biomedicine.

[10]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[11]  John K. Bennett.  The design and implementation of distributed Smalltalk , 1987, OOPSLA 1987.

[12]  J.A. Stankovic,et al.  Misconceptions about real-time computing: a serious problem for next-generation systems , 1988, Computer.

[13]  Dean F. Sittig,et al.  A parallel software architecture for building intelligent medical monitors , 1989, International journal of clinical monitoring and computing.

[14]  Nicolas Halbwachs,et al.  LUSTRE: a declarative language for real-time programming , 1987, POPL '87.

[15]  P L Miller,et al.  DYNASCENE: an approach to computer-based intelligent cardiovascular monitoring using sequential clinical "scenes". , 1990, Methods of information in medicine.