A Prototyping Language for Real-Time Software
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).
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.Collections
Related items
Showing items related by title, author, creator and subject.
-
KTO I KUDA? Russia, language, and national identity
Torgersen, Dale G. (Monterey, California. Naval Postgraduate School, 2009-12);Language is often linked with identity. In fact, language is sometimes such a powerful force that it can transcend or replace the resilient forces of ethnic or cultural identity. However, just as language has such an ... -
KTO I KUDA? Russia, language, and national identity
Torgersen, Dale G. (Monterey, California. Naval Postgraduate School, 2009-12);Language is often linked with identity. In fact, language is sometimes such a powerful force that it can transcend or replace the resilient forces of ethnic or cultural identity. However, just as language has such an ... -
Language Translation for File Paths
Rowe, Neil C.; Schwamm, Riqui; Garfinkel, Simson L. (Monterey, California. Naval Postgraduate School, 2013);Forensic examiners are frequently confronted with content in languages that they do not understand, and they could benefit from machine translation into their native language. But automated translation of file paths is a ...