A prototyping language for real-time software

Abstract

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 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).

Software merge: Models and methods for combining changes to programs

“…Our approach has also been applied to other languages, notably the Prototype System Description Language PSDL. PSDL is a language for prototyping large, real-time systems, which is based on an enhanced data flow model of computation [12]. This language includes features for expressing concurrency and real-time constraints.…”

Requirements-document-based prototyping of CARA software

“…Pictorially, we can represent each s i as a vertex of a computation graph and each e ij as a set of directed edges from s i to s j in the graph [13,16,17,19]. For example, the system shown in Fig.…”

“…The tool suite provides a system model editor for users to create and modify their system models defined by the PSDL prototyping language [19,22], a translator to check the syntax/semantics of the system model and to generate glue and wrapper codes to realize the design for the target system architecture, and a scheduler to analyze the timing constraints and to generate code to realize these constraints in the target architecture [17]. The tool interface also provides menus for users to manage their projects and compile source code into an executable prototype [7,8].…”

“…Hence we must develop models and languages to capture these requirements and attributes. We built upon our experience with specification and prototyping languages and refined the Prototype System Description Language (PSDL) for modeling and prototyping complex systems [13,19,22]. This section briefly summarizes our notations for high confidence embedded systems, which we used for the CARA prototyping effort.…”

Automated merging of software prototypes

“…The Prototype System Description Language (PSDL) is the prototyping language associated with CAPS [11]. It was created to provide the designer with a simple way to abstractly specify software systems.…”