This Article 
 Bibliographic References 
 Add to: 
A Prototyping Language for Real-Time Software
October 1988 (vol. 14 no. 10)
pp. 1409-1423

PSDL is a language for describing prototypes of real-time software systems. It is most useful for requirements analysis, feasibility studies, and the design of large embedded systems. PSDL has facilities for recording and enforcing timing constraints, and for modeling the control aspects of real-time systems using nonprocedural control constraints, operator abstractions, and data abstractions. The language has been designed for use with an associated prototyping methodology. PSDL prototypes are executable if supported by a software base containing reusable software components in an underlying programming language (e.g. Ada).

[1] Ada Programming Language, U. S. Dep. Defense, ANSI/MIL-STD- 1815A, 1983.
[2] A. W. Alford, "A requirements engineering methodology for real-time processing requirements,"IEEE Trans. Software Eng., vol. SE- 3, no. 1, pp. 60-68, Jan. 1977.
[3] R. Balzer, D. Cohen, and W. Swartout, "Tools for specification validation and understanding," Rome Air Development Center, Rep. RADC-TR-83-292, Dec. 1983.
[4] F. W. Beichter, O. Herzog, and H. Petzsch, "SLAN-4: A software specification and design language,"IEEE Trans. Software Eng., vol. SE-10, no. 2, pp. 155-162, Mar. 1984.
[5] V. Berzins and M. Gray, "Analysis and design in MSG.84: Formalizing functional specifications,"IEEE Trans. Software Eng., vol. SE- 11, no. 8, pp. 657-670, Aug. 1985.
[6] V. Berzins, M. Gray, and D. Naumann, "Abstraction-based software development,"Commun. ACM, vol. 29, no. 5, pp. 402-415, May 1985.
[7] V. Berzins, "On merging software extensions,"Acta Inform., vol. 23, no. 6, pp. 607-619, Nov. 1986.
[8] T. Cheatham, J. Townley, and G. Holloway, "A system for program refinement," inInteractive Programming Environments. New York: McGraw-Hill, 1984, pp. 198-214.
[9] J. Connell and L. Brice, "Rapid prototyping," Datamation, pp. 93- 100, Aug. 1984.
[10] J. B. Dennis, G. A. Boughton, and C. K. L. Leung, "Building blocks for data flow prototypes," inProc. 7th Symp. Comput. Architecture, May 1980, pp. 1-8.
[11] A. A. Faustini and E. B. Lewis, "Toward a real-time dataflow language,"IEEE Software, vol. 3, no. 1, pp. 29-35, Jan. 1986.
[12] J. V. Guttag, E. Horowitz, and D. R. Musser, "Abstract data types and software validation,"Commun. ACM, vol. 21, pp. 1048-1064, Dec. 1978.
[13] V. H. Haase, "Real-time behavior of programs,"IEEE Trans. Software Eng., vol. SE-7, no. 5, pp. 494-501, Sept. 1981.
[14] K. L. Heninger, "Specifying software requirements for complex systems: New techniques and their applications,"IEEE Trans. Software Eng., vol. SE-6, pp. 2-12, Jan. 1980.
[15] E. L. Ivie, "The programmer's workbench--A machine for software development,"Commun. ACM, vol. 20, no. 10, pp. 746-753, Oct. 1977.
[16] P. Kruchten, E. Schonberg, and J. Schwartz, "Software prototyping using the SETL programming language,"IEEE Software, vol. 1, no. 4, pp. 66-75, Oct. 1984.
[17] B. Leavenworth, "ADAPT: A tool for the design of reusable software," IBM Thomas J. Watson Research Center, Yorktown Heights, NY, Rep. RC 9728, 1982.
[18] L. S. Levy, "A metaprogramming method and its economic justification,"IEEE Trans. Software Eng., vol. SE-12, no. 2, pp. 272-277, Feb. 1986.
[19] G. Luckenbaugh, "The activity list: A design construct for real-time systems," M.S. thesis, Dep. Comput. Sci., Univ. Maryland, 1984.
[20] D. Luckham and F. W. von Henke, "An overview of Anna, a specification language for Ada,"IEEE Software, vol. 2, no. 2, pp. 9-22, Mar. 1985.
[21] Luqi and V. Berzins, "Execution aspects of prototypes in PSDL," TR-86-2, Univ. Minnesota, Tech. Rep. TR-86-2, 1986.
[22] Luqi and V. Berzins, "The rapid construction of PSDL prototypes,"IEEE Software, Sept. 1988.
[23] Luqi, "Rapid prototyping for large software system design," Ph.D. dissertation, Dep. Comput. Sci., Univ. Minnesota, Minneapolis, 1986.
[24] L. MacLaren, "Evolving toward Ada in real time systems," inProc. ACM SIGPLAN Symp. Ada Programming Language SIGPLAN Notices, pp. 146-155, Nov. 1980.
[25] A. K. Mok, "The design of real-time programming systems based on process models," inProc. IEEE 1984 Real Time Systems Symp., Austin, TX, Dec. 1984, pp. 5-17.
[26] A. K. Mok, "The decomposition of real-time system requirements into process models," inProc. IEEE 1984 Real Time Systems Symp., Austin TX, Dec. 1984, pp. 125-133.
[27] N. Roussopoulos, "Architectural design of the SBMS," Dep. Comput. Sci., Univ. Maryland, Quarterly Rep. for the STARS SB/SBMS Project, Apr. 1985.
[28] W. Stevens, G. Meyers, and L. Constantine, "Structured design,"IBM Syst. J., vol. 13, no. 2, pp. 115-139, May 1974.
[29] R. T. Yeh, "Software engineering,"IEEE Spectrum, pp. 91-94, Nov. 1983.
[30] R. T. Yeh, R. Mittermeir, N. Roussopoulos, and J. Reed, "A programming environment framework based on reusability," inProc. Int. Conf. Data Engineering, Apr. 1984.
[31] R. T. Yeh, N. Roussopoulos, and B. Chu, "Management of reusable software," inProc. COMPCON, Sept. 1984.
[32] P. Zave, "An operational approach to requirements specifications for embedded systems,"IEEE Trans. Software Eng., vol. SE-8, no. 3, pp. 250-269, 1982.

Index Terms:
specification languages; prototyping language; real-time software; PSDL; requirements analysis; feasibility studies; embedded systems; timing constraints; real-time systems; nonprocedural control constraints; operator abstractions; data abstractions; reusable software components; data structures; real-time systems; software reusability; specification languages
"A Prototyping Language for Real-Time Software," IEEE Transactions on Software Engineering, vol. 14, no. 10, pp. 1409-1423, Oct. 1988, doi:10.1109/32.6186
Usage of this product signifies your acceptance of the Terms of Use.