Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Programming Framework”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 91 records · Page 5

A Formal Verification Framework for Runtime Assurance

The simplex architecture is an instance of Runtime Assurance (RTA) where a trusted component takes control of a safety-critical system when an untrusted component violates a safety property. This paper presents a formalization of the simplex RTA framework in the language of hybrid programs. A feature of this formal verification framework is that, for a given system, a specific instantiation can be created and its safety properties are guaranteed by construction. Instantiations may be kept at varying levels of generality, allowing for black box components, such as ML/AI-based controllers, to be modeled. The framework is written in the Prototype Verification System (PVS) using Plaidypvs, an embedding of differential dynamic logic in PVS. As a proof of concept, the framework is illustrated on an automatic vehicle braking system.

Runtime assurance↗

A Formal Verification Framework for Runtime Assurance

The simplex architecture is an instance of Runtime Assurance (RTA) where a trusted component takes control of a safety-critical system when an untrusted component violates a safety property. This paper presents a formalization of the simplex RTA framework in the language of hybrid programs. A feature of this formal verification framework is that, for a given system, a specific instantiation can be created and its safety properties are guaranteed by construction. Instantiations may be kept at varying levels of generality, allowing for black box components, such as ML/AI-based controllers, to be modeled. The framework is written in the Prototype Verification System (PVS) using Plaidypvs, an embedding of differential dynamic logic in PVS. As a proof of concept, the framework is illustrated on an automatic vehicle braking system.

Runtime assurance↗

NASA's telerobotics research program

In 1985, NASA instituted a research program in telerobotics to develop and provide the technology for applications of telerobotics to the United States space program. The authors describe the goals, organizing framework, and content of that endeavor. They review the actual tasks which comprise the content of the program which has evolved significantly in terms of its content, goals, and approach. The lessons learned in that time comprise the organizing framework of the current program. This organizing framework is described.

Weisbin, C. R.↗

A Verification Framework for Runtime Assurance of Autonomous UAS

Runtime Assurance (RTA) is a design-time architecture for safety-critical systems where an internal monitor acts upon detecting a violation of a property. The simplex architecture is an instance of RTA, where the action taken is to hand control of the overall system to a trusted controller when an untrusted one violates a safety property. Simplex RTA is emerging as a method for allowing AI/ML and other unverified software to be integrated into safety-critical applications like aircraft. To this end, the American Society for Testing and Materials (ASTM) and NASA have each published guidelines on the use of RTA in such systems. In the simplex RTA framework, a system has an advanced controller (AC) and a reversionary controller (RC). The system is allowed to operate with the AC until a runtime monitor detects that some property has been violated and then the RC takes over. Assuming that the sample rate of the monitor will detect improper functioning with enough time for the RC to correct the impending problem, and that the RC is trusted, the system will operate as intended. This use of the simplex RTA framework can allow for the integration of untrusted, but possibly more performant, controllers in a safe way. This paper presents a formalization of a simplex RTA framework in the Prototype Verification System (PVS) theorem prover using an embedding of differential dynamic logic (DDL) called Plaidypvs. A novel feature of this framework is that it can be instantiated at different levels of abstraction. This feature allows for the formal verification of a system with an untrusted black box component, such as an AI/ML controller. This paper does not address the many difficulties in deploying RTA in an industrial-level system. Instead, the focus is on the formal verification of the simplex RTA framework in the language of hybrid programs. Hybrid programs are programs that include both discrete and continuous dynamics and can be used to model complex cyber-physical systems. Plaidypvs is a tool that enables formalization of hybrid programs in the PVS theorem prover. Plaidypvs enables the verification of the general simplex RTA framework and then, by specializing some components of the hybrid program, verifying instances of the framework while treating the untrusted component as a black box. A selection of Unmanned Aircraft Systems (UAS) operations are shown as instances of the general RTA framework in PVS. This offers the benefit of design time verification of relevant safety properties to the system, and it also gives requirements on the sample rate of sensors that determine the time interval in which the ‘switch’ property of the RTA framework is checked.

PVS↗

Expanding NASA and Roscosmos Scientific Collaboration on the International Space Station

The International Space Station (ISS) is a world-class laboratory orbiting in space. NASA and Roscosmos have developed a strong relationship through the ISS Program Partnership, working together and with the other ISS Partners for more than twenty years. Since 2013, based on a framework agreement between the Program Managers, NASA and Roscosmos are building a joint program of collaborative research on ISS. This international collaboration is developed and implemented in phases. Initially, members of the ISS Program Science Forum from NASA and TsNIIMash (representing Roscosmos) identified the first set of NASA experiments that could be implemented in the "near term". The experiments represented the research categories of Technology Demonstration, Microbiology, and Education. Through these experiments, the teams from the "program" and "operations" communities learned to work together to identify collaboration opportunities, establish agreements, and jointly plan and execute the experiments. The first joint scientific activity on ISS occurred in January 2014, and implementation of these joint experiments continues through present ISS operations. NASA and TsNIIMash have proceeded to develop "medium term" collaborations, where scientists join together to improve already-proposed experiments. A major success is the joint One-Year Mission on ISS, with astronaut Scott Kelly and cosmonaut Mikhail Kornienko, who returned from ISS in March, 2016. The teams from the NASA Human Research Program and the RAS Institute for Biomedical Problems built on their considerable experience to design joint experiments, learn to work with each other's protocols and processes, and share medical and research data. New collaborations are being developed between American and Russian scientists in complex fluids, robotics, rodent research and space biology, and additional human research. Collaborations are also being developed in Earth Remote Sensing, where scientists will share data from imaging systems mounted on ISS as well as other orbiting spacecraft to improve our understanding of the Earth and its climate. NASA and Roscosmos continue to encourage international scientific cooperation and expanded use of the ISS Laboratory. "Long-term", larger collaborations will achieve scientific objectives that no single national science team or agency can achieve on its own. The joint accomplishments achieved so far have paved the way for a stronger international scientific community and improved results and benefits from ISS.

Hasbrook, Pete↗

An overview of the NASA satellite communications program

This overview sets the framework for five descriptive papers from NASA Field Centers where satellite communications research and development is being conducted. A review of events of 1973-78 in the Federal Government, in industry, and in professional organizations are shown to have contributed to the formulation of new policy supporting the establishment of renewed efforts within NASA toward improved use of the spectrum and orbit for communications. The work will focus on the development of 'frequency re-use' technology, including multi-beam antennas and on-board switching for future spacecraft. This paper treats the planning issues and the approaches taken toward forming a coherent program from the sustaining efforts of the recent past. Companion papers highlight the methods, the technology, and the activities that are assisting in the transition to a new program.

Dement, D. K.↗

A Framework for Successful Research Experiences in the Classroom: Combining the Power of Technology and Mentors

Authentic research opportunities in the classroom are most impactful when they are student-driven and inquiry-based. These experiences are even more powerful when they involve technology and meaningful connections with scientists. In today's classrooms, activities are driven by state required skills, education standards, and state mandated testing. Therefore, programs that incorporate authentic research must address the needs of teachers. NASA's Expedition Earth and Beyond (EEAB) Program has developed a framework that addresses teacher needs and incorporates the use of technology and access to mentors to promote and enhance authentic research in the classroom. EEAB is a student involvement program that facilitates student investigations of Earth or planetary comparisons using NASA data. To promote student-led research, EEAB provides standards-aligned, inquiry-based curricular resources, an implementation structure to facilitate research, educator professional development, and ongoing support. This framework also provides teachers with the option to incorporate the use of technology and connect students with a mentor, both of which can enrich student research experiences. The framework is structured by a modeled 9-step process of science which helps students organize their research. With more schools gaining increased access to technology, EEAB has created an option to help schools take advantage of students' interest and comfort with technology by leveraging the use of available technologies to enhance student research. The use of technology not only allows students to collaborate and share their research, it also provides a mechanism for them to work with a mentor. This framework was tested during the 2010/2011 school year. Team workspaces hosted on Wikispaces for Educators allow students to initiate their research and refine their research question initially without external input. This allows teams to work independently and rely on the skills and interests of team members. Once teams finalize their research question, they are assigned a mentor. The mentor introduces himself/herself, acknowledges the initial work the team has conducted, and asks a focused question to help open the lines of communication. Students continue to communicate with their mentor throughout their research. As research is completed, teams can share their investigation during a virtual presentation. These live presentations allow students to share their research with their mentor, other scientists, other students, parents, and school administrators. After the initial year of testing this authentic research process, EEAB is working to address the many lessons learned. This will allow the program to refine and improve the overall process in an effort to maximize the benefits. Combined, these powerful strategies provide a successful framework to help teachers enhance the skills and motivation of their students, preparing them to become the next generation of scientists, explorers, and STEM-literate citizens of our nation.

Graff, Paige Valderrama↗

Model Checking Abstract PLEXIL Programs with SMART

We describe a method to automatically generate discrete-state models of abstract Plan Execution Interchange Language (PLEXIL) programs that can be analyzed using model checking tools. Starting from a high-level description of a PLEXIL program or a family of programs with common characteristics, the generator lays the framework that models the principles of program execution. The concrete parts of the program are not automatically generated, but require the modeler to introduce them by hand. As a case study, we generate models to verify properties of the PLEXIL macro constructs that are introduced as shorthand notation. After an exhaustive analysis, we conclude that the macro definitions obey the intended semantics and behave as expected, but contingently on a few specific requirements on the timing semantics of micro-steps in the concrete executive implementation.

Siminiceanu, Radu I.↗

Integrated Modeling, Mapping, and Simulation (IMMS) Framework for Exercise and Response Planning

EmergenCy management personnel at federal, stale, and local levels can benefit from the increased situational awareness and operational efficiency afforded by simulation and modeling for emergency preparedness, including planning, training and exercises. To support this goal, the Department of Homeland Security's Science & Technology Directorate is funding the Integrated Modeling, Mapping, and Simulation (IMMS) program to create an integrating framework that brings together diverse models for use by the emergency response community. SUMMIT, one piece of the IMMS program, is the initial software framework that connects users such as emergency planners and exercise developers with modeling resources, bridging the gap in expertise and technical skills between these two communities. SUMMIT was recently deployed to support exercise planning for National Level Exercise 2010. Threat, casualty. infrastructure, and medical surge models were combined within SUMMIT to estimate health care resource requirements for the exercise ground truth.

Mapar, Jalal↗

Initial Multidisciplinary Design and Analysis Framework

Within the Supersonics (SUP) Project of the Fundamental Aeronautics Program (FAP), an initial multidisciplinary design & analysis framework has been developed. A set of low- and intermediate-fidelity discipline design and analysis codes were integrated within a multidisciplinary design and analysis framework and demonstrated on two challenging test cases. The first test case demonstrates an initial capability to design for low boom and performance. The second test case demonstrates rapid assessment of a well-characterized design. The current system has been shown to greatly increase the design and analysis speed and capability, and many future areas for development were identified. This work has established a state-of-the-art capability for immediate use by supersonic concept designers and systems analysts at NASA, while also providing a strong base to build upon for future releases as more multifidelity capabilities are developed and integrated.

Ozoroski, L. P.↗

A Framework for Assessment of Aviation Safety Technology Portfolios

The programs within NASA's Aeronautics Research Mission Directorate (ARMD) conduct research and development to improve the national air transportation system so that Americans can travel as safely as possible. NASA aviation safety systems analysis personnel support various levels of ARMD management in their fulfillment of system analysis and technology prioritization as defined in the agency's program and project requirements. This paper provides a framework for the assessment of aviation safety research and technology portfolios that includes metrics such as projected impact on current and future safety, technical development risk and implementation risk. The paper also contains methods for presenting portfolio analysis and aviation safety Bayesian Belief Network (BBN) output results to management using bubble charts and quantitative decision analysis techniques.

Jones, Sharon M.↗

Mixed Integer Programming and Heuristic Scheduling for Space Communication

Optimal planning and scheduling for a communication network was created where the nodes within the network are communicating at the highest possible rates while meeting the mission requirements and operational constraints. The planning and scheduling problem was formulated in the framework of Mixed Integer Programming (MIP) to introduce a special penalty function to convert the MIP problem into a continuous optimization problem, and to solve the constrained optimization problem using heuristic optimization. The communication network consists of space and ground assets with the link dynamics between any two assets varying with respect to time, distance, and telecom configurations. One asset could be communicating with another at very high data rates at one time, and at other times, communication is impossible, as the asset could be inaccessible from the network due to planetary occultation. Based on the network's geometric dynamics and link capabilities, the start time, end time, and link configuration of each view period are selected to maximize the communication efficiency within the network. Mathematical formulations for the constrained mixed integer optimization problem were derived, and efficient analytical and numerical techniques were developed to find the optimal solution. By setting up the problem using MIP, the search space for the optimization problem is reduced significantly, thereby speeding up the solution process. The ratio of the dimension of the traditional method over the proposed formulation is approximately an order N (single) to 2*N (arraying), where N is the number of receiving antennas of a node. By introducing a special penalty function, the MIP problem with non-differentiable cost function and nonlinear constraints can be converted into a continuous variable problem, whose solution is possible.

Lee, Charles H.↗

A nonproprietary, nonsecret program for calculating Stirling cryocoolers

A design program for an integrated Stirling cycle cryocooler was written on an IBM-PC computer. The program is easy to use and shows the trends and itemizes the losses. The calculated results were compared with some measured performance values. The program predicts somewhat optimistic performance and needs to be calibrated more with experimental measurements. Adding a multiplier to the friction factor can bring the calculated rsults in line with the limited test results so far available. The program is offered as a good framework on which to build a truly useful design program for all types of cryocoolers.

Martini, W. R.↗

A Component-based Programming Model for Composite, Distributed Applications

The nature of scientific programming is evolving to larger, composite applications that are composed of smaller element applications. These composite applications are more frequently being targeted for distributed, heterogeneous networks of computers. They are most likely programmed by a group of developers. Software component technology and computational frameworks are being proposed and developed to meet the programming requirements of these new applications. Historically, programming systems have had a hard time being accepted by the scientific programming community. In this paper, a programming model is outlined that attempts to organize the software component concepts and fundamental programming entities into programming abstractions that will be better understood by the application developers. The programming model is designed to support computational frameworks that manage many of the tedious programming details, but also that allow sufficient programmer control to design an accurate, high-performance application.

Eidson, Thomas M.↗

Going Beyond Hooked Participants: The Nibble- and-Drop Framework for Classifying Citizen Science Participation

Many citizen science (CS) programs aim to grow and sustain a pool of enthusiastic participants who consistently contribute their efforts to a specific scientific endeavor. Consequently, much research has explored CS participants’ motivations and their relationship to participant recruitment and retention. However, much of this research has focused on actively participating citizen scientists. If researchers want to elucidate the relationship between participant factors (such as demographics and motivations) and participant retention, it is necessary to develop a more comprehensive picture of the different degrees of participation in CS. This paper presents a framework for classifying participation throughout the participant’s engagement in a CS project/program. We suggest a CS participation model that captures the dynamic nature of participation across an arc of volunteering. Called the Nibble-and-Drop Framework, the model describes multiple exit points and stages of contribution typical of participation in a CS program. Applying the framework to the NASA GLOBE Observer (GO) CS program, we found that it captured the dynamics of participation in a global-scale, mobile, app-based, contributory style CS project. The framework guided our analysis of how different participant factors correlate with degrees of participation. We found that participants were motivated to initially participate because they wanted to contribute to NASA research and science. Participants who dropped out of the program at various points often initially engaged through specific collection events and did not feel the need to continue contributing beyond the event; other drop-outs doubted whether their contributions were meaningful, showing again the need to ensure that participants understand the value of their engagement in a CS project.

Heather Fischer↗

Science, Engineering, Mathematics and Aerospace Academy

The Science, Engineering, Mathematics and Aerospace Academy (SEMAA) was established in September, 1993, by Cuyahoga Community College and the NASA Lewis Research Center. Funding for SEMAA was provided by NASA Headquarters' Office of Equal Employment Opportunities. SEMAA brought together five preexisting youth programs at Cuyahoga Community College. All the programs shared the common goals of 1) Increasing the participation of underrepresented/underserved groups in science, mathematics and engineering and technology careers. 2) Increasing "success" rates of all students interested in science and mathematics. 3) Developing partnerships to recognize and support students interested in these fields. 4) Supporting continued success of highly successful students. The framework for each preexisting program allowed SEMAA to have a student population ranging from kindergarten through the twelfth-grade. This connectivness was the foundation for the many decisions which would make SEMAA a truly innovative program.

Source record↗

C Language Integrated Production System, Ada Version

CLIPS/Ada provides capabilities of CLIPS v4.3 but uses Ada as source language for CLIPS executable code. Implements forward-chaining rule-based language. Program contains inference engine and language syntax providing framework for construction of expert-system program. Also includes features for debugging application program. Based on Rete algorithm which provides efficient method for performing repeated matching of patterns. Written in Ada.

Culbert, Chris↗

NASA Mir program: Mission operations concept

The joint NASA/Russian Space Agency mission program is discussed, considering the lessons learned. The initial Shuttle Mir science program and the NASA Mir program are described. The NASA Mir program is organized into ten distinct working groups which are co-chaired by representatives from the two cooperating nations. The NASA component is managed from the Johnson Space Center (TX). The support provided by NASA for long-duration missions and Mir expeditions is described. The scope of the scientific research carried out within the framework of the joint program is considered. The NASA Mir training approach is discussed and the mission operations are reviewed with emphasis on the Mir 21/NASA 2 mission.

Cardenas, Jeffrey A.↗