Scheduling language and algorithm development study. Volume 1: Study summary and overview

A high level computer programming language and a program library were developed to be used in writing programs for scheduling complex systems such as the space transportation system. The objectives and requirements of the study are summarized and unique features of the specified language and program library are described and related to the why of the objectives and requirements

Thrust Chamber Modeling Using Navier-Stokes Equations: Code Documentation and Listings

A copy of the PHOENICS input files and FORTRAN code developed for the modeling of thrust chambers is given. These copies are contained in the Appendices. The listings are contained in Appendices A through E. Appendix A describes the input statements relevant to thrust chamber modeling as well as the FORTRAN code developed for the Satellite program. Appendix B describes the FORTRAN code developed for the Ground program. Appendices C through E contain copies of the Q1 (input) file, the Satellite program, and the Ground program respectively

Dynamic Modeling and Statistical Analysis of Event Times

This review article provides an overview of recent work in the modeling and analysis of recurrent events arising in engineering, reliability, public health, biomedicine and other areas. Recurrent event modeling possesses unique facets making it different and more difficult to handle than single event settings. For instance, the impact of an increasing number of event occurrences needs to be taken into account, the effects of covariates should be considered, potential association among the interevent times within a unit cannot be ignored, and the effects of performed interventions after each event occurrence need to be factored in. A recent general class of models for recurrent events which simultaneously accommodates these aspects is described. Statistical inference methods for this class of models are presented and illustrated through applications to real data sets. Some existing open research problems are described.Comment: Published at http://dx.doi.org/10.1214/088342306000000349 in the Statistical Science (http://www.imstat.org/sts/) by the Institute of Mathematical Statistics (http://www.imstat.org

Automatic software for controlling cryogenic systems

A technical discussion of the lessons learned during the seven years of software development/testing which occurred on the Liquid Oxygen System for the Space Shuttle at the Kennedy Space Center is given. Problems which were solved during these years came into four distinct phases: design/debug before simulation runs, verification using simulation with models up through Space Transportation System-1 launch, hardware usage from first launch to Space Transportation System-5 launch, and future use. Each problem/solution describes the apparent problem requirements/constraints, usable alternatives, selected action, and results

Guidelines for testing and release procedures

Guidelines and procedures are recommended for the testing and release of the types of computer software efforts commonly performed at NASA/Ames Research Center. All recommendations are based on the premise that testing and release activities must be specifically selected for the environment, size, and purpose of each individual software project. Guidelines are presented for building a Test Plan and using formal Test Plan and Test Care Inspections on it. Frequent references are made to NASA/Ames Guidelines for Software Inspections. Guidelines are presented for selecting an Overall Test Approach and for each of the four main phases of testing: (1) Unit Testing of Components, (2) Integration Testing of Components, (3) System Integration Testing, and (4) Acceptance Testing. Tools used for testing are listed, including those available from operating systems used at Ames, specialized tools which can be developed, unit test drivers, stub module generators, and the use of format test reporting schemes

Design, testing, and delivery of an interactive graphics display subsystem

An interactive graphics display system was designed to be used in locating components on a printed circuit card and outputting data concerning their thermal values. The manner in which this was accomplished in terms of both hardware and software is described. An analysis of the accuracy of this approach is also included

MIPI Display Serial Interface Interoperability Tests

The increasing demand of mobile devices, with better and faster peripherals, leads to a need of developing new products based on the most recente protocols by the silicon industry companies. One of the companies with a larger role in the silicon industry is Synopsys. Synopsys is one of the biggest IP producers (Intellectual Property) in the world, offering its clients a large set of components based on the leading protocols on the market such as: USB, MIPI, HDMI, DDR, SATA, Ethernet, PCIe etc. In this thesis framework were developed two projects regarding MIPI DSI (Display Serial Interface) specification in which is proposed to use Synopsys DSI Host controller to validate the behaviour of two physical layers (PHY). One of the projects has as target test one of Synopsys new PHYs in order to validate its performance on a protocolar level. The other project refers to the protocolar validation of a client PHY that ordered Synopsys services to test it. To validate both physical layers and accomplish the project goals, both projects passed through the stages of: design development, simulations, Synthesis + P&R (Place and Route) and hardware tests.O aumento da procura de dispositivos m´oveis com periféricos melhores e mais rápidos, leva `a necessidade de se desenvolverem novos produtos baseados nos mais recentes protocolos por parte das companhias tecnológicas. Uma das empresas com maior papel na industria do silício é a Synopsys. A Synopsys é uma das maiores produtoras de IP (do anglo-saxónico Intellectual Property, propriedade intelectual em português) oferecendo aos seus clientes uma enorme gama de componentes baseados nos protocolos líderes de mercado tal como: USB, MIPI, HDMI, DDR, SATA, Ethernet, PCIe entre outros. No enquadramento desta dissertação surgem dois projectos, ligados à especifica¸c˜ao MIPI DSI (Display Serial Interface) nos quais ´e proposto utilizar o controlador DSI Host, desenvolv´ıdo pela Synopsys, para validar o funcionamento de duas camadas físicas (PHY). Um dos projectos tem como alvo testar um dos novos PHY desenvolvidos na Synopsys de forma a validar o seu comportamento e desempenho a nível protocolar. O outro projecto remete a uma valida¸c˜ao protocolar de um PHY desenvolvido por um cliente que requisitou os serviços da Synopsys para o testar. Para efectuar esta validação, ambos os projectos passam pelas fases de: desenvolvimento do projecto, simulações, Síntese + P&R (Place and Route) e testes em hardware