Cuadro de texto: ü PADD (Parallelism and Abstraction in Dimensional Design), is an imperative programming notation. It is the notation supported by RALE. It has:

q An explicit parallel composition construct

q Simple Rendez-vous inter-process communication

q Parametric abstract types and monitors

q Auto-documentation properties
Cuadro de texto: Both shared and distributed storage systems may be expressed or modelled in PADD. It may be used throughout all phases of software development. The following are amongst the systems which have been developed in RALE:

q Multicopy Real-Time Data Base for UNIX-based power network telecontrol centre

q Simulation, Testing bed, and C program generation for a multiprocessor telecommunications network packet switching node

q Digital image-based real-time monitoring network, with remote image processing for alarm generation

q Modeling and Simulation of a Power Utility Telecommunication Network

Concurrent, Parallel and Distributed Software Development Environment

Cuadro de texto: ü RALE is a Concurrent, Parallel, and Distributed (CPD) software development environment. RALE integrates:

RALE may be obtained upon a combined course and consulting contract, for its parameterization and integration into each development team
Cuadro de texto: ü Development: Windows 9X, NT, 2000, XP. PostScript DIN A4 printer Cuadro de texto: PADD/RALE Cuadro de texto: PLATFORMS Cuadro de texto: ü Real-Time Mapping: Network of PCs with Windows 9X, NT or XP network, and UNIX network Cuadro de texto: ü Additional needed software: Borland C++ V. 4.XX, MikTeX

General Systems Development

q A Schema Editor

q A development Data Base

q Equivalence Proof Editor
Cuadro de texto: q C code generation

q A static process allocation tool into base multiprocessor systems

Cuadro de texto: q Event-driven simulation tools Cuadro de texto: q Documentation generation tools and templates, for IEEE Software Quality Standards