A graphical environment for the design of concurrent real-time systems

Concurrent real-time systems are among the most difficult systems to design because of the many possible interleavings of events and because of the timing requirements that must be satisfied. We have developed a graphical environment based on Real-Time Graphical Interval Logic (RTGIL) for specifying...

Full description

Saved in:

Bibliographic Details
Published in:	ACM transactions on software engineering and methodology 1997-01, Vol.6 (1), p.31-79
Main Authors:	Moser, L. E., Ramakrishna, Y. S., Kutty, G., Melliar-Smith, P. M., Dillon, L. K.
Format:	Article
Language:	English
Subjects:	Computability Computational complexity and cryptography Computer systems organization Computing methodologies Decision diagrams Designing software Embedded and cyber-physical systems Machine learning Machine learning approaches Machine learning theory Markov decision processes Mathematics of computing Models of computation Oracles and decision trees Probabilistic representations Probability and statistics Real-time systems Reinforcement learning Sequential decision making Software and its engineering Software creation and management Software design techniques Software development methods Software development process management Software implementation planning Symbolic and algebraic algorithms Symbolic and algebraic manipulation Theorem proving algorithms Theory and algorithms for application domains Theory of computation
Citations:	Items that this one cites Items that cite this one
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!