Semantics of a Real-Time Language
Luqi_Semantics_1988.pdf (596.6Kb)Abstract
This paper describes the semantics of the real-time language
PSDL, which was designed for prototyping real-time systems.' We
focus on the aspects of the language relating to hard real-time constraints,
scheduling, and functional behavior. The main contributions
of the paper are to present the aspects of PSDL that simplify
the description of real-time constraints and to clarify the relationships
between periodic and data driven operators and the interactions between timing and control constraints in a language that combines these features.
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.
-
A novel project management theory and its applicability
(Monterey, California. Naval Postgraduate School, 2008-03);Software Project Management is an emerging discipline. The software project manager's job comprises every aspect of the project from starting the project to closing out. Practitioner's of the discipline use several project ... -
STUDENT ACHIEVEMENT INDICATORS AT DEFENSE LANGUAGE INSTITUTE FOREIGN LANGUAGE CENTER
(Monterey, CA; Naval Postgraduate School, 2021-03);The Defense Language Institute (DLI) trains most of the cryptologic language analysts (CLA) that perform translation and analysis of data to support the United States military and intelligence communities. Students take ... -
The design and implementation of a relational interface for the multi-lingual database system
(1985-06);Traditionally, the design and implementation o-f a conventional database system begins with the choice o-f a data model followed by the specification of a model -based data language. Thus, the database system is restricted ...
