A Prototyping Language for Real-Time Software
Loading...
Authors
Luqi
Berzins, Valdis
Yeh, Raymond T.
Subjects
Abstractions
Ada
embedding systems
prototyping
real-time systems
reusable components
specification language
Ada
embedding systems
prototyping
real-time systems
reusable components
specification language
Advisors
Date of Issue
1988-10
Date
Publisher
Language
Abstract
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 non procedural 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).
Type
Article
Description
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
IEEE Transactions on Software Engineering, Vol. 14, No. 10, October 1988
“A Prototyping Language for Real-Time Software”, with V. Berzins, and R. Yeh, IEEE Transactions on Software Engineering, Vol. 14, No. 10, pp. 1409-1423.
“A Prototyping Language for Real-Time Software”, with V. Berzins, and R. Yeh, IEEE Transactions on Software Engineering, Vol. 14, No. 10, pp. 1409-1423.
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.