Article

Free access

Real-time software engineering in Ada: observations and recommendations

Authors:

M. Borger,

M. Klein,

R. VeltreAuthors Info & Claims

TRI-Ada '89: Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment

Pages 554 - 569

https://doi.org/10.1145/74261.74303

Published: 03 January 1989 Publication History

PDF eReader

References

[1]

Borger, M.W. VAXELN Experimentation: Programming a Real-Time Clock and Interrupt Handling Using VAXELN Ada 1.1. Tech. Rept. CMU/SEI-87-TR-29, ADA188100, Software Engineering Institute, October 1987.

Google Scholar

[2]

Borger, M.W. VAXELN Experimentation: Programming a Real-Time Periodic Task Dispatcher Using VAXELN Ada 1.1. Tech. Rept. CMU/SEI-87-TR-32, ADA200612, Software Engineering Institute, October 1987.

Google Scholar

[3]

Bunm, A. "Using Large Families for Handling Priority Requests". Ada Letters 7, 1 (January 1987), 97-104.

Digital Library

Google Scholar

[4]

Bums, A., Wellings, A.I. Real-Time Ada Issues. Proceedings of the International Workshop of Real-Time Ada Issues, Novembet 1987.

Digital Library

Google Scholar

[5]

Comhffi, D., Sha, L. "Priority Inversion in Ada'. Ada Letters 7, 7 (November 1987), 30-32.

Digital Library

Google Scholar

[6]

Cornhill, D., Sha, L., Lehoczky, J.P., Rajkumar, R., and Tokuda, H. Limitations of Ada for Real-Time Scheduling. Proceedings of the International Workshop of Real-Time Ada Issues, November 1987.

Digital Library

Google Scholar

[7]

Goodenough, J. B., Sha, L. The Priority Ceiling Protocol: A Method for Minimizing the Blocking of High Priority Ada Tasks. Proceedings of the International Workshop of Real-Time Ada Issues, June 1988.

Digital Library

Google Scholar

[8]

Klein, M.H., Landherr, S.F. INS Simulator Program: Top- Level Design. Tech. Rept. CMU/SEI-87-TR-34, ADA200605, Software Engineering Institute, July 1987.

Google Scholar

[9]

Landherr, S.F., Klein, M.H. iNS Behavioral Specification. Tech. Rept. CMU/SEI-87-TR-33, ADA200604, Software Engineering institute, June 1987.

Google Scholar

[10]

Lehoczl~, J. P., Sha, L., and Ding, Y. The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior. Department of Statistics, Carnegie Mellon University, 1987.

Google Scholar

[11]

Lehoczky, J. P., Sha, L., Strosnider, I. Enhancing Aperiodic Responsiveness in a Hard Real-Time Environment. IEEE Real- Time System Symposium, December 1987.

Google Scholar

[12]

Liu, C.L., Laylanck J.W. "Scheduling Algorithms for Multi- Programming in a Hard Real-Time". JACM 20, 1 (January 1973), 46-61.

Digital Library

Google Scholar

[13]

Locke, C.D., Vogel, D.R. Problems in Ada Runtime Task Scheduling. Proceedings of the International Workshop of Real- Time Ada Issues, November 1987.

Digital Library

Google Scholar

[14]

McCormick, F. Scheduling Difficulties of Ada in the Hard Real-Time Environment. Proceedings of the International Workshop of Real-Time Ada Issues, November 1987.

Digital Library

Google Scholar

[15]

Sha, L., Rajkumar, R., and Lehoczky, J. P. Priority Inheritance Protocols: An Approach to Real-time Synchronization. Tech. Rept. (CMU-CS-87-181), Department of Computer Science, Carnegie Mellon University, 1987.

Google Scholar

[16]

Sha, L., Goodenough, I.B. Real-Time Scheduling Theory and Ada. Tech. Rept. CMU/SEI-89-TR-14, Software Engineering Institute, April 1989.

Google Scholar

[17]

Sha, L., Ralya, T., and Goodenough, I. B. An Analytical Approach to Real-Time Software Engineering. Software Engineering Institute Annual Technical Review, 1989.

Google Scholar

[18]

Sprunt, B., Sha, L., and Lehoczky, J.P. Scheduling Sporadic and Aperiodic Events in a Hard Real-Time System. Tech. Rept. CMU/SEI-89-TR-11, Software Engineering Institute, April 1989.

Google Scholar

[19]

U.S. Department of Defense. Reference Manual for the Ada Programming Language. ANSI/MIL-STD 1815A, DoD, January 1983.

Google Scholar

[20]

Volz, R. A., Mudge, T. N. "Instruction-Level Timing Mechanisms for Accurate Real-Time Task Scheduling". IEEE Transactions on Computers C-36, 8 (August 1987).

Digital Library

Google Scholar

Cited By

View all

Hwang KLiao I(2005)Two attacks on a user friendly remote authentication scheme with smart cardsACM SIGOPS Operating Systems Review10.1145/1055218.105522739:2(94-96)Online publication date: 1-Apr-2005
https://dl.acm.org/doi/10.1145/1055218.1055227
Jones CLomet DRomanovsky AWeikum GFekete AGaudel MKorth Hde Lemos RMoss ERajwar RRamamritham KRandell BRodrigues L(2005)The atomic manifestoACM SIGOPS Operating Systems Review10.1145/1055218.105522039:2(41-46)Online publication date: 1-Apr-2005
https://dl.acm.org/doi/10.1145/1055218.1055220
Lander LMitra S(2005)Detection and avoidance of elaboration-time problems for multi-unit real-time Ada applicationsAda: Moving Towards 200010.1007/3-540-55585-4_15(165-181)Online publication date: 28-May-2005
https://doi.org/10.1007/3-540-55585-4_15
Show More Cited By

Index Terms

Real-time software engineering in Ada: observations and recommendations
1. Software and its engineering
  1. Software notations and tools
    1. Development frameworks and environments

Recommendations

Recommendations for software engineering education

The increasing emphasis on software engineering in the computer science curricula directly correlates with the expansion of the area of software engineering. The increased occurrence of software engineering courses has produced significant discrepancies ...
Software Engineering with ADA
Software Engineering with ADA

Comments

Information & Contributors

Information

Published In

TRI-Ada '89: Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment

January 1989

670 pages

ISBN:0897913299

DOI:10.1145/74261

Chairmen:
J. T. Foreman
Software Engineering Institute
,
C. B. Engle
Florida Institute of Technology

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: 03 January 1989

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
336
Total Downloads

Downloads (Last 12 months)71
Downloads (Last 6 weeks)18

Reflects downloads up to 30 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hwang KLiao I(2005)Two attacks on a user friendly remote authentication scheme with smart cardsACM SIGOPS Operating Systems Review10.1145/1055218.105522739:2(94-96)Online publication date: 1-Apr-2005
https://dl.acm.org/doi/10.1145/1055218.1055227
Jones CLomet DRomanovsky AWeikum GFekete AGaudel MKorth Hde Lemos RMoss ERajwar RRamamritham KRandell BRodrigues L(2005)The atomic manifestoACM SIGOPS Operating Systems Review10.1145/1055218.105522039:2(41-46)Online publication date: 1-Apr-2005
https://dl.acm.org/doi/10.1145/1055218.1055220
Lander LMitra S(2005)Detection and avoidance of elaboration-time problems for multi-unit real-time Ada applicationsAda: Moving Towards 200010.1007/3-540-55585-4_15(165-181)Online publication date: 28-May-2005
https://doi.org/10.1007/3-540-55585-4_15
Harris MReingold E(2004)Line drawing, leap years, and EuclidACM Computing Surveys10.1145/1013208.101321136:1(68-80)Online publication date: 1-Mar-2004
https://dl.acm.org/doi/10.1145/1013208.1013211
Kherfi MZiou DBernardi A(2004)Image Retrieval from the World Wide WebACM Computing Surveys10.1145/1013208.101321036:1(35-67)Online publication date: 1-Mar-2004
https://dl.acm.org/doi/10.1145/1013208.1013210
Quiggle T(1990)Efficient periodic execution of Ada tasksACM SIGAda Ada Letters10.1145/102456.102485X:9(141-146)Online publication date: 1-Jun-1990
https://dl.acm.org/doi/10.1145/102456.102485
Quiggle TBarnes J(1990)Efficient periodic execution of Ada tasksProceedings of the fourth international workshop on Real-time Ada issues10.1145/102454.102485(141-146)Online publication date: 1-Jun-1990
https://dl.acm.org/doi/10.1145/102454.102485

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.

Cited By

Index Terms

Recommendations

Recommendations for software engineering education

Software Engineering with ADA

Software Engineering with ADA

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Recommendations for software engineering education

Software Engineering with ADA

Software Engineering with ADA

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations