article

Free access

Stepwise design of real-time systems

Author:

Reino Kurki-SuonioAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 16, Issue 5

Pages 120 - 131

https://doi.org/10.1145/123041.123063

Published: 01 September 1991 Publication History

PDF eReader

References

[1]

Abrial, J.-R., Programming as a mathematical exercise.In Mathematical Logic and Programming Languages (Ed. C.A.R. Hoare and J.C. Shepherdson), Prentice-Hall, 1985.

Google Scholar

[2]

Alpem, B., Schneider, F.B., Defining liveness. Information Processing Letters 21,4 (Oct.1985), 181-185.

Google Scholar

[3]

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 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Montreal, Canada, Aug. 1983, 131-142.

Digital Library

Google Scholar

[4]

Back, R.J.R., Kurki-Suonio, R., Serializability in distributed systems with handshaking. In Automata, Lan- 130 guages and Programming (Ed. T. Lepist~ and A. Salomaa),LNCS 317, Springer-Verlag 1988,52-66.

Digital Library

Google Scholar

[5]

Back, R.J.R., Kurki-Suonio, R., Distributed cooperation with action systems. ACM Trans. Programming Languages and Systems 10,4 (Oct.1988),513-554.

Digital Library

Google Scholar

[6]

Bolognesi, T., Brinksma, E., Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems 14, (1987), 25-59.

Digital Library

Google Scholar

[7]

Chandy, K.M., Misra, J., Parallel Program Design: A Foundation. Addison-Wesley, 1988.

Digital Library

Google Scholar

[8]

Dijkstra, E.W., Scholten, C.S., Termination detection for diffusing computations. Information Processing Letters 11,1 (Aug. 1980), 1-4.

Crossref

Google Scholar

[9]

Evangelist, M., Francez, N., Katz, S., Multiparty interactions for interprocess communication and synchronization.IEEE Trans. on Software Engineering 15, 11 (November 1989), 1417-1426.

Digital Library

Google Scholar

[10]

Francez, N., Forman, I.R., Interacting processes: a language for coordinated distributed programming. In Proc. 5th Jerusalem Conference on Information Technology, Jerusalem, Oct. 1990.

Digital Library

Google Scholar

[11]

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 H (Ed. E. Odijk, M. Rem and J.-C. Syre), LNCS 366, Springer-Verlag 1989,424-441.

Digital Library

Google Scholar

[12]

Ichbiah, J.D., Barnes, J.G.P., Heliard, J.C., Krieg- Brueckner, B., Roubine, O., Wichmann, B.A., Rationale for the design of the Ada programming language. ACM Sigplan Notices 14,6 (June 1979), Part B.

Digital Library

Google Scholar

[13]

J~rvinen, H.-M., Kurki-Suonio, R., The DisCo language.Tampere University of Technology, Software Systems Laboratory, Report 8,1990.

Google Scholar

[14]

J~rvinen, H.-M., Kurki-Suonio, R., DisCo specification language marriage of actions and objects. In Proc. Ilth International Conference on Distributed Computing Systems, Arlington, Texas, May 1991, IEEE Computer Society Press, 142-151.

Google Scholar

[15]

Jitrvinen, H.-M., Kurki-Suonio, R., Sakkinen, M., Systi, K., Object-oriented specification of reactive systems. Proc. 12th International Conference on Software Engineering, Nice, France, March 1990, IEEE Computer Society Press, 63-71.

Digital Library

Google Scholar

[16]

Jones, C.B., Systematic Sofware Development Using VDM. Prentice-Hall, 1986.

Digital Library

Google Scholar

[17]

Kurki-Suonio, R., Towards programming with knowledge expressions. In Proc. 13th Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, Jan. 1986, 140-149.

Digital Library

Google Scholar

[18]

Kurki-Suonio, R., Operational specification with joint actions serializable databases. To appear in Distributed Computing.

Digital Library

Google Scholar

[19]

Kurki-Suonio, R., Modular modeling of temporal behaviors. To appear in Proc. European-Japanese Seminar on Information Modelling and Knowledge Bases, Hakone, Japan, May 1991.

Google Scholar

[20]

Kurki-Suonio, R., J~rvinen, H.-M., Action system approach to the specification and design of distributed systems. In Proc. Fifth International Workshop on Software Specification and Design. ACM Software Engineering Notes 14,3 (May 1989), 34-40.

Digital Library

Google Scholar

[21]

Kurki-Suonio, R., Syst~ K., Vain, J., Real-time specification and modeling with joint actions. To appear in Proc. Sixth International Workshop on Software Specification and Design, Como, Italy, October 1991.

Digital Library

Google Scholar

[22]

Lamport, L., A temporal logic of actions. Research Report 57, Digital Systems Research Center, 1990. (A revised and extended version is in preparation.)

Google Scholar

[23]

Lamport, L., Personal communication, 1991.

Google Scholar

[24]

Liu, L.Y., Shyamasundar, R.K., Static analysis of realtime distributed systems. IEEE Trans. on Software Engineering 16,4 (April 1990), 373-388.

Digital Library

Google Scholar

[25]

Manna, Z., Pnueli, A., How to cook a temporal proof system for your pet language. In Proc. 10th ACM Symposium on Principles of Programming Languages, Austin, Texas, Jan. 1983,141-154.

Digital Library

Google Scholar

[26]

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. Rosenberg),LNCS 224, Springer-Verlag 1986,510-584.

Digital Library

Google Scholar

[27]

de Roever, W.-P., Foundations of computer science: leaving the ivory tower. EATCS Bulletin, 44 (June 1991), 455-492.

Google Scholar

[28]

Salwicki, A., M~ldner, T., On the Algorithmic Properties of Concurrent Programs. LNCS 125, Springer- Verlag,1981.

Google Scholar

[29]

Syst~, K., A graphical tool for specification of reactive systems. In Proc. Euromicro '91 Workshop on Real- Time Systems, Paris, France, June 1991, JEEE Computer Society Press, 12-19.

Crossref

Google Scholar

[30]

Ward, P., Mellor, S., Structured Development for Real-Time Systems. Yourdon Press, 1985.

Digital Library

Google Scholar

[31]

Wirth, N., Toward a discipline of real-time programming.Commun. ACM 20,8 (Aug. 1977), 577-583.

Digital Library

Google Scholar

Cited By

View all

Kurki-Suonio R(1993)Stepwise Design of Real-Time SystemsIEEE Transactions on Software Engineering10.1109/32.21030719:1(56-69)Online publication date: 1-Jan-1993
https://dl.acm.org/doi/10.1109/32.210307
Kurki-Suonio RSystä KVain J(1993)Real-time specification and modeling with joint actionsScience of Computer Programming10.1016/0167-6423(93)90024-J20:1-2(113-140)Online publication date: 1-Apr-1993
https://dl.acm.org/doi/10.1016/0167-6423%2893%2990024-J
Hinchey M(1993)The design of real-time applications[1993] Proceedings of the IEEE Workshop on Real-Time Applications10.1109/RTA.1993.263091(178-182)Online publication date: 1993
https://doi.org/10.1109/RTA.1993.263091
Show More Cited By

Index Terms

Stepwise design of real-time systems

Recommendations

Cpu time-sharing in real-time systems
Hardware/Software Co-Design of Run-Time Schedulers for Real-Time Systems
Real-time embedded systems powered by FPGA dynamic partial self-reconfiguration: a case study oriented to biometric recognition applications

This work aims to pave the way for an efficient open system architecture applied to embedded electronic applications to manage the processing of computationally complex algorithms at real-time and low-cost. The target is to define a standard ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 16, Issue 5

Dec. 1991

161 pages

ISSN:0163-5948

DOI:10.1145/123041

Editor:
Mark Moriconi

Issue’s Table of Contents

SIGSOFT '91: Proceedings of the conference on Software for citical systems
September 1991
161 pages
ISBN:0897914554
DOI:10.1145/125083
Chairman:
Mark Moriconi
SRI International, USA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 1991

Published in SIGSOFT Volume 16, Issue 5

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
471
Total Downloads

Downloads (Last 12 months)123
Downloads (Last 6 weeks)35

Reflects downloads up to 29 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kurki-Suonio R(1993)Stepwise Design of Real-Time SystemsIEEE Transactions on Software Engineering10.1109/32.21030719:1(56-69)Online publication date: 1-Jan-1993
https://dl.acm.org/doi/10.1109/32.210307
Kurki-Suonio RSystä KVain J(1993)Real-time specification and modeling with joint actionsScience of Computer Programming10.1016/0167-6423(93)90024-J20:1-2(113-140)Online publication date: 1-Apr-1993
https://dl.acm.org/doi/10.1016/0167-6423%2893%2990024-J
Hinchey M(1993)The design of real-time applications[1993] Proceedings of the IEEE Workshop on Real-Time Applications10.1109/RTA.1993.263091(178-182)Online publication date: 1993
https://doi.org/10.1109/RTA.1993.263091
Kurki-Suonio R(1993)Stepwise Design of Real-Time SystemsIEEE Transactions on Software Engineering10.1109/32.21030719:1(56-69)Online publication date: 1-Jan-1993
https://dl.acm.org/doi/10.1109/32.210307

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Cpu time-sharing in real-time systems

Hardware/Software Co-Design of Run-Time Schedulers for Real-Time Systems

Real-time embedded systems powered by FPGA dynamic partial self-reconfiguration: a case study oriented to biometric recognition applications

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations