Specifying non-sequential and real-time systems
A Sajeev
6 points * 4 hours per week * Second semester * Caulfield
The basic issues and characteristics of non-traditional systems: concurrent, distributed, parallel, reactive, real-time and trusted systems. Some approaches to specifying these systems: statecharts, Petri nets, process calculi and temporal logic. Use of model-based specification. Relations between the various approaches. Proving properties of non-sequential and real-time systems. Case studies in specifying non-sequential systems.
Assessment
Assignments: 100%
Recommended texts
Chandy K M and Misra J Parallel program design: A foundation Addison-Wesley, 1988
Diller A Z: An introduction to formal methods Wiley, 1990
Fencott, C Formal methods for concurrency Chapman and Hall, 1994
Manna Z and Pnueli A The temporal logic of reactive and concurrent systems. Specification Springer-Verlag, 1992
Levi S-T and Agrawala A Real-time system design McGraw-Hill, 1990
Milner R Communication and concurrency Prentice-Hall, 1989
Peterson J L Petri net theory and the modeling of systems Prentice-Hall, 1981