Abstract
Interleaving semantics is shown to provide an appropriate basis also for the modeling of real-time properties. Real-time scheduling of interleaved actions is explored, and the crucial properties of such schedulings are analyzed. The motivation of the work is twofold: to make real-time modeling practical already at early stages of specification and design, and to increase the reliability and predictability of reactive real-time systems by improved insensitivity to changes in the underlying realtime assumptions.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Abadi, M., Lamport, L., The existence of refinement mappings. Research Report 29, Digital Systems Research Center, 1990. To appear in Theoretical Computer Science.
Abadi, M., Lamport, L., Composing specifications. Research Report 66, Digital Systems Research Center, 1990.
Alpern, B., Schneider, F.B., Defining liveness. Information Processing Letters 21, 4 (Oct. 1985), 181–185.
Apt, K.R., Francez, N., Katz, S., Appraising fairness in distributed languages. Distributed Computing 2, (Aug. 1988), 226–241.
Back, R.J.R., A calculus of refinements for program derivations. Acta Informatica 25, (1988), 593–624.
Back, R.J.R., Refinement calculus II: parallel and reactive programs. In Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, LNCS 430, Springer-Verlag 1990, 67–93.
Back, R.J.R., Kurki-Suonio, R., Decentralization of process nets with a centralized control. Distributed Computing 3 (1989), 73–87. An earlier version in Proc. 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Montreal, Canada, Aug. 1983, 131–142.
Back, R.J.R., Kurki-Suonio, R., Serializability in distributed systems with handshaking. In Automata, Languages and Programming (Ed. T. Lepistö and A. Salomaa), LNCS 317, Springer-Verlag 1988, 52–66.
Back, R.J.R., Kurki-Suonio, R., Distributed cooperation with action systems. ACM Trans. Programming Languages and Systems 10, 4 (Oct. 1988), 513–554.
Hooman, J., Widom, J., A temporal-logic based compositional proof system for real-time message passing. In PARLE '89 Parallel Architectures and Languages Europe, Vol II (Ed. E. Odijk, M. Rem and J.-C. Syre), LNCS 366, Springer-Verlag 1989, 424–441.
Järvinen, H.-M., Kurki-Suonio, R., DisCo specification language: marriage of actions and objects. Proc. 11th International Conference on Distributed Computing Systems, Arlington, Texas, May 1991, IEEE Computer Society Press, 142–151.
Järvinen, H.-M., Kurki-Suonio, R., Sakkinen, M., Systä, K., Object-oriented specification of reactive systems. Proc. 12th International Conference on Software Engineering, Nice, France, March 1990, IEEE Computer Society Press, 63–71.
Kurki-Suonio, R., Operational specification with joint actions: serializable databases. To appear in Distributed Computing.
Kurki-Suonio, R., Modular modeling of temporal behaviors. To appear in Information Modelling and Knowledge Bases: Foundations, Theory, and Applications (Ed. S. Ohsuga, H. Kangassalo, H. Jaakkola, K. Hori, N. Yonezaki). IOS Press, Amsterdam, 1991.
Kurki-Suonio, R., Järvinen, H.-M., Action system approach to the specification and design of distributed systems. Proc. Fifth International Workshop on Software Specification and Design. ACM Software Engineering Notes 14, 3 (May 1989), 34–40.
Lamport, L., A temporal logic of actions. Research Report 57, Digital Systems Research Center, 1990. A revised and extended version is in preparation.
Liu, L.Y., Shyamasundar, R.K., Static analysis of real-time distributed systems. IEEE Trans. on Software Engineering 16, 4 (April 1990), 373–388.
Pnueli, A., Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends. In Current Trends in Concurrency (Ed. J.W. de Bakker, W.-P. de Roever and G. Rozenberg), LNCS 224, Springer-Verlag 1986, 510–584.
Reisig, W., Partial order semantics versus interleaving semantics for CSP-like languages and its impact on fairness. In Automata, Languages and Programming (Ed. J. Paredaens), LNCS 172, Springer-Verlag 1984, 403–413.
Salwicki, A., Müldner, T., On the Algorithmic Properties of Concurrent Programs. LNCS 125, Springer-Verlag 1981.
Systä, K., A graphical tool for specification of reactive systems. Proc. Euromicro '91 Workshop on Real-Time Systems, Paris, France, June 1991, IEE Computer Society Press, 12–19.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kurki-Suonio, R., Systä, K., Vain, J. (1991). Scheduling in Real-Time Models. In: Vytopil, J. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1992. Lecture Notes in Computer Science, vol 571. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55092-5_18
Download citation
DOI: https://doi.org/10.1007/3-540-55092-5_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55092-1
Online ISBN: 978-3-540-46692-5
eBook Packages: Springer Book Archive