article

Free access

Implementing JSD designs in Ada: a tutorial

Authors:

W. L. Yeung,

G. ToppingAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 15, Issue 3

Pages 25 - 32

https://doi.org/10.1145/101114.101115

Published: 01 July 1990 Publication History

PDF eReader

Abstract

The Jackson System Development (JSD) method is widely recognized as viable for the design of real-time embedded systems. This paper discusses the implementation of JSD designs in Ada through a simulated lift control example.

References

[1]

1. Bustard, D., et al: Concurrent Program Structures (Prentice-Hall International 1988).

Digital Library

Google Scholar

[2]

2. Hoare, C.A.R., "Towards a theory of parallel programming", in Operating Systems Techniques (Academic Press 1972).

Google Scholar

[3]

3. Brinch Hansen, P., Operating System Principles (Prentice-Hall, 1974).

Digital Library

Google Scholar

[4]

4. Simpson, H.R., 'The Mascot Method', IEE/BCS Software Engineering Journal, May 1986, 1, (3), pp. 103-120.

Digital Library

Google Scholar

[5]

5. Jackson, M.A., 'System Development' (Prentice-Hall International, 1983).

Digital Library

Google Scholar

[6]

6. Cameron, J.R., 'An Overview of JSD', IEEE Transactions on Software Engineering, Feb. 1986, SE-12, (2), pp. 222-240.

Digital Library

Google Scholar

[7]

7. Gomaa, H., 'A Software Design Method for Real-time Systems', Comm. ACM, Sept. 1984, 27, (9), pp. 938-949.

Digital Library

Google Scholar

[8]

8. ANSI/MIL-STD-1815, 'Reference Manual for the Ada Programming Language', 1983.

Digital Library

Google Scholar

[9]

9. Hoare, C.A.R, 'Communicating Sequential Processes', Comm. ACM, 1978, 21, (8), pp. 666-677.

Digital Library

Google Scholar

[10]

10. Jones, G., 'Programming in occam' (Prentice-Hall International 1987).

Digital Library

Google Scholar

[11]

11. Hull, M.E.C., et al, 'Object-oriented design, Jackson system development (JSD) and concurrency', IEE/BCS Software Engineering Journal, March 1989, pp. 79-86.

Digital Library

Google Scholar

[12]

12. Renold, A., 'Jackson System Development for Real Time Systems', Scientia Electrica, 1988, 34, (2), pp. 3-43.

Google Scholar

[13]

13. Cameron, J.R. and Butcher, J.M., 'The use of JSD on the Spearfish system', Second IEE/BCS Conference Software Engineering 88, 11-15 July 1988.

Google Scholar

[14]

14. Burns, A., 'Efficient Initialisation Routines for Multiprocessor Systems Programmed in Ada', ACM Ada Letters, July/Aug 1985, 5, (1), pp. 55-60.

Digital Library

Google Scholar

[15]

15. Sridhar, K.T. and Hoare, C.A.R., 'JSD Expressed in CSP'. Technical Monograph PRG- 51, July 1985, Oxford University Computing Laboratory, Programming Research Group.

Google Scholar

[16]

16. C.A.R. Hoare. 'Communicating Sequential Processes' (Prentice-Hall International, 1985).

Digital Library

Google Scholar

[17]

17. Gehani N.H., Gargill T.A., 'Concurrent Programming in the Ada language: The Polling Blas', Software Practice and Experience, May 1984, 14, (5), pp. 413-427.

Google Scholar

Cited By

View all

Yeung W(2005)Semantics-based support tools for high integrity Ada softwareReliable Software Technologies — Ada-Europe '9710.1007/3-540-63114-3_10(100-111)Online publication date: 8-Jun-2005
https://doi.org/10.1007/3-540-63114-3_10
Song X(1995)A framework for understanding the integration of design methodologiesACM SIGSOFT Software Engineering Notes10.1145/225907.22591320:1(46-54)Online publication date: 1-Jan-1995
https://dl.acm.org/doi/10.1145/225907.225913
Yeung WSmith PTopping GBailey E(1992)Theoretical basis for Jackson System DevelopmentInformation and Software Technology10.1016/0950-5849(92)90148-I34:8(543-551)Online publication date: 1-Aug-1992
https://dl.acm.org/doi/10.1016/0950-5849%2892%2990148-I

Index Terms

Implementing JSD designs in Ada: a tutorial

Recommendations

Federal aviation administration and ada
SIGAda '07: Proceedings of the 2007 ACM international conference on SIGAda annual international conference

The US Federal Aviation Administration (FAA) depends upon large, complex and highly available software systems to manage the vast commercial and civil aviation network and to carry out the agency's mission of ensuring high capacity, efficient and ...
Unmanned systems and Ada
SIGAda '09: Proceedings of the ACM SIGAda annual international conference on Ada and related technologies

This tutorial provides an introduction to the growing field of Unmanned Systems and the role that Ada plays in solving the challenges presented when designing, building, and operating Unmanned Systems. The tutorial begins with an introduction to the ...
Implementing internal program representations with Ada and Ada 9X
TRI-Ada '94: Proceedings of the conference on TRI-Ada '94

In an earlier paper, the author discussed the use of Ada to implement the internal program representation for an Ada software re-engineering system. While many of Ada's features were used to advantage in the implementation, the lack of an inheritance ...

Comments

Information & Contributors

Information

Published In

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1990

Published in SIGSOFT Volume 15, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
135
Total Downloads

Downloads (Last 12 months)21
Downloads (Last 6 weeks)4

Reflects downloads up to 21 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Yeung W(2005)Semantics-based support tools for high integrity Ada softwareReliable Software Technologies — Ada-Europe '9710.1007/3-540-63114-3_10(100-111)Online publication date: 8-Jun-2005
https://doi.org/10.1007/3-540-63114-3_10
Song X(1995)A framework for understanding the integration of design methodologiesACM SIGSOFT Software Engineering Notes10.1145/225907.22591320:1(46-54)Online publication date: 1-Jan-1995
https://dl.acm.org/doi/10.1145/225907.225913
Yeung WSmith PTopping GBailey E(1992)Theoretical basis for Jackson System DevelopmentInformation and Software Technology10.1016/0950-5849(92)90148-I34:8(543-551)Online publication date: 1-Aug-1992
https://dl.acm.org/doi/10.1016/0950-5849%2892%2990148-I

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

Abstract

References

Cited By

Index Terms

Recommendations

Federal aviation administration and ada

Unmanned systems and Ada

Implementing internal program representations with Ada and Ada 9X

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

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations