983 research outputs found
Kickstarting Choreographic Programming
We present an overview of some recent efforts aimed at the development of
Choreographic Programming, a programming paradigm for the production of
concurrent software that is guaranteed to be correct by construction from
global descriptions of communication behaviour
ART/Ada design project, phase 1. Task 1 report: Overall design
The design methodology for the ART/Ada project is introduced, and the selected design for ART/Ada is described in detail. The following topics are included: object-oriented design, reusable software, documentation techniques, impact of Ada, design approach, and differences between ART-IM 1.5 and ART/Ada 1.0 prototype. Also, Ada generator and ART/Ada runtime systems are discussed
High-power transmitter automation
The current status of the transmitter automation development applicable to all transmitters in the deep space network is described. Interface and software designs are described that improve reliability and reduce the time required for subsystem turn-on and klystron saturation to less than 10 minutes
APPLYING CDL FOR REAL-TIME PROGRAMMING OF MICROPROCESSORS
Concrete examples have been presented to illustrate the efficiency of applying COL and CAL for developing real-time programs for microprocessor-based devices, recently constructed at the Department
- …