Naval Postgraduate School
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.
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 ... -
The implementation of a entity-relationship interface for the multi-lingual database system
(1985-12);Traditionally, the design and implementation of a conventional database system begins with the choice of a data model followed by the specification of a model-based data language. Thus, the database system is restricted ... -
Strategies for Application of the Coalition Battle Management Language (C-BML) with the Military Scenario Definition Language (MSDL)
(2012);The Coalition Battle Management Language (C-BML) is a common language for expressing and exchanging plans, orders, requests, and reports across command and control systems, modeling and simulation systems, and robotic ...
