Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Decision support tools”

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 1,081 records · Page 60

Enhancing Human Health Using Space Imagery: Summary of Research

The International Space University (ISU) 2002 Summer Session was conducted in Pomona, California, June 29-August 30, 2002. Ninety-nine professionals and students from thirty-one countries attended the Summer Session. More than half of these students participated in the Student Research Design Project entitled, "HI-STAR: Health Improvements through Space Technologies and Resources." ISU's interdisciplinary Student Research Design Projects are intended to have great educational value for the participants and, at the same time, to result in a product that will be useful to the field. The HI-STAR project was a success on both counts. The mission of the ISU students' effort on HI-STAR was to develop and promote a global strategy to help combat malaria using space technology. Like the tiny yet powerful mosquito, HI-STAR is a small program that aspires to make a difference. Timely detection of malaria danger zones is essential to help health authorities and policy makers make decisions about how to manage limited resources for combating malaria. In 2001, the technical support network for prevention and control of malaria epidemics published a study called "Malaria Early Warning Systems: Concepts, Indicators and Partners." This study, funded by Roll Back Malaria, a World Health Organization initiative, offered a framework for a monitoring and early warning system. HI-STAR seeks to build on this proposal and enhance the space elements of the suggested framework. Malaria disease dynamics and distributions are related to environmental variables. From space, environmental conditions that support the growth of mosquito populations can be monitored, Malaria-specific information can be gathered from satellite-borne remote sensing instruments and ground-based sensors. This information can be integrated via geographic information systems (GIS) into a Malaria Information System (MIS) that can provide assessment analyses and risk maps as output. HI-STAR defines and suggests the development of an active MIS as a low-cost tool to help organizations plan their efforts to fight malaria.

Finarelli, Margaret G.↗

Intelligent Medical Systems for Aerospace Emergency Medical Services

The purpose of this project is to develop a portable, hands free device for emergency medical decision support to be used in remote or confined settings by non-physician providers. Phase I of the project will entail the development of a voice-activated device that will utilize an intelligent algorithm to provide guidance in establishing an airway in an emergency situation. The interactive, hands free software will process requests for assistance based on verbal prompts and algorithmic decision-making. The device will allow the CMO to attend to the patient while receiving verbal instruction. The software will also feature graphic representations where it is felt helpful in aiding in procedures. We will also develop a training program to orient users to the algorithmic approach, the use of the hardware and specific procedural considerations. We will validate the efficacy of this mode of technology application by testing in the Johns Hopkins Department of Emergency Medicine. Phase I of the project will focus on the validation of the proposed algorithm, testing and validation of the decision making tool and modifications of medical equipment. In Phase 11, we will produce the first generation software for hands-free, interactive medical decision making for use in acute care environments.

Epler, John↗

Estimating Future Changes of Energy Demand for Heating and Cooling Buildings at NASA Centers GC23J-1198

With its unique and trusted earth observations, NASA is a critical source in informing decisions that will help achieve the U.S. goal of Net-Zero Greenhouse Gas (GHG) Emissions by 2050. NASA’s Prediction of Worldwide Energy Resource (POWER) project facilitates the use of NASA Earth Science data holdings within the energy, agricultural, and building heating/cooling design industries. POWER packages solar and meteorological data from several NASA projects in a user friendly GIS-enabled web services system (https://power.larc.nasa.gov). As part of the development of new data products to support the energy and building heating/cooling design communities, we estimate the changes in energy required to heat and cool buildings in the future climate at 14 different NASA site locations spread throughout the continental United States, as projected by CMIP6 climate models under different emissions scenarios. Bias-corrected downscaled time series of meteorological variables are taken from NASA Earth Exchange (NEX) Global Daily Downscaled Projections (GDDP-CMIP6) downscaled climate model data. The spread between the different model projections is accounted for by analyzing both the ensemble average of 22 CMIP6 models and 6 representative models with different climate sensitivities and different interannual variability. Changes in energy use are estimated in two ways. First, changes in the total annual heating and cooling degree days (HDD and CDD, respectively) are calculated relative to the current climate. This is done at all 14 sites. Second, the downscaled time series are used as inputs into RETScreen(R), a clean energy management decision tool, to give an estimate of heating/cooling energy use for a typical office building. We use this estimation method with model data at Langley Research Center. In the next 50 years, the annual total of HDD (CDD) is projected to decrease by 8-38% (increase by 5-28%) at all sites, with the increase in CDD typically a larger magnitude the decrease in HDD. For a typical small office building at Langley Research Center, the amount of energy needed to cool increases by 33-54% and the amount of energy to heat decreases by 29-40%. POWER is working to develop long term climate data services based on these results to include in future data products to provide to users.

Bradley M. Hegyi↗

Evaluation of HVAC & refrigeration system fault behaviors and impacts: A systematic review

Achieving the goals of green buildings critically depends on the fault-free operation of heating, ventilation and air conditioning and refrigeration (HVAC&R) systems. However, faults frequently occur in these systems, causing a range of negative consequences, including increased energy consumption, diminished operational performance, compromised indoor environmental quality, higher operational costs, and shortened system lifespan. The evaluation of fault behaviors and impacts plays a critical role in revealing fault characteristics and consequently supports many research areas, including the design of the high-performance equipment, development of fault detection and diagnostics (FDD) and robust control approaches, as well as the enhancement of maintenance decision-making activities. This paper systematically reviews 112 research publications that reported the analysis and evaluation of fault behaviors and impacts in HVAC&R systems over the past thirty years. Here, we designed a review approach to address five crucial research questions, namely: 1) the objectives of analysis and evaluation of fault behaviors and impacts, 2) data sources, 3) equipment/system types and fault types, 4) evaluation methods including evaluation measures and associated metrics, and 5) challenges and future directions in the research on evaluating of fault behaviors and impacts. In-depth discussions on these questions help bridge the gap between the evaluation of fault behaviors and impacts and their practical applications, such as the development of high-performance systems, fault models, FDD methods, and maintenance decision-making tools within the HVAC&R FDD domain.

Chen, Yimin [Oak Ridge National Laboratory (ORNL),↗

Internet Technology on Spacecraft

The Operating Missions as Nodes on the Internet (OMNI) project has shown that Internet technology works in space missions through a demonstration using the UoSAT-12 spacecraft. An Internet Protocol (IP) stack was installed on the orbiting UoSAT-12 spacecraft and tests were run to demonstrate Internet connectivity and measure performance. This also forms the basis for demonstrating subsequent scenarios. This approach provides capabilities heretofore either too expensive or simply not feasible such as reconfiguration on orbit. The OMNI project recognized the need to reduce the risk perceived by mission managers and did this with a multi-phase strategy. In the initial phase, the concepts were implemented in a prototype system that includes space similar components communicating over the TDRS (space network) and the terrestrial Internet. The demonstration system includes a simulated spacecraft with sample instruments. Over 25 demonstrations have been given to mission and project managers, National Aeronautics and Space Administration (NASA), Department of Defense (DoD), contractor technologists and other decisions makers, This initial phase reached a high point with an OMNI demonstration given from a booth at the Johnson Space Center (JSC) Inspection Day 99 exhibition. The proof to mission managers is provided during this second phase with year 2000 accomplishments: testing the use of Internet technologies onboard an actual spacecraft. This was done with a series of tests performed using the UoSAT-12 spacecraft. This spacecraft was reconfigured on orbit at very low cost. The total period between concept and the first tests was only 6 months! On board software was modified to add an IP stack to support basic IP communications. Also added was support for ping, traceroute and network timing protocol (NTP) tests. These tests show that basic Internet functionality can be used onboard spacecraft. The performance of data was measured to show no degradation from current approaches. The cost to implement is much less than current approaches due to the availability of highly reliable and standard Internet tools. Use of standard Internet applications onboard reduces the risk of obsolescence inherent in custom protocols due to extremely wide use across all domains. These basic building blocks provide the framework for building onboard software to support direct user communication with payloads including payload control. Other benefits are payload to payload communication from dissimilar spacecraft, constellations of spacecraft, and reconfigurability on orbit. This work is funded through contract with the National Aeronautics and Space Administration (NASA) Goddard Space Flight Center (GSFC).

Rash, James↗

Product Lifecycle Management and the Quest for Sustainable Space Explorations

Product Lifecycle Management (PLM) is an outcome of lean thinking to eliminate waste and increase productivity. PLM is inextricably tied to the systems engineering business philosophy, coupled with a methodology by which personnel, processes and practices, and information technology combine to form an architecture platform for product design, development, manufacturing, operations, and decommissioning. In this model, which is being implemented by the Engineering Directorate at the National Aeronautics and Space Administration's (NASA's) Marshall Space Flight Center, total lifecycle costs are important variables for critical decision-making. With the ultimate goal to deliver quality products that meet or exceed requirements on time and within budget, PLM is a powerful concept to shape everything from engineering trade studies and testing goals, to integrated vehicle operations and retirement scenarios. This paper will demonstrate how the Engineering Directorate is implementing PLM as part of an overall strategy to deliver safe, reliable, and affordable space exploration solutions. It has been 30 years since the United States fielded the Space Shuttle. The next generation space transportation system requires a paradigm shift such that digital tools and knowledge management, which are central elements of PLM, are used consistently to maximum effect. The outcome is a better use of scarce resources, along with more focus on stakeholder and customer requirements, as a new portfolio of enabling tools becomes second nature to the workforce. This paper will use the design and manufacturing processes, which have transitioned to digital-based activities, to show how PLM supports the comprehensive systems engineering and integration function. It also will go through a launch countdown scenario where an anomaly is detected to show how the virtual vehicle created from paperless processes will help solve technical challenges and improve the likelihood of launching on schedule, with less hands-on labor needed for processing and troubleshooting.

Caruso, Pamela W.↗

A life cycle analysis (LCA) primer for the agricultural community

Consumer demand for sustainably produced agricultural products is increasing. One approach that can be used to evaluate and compare product sustainability is to conduct a life cycle analysis (LCA). The term LCA is broadly used to describe a suite of analytical resources and standardized methods. Life cycle analyses are a transdisciplinary tool which can and are used by all professions but work best when conducted by teams with diverse skills and backgrounds. The objective of this paper is to provide a primer on LCAs for the agricultural community and for LCA practitioners unfamiliar with agronomy. Agricultural LCAs can differ greatly because agricultural products have multiple end uses, complex socio-economic and environmental trade-offs, and can be generated using a variety of different practices, resources, and production systems. Through worldwide agricultural marketing, intricate agronomic supply chains and support systems have been developed to produce, store, and distribute agricultural products. In many situations, the production practices are not linked to the products consumers purchase. This limitation can be partially overcome by conducting an LCA, which is a systematic summation of the multiple environmental impacts associated with the production, use, and disposal of a product. However, the large number and types of analyses can make it difficult for non-practitioners and decision-makers to use and interpret LCA results. Finally, it is important for members of the agricultural community to be aware of these analyses and how they can be used and how they affect product markets.

54 ENVIRONMENTAL SCIENCES↗

An operational approach to long-duration mission behavioral health and performance factors

NASA's participation in nearly 10 yr of long-duration mission (LDM) training and flight confirms that these missions remain a difficult challenge for astronauts and their medical care providers. The role of the astronaut's crew surgeon is to maximize the astronaut's health throughout all phases of the LDM: preflight, in flight, and postflight. In support of the crew surgeon, the NASA-Johnson Space Center Behavioral Health and Performance Group (JSC-BHPG) has focused on four key factors that can reduce the astronaut's behavioral health and performance. These factors are defined as: sleep and circadian factors; behavioral health factors; psychological adaptation factors; and human-to-system interface (the interface between the astronaut and the mission workplace) factors. Both the crew surgeon and the JSC-BHPG must earn the crewmember's trust preflight to encourage problem identification and problem solving in these four areas. Once on orbit, the crew medical officer becomes a valuable extension of the crew surgeon and BHPG on the ground due to the crew medical officer's constant interaction with crewmembers and preflight training in these four factors. However, the crew surgeon, BHPG, and the crew medical officer need tools that will help predict, prevent, monitor, and respond to developing problems. Objective data become essential when difficult mission termination decisions must be made. The need for behavioral health and performance tool development creates an environment rich for collaboration between operational healthcare providers and researchers. These tools are also a necessary step to safely complete future, more autonomous exploration-class space missions.

Review↗

2018 NISAR Applications Workshop: Agriculture and Soil Moisture

Agricultural lands cover the globe and play an essential role in not only sustaining a growing global population, but can have significant implications on the Earth system through land use change (e.g., deforestation, grazing, etc.). As such, countries around the world have dedicated programs for managing these lands. Accurate and timely information concerning the status of agricultural crops (soil moisture, crop health, crop type, etc.) is essential to those nations’ anthropogenic and ecological health as well as economy. The joint NASA/US Department of Agriculture Agricultural Research Service (USDA-ARS) workshop focused on advancing agriculture and soil moisture applications by using remote sensing data from the NASA-ISRO Synthetic Aperture Radar (NISAR) mission (expected launch 2022). Participants included representatives from the international agriculture community that are key players in facilitating integration of Earth Observations into decision support workflows including US Federal Agencies, nonprofits, and private sector. They included scientists, technicians, and program managers with a responsibility for data acquisition and exploitation such as product development, delivery, and use, as well as capacity building. Discussions were held over two and a half days to convey the broader agriculture and soil moisture community information needs, the mission and procedures for various representative participants and programs involved in the delivery of geospatial products, and the capabilities and status of the NISAR mission. Case studies were presented to demonstrate the current state of practice in the use of SAR remote sensing for applications of direct importance for the agriculture and soil moisture communities. Eleven organizations presented their information requirements in response to a set of questions provided by the NASA team, then the NASA team responded by describing the degree to which NISAR could meet these requirements. Discussion ensued about needed data product specifications to increase utility (e.g., projection, latency, etc.), tools and capacity building.

Stavros, Natasha↗

Progressively Enabling Earth Independent Medical Operations (EIMO)

This panel presents the findings from a series of Technical Interchange Meetings (TIMs) hosted by the Exploration Medical Capability Element (ExMC) in NASA’s Human Research Program. The topics for the TIMs were derived from a 2-day conference of senior leaders and subject matters experts that collectively outlined a multi-faceted strategy designed to optimize crew health and performance through an increasingly autonomous medical approach. The first abstract in this panel outlines the scope of issues related to data collection, usage, transmission and computing capacity to facilitate EIMO. The second presentation provides an overview of the challenges in developing curricula and advanced training tools to baseline knowledge, skills and abilities (KSA), verify clinical competency and assure retention during prolonged durations inherent in exploration-class missions. An overview of the complicated medical supply and resource chain necessary to facilitate EIMO is provided in the third presentation of this panel. The final presentation in this EIMO panel surveys the breadth and depth of demands on cognitive load expected to be experienced by crew on an exploration mission and proposes strategies to mitigate the prospect of cognitive overload through methods to shift task load from the crew to multi-modal artificial intelligence based medical support systems. Taken together, these presentations summarize the challenges to be expected and potential solution spaces to be explored and developed to progressively enable increasing autonomous medical operations to support crewed missions beyond low earth orbit. Through EIMO focused pre-mission planning, integrated data architecture design, innovative training development and AI-assisted task load management, the gradual transition of medical care and decision making from terrestrial to space-based assets enabling support of astronaut health and performance and reducing overall mission risk is achievable.

Jay Lemery↗

Progressively Enabling Earth Independent Medical Operations (EIMO)

This panel presents the findings from a series of Technical Interchange Meetings (TIMs) hosted by the Exploration Medical Capability Element (ExMC) in NASA’s Human Research Program. The topics for the TIMs were derived from a 2-day conference of senior leaders and subject matters experts that collectively outlined a multi-faceted strategy designed to optimize crew health and performance through an increasingly autonomous medical approach. The first abstract in this panel outlines the scope of issues related to data collection, usage, transmission and computing capacity to facilitate EIMO. The second presentation provides an overview of the challenges in developing curricula and advanced training tools to baseline knowledge, skills and abilities (KSA), verify clinical competency and assure retention during prolonged durations inherent in exploration-class missions. An overview of the complicated medical supply and resource chain necessary to facilitate EIMO is provided in the third presentation of this panel. The final presentation in this EIMO panel surveys the breadth and depth of demands on cognitive load expected to be experienced by crew on an exploration mission and proposes strategies to mitigate the prospect of cognitive overload through methods to shift task load from the crew to multi-modal artificial intelligence based medical support systems. Taken together, these presentations summarize the challenges to be expected and potential solution spaces to be explored and developed to progressively enable increasing autonomous medical operations to support crewed missions beyond low earth orbit. Through EIMO focused pre-mission planning, integrated data architecture design, innovative training development and AI-assisted task load management, the gradual transition of medical care and decision making from terrestrial to space-based assets enabling support of astronaut health and performance and reducing overall mission risk is achievable.

John Lemery↗

SSL Freeform Generator v1.00

The Orion spacecraft utilizes a system of Compact Unique Identifiers (CUIs) to identify telemetry measurements in the process of communicating with the ground. While avionic systems are still in development, simulation of telemetric data must be used for the development of dependent systems. The SuperScript Language (SSL) developed by Honeywell Aerospace provides users a programming language for simulation of this data. The use of tools that provide SSL generation capabilities at a higher level allows for faster and more efficient generation of simulation waveforms. Previous SSL Generator implementations such as Orion Scripted Interface Generator (OrionSIG) relied on software supported routines to generate simulation points for the SSL scripts. This provided relevant simulation capabilities, but was reduced in flexibility by the available software routines available. For this approach, software supported routines have been entirely dropped. Rather, the user is required to enter their own simulation waveform input. This allows arbitrarily complex functions to be utilized simulated with maximum degree of freedom for the user.: The idea for this version of the SSL Generator was a mapping of arbitrary waveforms to Orion CUI telemetry data. The SSL Generator implemented offers a higher degree of freedom to the user than previous versions while attempting to maintain abstraction from the underlying SSL script and the Orion CUI data types. As such, many mappings of waveforms to CUIs will simply not work. Certain implementation decisions were made to minimize the damage caused by these unintended side-effects, such as saturation of values exceeding the maximum or minimum bounds of the data type. Other details, such as signed values being represented in unsigned data types, present problems which cant be fixed to an acceptable degree of intended behavior without user input. Awareness of the limitations of all layers of the software stack will increase the productivity of the end-user.

telemetry↗

Integrated assessment of climate change impacts on crop productivity and income of commercial maize farms in northeast South Africa

Agriculture in South Africa sustains about 70% of the region’s population for food, income and employment, playing an important role for food security and the local economy. The focus of the study was the commercial maize farms of the Free State Province given their importance in the National economy. The Regional Integrated Assessment (phase I) was implemented to assess climate change and adaptation that links climate, crops, economic data and tools developed by the Agricultural Model Intercomparison and Improvement Project (AgMIP). In this context, the“system”is defined as a whole of agronomic and socio-economic factors. Within that framework three core questions were being evaluated: (i) Impacts of climate change under current system; (ii) Impacts of climate change under future system; (iii) The role of adaptation under climate change and the future system. Maize production will decrease between 10% to 16% as a result of projected climate impacts. Also, current agricultural production systems are negatively affected by climate change with an increase in poverty rates between 2% to 3%. The projected adoption of the adapted technology would result in positive increased net returns and a decrease in poverty rate of between 12%and 22%. The results of this study show that implementing adaptation measures and other strategies as indicated by the local stakeholders will have positive impacts on the agricultural production systems and can contribute to support and inform climate change policy decision making such as the development of National Adaptation Plans.

Integrated assessment↗

Status Update on TRAC: A DOE-EM Tool for Tracking Groundwater Cleanup and Progress Toward Site Closure - 20245

The U.S. Department of Energy (DOE) Office of Environmental Management (EM) uses a customized, web-based mapping tool called TRAC (Tracking Restoration and Closure) to communicate information on plume sizes, remedial approaches, regulatory drivers, exit strategies, and long-term stewardship requirements at all sites within the DOE-EM complex. The web-based GIS story maps provide robust geospatial visualization of plumes at DOE sites using an intuitive interface that allows users to explore the plume maps, explanatory text, photographs, and video. This collection of story maps not only communicates information for each individual site, but also summarizes pertinent metrics on cleanup and remaining contaminants across all EM sites. This paper describes a new design within TRAC for communicating metrics on plume status, regulatory cleanup progress, and technology implementation. A principal benefit of TRAC is the ability to view individual pieces of data at a time, permitting targeted questions to be addressed, such as the status of regulatory decisions, site cleanup priorities, and site closure needs for each site within the DOE-EM complex. TRAC manages communication and supports decision-making through knowledge access, data and information transparency and traceability, and inclusive participation. It serves as a common resource that provides consistent information for DOE managers, site personnel, regulators and stakeholders. Because long-term stewardship of legacy waste sites requires ongoing coordination and communication among DOE, regulators, and stakeholders, TRAC can also be used to help transition EM sites to the Office of Legacy Management at site closure. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Introduction to ALERT: A User-Interface Tool for Resilient Optimization

As the cyber-physical systems grow in complexity, there is a need for proactive resilience strategies that involve online, adaptive control actions to best prepare for any impending adversarial events. In this technical effort, supported by RD2C LDRD initiative, the project team designed and demonstrated online strategies – referred to as ALERT controls – for proactive and adaptive tuning of existing optimal controls in a microgrid, with quantifiably assured margins of resilience to various cyber-physical adversarial events. This ALERT functionality is made available to the end-users, e.g., the system operators, via an interactive user-interface. The end-users will not only be able to use the interface to visualize the system’s operation under various cyber-physical adversarial scenarios, but also evaluate the amount of tolerance the system has against selected adversarial perturbations of interest (e.g., malfunctioning sensors, suspected attacked measurements) via the adversarial plots. In this technical report, we briefly outline the algorithmic modules of the developed ALERT control technology, and introduce the user-interface tool that allows end-users (e.g., microgrid operators) to enter their system description, specify various operational and resilience requirements, and evaluate the impact of the control decisions via illustrative plots.

97 MATHEMATICS AND COMPUTING↗

Information access in a dual-task context: testing a model of optimal strategy selection

Pilots were required to access information from a hierarchical aviation database by navigating under single-task conditions (Experiment 1) and when this task was time-shared with an altitude-monitoring task of varying bandwidth and priority (Experiment 2). In dual-task conditions, pilots had 2 viewports available, 1 always used for the information task and the other to be allocated to either task. Dual-task strategy, inferred from the decision of which task to allocate to the 2nd viewport, revealed that allocation was generally biased in favor of the monitoring task and was only partly sensitive to the difficulty of the 2 tasks and their relative priorities. Some dominant sources of navigational difficulties failed to adaptively influence selection strategy. The implications of the results are to provide tools for jumping to the top of the database, to provide 2 viewports into the common database, and to provide training as to the optimum viewport management strategy in a multitask environment.

User-Computer Interface↗

Toward Synthesis, Analysis, and Certification of Security Protocols

Implemented security protocols are basically pieces of software which are used to (a) authenticate the other communication partners, (b) establish a secure communication channel between them (using insecure communication media), and (c) transfer data between the communication partners in such a way that these data only available to the desired receiver, but not to anyone else. Such an implementation usually consists of the following components: the protocol-engine, which controls in which sequence the messages of the protocol are sent over the network, and which controls the assembly/disassembly and processing (e.g., decryption) of the data. the cryptographic routines to actually encrypt or decrypt the data (using given keys), and t,he interface to the operating system and to the application. For a correct working of such a security protocol, all of these components must work flawlessly. Many formal-methods based techniques for the analysis of a security protocols have been developed. They range from using specific logics (e.g.: BAN-logic [4], or higher order logics [12] to model checking [2] approaches. In each approach, the analysis tries to prove that no (or at least not a modeled intruder) can get access to secret data. Otherwise, a scenario illustrating the &tack may be produced. Despite the seeming simplicity of security protocols ("only" a few messages are sent between the protocol partners in order to ensure a secure communication), many flaws have been detected. Unfortunately, even a perfect protocol engine does not guarantee flawless working of a security protocol, as incidents show. Many break-ins and security vulnerabilities are caused by exploiting errors in the implementation of the protocol engine or the underlying operating system. Attacks using buffer-overflows are a very common class of such attacks. Errors in the implementation of exception or error handling can open up additional vulnerabilities. For example, on a website with a log-in screen: multiple tries with invalid passwords caused the expected error message (too many retries). but let the user nevertheless pass. Finally, security can be compromised by silly implementation bugs or design decisions. In a commercial VPN software, all calls to the encryption routines were incidentally replaced by stubs, probably during factory testing. The product worked nicely. and the error (an open VPN) would have gone undetected, if a team member had not inspected the low-level traffic out of curiosity. Also, the use secret proprietary encryption routines can backfire, because such algorithms often exhibit weaknesses which can be exploited easily (see e.g., DVD encoding). Summarizing, there is large number of possibilities to make errors which can compromise the security of a protocol. In today s world with short time-to-market and the use of security protocols in open and hostile networks for safety-critical applications (e.g., power or air-traffic control), such slips could lead to catastrophic situations. Thus, formal methods and automatic reasoning techniques should not be used just for the formal proof of absence of an attack, but they ought to be used to provide an end-to-end tool-supported framework for security software. With such an approach all required artifacts (code, documentation, test cases) , formal analyses, and reliable certification will be generated automatically, given a single, high level specification. By a combination of program synthesis, formal protocol analysis, certification; and proof-carrying code, this goal is within practical reach, since all the important technologies for such an approach actually exist and only need to be assembled in the right way.

Schumann, Johann↗

Effects of Global Change on U.S. Urban Areas: Vulnerabilities, Impacts, and Adaptation

Human settlements, both large and small, are where the vast majority of people on the Earth live. Expansion of cities both in population and areal extent, is a relentless process that will accelerate in the 21st century. As a consequence of urban growth both in the United States and around the globe, it is important to develop an understanding of how urbanization will affect the local and regional environment. Of equal importance, however, is the assessment of how cities will be impacted by the looming prospects of global climate change and climate variability. The potential impacts of climate change and variability has recently been annunciated by the IPCC's "Climate Change 2007" report. Moreover, the U.S. Climate Change Science Program (CCSP) is preparing a series of "Synthesis and Assessment Products" (SAPs) reports to support informed discussion and decision making regarding climate change and variability by policy matters, resource managers, stakeholders, the media, and the general public. We are authors on a SAP describing the effects of global climate change on human settlements. This paper will present the elements of our SAP report that relate to what vulnerabilities and impacts will occur, what adaptation responses may take place, and what possible effects on settlement patterns and characteristics will potentially arise, on human settlements in the U.S. as a result of climate change and climate variability. We will also present some recommendations about what should be done to further research on how climate change and variability will impact human settlements in the U.S., as well as how to engage government officials, policy and decision makers, and the general public in understanding the implications of climate change and variability on the local and regional levels. Additionally, we wish to explore how technology such as remote sensing data coupled with modeling, can be employed as synthesis tools for deriving insight across a spectrum of impacts (e.g. public health, urban planning for mitigation strategies) on how cities can cope and adapt to climate change and variability. This latter point parallels the concepts and ideas presented in the U.S. National Academy of Sciences, Decadal Survey report on "Earth Science Applications from Space: National Imperatives for the Next Decade and Beyond" wherein the analysis of the impacts of climate change and variability, human health, and land use change are listed as key areas for development of future Earth observing remote sensing systems.

Quattrochi, Dale A.↗