Reliability measurement during software development

During the development of data base software for a multi-sensor tracking system, reliability was measured. The failure ratio and failure rate were found to be consistent measures. Trend lines were established from these measurements that provided good visualization of the progress on the job as a whole as well as on individual modules. Over one-half of the observed failures were due to factors associated with the individual run submission rather than with the code proper. Possible application of these findings for line management, project managers, functional management, and regulatory agencies is discussed. Steps for simplifying the measurement process and for use of these data in predicting operational software reliability are outlined

Mariner IV Mission to Mars. Part I

This technical report is a series of individual papers documenting the Mariner-Mars project from its beginning in 1962 following the successful Mariner-Venus mission. Part I is pre-encounter data. It includes papers on the design, development, and testing of Mariner IV, as well as papers detailing methods of maintaining communication with and obtaining data from the spacecraft during flight, and expected results during encounter with Mars. Part 11, post-encounter data, to be published later, will consist of documentation of the events taking place during Mariner IV's encounter with Mars and thereafter. The Mariner-Mars mission, the culmination of an era of spacecraft development, has contributed much new technology to be used in future projects

Design of a fault tolerant airborne digital computer. Volume 1: Architecture

This volume is concerned with the architecture of a fault tolerant digital computer for an advanced commercial aircraft. All of the computations of the aircraft, including those presently carried out by analogue techniques, are to be carried out in this digital computer. Among the important qualities of the computer are the following: (1) The capacity is to be matched to the aircraft environment. (2) The reliability is to be selectively matched to the criticality and deadline requirements of each of the computations. (3) The system is to be readily expandable. contractible, and (4) The design is to appropriate to post 1975 technology. Three candidate architectures are discussed and assessed in terms of the above qualities. Of the three candidates, a newly conceived architecture, Software Implemented Fault Tolerance (SIFT), provides the best match to the above qualities. In addition SIFT is particularly simple and believable. The other candidates, Bus Checker System (BUCS), also newly conceived in this project, and the Hopkins multiprocessor are potentially more efficient than SIFT in the use of redundancy, but otherwise are not as attractive

The natural history of bugs: using formal methods to analyse software related failures in space missions

Space missions force engineers to make complex trade-offs between many different constraints including cost, mass, power, functionality and reliability. These constraints create a continual need to innovate. Many advances rely upon software, for instance to control and monitor the next generation ‘electron cyclotron resonance’ ion-drives for deep space missions.Programmers face numerous challenges. It is extremely difficult to conduct valid ground-based tests for the code used in space missions. Abstract models and simulations of satellites can be misleading. These issues are compounded by the use of ‘band-aid’ software to fix design mistakes and compromises in other aspects of space systems engineering. Programmers must often re-code missions in flight. This introduces considerable risks. It should, therefore, not be a surprise that so many space missions fail to achieve their objectives. The costs of failure are considerable. Small launch vehicles, such as the U.S. Pegasus system, cost around $18 million. Payloads range from$4 million up to $1 billion for security related satellites. These costs do not include consequent business losses. In 2005, Intelsat wrote off$73 million from the failure of a single uninsured satellite. It is clearly important that we learn as much as possible from those failures that do occur. The following pages examine the roles that formal methods might play in the analysis of software failures in space missions

Automated Functional Testing based on the Navigation of Web Applications

Web applications are becoming more and more complex. Testing such applications is an intricate hard and time-consuming activity. Therefore, testing is often poorly performed or skipped by practitioners. Test automation can help to avoid this situation. Hence, this paper presents a novel approach to perform automated software testing for web applications based on its navigation. On the one hand, web navigation is the process of traversing a web application using a browser. On the other hand, functional requirements are actions that an application must do. Therefore, the evaluation of the correct navigation of web applications results in the assessment of the specified functional requirements. The proposed method to perform the automation is done in four levels: test case generation, test data derivation, test case execution, and test case reporting. This method is driven by three kinds of inputs: i) UML models; ii) Selenium scripts; iii) XML files. We have implemented our approach in an open-source testing framework named Automatic Testing Platform. The validation of this work has been carried out by means of a case study, in which the target is a real invoice management system developed using a model-driven approach.Comment: In Proceedings WWV 2011, arXiv:1108.208

A study of the very high order natural user language (with AI capabilities) for the NASA space station common module

The requirements are identified for a very high order natural language to be used by crew members on board the Space Station. The hardware facilities, databases, realtime processes, and software support are discussed. The operations and capabilities that will be required in both normal (routine) and abnormal (nonroutine) situations are evaluated. A structure and syntax for an interface (front-end) language to satisfy the above requirements are recommended

Implementing intelligent asset management systems (IAMS) within an industry 4.0 manufacturing environment

9th IFAC Conference on Manufacturing Modelling, Management and Control, MIM 2019; Berlin; Germany; 28 August 2019 through 30 August 2019. Publicado en IFAC-PapersOnLine 52(13), p. 2488-2493This paper aims to define the different considerations and results obtained in the implementation in an Intelligent Maintenance System of a laboratory designed based on basic concepts of Industry 4.0. The Intelligent Maintenance System uses asset monitoring techniques that allow, on-line digital modelling and automatic decision making. The three fundamental premises used for the development of the management system are the structuring of information, value identification and risk management

From Fragmentation to Function: Critical Concepts and Writings on Social Capital Markets' Structure, Operation, and Innovation

We hope to see a future in which more funds flow to investments seeking the generation of social and/or environmental value in conjunction with some level of financial performance. As the 'capital markets' moniker would suggest, we would like to see these capital flows be performance-based (so that funds advance the work of high-performance investees, while being less accessible to lower-performing and/or riskier ventures). Furthermore, we would like to see these investments adopt structures that more completely address the diverse needs and interests of investors and investees. Our ambition is that by better organizing the ideas and initiatives of the many individuals who have worked to frame this emerging market, these goals may be advanced. The paper's secondary goals are to help focus future research and praxis on efforts that build on the significant body of existing work without unduly re-treading well-worn analytical paths. This paper seeks to promote an elevated discussion of the social capital markets, a discourse focusing on  high-leverage issues. The paper also invites experts from related academic and practical fields to engage in a conversation that has to this point largely been conducted between social sector professionals turning their attention to capital flows and finance professionals placing their expertise in the service of social purposes