TreatJS: Higher-Order Contracts for JavaScript

TreatJS is a language embedded, higher-order contract system for JavaScript which enforces contracts by run-time monitoring. Beyond providing the standard abstractions for building higher-order contracts (base, function, and object contracts), TreatJS's novel contributions are its guarantee of non-interfering contract execution, its systematic approach to blame assignment, its support for contracts in the style of union and intersection types, and its notion of a parameterized contract scope, which is the building block for composable run-time generated contracts that generalize dependent function contracts. TreatJS is implemented as a library so that all aspects of a contract can be specified using the full JavaScript language. The library relies on JavaScript proxies to guarantee full interposition for contracts. It further exploits JavaScript's reflective features to run contracts in a sandbox environment, which guarantees that the execution of contract code does not modify the application state. No source code transformation or change in the JavaScript run-time system is required. The impact of contracts on execution speed is evaluated using the Google Octane benchmark.Comment: Technical Repor

Solar concentrators for advanced solar-dynamic power systems in space

This report summarizes the results of a study performed by Hughes Danbury Optical Systems, HDOS, (formerly Perkin-Elmer) to design, fabricate, and test a lightweight (2 kg/sq M), self supporting, and highly reflective sub-scale concentrating mirror panel suitable for use in space. The HDOS panel design utilizes Corning's 'micro sheet' glass as the top layer of a composite honeycomb sandwich. This approach, whose manufacturability was previously demonstrated under an earlier NASA contract, provides a smooth (specular) reflective surface without the weight of a conventional glass panel. The primary result of this study is a point design and it's performance assessment

Research Identities: Reflections of a Contract Researcher

This paper examines the institutional identity formation of contract research staff in the context of the Taylorisation of research knowledges. The author has been a contract researcher for many years, after initially training and practising as a Probation Officer. She makes links between her social work training, and her current practice as a qualitative researcher. Drawing on her experience of working on a variety of different projects, at a number of different institutions, and providing illustrative examples from projects in sociology, social policy, health, and education, she reflects on the implications of the current social organization of academic research both for professional research practice and for researcher identity. There is a paradox in the way that contract research staff accrue a wealth of experience of how research is organised and conducted in different contexts, a repertoire of skills, and a vast volume of various kinds of \'data\', whilst remaining vulnerable and marginalized figures within the academy, with few opportunities for professional development and advancement. She outlines a number of strategies she has employed in the preservation of the \'research self\', and concludes by suggesting that the academy has much to learn about the effective management of \'waste\', as embodied by researchers\' selves and their data, consequent upon the Taylorisation of research work.Taylorisation; Academic Work; Identities; Qualitative Research; In-Depth Interviews; Reflective Practice

Design and demonstration of a system for the deposition of atomic-oxygen durable coatings for reflective solar dynamic power system concentrators

A system for the vacuum deposition of atomic-oxygen durable coatings for reflective solar dynamic power systems (SDPS) concentrators was designed and demonstrated. The design issues pertinent to SDPS were developed by the Government Aerospace Systems Division of the Harris Corporation and are described in NASA-CR-179489. Both design and demonstration phases have been completed. At the time of this report the deposition system was ready for coating of facets for SDPS concentrators. The materials issue relevant to the coating work were not entirely resolved. These issues can only be resolved when substrates which are comparable to those which will be used in flight hardware are available. The substrates available during the contract period were deficient in the areas of surface roughness and contamination. These issues are discussed more thoroughly in the body of the report

Hubble Space Telescope: SRM/QA observations and lessons learned

The Hubble Space Telescope (HST) Optical Systems Board of Investigation was established on July 2, 1990 to review, analyze, and evaluate the facts and circumstances regarding the manufacture, development, and testing of the HST Optical Telescope Assembly (OTA). Specifically, the board was tasked to ascertain what caused the spherical aberration and how it escaped notice until on-orbit operation. The error that caused the on-orbit spherical aberration in the primary mirror was traced to the assembly process of the Reflective Null Corrector, one of the three Null Correctors developed as special test equipment (STE) to measure and test the primary mirror. Therefore, the safety, reliability, maintainability, and quality assurance (SRM&QA) investigation covers the events and the overall product assurance environment during the manufacturing phase of the primary mirror and Null Correctors (from 1978 through 1981). The SRM&QA issues that were identified during the HST investigation are summarized. The crucial product assurance requirements (including nonconformance processing) for the HST are examined. The history of Quality Assurance (QA) practices at Perkin-Elmer (P-E) for the period under investigation are reviewed. The importance of the information management function is discussed relative to data retention/control issues. Metrology and other critical technical issues also are discussed. The SRM&QA lessons learned from the investigation are presented along with specific recommendations. Appendix A provides the MSFC SRM&QA report. Appendix B provides supplemental reference materials. Appendix C presents the findings of the independent optical consultants, Optical Research Associates (ORA). Appendix D provides further details of the fault-tree analysis portion of the investigation process

Technology development program for an advanced microsheet glass concentrator

Solar Dynamic Space Power Systems are candidate electrical power generating systems for future NASA missions. One of the key components in a solar dynamic power system is the concentrator which collects the sun's energy and focuses it into a receiver. In 1985, the NASA Lewis Research Center initiated the Advanced Solar Dynamic Concentrator Program with funding from NASA's Office of Aeronautics and Space Technology (OAST). The objectives of the Advanced Concentrator Program is to develop the technology that will lead to lightweight, highly reflective, accurate, scaleable, and long lived (7 to 10 years) space solar dynamic concentrators. The Advanced Concentrator Program encompasses new and innovative concepts, fabrication techniques, materials selection, and simulated space environmental testing. The Advanced Microsheet Glass Concentrator Program, a reflector concept, that is currently being investigated both in-house and under contract is discussed

Designing a competency based program to facilitate the progression of experienced engineering technologists to professional engineer status

This paper describes the pedagogical principles that underpin the design of the Master of Engineering Practice, a distance education program offered by the University of Southern Queensland. This innovative program enables experienced engineering technologists to use their workplace learning to assemble portfolios that demonstrate their achievement of many of the competencies defined for a graduate of the program. Students are required to be self-directed learners and to use reflective practices to assess their own learning. Following a self-assessment process undertaken in the first course in the program, each student prepares a Pathway to Graduation Plan which they then follow through to graduation. Graduates of the program are able to become registered as Chartered Professional Engineers

Abstracting object interactions using composition filters

It is generally claimed that object-based models are very suitable for building distributed system architectures since object interactions follow the client-server model. To cope with the complexity of today's distributed systems, however, we think that high-level linguistic mechanisms are needed to effectively structure, abstract and reuse object interactions. For example, the conventional object-oriented model does not provide high-level language mechanisms to model layered system architectures. Moreover, we consider the message passing model of the conventional object-oriented model as being too low-level because it can only specify object interactions that involve two partner objects at a time and its semantics cannot be extended easily. This paper introduces Abstract Communication Types (ACTs), which are objects that abstract interactions among objects. ACTs make it easier to model layered communication architectures, to enforce the invariant behavior among objects, to reduce the complexity of programs by hiding the interaction details in separate modules and to improve reusability through the application of object-oriented principles to ACT classes. We illustrate the concept of ACTs using the composition filters model