Implementation of the 64-meter-diameter Antennas at the Deep Space Stations in Australia and Spain

The management and construction aspects of the Overseas 64-m Antenna Project in which two 64-m antennas were constructed at the Tidbinbilla Deep Space Communications Complex in Australia, and at the Madrid Deep Space Communications Complex in Spain are described. With the completion of these antennas the Deep Space Network is equipped with three 64-m antennas spaced around the world to maintain continuous coverage of spacecraft operations. These antennas provide approximately a 7-db gain over the capabilities of the existing 26-m antenna nets. The report outlines the project organization and management, resource utilization, fabrication, quality assurance, and construction methods by which the project was successfully completed. Major problems and their solutions are described as well as recommendations for future projects

Language Design for Reactive Systems: On Modal Models, Time, and Object Orientation in Lingua Franca and SCCharts

Reactive systems play a crucial role in the embedded domain. They continuously interact with their environment, handle concurrent operations, and are commonly expected to provide deterministic behavior to enable application in safety-critical systems. In this context, language design is a key aspect, since carefully tailored language constructs can aid in addressing the challenges faced in this domain, as illustrated by the various concurrency models that prevent the known pitfalls of regular threads. Today, many languages exist in this domain and often provide unique characteristics that make them specifically fit for certain use cases. This thesis evolves around two distinctive languages: the actor-oriented polyglot coordination language Lingua Franca and the synchronous statecharts dialect SCCharts. While they take different approaches in providing reactive modeling capabilities, they share clear similarities in their semantics and complement each other in design principles. This thesis analyzes and compares key design aspects in the context of these two languages. For three particularly relevant concepts, it provides and evaluates lean and seamless language extensions that are carefully aligned with the fundamental principles of the underlying language. Specifically, Lingua Franca is extended toward coordinating modal behavior, while SCCharts receives a timed automaton notation with an efficient execution model using dynamic ticks and an extension toward the object-oriented modeling paradigm