Issue No. 10 - October (1988 vol. 14)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.6186
<p>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).</p>
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," in IEEE Transactions on Software Engineering, vol. 14, no. , pp. 1409-1423, 1988.