Software Engineering Laboratory Series: Proceedings of the Twentieth Annual Software Engineering Workshop

The Software Engineering Laboratory (SEL) is an organization sponsored by NASA/GSFC and created to investigate the effectiveness of software engineering technologies when applied to the development of application software. The activities, findings, and recommendations of the SEL are recorded in the Software Engineering Laboratory Series, a continuing series of reports that includes this document

Fundamental Approaches to Software Engineering

This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution

Research reports: 1991 NASA/ASEE Summer Faculty Fellowship Program

The basic objectives of the programs, which are in the 28th year of operation nationally, are: (1) to further the professional knowledge of qualified engineering and science faculty members; (2) to stimulate an exchange of ideas between participants and NASA; (3) to enrich and refresh the research and teaching activities of the participants' institutions; and (4) to contribute to the research objectives of the NASA Centers. The faculty fellows spent 10 weeks at MSFC engaged in a research project compatible with their interests and background and worked in collaboration with a NASA/MSFC colleague. This is a compilation of their research reports for summer 1991

A Framework for Model-based Testing of Integrated Modular Avionics

In modern aircraft, electronics and control systems are designed based on the Integrated Modular Avionics (IMA) system architecture. While this has numerous advantages (reduction of weight, reduced power and fuel consumption, reduction of development cost and certification effort), the IMA platform also adds an additional layer of complexity. Due to the safety-critical nature of many avionics functions careful and accurate verification and testing are imperative. This thesis describes results achieved from research on model-based testing of IMA systems, in part obtained during the European research project SCARLETT. It presents a complete framework which enables IMA domain experts to design and run model-based tests on bare module, configured module, and application level in a standardised test environment. The first part of this thesis provides background information on the relevant topics: the IMA concept, domain-specific languages, model-based testing, and the TTCN-3 standard. The second part introduces the IMA Test Modelling Language (ITML) framework and its components. It describes a tailored TTCN-3 test environment with appropriate adapters and codecs. Based on MetaEdit and its meta-metamodel GOPPRR, it defines the three variants of the domain-specific language ITML, each with its abstract and concrete syntax as well as static and dynamic semantics. The process of test procedure generation from ITML models is explained in detail. Furthermore, the design and implementation of a universal Test Agent is shown. A dedicated communication protocol for controlling the agent is defined as well. The third part provides an evaluation of the framework. It shows usage scenarios in the SCARLETT project, gives a comparison to related tools and approaches, and explains the advantages of using the ITML framework for an IMA domain expert. The final part presents several example ITML models. It also provides reference material like XML schemata, framework source code, and model validators

Mariner Venus/Mercury 1973 study

Mariner Venus/Mercury 1973 flyby mission and description of spacecraft and subsystem

Use and citation of paper "Fox et al (2018), “When should the chicken cross the road? Game theory for autonomous vehicle - human interactions conference paper”" by the Law Commission to review and potentially change the law of the UK on autonomous vehicles. Cited in their consultation report, "Automated Vehicles: A joint preliminary consultation paper" on p174, ref 651.

Topic of this consultation: The Centre for Connected and Automated Vehicles (CCAV) has asked the Law Commission of England and Wales and the Scottish Law Commission to examine options for regulating automated road vehicles. It is a three-year project, running from March 2018 to March 2021. This preliminary consultation paper focuses on the safety of passenger vehicles. Driving automation refers to a broad range of vehicle technologies. Examples range from widely-used technologies that assist human drivers (such as cruise control) to vehicles that drive themselves with no human intervention. We concentrate on automated driving systems which do not need human drivers for at least part of the journey. This paper looks at are three key themes. First, we consider how safety can be assured before and after automated driving systems are deployed. Secondly, we explore criminal and civil liability. Finally, we examine the need to adapt road rules for artificial intelligence

New devices for flow measurements: Hot film and burial wire sensors, infrared imagery, liquid crystal, and piezo-electric model

An experimental program aimed at identifying areas in low speed aerodynamic research where infrared imaging systems can make significant contributions is discussed. Implementing a new technique, a long electrically heated wire was placed across a laminar flow. By measuring the temperature distribution along the wire with the IR imaging camera, the flow behavior was identified