Electrical computers and digital processing systems: multicomput – Computer-to-computer data routing – Least weight routing
Patent
1996-09-26
2000-11-28
Dinh, Dung C.
Electrical computers and digital processing systems: multicomput
Computer-to-computer data routing
Least weight routing
326 46, 710100, 709102, 712 32, G06F 900
Patent
active
061547638
ABSTRACT:
A method for specifying a system comprising a plurality of interconnected functional modules each representing a respective abstract-state based machine, and a system so specified. A system is specified to include various interconnected functional modules at respective hierarchical levels. Each module represents an abstract state-based-machine. Each non-top level first module connects to a single second module at a next higher level by a transformer link from the second module for enabling a relevant change-of-state of the first module, by an observer link for a state enquiry signal from the second module, and by an event link for a solicited event signal to the second module. The first module retrosignals an internal autonomously executed step. Each non-bottom module enables one or more lower level modules to function as such first module. A top module can exchange signals with an environment. A single step scheduler for the system renders autonomously executable each step in the first module that has been entered under control of a preconditioning transformer signal received from the second module.
REFERENCES:
patent: 4455652 (1984-06-01), Van Der Meulen
patent: 4727549 (1988-02-01), Tulpule et al.
patent: 4796178 (1989-01-01), Jennings et al.
patent: 4799141 (1989-01-01), Drusinsky et al.
patent: 5010482 (1991-04-01), Keller et al.
patent: 5056014 (1991-10-01), Burrows
patent: 5220668 (1993-06-01), Bullis
patent: 5233533 (1993-08-01), Edstrom et al.
patent: 5477168 (1995-12-01), Thijssen et al.
patent: 5504896 (1996-04-01), Schell et al.
patent: 5761200 (1998-06-01), Hsieh
H.B.M. Jonkers, Overview of the Sprint Method, Proceedings of the Formal Methods Europe Conference 1993 and published in Lecture Notes on Computer Science, No. 670, pp. 403-427, Springer 1993.
Barschall Anne E.
Dinh Dung C.
U.S. Philips Corporation
LandOfFree
Method for specifying a system having a plurality of interconnec does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method for specifying a system having a plurality of interconnec, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for specifying a system having a plurality of interconnec will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1735331