Basili, V. R.; Katz, E. E.
Ada will soon become a part of systems developed for the US Department of Defense. NASA must determine whether it will become part of its environment and particularly whether it will become a part fo the space station development. However, there are several issues about Ada which should be considered before this decision is made. One means of considering these issues is the examination of other developments in Ada. Unfortunately, few full scale developments have been completed or made publicly available for observation. Therefore, it will probably be necessary to study an Ada development in a NASA environment. Another means related to the first is the development of Ada metrics which can be used to characterize and evaluate Ada developments. These metrics need not be confined to full scale developments and could be used to evaluate on going projects as well. An early development in Ada, some observations from that development, metrics which were developed for use with Ada, and future directions for research into the use of Ada in software development in general and in the NASA Goddard environment in particular are described.
Green, James R.
The Ada programming language was developed under the sponsorship of the Department of Defense to address the soaring costs associated with software development and maintenance. Ada is powerful, and yet to take full advantage of its power, it is sufficiently complex and different from current programming approaches that there is considerable risk associated with committing a program to be done in Ada. There are also few programs of any substantial size that have been implemented using Ada that may be studied to determine those management methods that resulted in a successful Ada project. The items presented are the author's opinions which have been formed as a result of going through an experience software development. The difficulties faced, risks assumed, management methods applied, and lessons learned, and most importantly, the techniques that were successful are all valuable sources of management information for those managers ready to assume major Ada developments projects.
Hayes, Paul J.; Andrews, Asa M.
A graph managing strategy referred to as the Algorithm to Architecture Mapping Model (ATAMM) appears useful for the time-optimized execution of application algorithm graphs in embedded multiprocessors and for the performance prediction of graph designs. This paper reports the modeling of ATAMM in the Architecture Design and Assessment System (ADAS) to make an independent verification of ATAMM's performance prediction capability and to provide a user framework for the evaluation of arbitrary algorithm graphs. Following an overview of ATAMM and its major functional rules are descriptions of the ADAS model of ATAMM, methods to enter an arbitrary graph into the model, and techniques to analyze the simulation results. The performance of a 7-node graph example is evaluated using the ADAS model and verifies the ATAMM concept by substantiating previously published performance results.
Burton, Bruce; Broido, Michael
A usable prototype Ada package library was developed and is currently being evaluated for use in large software development efforts. The library system is comprised of an Ada-oriented design language used to facilitate the collection of reuse information, a relational data base to store reuse information, a set of reusable Ada components and tools, and a set of guidelines governing the system's use. The prototyping exercise is discussed and the lessons learned from it have led to the definition of a comprehensive tool set to facilitate software reuse.
The Ada training experiences of the Gamma Ray Observatory Ada development team are related, and recommendations are made concerning future Ada training for software developers. Training methods are evaluated, deficiencies in the training program are noted, and a recommended approach, including course outline, time allocation, and reference materials, is offered.
Liaw, Morris; Evesson, Donna
Software Engineering and Ada Database (SEAD) was developed to provide an information resource to NASA and NASA contractors with respect to Ada-based resources and activities which are available or underway either in NASA or elsewhere in the worldwide Ada community. The sharing of such information will reduce duplication of effort while improving quality in the development of future software systems. SEAD data is organized into five major areas: information regarding education and training resources which are relevant to the life cycle of Ada-based software engineering projects such as those in the Space Station program; research publications relevant to NASA projects such as the Space Station Program and conferences relating to Ada technology; the latest progress reports on Ada projects completed or in progress both within NASA and throughout the free world; Ada compilers and other commercial products that support Ada software development; and reusable Ada components generated both within NASA and from elsewhere in the free world. This classified listing of reusable components shall include descriptions of tools, libraries, and other components of interest to NASA. Sources for the data include technical newletters and periodicals, conference proceedings, the Ada Information Clearinghouse, product vendors, and project sponsors and contractors.
Usavage, Paul, Jr.
The desire to integrate newly available, graphically-oriented Computed Aided Software Engineering (CASE) tools with existing software design approaches is changing the way Program Design Language (PDL) or Process Description Language is used for large system development. In the approach documented here, Software Engineers use graphics tools to model the problem and to describe high level software design in diagrams. An Ada-based PDL is used to document low level design. Some results are provided along with an analysis for each of three smaller General Electric (GE) Ada development projects that utilized variations on this approach. Finally some considerations are identified for larger scale implementation.
Deforrest, Lloyd; Gref, Lynn
JPL is under contract, through NASA, with the US Army to develop a state-of-the-art Command Center System for the US European Command (USEUCOM). The Command Center System will receive, process, and integrate force status information from various sources and provide this integrated information to staff officers and decision makers in a format designed to enhance user comprehension and utility. The system is based on distributed workstation class microcomputers, VAX- and SUN-based data servers, and interfaces to existing military mainframe systems and communication networks. JPL is developing the Command Center System utilizing an incremental delivery methodology called the Rapid Development Methodology with adherence to government and industry standards including the UNIX operating system, X Windows, OSF/Motif, and the Ada programming language. Through a combination of software engineering techniques specific to the Ada programming language and the Rapid Development Approach, JPL was able to deliver capability to the military user incrementally, with comparable quality and improved economies of projects developed under more traditional software intensive system implementation methodologies.
Collard, Philippe E.; Goforth, Andre
The use of Ada as an Artificial Intelligence (AI) language is gaining interest in the NASA Community, i.e., by parties who have a need to deploy Knowledge Based-Systems (KBS) compatible with the use of Ada as the software standard for the Space Station. A fair number of KBS and pseudo-KBS implementations in Ada exist today. Currently, no widely used guidelines exist to compare and evaluate these with one another. The lack of guidelines illustrates a fundamental problem inherent in trying to compare and evaluate implementations of any sort in languages that are procedural or imperative in style, such as Ada, with those in languages that are functional in style, such as Lisp. Discussed are the strengths and weakness of using Ada as an AI language and a preliminary analysis provided of factors needed for the development of criteria for the integration of these two families of languages and the environments in which they are implemented. The intent for developing such criteria is to have a logical rationale that may be used to guide the development of Ada tools and methodology to support KBS requirements, and to identify those AI technology components that may most readily and effectively be deployed in Ada.
Brown, David B.
A history of the Query Utility Environment for Software Testing (QUEST)/Ada is presented. A fairly comprehensive literature review which is targeted toward issues of Ada testing is given. The definition of the system structure and the high level interfaces are then presented. The design of the three major components is described. The QUEST/Ada IORL System Specifications to this point in time are included in the Appendix. A paper is also included in the appendix which gives statistical evidence of the validity of the test case generation approach which is being integrated into QUEST/Ada.
Brown, David B.; Carlisle, Homer W.; Chang, Kai-Hsiung; Cross, James H.; Deason, William H.; Haga, Kevin D.; Huggins, John R.; Keleher, William R. A.; Starke, Benjamin B.; Weyrich, Orville R.
A unit level, Ada software module testing system, called Query Utility Environment for Software Testing of Ada (QUEST/Ada), is described. The project calls for the design and development of a prototype system. QUEST/Ada design began with a definition of the overall system structure and a description of component dependencies. The project team was divided into three groups to resolve the preliminary designs of the parser/scanner: the test data generator, and the test coverage analyzer. The Phase 1 report is a working document from which the system documentation will evolve. It provides history, a guide to report sections, a literature review, the definition of the system structure and high level interfaces, descriptions of the prototype scope, the three major components, and the plan for the remainder of the project. The appendices include specifications, statistics, two papers derived from the current research, a preliminary users' manual, and the proposal and work plan for Phase 2.
Cross, James H., II
The Graphical Representations of Algorithms, Structures, and Processes for Ada (GRASP/Ada) has successfully created and prototyped a new algorithm level graphical representation for Ada software, the Control Structure Diagram (CSD). The primary impetus for creation of the CSD was to improve the comprehension efficiency of Ada software and thus improve reliability and reduce costs. The emphasis was on the automatic generation of the CSD from Ada source code to support reverse engineering and maintenance. The CSD has the potential to replace traditional prettyprinted Ada source code. In Phase 1 of the GRASP/Ada project, the CSD graphical constructs were created and applied manually to several small Ada programs. A prototype (Version 1) was designed and implemented using FLEX and BISON running under the Virtual Memory System (VMS) on a VAX 11-780. In Phase 2, the prototype was improved and ported to the Sun 4 platform under UNIX. A user interface was designed and partially implemented. The prototype was applied successfully to numerous Ada programs ranging in size from several hundred to several thousand lines of source code. In Phase 3 of the project, the prototype was prepared for limited distribution (GRASP/Ada Version 3.0) to facilitate evaluation. The user interface was extensively reworked. The current prototype provides the capability for the user to generate CSD from Ada source code in a reverse engineering mode with a level of flexibility suitable for practical application.
Brown, David B.
The results of research and development efforts are described for Task one, Phase two of a general project entitled The Development of a Program Analysis Environment for Ada. The scope of this task includes the design and development of a prototype system for testing Ada software modules at the unit level. The system is called Query Utility Environment for Software Testing of Ada (QUEST/Ada). The prototype for condition coverage provides a platform that implements expert system interaction with program testing. The expert system can modify data in the instrument source code in order to achieve coverage goals. Given this initial prototype, it is possible to evaluate the rule base in order to develop improved rules for test case generation. The goals of Phase two are the following: (1) to continue to develop and improve the current user interface to support the other goals of this research effort (i.e., those related to improved testing efficiency and increased code reliable); (2) to develop and empirically evaluate a succession of alternative rule bases for the test case generator such that the expert system achieves coverage in a more efficient manner; and (3) to extend the concepts of the current test environment to address the issues of Ada concurrency.
Agresti, W. W.
An experiment is in progress to measure the effectiveness of Ada in the National Aeronautics and Space Administration/Goddard Space Flight Center flight dynamics software development environment. The experiment features the parallel development of software in FORTRAN and Ada. The experiment organization, objectives, and status are discussed. Experiences with an Ada training program and data from the development of a 5700-line Ada training exercise are reported.
Cross, James H., II
The main objective is the investigation, formulation, and generation of graphical representations of algorithms, structures, and processes for Ada (GRASP/Ada). The presented task, in which various graphical representations that can be extracted or generated from source code are described and categorized, is focused on reverse engineering. The following subject areas are covered: the system model; control structure diagram generator; object oriented design diagram generator; user interface; and the GRASP library.
Liaw, Morris; Evesson, Donna
This is a manual for users of the Software Engineering and Ada Database (SEAD). SEAD was developed to provide an information resource to NASA and NASA contractors with respect to Ada-based resources and activities that are available or underway either in NASA or elsewhere in the worldwide Ada community. The sharing of such information will reduce the duplication of effort while improving quality in the development of future software systems. The manual describes the organization of the data in SEAD, the user interface from logging in to logging out, and concludes with a ten chapter tutorial on how to use the information in SEAD. Two appendices provide quick reference for logging into SEAD and using the keyboard of an IBM 3270 or VT100 computer terminal.
Viewgraphs of two briefings designed to provide information to the Software I and V Study Group to help complete the I and V study task are given. The information is taken from the areas of Ada real-time processing support, Ada run-time environments, Ada program construction, object oriented design, and Ada/UNIX/POSIX interfaces. Also covered are the development, integration, and verification of Ada systems; fault tolerance and Ada; and Ada programming standards, techniques, and tools.
Klumpp, A. R.
This package extends the Ada programming language to include linear algebra capabilities similar to those of the HAL/S programming language. The package is designed for avionics applications such as Space Station flight software. In addition to the HAL/S built-in functions, the package incorporates the quaternion functions used in the Shuttle and Galileo projects, and routines from LINPAK that solve systems of equations involving general square matrices. Language conventions in this package follow those of HAL/S to the maximum extent practical and minimize the effort required for writing new avionics software and translating existent software into Ada. Valid numeric types in this package include scalar, vector, matrix, and quaternion declarations. (Quaternions are fourcomponent vectors used in representing motion between two coordinate frames). Single precision and double precision floating point arithmetic is available in addition to the standard double precision integer manipulation. Infix operators are used instead of function calls to define dot products, cross products, quaternion products, and mixed scalar-vector, scalar-matrix, and vector-matrix products. The package contains two generic programs: one for floating point, and one for integer. The actual component type is passed as a formal parameter to the generic linear algebra package. The procedures for solving systems of linear equations defined by general matrices include GEFA, GECO, GESL, and GIDI. The HAL/S functions include ABVAL, UNIT, TRACE, DET, INVERSE, TRANSPOSE, GET, PUT, FETCH, PLACE, and IDENTITY. This package is written in Ada (Version 1.2) for batch execution and is machine independent. The linear algebra software depends on nothing outside the Ada language except for a call to a square root function for floating point scalars (such as SQRT in the DEC VAX MATHLIB library). This program was developed in 1989, and is a copyrighted work with all copyright vested in NASA.
Cross, James H., II
The study, formulation, and generation of structures for Ada (GRASP/Ada) are discussed in this second phase report of a three phase effort. Various graphical representations that can be extracted or generated from source code are described and categorized with focus on reverse engineering. The overall goal is to provide the foundation for a CASE (computer-aided software design) environment in which reverse engineering and forward engineering (development) are tightly coupled. Emphasis is on a subset of architectural diagrams that can be generated automatically from source code with the control structure diagram (CSD) included for completeness.
The primary goal of this activity was to conduct research in the application and development of Ada, and in broader terms the objectives were as follows: (1) To develop numerical algorithms for parallel processing using the Ada language; (2) To develop new methodologies in reusing Ada software; (3) To solve select problems in applied mathematics using MACSYMA and Ada; (4) Simulate the interactions of nodes in a network using Ada; (5) To increase the cadre of educations available to provide Ada training by conducting Ada workshops for Norfolk State University faculty and staff; (6) To develop a series of in-class and individualized modules addressing Ada programming using computer-assisted instruction; and (7) To disseminate research and computer-aided instruction modules to other minority institutions through computer networking, workshops, and lecture series.
Therapeutic proteins and peptides have potential to elicit immune responses resulting in anti-drug antibodies that can pose problems for both patient safety and product efficacy. During drug development immunogenicity is usually examined by risk-based approach along with specific strategies for developing “fit-for-purpose” bioanalytical approaches. Enzyme-linked immunosorbent assays and electrochemiluminescence immunoassays are the most widely used platform for ADA detection due to their high sensitivity and throughput. During the past decade, LC/MS has emerged as a promising technology for quantitation of biotherapeutics and protein biomarkers in biological matrices, mainly owing to its high specificity, selectivity, multiplexing, and wide dynamic range. In fully taking these advantages, we describe here an immunocapture-LC/MS methodology for simultaneous isotyping and semiquantitation of ADA in human plasma. Briefly, ADA and/or drug-ADA complex is captured by biotinylated drug or anti-drug Ab, immobilized on streptavidin magnetic beads, and separated from human plasma by a magnet. ADA is then released from the beads and subjected to trypsin digestion followed by LC/MS detection of specific universal peptides for each ADA isotype. The LC/MS data are analyzed using cut-point and calibration curve. The proof-of-concept of this methodology is demonstrated by detecting preexisting ADA in human plasma. PMID:27034966
Leake, Stephen; Green, Tom; Cofer, Sue; Sauerwein, Tim
HARPS is a telerobot control system that can perform some simple but useful tasks. This capability is demonstrated by performing the ORU exchange demonstration. HARPS is based on NASREM (NASA Standard Reference Model). All software is developed in Ada, and the project incorporates a number of different CASE (computer-aided software engineering) tools. NASREM was found to be a valid and useful model for building a telerobot control system. Its hierarchical and distributed structure creates a natural and logical flow for implementing large complex robust control systems. The ability of Ada to create and enforce abstraction enhanced the implementation of such control systems.
Storage management in Ada. Three reports. Volume 1: Storage management in Ada as a risk to the development of reliable software. Volume 2: Relevant aspects of language. Volume 3: Requirements of the language versus manifestations of current implementations
The risk to the development of program reliability is derived from the use of a new language and from the potential use of new storage management techniques. With Ada and associated support software, there is a lack of established guidelines and procedures, drawn from experience and common usage, which assume reliable behavior. The risk is identified and clarified. In order to provide a framework for future consideration of dynamic storage management on Ada, a description of the relevant aspects of the language is presented in two sections: Program data sources, and declaration and allocation in Ada. Storage-management characteristics of the Ada language and storage-management characteristics of Ada implementations are differentiated. Terms that are used are defined in a narrow and precise sense. The storage-management implications of the Ada language are described. The storage-management options available to the Ada implementor and the implications of the implementor's choice for the Ada programmer are also described.
Fainter, R. G.; Lindquist, T. E.
The applications for which Ada was developed require distributed implementations of the language and extensive use of tasking facilities. Debugging and testing technology as it applies to parallel features of languages currently falls short of needs. Thus, the development of embedded systems using Ada pose special challenges to the software engineer. Techniques for distributing Ada programs, support for simulating distributed target machines, testing facilities for tasked programs, and debugging support applicable to simulated and to real targets all need to be addressed. A technique is presented for debugging Ada programs that use tasking and it describes a debugger, called AdaTAD, to support the technique. The debugging technique is presented together with the use interface to AdaTAD. The component of AdaTAD that monitors and controls communication among tasks was designed in Ada and is presented through an example with a simple tasked program.
Blackmon, Linda F.
The management lessons learned during the implementation of a corporate mandate to develop and deliver an effective Ada training program to all divisions are discussed. The management process involved in obtaining cooperation from all levels in the development of a corporate-wide project is described. The problem areas are identified along with some possible solutions.
In this project we have built a prototype system that performs Feasible Path Analysis on Ada programs: given a description of a set of control flow paths through a procedure, and a predicate at a program point feasible path analysis determines if there is input data which causes execution to flow down some path in the collection reaching the point so that tile predicate is true. Feasible path analysis can be applied to program testing, program slicing, array bounds checking, and other forms of anomaly checking. FPA is central to most applications of program analysis. But, because this problem is formally unsolvable, syntactic-based approximations are used in its place. For example, in dead-code analysis the problem is to determine if there are any input values which cause execution to reach a specified program point. Instead an approximation to this problem is computed: determine whether there is a control flow path from the start of the program to the point. This syntactic approximation is efficiently computable and conservative: if there is no such path the program point is clearly unreachable, but if there is such a path, the analysis is inconclusive, and the code is assumed to be live. Such conservative analysis too often yields unsatisfactory results because the approximation is too weak. As another example, consider data flow analysis. A du-pair is a pair of program points such that the first point is a definition of a variable and the second point a use and for which there exists a definition-free path from the definition to the use. The sharper, semantic definition of a du-pair requires that there be a feasible definition-free path from the definition to the use. A compiler using du-pairs for detecting dead variables may miss optimizations by not considering feasibility. Similarly, a program analyzer computing program slices to merge parallel versions may report conflicts where none exist. In the context of software testing, feasibility analysis plays an
Lee, S. Daniel; Allen, Bradley P.
The Department of Defense mandate to standardize on Ada as the language for software systems development has resulted in an increased interest in making expert systems technology readily available in Ada environments. NASA's Space Station Freedom is an example of the large Ada software development projects that will require expert systems in the 1990's. Another large scale application that can benefit from Ada based expert system tool technology is the Pilot's Associate (PA) expert system project for military combat aircraft. The Automated Reasoning Tool-Ada (ART-Ada), an Ada expert system tool, is explained. ART-Ada allows applications of a C-based expert system tool called ART-IM to be deployed in various Ada environments. ART-Ada is being used to implement several prototype expert systems for NASA's Space Station Freedom program and the U.S. Air Force.
Cross, James H., II
The GRASP/Ada project (Graphical Representations of Algorithms, Structures, and Processes for Ada) has successfully created and prototyped a new algorithmic level graphical representation for Ada software, the Control Structure Diagram (CSD). The primary impetus for creation of the CSD was to improve the comprehension efficiency of Ada software and, as a result, improve reliability and reduce costs. The emphasis has been on the automatic generation of the CSD from Ada PDL or source code to support reverse engineering and maintenance. The CSD has the potential to replace traditional prettyprinted Ada Source code. A new Motif compliant graphical user interface has been developed for the GRASP/Ada prototype.
In its most basic sense software development involves describing the tasks to be solved, including the given objects and the operations to be performed on those objects. Unfortunately, the way people describe objects and operations usually bears little resemblance to source code in most contemporary computer languages. There are two ways around this problem. One is to allow users to describe what they want the computer to do in everyday, typically imprecise English. The PRODOC methodology and software development environment is based on a second more flexible and possibly even easier to use approach. Rather than hiding program structure, PRODOC represents such structure graphically using visual programming techniques. In addition, the program terminology used in PRODOC may be customized so as to match the way human experts in any given application area naturally describe the relevant data and operations. The PRODOC methodology is described in detail.
Although they have reached a point of commercial viability, expert systems were originally developed in artificial intelligence (AI) research environments. Many of the available tools still work best in such environments. These environments typically utilize special hardware such as LISP machines and relatively unfamiliar languages such as LISP or Prolog. Space Station applications will require deep integration of expert system technology with applications developed in conventional languages, specifically Ada. The ability to apply automation to Space Station functions could be greatly enhanced by widespread availability of state-of-the-art expert system tools based on Ada. Although there have been some efforts to examine the use of Ada for AI applications, there are few, if any, existing products which provide state-of-the-art AI capabilities in an Ada tool. The goal of the ART/Ada Design Project is to conduct research into the implementation in Ada of state-of-the-art hybrid expert systems building tools (ESBT's). This project takes the following approach: using the existing design of the ART-IM ESBT as a starting point, analyze the impact of the Ada language and Ada development methodologies on that design; redesign the system in Ada; and analyze its performance. The research project will attempt to achieve a comprehensive understanding of the potential for embedding expert systems in Ada systems for eventual application in future Space Station Freedom projects. During Phase 1 of the project, initial requirements analysis, design, and implementation of the kernel subset of ART-IM functionality was completed. During Phase 2, the effort has been focused on the implementation and performance analysis of several versions with increasing functionality. Since production quality ART/Ada tools will not be available for a considerable time, and additional subtask of this project will be the completion of an Ada version of the CLIPS expert system shell developed by NASA
Roy, D.; Mcclimens, M.; Agresti, W.
A 1200-line Ada source code project simulating the most basic functions of an operations control center was developed. We selected George Cherry's Process Abstraction Methodology for Embedded Large Applications (PAMELA) and DEC's Ada Compilation System (ACS) under VAX/VMS to build the software from requirements to acceptance test. The system runs faster than its FORTRAN implementation and was produced on schedule and under budget with an overall productivity in excess of 30 lines of Ada source code per day.
Lee, S. Daniel; Allen, Bradley P.
The Department of Defense mandate to standardize on Ada as the language for software systems development has resulted in increased interest in making expert systems technology readily available in Ada environments. NASA's Space Station Freedom is an example of the large Ada software development projects that will require expert systems in the 1990's. Another large scale application that can benefit from Ada based expert system tool technology is the Pilot's Associate (PA) expert system project for military combat aircraft. Automated Reasoning Tool (ART) Ada, an Ada Expert system tool is described. ART-Ada allow applications of a C-based expert system tool called ART-IM to be deployed in various Ada environments. ART-Ada is being used to implement several prototype expert systems for NASA's Space Station Freedom Program and the U.S. Air Force.
Weiss, Pamela F.; Colbert, Robert A.; Xiao, Rui; Feudtner, Chris; Beukelman, Timothy; DeWitt, Esi Morgan; Pagnini, Ilaria; Wright, Tracey B.; Wallace, Carol A.
Objectives To develop and validate a Juvenile Spondyloarthritis (JSpA) Disease Activity (JSpADA) index for use in clinical practice and research. Methods Using modified Delphi consensus techniques, ten items were selected by participants in the international pediatric rheumatology list-serve, the Childhood Arthritis and Rheumatology Research Alliance, and the list-serve for the Pediatric Section of the American College of Rheumatology. Validation was performed in a retrospective multicenter cohort of 243 children. Results 106 physicians representing 14 countries completed the initial questionnaire. Completion rates for the subsequent questionnaires were 84%, 75%, and 77% of the original respondents. Ten items reached 80% consensus: arthritis, enthesitis, patient pain assessment, inflammatory markers, morning stiffness, clinical sacroiliitis, uveitis, back mobility, and patient and physician assessments of disease activity. Two items were eliminated after item analysis (patient and physician assessments of disease activity). Factor analysis identified 3 primary domains that explain 58% of variance: peripheral disease, axial disease, and uveitis. Cronbach α coefficient was 0.66. The JSpADA had high or moderate correlations with the Juvenile Arthritis disease activity score (r=0.80), patient and physician assessments of disease activity (r=0.70 and 0.66), and the Childhood Health Assessment Questionnaire (r=0.56). The JSpADA discriminated well between subjects with active versus inactive disease (p<0.001) and was responsive to improvement or worsening in disease activity over time (p<0.001). Conclusion Using international input and consensus formation techniques, we developed and validated the first disease activity assessment for JSpA. Future studies should validate the JSpADA index in a prospective multi-center cohort. PMID:25047959
Presents a brief history of Ada Byron King, Countess of Lovelace, focusing on her primary role in the development of the Analytical Engine--the world's first computer. Describes the Ada Project (TAP), a centralized World Wide Web site that serves as a clearinghouse for information related to women in computing, and provides a Web address for…
Wright, Ted; Mackin, Michael; Gantose, Dave
The Ada language software developed to control the NASA Lewis Research Center's Power Management and Distribution testbed is described. The testbed is a reduced-scale prototype of the electric power system to be used on space station Freedom. It is designed to develop and test hardware and software for a 20-kHz power distribution system. The distributed, multiprocessor, testbed control system has an easy-to-use operator interface with an understandable English-text format. A simple interface for algorithm writers that uses the same commands as the operator interface is provided, encouraging interactive exploration of the system.
Brown, David B.
The results of research and development efforts of the first six months of Task 1, Phase 3 of the project are presented. The goals of Phase 3 are: (1) to further refine the rule base and complete the comparative rule base evaluation; (2) to implement and evaluate a concurrency testing prototype; (3) to convert the complete (unit-level and concurrency) testing prototype to a workstation environment; and (4) to provide a prototype development document to facilitate the transfer of research technology to a working environment. These goals were partially met and the results are summarized.
Legrand, Sue; Freedman, Glenn
The choice of Ada for software engineering for projects such as the Space Station has resulted in government and industrial groups considering training programs that help workers become familiar with both a software culture and the intricacies of a new computer language. The questions of how much time it takes to learn software engineering with Ada, how much an organization should invest in such training, and how the training should be structured are considered. Software engineering is an emerging, dynamic discipline. It is defined by the author as the establishment and application of sound engineering environments, tools, methods, models, principles, and concepts combined with appropriate standards, guidelines, and practices to support computing which is correct, modifiable, reliable and safe, efficient, and understandable throughout the life cycle of the application. Neither the training programs needed, nor the content of such programs, have been well established. This study addresses the requirements for training for NASA personnel and recommends an implementation plan. A curriculum and a means of delivery are recommended. It is further suggested that a knowledgeable programmer may be able to learn Ada in 5 days, but that it takes 6 to 9 months to evolve into a software engineer who uses the language correctly and effectively. The curriculum and implementation plan can be adapted for each NASA Center according to the needs dictated by each project.
Bach, Barbara Charlotte; Leal, Daniela Bitencourt Rosa; Jaques, Jeandre Augusto dos Santos; Souza, Viviane do Carmo Gonçalves; Ruchel, Jader Betsch; Schlemmer, Karine Bizzi; Zanette, Régis Adriel; Hecktheuer, Pedro Abib; de Lima Pereira, Patrique; Casali, Emerson André; Alves, Sydney Hartz; Santurio, Janio Morais
Pythiosis is a life-threatening disease caused by the oomycete Pythium insidiosum. Some authors have suggested the involvement of a Th2-like immune response in the infected host, which leads to extensive tissue damage. The switch from a Th2 to a Th1 response pattern is one hypothesis to explain the curative properties of immunotherapy. Taking into account the importance of immunotherapy for pythiosis treatment and the contribution of adenine nucleotides in the immunoregulation of the host, we evaluated the ecto-adenosine deaminase (E-ADA; EC 3·5.4·4) activity in lymphocytes from rabbits inoculated with P. insidiosum. Rabbits were inoculated with 1 milliliter of zoospores subcutaneously injected into the lateral thorax; after developing lesions, the rabbits received eight doses of immunotherapy. E-ADA activity was measured in lymphocytes and the adenine nucleotides and adenosine levels were quantitatively determined in serum. Rabbits with characteristic lesions of pythiosis showed a decreased E-ADA activity (82·36%), a decreased adenosine triphosphate concentration (54·04%) and a higher adenosine concentration (2·51 fold), when compared with controls, after 28 days of inoculation. However, after the immunotherapy, the rabbits showed an increase in the E-ADA activity when compared with control (78·62%), contributing for the change in the immune response. Our results reinforce the hypothesis that the change from a Th2 to a Th1 immune response with the participation of the purinergic system could be responsible for the curative properties of immunotherapy. PMID:23086808
Labaugh, Robert J.
Recent experiences with using Ada in a real time environment are described. The application was the control system for an experimental robotic arm. The objectives of the effort were to experiment with developing embedded applications in Ada, evaluating the suitability of the language for the application, and determining the performance of the system. Additional objectives were to develop a control system based on the NASA/NBS Standard Reference Model for Telerobot Control System Architecture (NASREM) in Ada, and to experiment with the control laws and how to incorporate them into the NASREM architecture.
Watson, Leela R.
Since 2000, both the National Weather Service Melbourne (NWS MLB) and the Spaceflight Meteorology Group (SMG) have used a local data integration system (LOIS) as part of their forecast and warning operations. The original LOIS was developed by the Applied Meteorology Unit (AMU) in 1998 (Manobianco and Case 1998) and has undergone subsequent improvements. Each has benefited from three-dimensional (3-D) analyses that are delivered to forecasters every 15 minutes across the peninsula of Florida. The intent is to generate products that enhance short-range weather forecasts issued in support of NWS MLB and SMG operational requirements within East Central Florida. The current LDIS uses the Advanced Regional Prediction System (ARPS) Data Analysis System (AD AS) package as its core, which integrates a wide variety of national, regional, and local observational data sets. It assimilates all available real-time data within its domain and is run at a finer spatial and temporal resolution than current national or regional-scale analysis packages. As such, it provides local forecasters with a more comprehensive understanding of evolving fine-scale weather features. Over the years, the LDIS has become problematic to maintain since it depends on AMU-developed shell scripts that were written for an earlier version of the ADAS software. The goals of this task were to update the NWS MLB/SMG LDIS with the latest version of ADAS, incorporate new sources of observational data, and upgrade and modify the AMU-developed shell scripts written to govern the system. In addition, the previously developed ADAS graphical user interface (GUI) was updated. Operationally, these upgrades will result in more accurate depictions of the current local environment to help with short-range weather forecasting applications, while also offering an improved initialization for local versions of the Weather Research and Forecasting (WRF) model used by both groups.
Blumberg, Maurice H.; Randall, Richard L.
This paper describes the lessons learned from introducing CASE methods/tools into organizations and applying them to actual Ada software development projects. This paper will be useful to any organization planning to introduce a software engineering environment (SEE) or evolving an existing one. It contains management level lessons learned, as well as lessons learned in using specific SEE tools/methods. The experiences presented are from Alpha Test projects established under the STARS (Software Technology for Adaptable and Reliable Systems) project. They reflect the front end efforts by those projects to understand the tools/methods, initial experiences in their introduction and use, and later experiences in the use of specific tools/methods and the introduction of new ones.
Mook, J R
The Americans with Disabilities Act has been heralded as the Emancipation Proclamation for persons with disabilities. The purpose of the law is to provide nothing less than a "clear and comprehensive national mandate for the elimination of discrimination against individuals with disabilities." Precisely how the nondiscrimination principles of the ADA will be applied to an employer's provision of health benefits to its employees has been the subject of much debate since the Act's passage in 1990. Although the statutory language and the legislative history support a limited application of the ADA to benefits issues, recent court decisions and enforcement actions by the Equal Employment Opportunity Commission indicate that the ADA may have a much more profound impact in the area of benefits plan design and administration. Moreover, as benefits administrators take a much more active role in managing health care decisions, the ADA may become a vehicle for legal challenges to those decisions that affect the disabled. PMID:10172245
Digman, R. Michael
The goal of AdaNET is to transfer existing and emerging software engineering technology from the Federal government to the private sector. The views and perspectives of the current project participants on long and short term goals for AdaNET; organizational structure; resources and returns; summary of identified AdaNET services; and the summary of the organizational model currently under discussion are presented.
Murphy, Robert; Stark, Michael
This paper documents the Ada training experiences and recommendations of the Gamma Ray Observatory dynamics simulator Ada development team. A two month Ada training program for software developers is recommended which stresses the importance of teaching design methodologies early, as well as the use of certain training aids such as videotaped lectures and computer-aided instruction. Furthermore, a separate training program for managers is recommended, so that they may gain a better understanding of modified review products and resource allocation associated with Ada projects.
Digman, R. Michael
The components necessary for the success of the commercialization of an Ada Technology Transition Network are reported in detail. The organizational plan presents the planned structure for services development and technical transition of AdaNET services to potential user communities. The Business Plan is the operational plan for the AdaNET service as a commercial venture. The Technical Plan is the plan from which the AdaNET can be designed including detailed requirements analysis. Also contained is an analysis of user fees and charges, and a proposed user fee schedule.
Mcbride, John G.
The AdaNet program is reviewing its long-term goals and strategies. A significant concern is whether current AdaNet plans adequately address the major strategic issues of software reuse technology. The major reuse issues of providing AdaNet services that should be addressed as part of future AdaNet development are identified and reviewed. Before significant development proceeds, a plan should be developed to resolve the aforementioned issues. This plan should also specify a detailed approach to develop AdaNet. A three phased strategy is recommended. The first phase would consist of requirements analysis and produce an AdaNet system requirements specification. It would consider the requirements of AdaNet in terms of mission needs, commercial realities, and administrative policies affecting development, and the experience of AdaNet and other projects promoting the transfer software engineering technology. Specifically, requirements analysis would be performed to better understand the requirements for AdaNet functions. The second phase would provide a detailed design of the system. The AdaNet should be designed with emphasis on the use of existing technology readily available to the AdaNet program. A number of reuse products are available upon which AdaNet could be based. This would significantly reduce the risk and cost of providing an AdaNet system. Once a design was developed, implementation would proceed in the third phase.
Spiegel, James R.
The Flexible Ada Simulation Tool (FAST) is a discrete event simulation language which is written in Ada. FAST has been used to simulate a number of options for ground data distribution of Space Station payload data. The fact that Ada language is used for implementation has allowed a number of useful interactive features to be built into FAST and has facilitated quick enhancement of its capabilities to support new modeling requirements. General simulation concepts are discussed, and how these concepts are implemented in FAST. The FAST design is discussed, and it is pointed out how the used of the Ada language enabled the development of some significant advantages over classical FORTRAN based simulation languages. The advantages discussed are in the areas of efficiency, ease of debugging, and ease of integrating user code. The specific Ada language features which enable these advances are discussed.
Volz, R. A.; Theriault, R.; Waldrop, R.; Goldsack, S. J.; Holzbacher-Valero, A.
In modern software systems development, distributed and parallel systems are of increasing importance. Much research has been done to investigate the distribution of Ada programs across a set of processors, both in loosely-coupled distributed systems and in more tightly-coupled parallel systems. To this point, however, there has been something of an idea that the support needed for distributed systems differs from that required for parallel systems. In this paper, the authors first discuss the support requirements for distributed and parallel Ada programs, and point out that the requirements for these two areas have more in common than may have been previously thought. Next, the authors discuss AdaPT (Ada plus ParTitions), a set of extensions to Ada to support distributed and fault-tolerant systems. AdaPT is used as a reference in the further discussion of the previously identified requirements for distributed systems. After this, the authors provide an in-depth discussion of the Ada 9X Distributed Systems Annex, as presented by the Ada 9X mapping/revision team in the version 5.0 draft Language Reference Manual, and the extent to which this annex fulfils the previously identified requirements.
Goldsack, Stephen J.; Holzbach-Valero, A. A.; Volz, Richard A.; Waldrop, Raymond S.
How the concepts of AdaPT can be transformed into programs using the object oriented features proposed in the preliminary mapping for Ada9x are described. Emphasizing, as they do, the importance of data types as units of program, these features match well with the development of partitions as translations into Abstract Data Types which was exploited in the Ada83 translation covered in report R3. By providing a form of polymorphic type, the Ada83 version also gives support for the conformant partition idea which could be achieved in Ada83 only by using UNCHECKED CONVERSIONS. It is assumed that the reader understands AdaPT itself, but the translation into Ada83 is briefly reviewed, by applying it to a small example. This is then used to show how the same translation would be achieved in the 9x version. It is important to appreciate that the distribution features which are proposed in current mapping are not used or discussed in any detail, as those are not well matched to the AdaPT approach. Critical evaluation and comparison of these approaches is given in a separate report.
Feinberg, David A.
The Ada programming language and the associated Ada Programming Support Environment (APSE) and Ada Run Time Environment (ARTE) provide the potential for significant life-cycle cost reductions in computer software development and maintenance activities. The Ada programming language itself is standardized, trademarked, and controlled via formal validation procedures. Though compilers are not yet production-ready as most would desire, the technology for constructing them is sufficiently well known and understood that time and money should suffice to correct current deficiencies. The APSE and ARTE are, on the other hand, significantly newer issues within most software development and maintenance efforts. Currently, APSE and ARTE are highly dependent on differing implementer concepts, strategies, and market objectives. Complex and sophisticated mission-critical computing systems require the use of a complete Ada-based capability, not just the programming language itself; yet the range of APSE and ARTE features which must actually be utilized can vary significantly from one system to another. As a consequence, the need to understand, objectively evaluate, and select differing APSE and ARTE capabilities and features is critical to the effective use of Ada and the life-cycle efficiencies it is intended to promote. It is the selection, collection, and understanding of APSE and ARTE which provide the deeper challenges of using Ada for real-life mission-critical computing systems. Some of the current issues which must be clarified, often on a case-by-case basis, in order to successfully realize the full capabilities of Ada are discussed.
Alexandre Diogo, Paulo; Nunes, João Pedro; Marco, Machado; Aal, Carlo; Carmona Rodrigues, António; Beça, Pedro; Casanova Lino, Rafael; Rocha, João; Carvalho Santos, Cláudia
Climate change (CC) scenarios for the Mediterranean region include an increase in the frequency and intensity of extreme weather events such as drought periods. higher average temperatures and evapotranspiration, combined with the decrease of annual precipitation may strongly affect the sustainability of water resources. In face of these risks, improving water management actions? by anticipating necessary operational measures is required to insure water quantity and quality according to the needs of the populations and irrigation in agriculture. This is clearly the case of the Alentejo region, southern Portugal, where present climatic conditions already pose significant challenges to water resources stakeholders, mainly from the agricultural and the urban supply sectors. With this in mind, the GestAqua.AdaPT project is underway during 2015 and 2016, aiming at analyzing CC impacts until 2100 and develop operational procedures to ensure water needs are adequately satisfied in the Monte Novo and Vigia reservoirs, which supply water for the city of Évora and nearby irrigation systems. Specific project objectives include: a) defining management and operational adaptation strategies aiming to ensure resource sustainability, both quantitatively and qualitatively; b) evaluate future potential costs and available alternatives to the regional water transfer infrastructure linked with the large Alqueva reservoir implemented in 2011; c) defining CC adaptation strategies to reduce irrigation water needs and d) identification of CC adaptation strategies which can be suitable also to other similar water supply systems. The methodology is centered on the implementation of a cascade of modeling tools, allowing the integrated simulation of the multiple variables under analysis. The project is based on CC scenarios resulting from the CORDEX project for 10 combinations of Global and regional climate models (GCMs and RCMs). The study follows by using two of these combinations
Ada is a programing language developed for the Department of Defense, with a registered trademark. It was named for Ada Augusta, coworker of Charles Babbage and the world's first programer. The Department of Defense hopes to prevent variations and to establish Ada as a consistent, standardized language. (MNS)
Goldsack, Stephen J.; Holzbach-Valero, A. A.; Waldrop, Raymond S.; Volz, Richard A.
This paper describes how the main features of the proposed Ada language extensions intended to support distribution, and offered as possible solutions for Ada9X can be implemented by transformation into standard Ada83. We start by summarizing the features proposed in a paper (Gargaro et al, 1990) which constitutes the definition of the extensions. For convenience we have called the language in its modified form AdaPT which might be interpreted as Ada with partitions. These features were carefully chosen to provide support for the construction of executable modules for execution in nodes of a network of loosely coupled computers, but flexibly configurable for different network architectures and for recovery following failure, or adapting to mode changes. The intention in their design was to provide extensions which would not impact adversely on the normal use of Ada, and would fit well in style and feel with the existing standard. We begin by summarizing the features introduced in AdaPT.
Collard, Philippe; Goforth, Andre; Marquardt, Matthew
The development of benchmarks and performance measures for parallel Ada tasking is reported with emphasis on the macroscopic behavior of the benchmark across a set of load parameters. The application chosen for the study was the NASREM model for telerobot control, relevant to many NASA missions. The results of the study demonstrate the potential of parallel Ada in accomplishing the task of developing a control system for a system such as the Flight Telerobotic Servicer using the NASREM framework.
A validation procedure for the Ada binding of the Graphical Kernel System (GKS) is being developed. PRIOR Data Sciences is also producing a version of the GKS written in Ada. These major software engineering projects will provide an opportunity to demonstrate a sound approach for software testing in an Ada environment. The GKS/Ada validation capability will be a collection of test programs and data, and test management guidelines. These products will be used to assess the correctness, completeness, and efficiency of any GKS/Ada implementation. The GKS/Ada developers will be able to obtain the validation software for their own use. It is anticipated that this validation software will eventually be taken over by an independent standards body to provide objective assessments of GKS/Ada implementations, using an approach similar to the validation testing currently applied to Ada compilers. In the meantime, if requested, this validation software will be used to assess GKS/Ada products. The second project, implementation of GKS using the Ada language, is a conventional software engineering tasks. It represents a large body of Ada code and has some interesting testing problems associated with automatic testing of graphics routines. Here the normal test practices which include automated regression testing, independent quality assistance, test configuration management, and the application of software quality metrics will be employed. The software testing methods emphasize quality enhancement and automated procedures. Ada makes some aspects of testing easier, and introduces some concerns. These issues are addressed.
Brophy, Carolyn Elizabeth
Two dynamics satellite simulators are developed from the same requirements, one in Ada and the other in FORTRAN. The purpose of the research was to find out how well the prescriptive Ada development model worked to develop the Ada simulator. The FORTRAN simulator development, as well as past FORTRAN developments, provided a baseline for comparison. Since this was the first simulator developed, the prescriptive Ada development model had many similarities to the usual FORTRAN development model. However, it was modified to include longer design and shorter testing phases, which is generally expected with Ada developments. One result was that the percentage of time the Ada project spent in the various development activities was very similar to the percentage of time spent in these activities when doing a FORTRAN project. Another finding was the difficulty the Ada team had with unit testing as well as with integration. It was realized that adding additional steps to the design phase, such as an abstract data type analysis, and certain guidelines to the implementation phase, such as to use primarily library units and nest sparingly, would have made development easier. These are among the recommendations made to be incorporated in a new Ada development model next time.
Holloway, F.W.; Sherman, T.A.
This report describes Praxis, a modern, complete, block structured, strongly typed, programming language, comparable to Ada, and with special emphasis toward meeting systems programming requirements on all level machines. Praxis is considered as a possible alternative to Ada in certain applications. Praxis has been used since 1980 on the distributed control system for the Nova high energy laser at Lawrence Livermore National Laboratory. A description of the intended applications, the history of development, and an overview of the features of the language with comparisons to the Pascal and Ada languages, are given. The features are described in four categories: general appearance, power, insurance of freedom from errors, and manageability.
Holloway, F.W.; Sherman, T.A.
This report describes Praxis, a modern, complete, block structures, strongly typed, programming language, comparable to Ada, and with special emphasis toward meeting systems programming requirements on all level machines. Praxis is considered as a possible alternative to Ada in certain applications. Praxis has been used since 1980 on the distributed control system for the Nova high energy laser at Lawrence Livermore National Laboratory. A description of the intended applications, the history of development, and an overview of the features of the language with comparisons to the Pascal and Ada languages, are given. The features are described in four categories: general appearance, power, insurance of freedom from errors, and manageability.
Klumpp, A. R.
The Ada Namelist Package, developed for the Ada programming language, enables a calling program to read and write FORTRAN-style namelist files. A namelist file consists of any number of assignment statements in any order. Features of the Ada Namelist Package are: the handling of any combination of user-defined types; the ability to read vectors, matrices, and slices of vectors and matrices; the handling of mismatches between variables in the namelist file and those in the programmed list of namelist variables; and the ability to avoid searching the entire input file for each variable. The principle user benefits of this software are the following: the ability to write namelist-readable files, the ability to detect most file errors in the initialization phase, a package organization that reduces the number of instantiated units to a few packages rather than to many subprograms, a reduced number of restrictions, and an increased execution speed. The Ada Namelist reads data from an input file into variables declared within a user program. It then writes data from the user program to an output file, printer, or display. The input file contains a sequence of assignment statements in arbitrary order. The output is in namelist-readable form. There is a one-to-one correspondence between namelist I/O statements executed in the user program and variables read or written. Nevertheless, in the input file, mismatches are allowed between assignment statements in the file and the namelist read procedure statements in the user program. The Ada Namelist Package itself is non-generic. However, it has a group of nested generic packages following the nongeneric opening portion. The opening portion declares a variety of useraccessible constants, variables and subprograms. The subprograms are procedures for initializing namelists for reading, reading and writing strings. The subprograms are also functions for analyzing the content of the current dataset and diagnosing errors. Two nested
Roy, Daniel M.; Nelson, Robert W.
A significant Ada effort has been under way at Goddard for the last two years. To ease the center's transition toward Ada (notably for future space station projects), a cooperative effort of half a dozen companies and NASA personnel was started in 1985 to produce programming standards and guidelines for the Ada language. The great richness of the Ada language and the need of programmers for good style examples makes Ada programming guidelines an important tool to smooth the Ada transition. Because of the natural divergence of technical opinions, the great diversity of our government and private organizations and the novelty of the Ada technology, the creation of an Ada programming guidelines document is a difficult and time consuming task. It is also a vital one. Steps must now be taken to ensure that the guide is refined in an organized but timely manner to reflect the growing level of expertise of the Ada community.
Klumpp, Allan R.; Lawson, Charles L.
New avionics software written more easily. Software package extends Ada programming language to include linear-algebra capabilities similar to those of HAL/S programming language. Designed for such avionics applications as Space Station flight software. In addition to built-in functions of HAL/S, package incorporates quaternion functions used in Space Shuttle and Galileo projects and routines from LINPAK solving systems of equations involving general square matrices. Contains two generic programs: one for floating-point computations and one for integer computations. Written on IBM/AT personal computer running under PC DOS, v.3.1.
Tyrrill, AL; Chan, A. David
The toolset of an Ada Programming Support Environment (APSE) being developed at North American Aircraft Operations (NAAO) of Rockwell International, is described. The APSE is resident on three different hosts and must support developments for the hosts and for embedded targets. Tools and developed software must be freely portable between the hosts. The toolset includes the usual editors, compilers, linkers, debuggers, configuration magnagers, and documentation tools. Generally, these are being supplied by the host computer vendors. Other tools, for example, pretty printer, cross referencer, compilation order tool, and management tools were obtained from public-domain sources, are implemented in Ada and are being ported to the hosts. Several tools being implemented in-house are of interest, these include an Ada Design Language processor based on compilable Ada. A Standalone Test Environment Generator facilitates test tool construction and partially automates unit level testing. A Code Auditor/Static Analyzer permits the Ada programs to be evaluated against measures of quality. An Ada Comment Box Generator partially automates generation of header comment boxes.
Lee, S. Daniel
Here, the authors describe Ada language issues encountered during the development of ART-Ada, an expert system tool for Ada deployment. ART-Ada is being used to implement several expert system applications for the Space Station Freedom and the U.S. Air Force. Additional information is given on dynamic memory allocation.
Cross, James H., II
The GRASP/Ada project (Graphical Representations of Algorithms, Structures, and Processes for Ada) has successfully created and prototyped an algorithmic level graphical representation for Ada software, the Control Structure Diagram (CSD), and a new visualization for a fine-grained complexity metric called the Complexity Profile Graph (CPG). By synchronizing the CSD and the CPG, the CSD view of control structure, nesting, and source code is directly linked to the corresponding visualization of statement level complexity in the CPG. GRASP has been integrated with GNAT, the GNU Ada 95 Translator to provide a comprehensive graphical user interface and development environment for Ada 95. The user may view, edit, print, and compile source code as a CSD with no discernible addition to storage or computational overhead. The primary impetus for creation of the CSD was to improve the comprehension efficiency of Ada software and, as a result, improve reliability and reduce costs. The emphasis has been on the automatic generation of the CSD from Ada 95 source code to support reverse engineering and maintenance. The CSD has the potential to replace traditional prettyprinted Ada source code. The current update has focused on the design and implementation of a new Motif compliant user interface, and a new CSD generator consisting of a tagger and renderer. The Complexity Profile Graph (CPG) is based on a set of functions that describes the context, content, and the scaling for complexity on a statement by statement basis. When combined graphicafly, the result is a composite profile of complexity for the program unit. Ongoing research includes the development and refinement of the associated functions, and the development of the CPG generator prototype. The current Version 5.0 prototype provides the capability for the user to generate CSDs and CPGs from Ada 95 source code in a reverse engineering as well as forward engineering mode with a level of flexibility suitable for
Waldrop, Raymond S.; Volz, Richard A.; Goldsack, Stephen J.; Holzbach-Valero, A. A.
The studies of the proposed Ada 9X constructs for distribution, now referred to as AdaPT are reported. The goals for this time period were to revise the chosen example scenario and to begin studying about how the proposed constructs might be implemented. The example scenario chosen is the Submarine Combat Information Center (CIC) developed by IBM for the Navy. The specification provided by IBM was preliminary and had several deficiencies. To address these problems, some changes to the scenario specification were made. Some of the more important changes include: (1) addition of a system database management function; (2) addition of a fourth processing unit to the standard resources; (3) addition of an operator console interface function; and (4) removal of the time synchronization function. To implement the CIC scenario in AdaPT, the decided strategy were publics, partitions, and nodes. The principle purpose for implementing the CIC scenario was to demonstrate how the AdaPT constructs interact with the program structure. While considering ways that the AdaPt constructs might be translated to Ada 83, it was observed that the partition construct could reasonably be modeled as an abstract data type. Although this gives a useful method of modeling partitions, it does not at all address the configuration aspects on the node construct.
McCoy, Melissa K; Martinez, Terina N; Ruhn, Kelly A; Wrage, Philip C; Keefer, Edward W; Botterman, Barry R; Tansey, Keith E; Tansey, Malú G
Adult adipose contains stromal progenitor cells with neurogenic potential. However, the stability of neuronal phenotypes adopted by Adipose-Derived Adult Stromal (ADAS) cells and whether terminal neuronal differentiation is required for their consideration as alternatives in cell replacement strategies to treat neurological disorders is largely unknown. We investigated whether in vitro neural induction of ADAS cells determined their ability to neuroprotect or restore function in a lesioned dopaminergic pathway. In vitro-expanded naïve or differentiated ADAS cells were autologously transplanted into substantia nigra 1 week after an intrastriatal 6-hydroxydopamine injection. Neurochemical and behavioral measures demonstrated neuroprotective effects of both ADAS grafts against 6-hydroxydopamine-induced dopaminergic neuron death, suggesting that pre-transplantation differentiation of the cells does not determine their ability to survive or neuroprotect in vivo. Therefore, we investigated whether equivalent protection by naïve and neurally-induced ADAS grafts resulted from robust in situ differentiation of both graft types into dopaminergic fates. Immunohistological analyses revealed that ADAS cells did not adopt dopaminergic cell fates in situ, consistent with the limited ability of these cells to undergo terminal differentiation into electrically active neurons in vitro. Moreover, re-exposure of neurally-differentiated ADAS cells to serum-containing medium in vitro confirmed ADAS cell phenotypic instability (plasticity). Lastly, given that gene expression analyses of in vitro-expanded ADAS cells revealed that both naïve and differentiated ADAS cells express potent dopaminergic survival factors, ADAS transplants may have exerted neuroprotective effects by production of trophic factors at the lesion site. ADAS cells may be ideal for ex vivo gene transfer therapies in Parkinson's disease treatment. PMID:18061169
NASA is seeking an operating system interface definition (OSID) for the Space Station Program (SSP) in order to take advantage of the commercial off-the-shelf (COTS) products available today and the many that are expected in the future. NASA would also like to avoid the reliance on any one source for operating systems, information system, communication system, or instruction set architecture. The use of the Portable Operating System Interface for Computer Environments (POSIX) is examined as a possible solution to this problem. Since Ada is already the language of choice for SSP, the question of an Ada/POSIX binding is addressed. The intent of the binding is to provide access to the POSIX standard operation system (OS) interface and environment, by which application portability of Ada applications will be supported at the source code level. A guiding principle of Ada/POSIX binding development is a clear conformance of the Ada interface with the functional definition of POSIX. The interface is intended to be used by both application developers and system implementors. The objective is to provide a standard that allows a strictly conforming application source program that can be compiled to execute on any conforming implementation. Special emphasis is placed on first providing those functions and facilities that are needed in a wide variety of commercial applications
Jones, Robert E.; Liberman, Eugene M.
Ada is becoming an increasingly popular programming language for large Government-funded software projects. Ada with it portability, transportability, and maintainability lends itself well to today's complex programming environment. In addition, expert systems have also assumed a growing role in providing human-like reasoning capability expertise for computer systems. The integration is discussed of expert system technology with Ada programming language, especially a rule-based expert system using an ART-Ada (Automated Reasoning Tool for Ada) system shell. NASA Lewis was chosen as a beta test site for ART-Ada. The test was conducted by implementing the existing Autonomous Power EXpert System (APEX), a Lisp-based power expert system, in ART-Ada. Three components, the rule-based expert systems, a graphics user interface, and communications software make up SMART-Ada (Systems fault Management with ART-Ada). The rules were written in the ART-Ada development environment and converted to Ada source code. The graphics interface was developed with the Transportable Application Environment (TAE) Plus, which generates Ada source code to control graphics images. SMART-Ada communicates with a remote host to obtain either simulated or real data. The Ada source code generated with ART-Ada, TAE Plus, and communications code was incorporated into an Ada expert system that reads the data from a power distribution test bed, applies the rule to determine a fault, if one exists, and graphically displays it on the screen. The main objective, to conduct a beta test on the ART-Ada rule-based expert system shell, was achieved. The system is operational. New Ada tools will assist in future successful projects. ART-Ada is one such tool and is a viable alternative to the straight Ada code when an application requires a rule-based or knowledge-based approach.
Mcbride, John G.
The mission of the AdaNET research effort is to determine how to increase the availability of reusable Ada components and associated software engineering technology to both private and Federal sectors. The effort is structured to define the requirements for transfer of Federally developed software technology, study feasible approaches to meeting the requirements, and to gain experience in applying various technologies and practices. The overall approach to the development of the AdaNET System Specification is presented. A work breakdown structure is presented with each research activity described in detail. The deliverables for each work area are summarized. The overall organization and responsibilities for each research area are described. The schedule and necessary resources are presented for each research activity. The estimated cost is summarized for each activity. The project plan is fully described in the Super Project Expert data file contained on the floppy disk attached to the back cover of this plan.
Ada has the potential to be a part of the most significant change in software engineering technology within NASA in the last twenty years. Thus, it is particularly important that all NASA centers be aware of Ada experience and plans at other centers. Ada activity across NASA are covered, with presenters representing five of the nine major NASA centers and the Space Station Freedom Program Office. Projects discussed included - Space Station Freedom Program Office: the implications of Ada on training, reuse, management and the software support environment; Johnson Space Center (JSC): early experience with the use of Ada, software engineering and Ada training and the evaluation of Ada compilers; Marshall Space Flight Center (MSFC): university research with Ada and the application of Ada to Space Station Freedom, the Orbital Maneuvering Vehicle, the Aero-Assist Flight Experiment and the Secure Shuttle Data System; Lewis Research Center (LeRC): the evolution of Ada software to support the Space Station Power Management and Distribution System; Jet Propulsion Laboratory (JPL): the creation of a centralized Ada development laboratory and current applications of Ada including the Real-time Weather Processor for the FAA; and Goddard Space Flight Center (GSFC): experiences with Ada in the Flight Dynamics Division and the Extreme Ultraviolet Explorer (EUVE) project and the implications of GSFC experience for Ada use in NASA. Despite the diversity of the presentations, several common themes emerged from the program: Methodology - NASA experience in general indicates that the effective use of Ada requires modern software engineering methodologies; Training - It is the software engineering principles and methods that surround Ada, rather than Ada itself, which requires the major training effort; Reuse - Due to training and transition costs, the use of Ada may initially actually decrease productivity, as was clearly found at GSFC; and real-time work at LeRC, JPL and GSFC shows
This experiment involved the parallel development of dynamics simulators for the Gamma Ray Observatory in both FORTRAN and Ada for the purpose of evaluating the applicability of Ada to the NASA/Goddard Space Flight Center's flight dynamics environment. The experiment successfully demonstrated that Ada is a viable, valuable technology for use in this environment. In addition to building a simulator, the Ada team evaluated training approaches, developed an Ada methodology appropriate to the flight dynamics environment, and established a baseline for evaluating future Ada projects.
Wilke, Randy; Roy, Daniel M.
After completing a small Ada pilot project (OCC simulator) for the Multi Satellite Operations Control Center (MSOCC) at Goddard last year, the use of Ada to develop OCCs was recommended. To help MSOCC transition toward Ada, a suite of about 100 evaluation programs was developed which can be used to assess Ada compilers. These programs compare the overall quality of the compilation system, compare the relative efficiencies of the compilers and the environments in which they work, and compare the size and execution speed of generated machine code. Another goal of the benchmark software was to provide MSOCC system developers with rough timing estimates for the purpose of predicting performance of future systems written in Ada.
Overall, it was revealed that the pattern of Ada reuse has evolved from initial reuse of utility components into reuse of generalized application architectures. Utility components were both domain-independent utilities, such as queues and stacks, and domain-specific utilities, such as those that implement spacecraft orbit and attitude mathematical functions and physics or astronomical models. The level of reuse was significantly increased with the development of a generalized telemetry simulator architecture. The use of Ada generics significantly increased the level of verbatum reuse, which is due to the ability, using Ada generics, to parameterize the aspects of design that are configurable during reuse. A key factor in implementing generalized architectures was the ability to use generic subprogram parameters to tailor parts of the algorithm embedded within the architecture. The use of object oriented design (in which objects model real world entities) significantly improved the modularity for reuse. Encapsulating into packages the data and operations associated with common real world entities creates natural building blocks for reuse.
Paulk, Mark C.
The Ada programming language provides a means of specifying logical concurrency by using multitasking. Extending the Ada multitasking concurrency mechanism into a physically concurrent distributed environment which imposes its own requirements can lead to incompatibilities. These problems are discussed. Using distributed Ada for a target system may be appropriate, but when using the Ada language in a host environment, a multiprocessing model may be more suitable than retargeting an Ada compiler for the distributed environment. The tradeoffs between multitasking on distributed targets and multiprocessing on distributed hosts are discussed. Comparisons of the multitasking and multiprocessing models indicate different areas of application.
Brophy, Carolyn Elizabeth
A case study was done at Goddard Space Flight Center, in which two dynamics satellite simulators are developed from the same requirements, one in Ada and the other in FORTRAN. The purpose of the research was to find out how well the prescriptive Ada development model worked to develop the Ada simulator. The FORTRAN simulator development, as well as past FORTRAN developments, provided a baseline for comparison. Since this was the first simulator developed here, the prescriptive Ada development model had many similarities to the usual FORTRAN development model. However, it was modified to include longer design and shorter testing phases, which is generally expected with Ada development. One surprising result was that the percentage of time the Ada project spent in the various development activities was very similar to the percentage of time spent in these activities when doing a FORTRAN project. Another surprising finding was the difficulty the Ada team had with unit testing as well as with integration. In retrospect it is realized that adding additional steps to the design phase, such as an abstract data type analysis, and certain guidelines to the implementation phase, such as to use primarily library units and nest sparingly, would have made development much easier.
Booth, Eric W.; Stark, Michael E.
The SEL is an organization sponsored by NASA/GSFC to investigate the effectiveness of software engineering technologies applied to the development of applications software. The SEL was created in 1977 and has three organizational members: NASA/GSFC, Systems Development Branch; The University of Maryland, Computer Sciences Department; and Computer Sciences Corporation, Systems Development Operation. The goals of the SEL are as follows: (1) to understand the software development process in the GSFC environments; (2) to measure the effect of various methodologies, tools, and models on this process; and (3) to identify and then to apply successful development practices. The activities, findings, and recommendations of the SEL are recorded in the Software Engineering Laboratory Series, a continuing series of reports that include the Ada Performance Study Report. This paper describes the background of Ada in the Flight Dynamics Division (FDD), the objectives and scope of the Ada Performance Study, the measurement approach used, the performance tests performed, the major test results, and the implications for future FDD Ada development efforts.
Hood, Philip E.
An important issue that must be faced while introducing Ada into the real time world is efficient and prodictable runtime behavior. One of the most effective methods employed during the traditional design of a real time system is the cyclic executive. The role cyclic scheduling might play in an Ada application in terms of currently available implementations and in terms of implementations that might be developed especially to support real time system development is examined. The cyclic executive solves many of the problems faced by real time designers, resulting in a system for which it is relatively easy to achieve approporiate timing behavior. Unfortunately a cyclic executive carries with it a very high maintenance penalty over the lifetime of the software that is schedules. Additionally, these cyclic systems tend to be quite fragil when any aspect of the system changes. The findings are presented of an ongoing SofTech investigation into Ada methods for real time system development. The topics covered include a description of the costs involved in using cyclic schedulers, the sources of these costs, and measures for future systems to avoid these costs without giving up the runtime performance of a cyclic system.
Mcgarry, F.; Esker, L.; Quimby, K.
Many aspects of software development with Ada have evolved as our Ada development environment has matured and personnel have become more experienced in the use of Ada. The Software Engineering Laboratory (SEL) has seen differences in the areas of cost, reliability, reuse, size, and use of Ada features. A first Ada project can be expected to cost about 30 percent more than an equivalent FORTRAN project. However, the SEL has observed significant improvements over time as a development environment progresses to second and third uses of Ada. The reliability of Ada projects is initially similar to what is expected in a mature FORTRAN environment. However, with time, one can expect to gain improvements as experience with the language increases. Reuse is one of the most promising aspects of Ada. The proportion of reusable Ada software on our Ada projects exceeds the proportion of reusable FORTRAN software on our FORTRAN projects. This result was noted fairly early in our Ada projects, and experience shows an increasing trend over time.
Collard, Philippe E.
The use of parallel processing paradigm to design and develop faster and more reliable computers appear to clearly mark the future of information processing. NASA started the development of such an architecture: the Spaceborne VHSIC Multi-processor System (SVMS). Ada will be one of the languages used to program the SVMS. One of the unique characteristics of Ada is that it supports parallel processing at the language level through the tasking constructs. It is important for the SVMS project team to assess how efficiently the SVMS architecture will be implemented, as well as how efficiently Ada environment will be ported to the SVMS. AUTOCLASS II, a Bayesian classifier written in Common Lisp, was selected as one of the benchmarks for SVMS configurations. The purpose of the R and D effort was to provide the SVMS project team with the version of AUTOCLASS II, written in Ada, that would make use of Ada tasking constructs as much as possible so as to constitute a suitable benchmark. Additionally, a set of programs was developed that would measure Ada tasking efficiency on parallel architectures as well as determine the critical parameters influencing tasking efficiency. All this was designed to provide the SVMS project team with a set of suitable tools in the development of the SVMS architecture.
Clough, Anne J.
Some of the experience gained from a comprehensive educational program undertaken at The Charles Stark Draper Lab. to introduce the Ada language and to transition modern software engineering technology into the development of Ada and non-Ada applications is described. Initially, a core group, which included manager, engineers and programmers, received training in Ada. An Ada Office was established to assume the major responsibility for training, evaluation, acquisition and benchmarking of tools, and consultation on Ada projects. As a first step in this process, and in-house educational program was undertaken to introduce Ada to the Laboratory. Later, a software engineering course was added to the educational program as the need to address issues spanning the entire software life cycle became evident. Educational efforts to date are summarized, with an emphasis on the educational approach adopted. Finally, lessons learned in administering this program are addressed.
Roy, Daniel M.; Wilke, Randall W.
Ada practitioners should use this document to discuss and establish common short term requirements for Ada runtime environments. The major current Ada runtime environment issues are identified through the analysis of some of the Ada efforts at NASA and other research centers. The runtime environment characteristics of major compilers are compared while alternate runtime implementations are reviewed. Modifications and extensions to the Ada Language Reference Manual to address some of these runtime issues are proposed. Three classes of projects focusing on the most critical runtime features of Ada are recommended, including a range of immediately feasible full scale Ada development projects. Also, a list of runtime features and procurement issues is proposed for consideration by the vendors, contractors and the government.
Modern software engineering promises significant reductions in software costs and improvements in software quality. The Ada language is the focus for these software methodology and tool improvements. The IBM FSD approach, including the software engineering practices that guide the systematic design and development of software products and the management of the software process are examined. The revised Ada design language adaptation is revealed. This four level design methodology is detailed including the purpose of each level, the management strategy that integrates the software design activity with the program milestones, and the technical strategy that maps the Ada constructs to each level of design. A complete description of each design level is provided along with specific design language recording guidelines for each level. Finally, some testimony is offered on education, tools, architecture, and metrics resulting from project use of the four level Ada design language adaptation.
Recently, I wrote a paper discussing the lack of 'true' object-oriented programming language features in Ada 83, why one might desire them in Ada, and how they might be added in Ada 9X. The approach I took in this paper was to build the new object-oriented features of Ada 9X as much as possible on the basic constructs and philosophy of Ada 83. The object-oriented features proposed for Ada 9X, while different in detail, are based on the same kind of approach. Further consideration of this approach led me on a long reflection on the nature of object-oriented programming and its application to Ada. The results of this reflection, presented in this paper, show how a fairly natural object-oriented style can indeed be developed even in Ada 83. The exercise of developing this style is useful for at least three reasons: (1) it provides a useful style for programming object-oriented applications in Ada 83 until new features become available with Ada 9X; (2) it demystifies many of the mechanisms that seem to be 'magic' in most object-oriented programming languages by making them explicit; and (3) it points out areas that are and are not in need of change in Ada 83 to make object-oriented programming more natural in Ada 9X. In the next four sections I will address in turn the issues of object-oriented classes, mixins, self-reference and supertyping. The presentation is through a sequence of examples. This results in some overlap with that paper, but all the examples in the present paper are written entirely in Ada 83. I will return to considerations for Ada 9X in the last section of the paper.
Jaworski, Allan; Lavallee, David; Zoch, David
The prototype demonstrates the feasibility of using Ada for expert systems and the implementation of an expert-friendly interface which supports knowledge entry. In the Ford LISP-Ada Connection (FLAC) system LISP and Ada are used in ways which complement their respective capabilities. Future investigation will concentrate on the enhancement of the expert knowledge entry/debugging interface and on the issues associated with multitasking and real-time expert systems implementation in Ada.
The Ada Test and Verification System (ATVS) functional description and high level design are completed and summarized. The ATVS will provide a comprehensive set of test and verification capabilities specifically addressing the features of the Ada language, support for embedded system development, distributed environments, and advanced user interface capabilities. Its design emphasis was on effective software development environment integration and flexibility to ensure its long-term use in the Ada software development community.
Freedman, Glenn B.
The objective was to introduce the basic terminology and concepts of software engineering and Ada. The life cycle model is reviewed. The application of the goals and principles of software engineering is applied. An introductory understanding of the features of the Ada language is gained. Topics addressed include: the software crises; the mandate of the Space Station Program; software life cycle model; software engineering; and Ada under the software engineering umbrella.
Godfrey, Sara; Brophy, Carolyn Elizabeth
The use of the Ada language and design methodologies that encourage full use of its capabilities have a strong impact on all phases of the software development project life cycle. At the National Aeronautics and Space Administration/Goddard Space Flight Center (NASA/GSFC), the Software Engineering Laboratory (SEL) conducted an experiment in parallel development of two flight dynamics systems in FORTRAN and Ada. The differences observed during the implementation, unit testing, and integration phases of the two projects are described and the lessons learned during the implementation phase of the Ada development are outlined. Included are recommendations for future Ada development projects.
The SAIC has the responsibility for independent test and validation of the SSE. They have been using a mathematical functions library package implemented in Ada to test the SSE IV and V process. The library package consists of elementary mathematical functions and is both machine and accuracy independent. The SSE Ada components evaluation includes code complexity metrics based on Halstead's software science metrics and McCabe's measure of cyclomatic complexity. Halstead's metrics are based on the number of operators and operands on a logical unit of code and are compiled from the number of distinct operators, distinct operands, and total number of occurrences of operators and operands. These metrics give an indication of the physical size of a program in terms of operators and operands and are used diagnostically to point to potential problems. McCabe's Cyclomatic Complexity Metrics (CCM) are compiled from flow charts transformed to equivalent directed graphs. The CCM is a measure of the total number of linearly independent paths through the code's control structure. These metrics were computed for the Ada mathematical functions library using Software Automated Verification and Validation (SAVVAS), the SSE IV and V tool. A table with selected results was shown, indicating that most of these routines are of good quality. Thresholds for the Halstead measures indicate poor quality if the length metric exceeds 260 or difficulty is greater than 190. The McCabe CCM indicated a high quality of software products.
Some of the problems unique to building a very large Ada system are addressed. This is done through examples from experience. In the winter of 1985 and 1986, Intermetrics bootstrapped the Ada compiler, which was being built over the last few years. This system consists of about one million lines of full Ada. Over the last few years a number of procedures and tools were adopted for managing the life cycle of each of the many parts of an Ada system. Many of these procedures are well known to most system builders: release management, quality assurance testing; and source file revision control. Others are unique to working in an Ada language environment; i.e., recompilation management, Ada program library management, and managing multiple implementations. First a look is taken at how a large Ada system is broken down into pieces. The Ada definition leaves unspecified a number of issues that the system builder must address: versions, subsystems, multiple implementations, and synchronization of branched development paths. Having introduced how the Ada systems are decomposed, a look is taken, via a series of examples, at how the life cylces of those parts is managed. The procedures and tools used to manage the evolution of the system are examined. It is hoped that other Ada system builders can build upon the experience of the last few years.
Guaspari, David; Mchugh, John; Wolfgang, Polak; Saaltink, Mark
The Ada 9X language precision team was formed during the revisions of Ada 83, with the goal of analyzing the proposed design, identifying problems, and suggesting improvements, through the use of mathematical models. This report defines a framework for formally describing Ada 9X, based on Kahn's 'natural semantics', and applies the framework to portions of the language. The proposals for exceptions and optimization freedoms are also analyzed, using a different technique.
Funk, David W.
As Ada solidified in its development, it became evident that it offered advantages for avionics systems because of it support for modern software engineering principles and real time applications. An Ada programming support environment was developed for two major avionics subsystems in the Beech Starship. The two subsystems include electronic flight instrument displays and the flight management computer system. Both of these systems use multiple Intel 80186 microprocessors. The flight management computer provides flight planning, navigation displays, primary flight display of checklists and other pilot advisory information. Together these systems represent nearly 80,000 lines of Ada source code and to date approximately 30 man years of effort. The Beech Starship avionics systems are in flight testing.
Bailey, John; Waligora, Sharon; Stark, Mike
In 1985, NASA Goddard's Flight Dynamics Division (FDD) began investigating how the Ada language might apply to their software development projects. Although they began cautiously using Ada on only a few pilot projects, they expected that, if the Ada pilots showed promising results, they would fully transition their entire development organization from FORTRAN to Ada within 10 years. However, nearly 9 years later, the FDD still produces 80 percent of its software in FORTRAN, despite positive results on Ada projects. This paper reports preliminary results of an ongoing study, commissioned by the FDD, to quantify the impact of Ada in the FDD, to determine why Ada has not flourished, and to recommend future directions regarding Ada. Project trends in both languages are examined as are external factors and cultural issues that affected the infusion of this technology. This paper is the first public report on the Ada assessment study, which will conclude with a comprehensive final report in mid 1994.
Masotto, Tom; Babikyan, Carol; Harper, Richard
The Knowledge Representation into Ada Parallel Processing project is a joint NASA and Air Force funded project to demonstrate the execution of intelligent systems in Ada on the Charles Stark Draper Laboratory fault-tolerant parallel processor (FTPP). Two applications were demonstrated - a portion of the adaptive tactical navigator and a real time controller. Both systems are implemented as Activation Framework Objects on the Activation Framework intelligent scheduling mechanism developed by Worcester Polytechnic Institute. The implementations, results of performance analyses showing speedup due to parallelism and initial efficiency improvements are detailed and further areas for performance improvements are suggested.
Volz, Richard A.; Goldsack, Stephen J.; Theriault, R.; Waldrop, Raymond S.; Holzbacher-Valero, A. A.
Recently, the DoD has sponsored work towards a new version of Ada, intended to support the construction of distributed systems. The revised version, often called Ada 9X, will become the new standard sometimes in the 1990s. It is intended that Ada 9X should provide language features giving limited support for distributed system construction. The requirements for such features are given. Many of the most advanced computer applications involve embedded systems that are comprised of parallel processors or networks of distributed computers. If Ada is to become the widely adopted language envisioned by many, it is essential that suitable compilers and tools be available to facilitate the creation of distributed and parallel Ada programs for these applications. The major languages issues impacting distributed and parallel programming are reviewed, and some principles upon which distributed/parallel language systems should be built are suggested. Based upon these, alternative language concepts for distributed/parallel programming are analyzed.
Cross, James H., II
The GRASP/Ada project (Graphical Representations of Algorithms, Structures, and Processes for Ada) has successfully created and prototyped a new algorithmic level graphical representation of Ada software, the Control Structure Diagram (CSD). The primary impetus for creation of the CSD was to improve the comprehension efficiency of Ada software and, as a result, improve reliability and reduce costs. The emphasis was on the automatic generation of the CSD from Ada PDL or source code to support reverse engineering and maintenance. The CSD has the potential to replace traditional prettyprinted Ada source code. In Phase 1 of the GRASP/Ada project, the CSD graphical constructs were created and applied manually to several small Ada programs. A prototype (Version 1) was designed and implemented using FLEX and BISON running under VMS on a VAS 11-780. In Phase 2, the prototype was improved and ported to the Sun 4 platform under UNIX. A user interface was designed and partially implemented using the HP widget toolkit and the X Windows System. In Phase 3, the user interface was extensively reworked using the Athena widget toolkit and X Windows. The prototype was applied successfully to numerous Ada programs ranging in size from several hundred to several thousand lines of source code. Following Phase 3, the prototype was evaluated by software engineering students at Auburn University and then updated with significant enhancements to the user interface including editing capabilities. Version 3.2 of the prototype was prepared for limited distribution to facilitate further evaluation. The current prototype provides the capability for the user to generate CSD's from Ada PDL or source code in a reverse engineering as well as forward engineering mode with a level of flexibility suitable for practical application.
Manna, Anthony, L.; Hill, Janet; Kellogg, Kathy
Alma Flor Ada, a folklorist, novelist, scholar, teacher, and children's book author has passionate dedication to education for social justice, equality, and peace. As a faculty member at the University of San Francisco, Ada has developed programs that help students and others transform their lives and has written several bilingual legends and…
Hihn, Jairus M.; Habib-Agahi, Hamid; Malhotra, Shan
A case study of the impact of Ada on a Command and Control project completed at the Jet Propulsion Laboratory (JPL) is given. The data for this study was collected as part of a general survey of software costs and productivity at JPL and other NASA sites. The task analyzed is a successful example of the use of rapid prototyping as applied to command and control for the U.S. Air Force and provides the U.S. Air Force Military Airlift Command with the ability to track aircraft, air crews and payloads worldwide. The task consists of a replicated database at several globally distributed sites. The local databases at each site can be updated within seconds after changes are entered at any one site. The system must be able to handle up to 400,000 activities per day. There are currently seven sites, each with a local area network of computers and a variety of user displays; the local area networks are tied together into a single wide area network. Using data obtained for eight modules, totaling approximately 500,000 source lines of code, researchers analyze the differences in productivities between subtasks. Factors considered are percentage of Ada used in coding, years of programmer experience, and the use of Ada tools and modern programming practices. The principle findings are the following. Productivity is very sensitive to programmer experience. The use of Ada software tools and the use of modern programming practices are important; without such use Ada is just a large complex language which can cause productivity to decrease. The impact of Ada on development effort phases is consistent with earlier reports at the project level but not at the module level.
Department of Justice, Washington, DC. Civil Rights Div.
This guide presents an informal overview of some basic Americans with Disabilities Act (ADA) requirements for small businesses that provide goods or services to the public. References to key sections of the regulations or other information are included. The first section describes the ADA briefly. Section two lists the 12 categories of public…
An artist acquires all the necessary tools before painting a scene. In the same analogy, a software engineer needs the necessary tools to provide their design with the proper means for implementation. Ada provide these tools. Yet, as an artist's painting needs a brochure to accompany it for further explanation of the scene, an Ada design also needs a document along with it to show the design in its detailed structure and hierarchical order. Ada could be self-explanatory in small programs not exceeding fifty lines of code in length. But, in a large environment, ranging from thousands of lines and above, Ada programs need to be well documented to be preserved and maintained. The language used to specify an Ada document is called Ada Structure Design Language (ASDL). This language sets some rules to help derive a well formatted Ada detailed design document. The rules are defined to meet the needs of a project manager, a maintenance team, a programmer and a systems designer. The design document templates, the document extractor, and the rules set forth by the ASDL are explained in detail.
Brown, David B.
Results of research and development efforts are presented for Task 1, Phase 2 of a general project entitled, The Development of a Program Analysis Environment for Ada. A prototype of the QUEST/Ada system was developed to collect data to determine the effectiveness of the rule-based testing paradigm. The prototype consists of five parts: the test data generator, the parser/scanner, the test coverage analyzer, a symbolic evaluator, and a data management facility, known as the Librarian. These components are discussed at length. Also presented is an experimental design for the evaluations, an overview of the project, and a schedule for its completion.
The functions of the AdaNET Prototype Library of Reusable Software Parts is described. Adopted from the Navy Research Laboratory's Reusability Guidebook (V.5.0), this is a working document, customized for use the the AdaNET Project. Within this document, the term part is used to denote the smallest unit controlled by a library and retrievable from it. A part may have several constituents, which may not be individually tracked. Presented are the types of parts which may be stored in the library and the relationships among those parts; a concept of trust indicators which provide measures of confidence that a user of a previously developed part may reasonably apply to a part for a new application; search and retrieval, configuration management, and communications among those who interact with the AdaNET Prototype Library; and the AdaNET Prototype, described from the perspective of its three major users: the part reuser and retriever, the part submitter, and the librarian and/or administrator.
Cross, James H., II
The GRASP/Ada project (Graphical Representations of Algorithms, Structures, and Processes for Ada) successfully created and prototyped a new algorithmic level graphical representation for Ada software, the Control Structure Diagram (CSD). The primary impetus for creation of the CSD was to improve the comprehension efficiency of Ada software and, as a result, improve reliability and reduce costs. The emphasis was on the automatic generation of the CSD from Ada PDL or source code to support reverse engineering and maintenance. The CSD has the potential to replace traditional pretty printed Ada source code. In Phase 1 of the GRASP/Ada project, the CSD graphical constructs were created and applied manually to several small Ada programs. A prototype CSD generator (Version 1) was designed and implemented using FLEX and BISON running under VMS on a VAX 11-780. In Phase 2, the prototype was improved and ported to the Sun 4 platform under UNIX. A user interface was designed and partially implemented using the HP widget toolkit and the X Windows System. In Phase 3, the user interface was extensively reworked using the Athena widget toolkit and X Windows. The prototype was applied successfully to numerous Ada programs ranging in size from several hundred to several thousand lines of source code. Following Phase 3,e two update phases were completed. Update'92 focused on the initial analysis of evaluation data collected from software engineering students at Auburn University and the addition of significant enhancements to the user interface. Update'93 (the current update) focused on the statistical analysis of the data collected in the previous update and preparation of Version 3.4 of the prototype for limited distribution to facilitate further evaluation. The current prototype provides the capability for the user to generate CSD's from Ada PDL or source code in a reverse engineering as well as forward engineering mode with a level of flexibility suitable for practical
Booth, Eric W.; Stark, Michael E.
The goals of the Ada Performance Study are described. The methods used are explained. Guidelines for future Ada development efforts are given. The goals and scope of the study are detailed, and the background of Ada development in the Flight Dynamics Division (FDD) is presented. The organization and overall purpose of each test are discussed. The purpose, methods, and results of each test and analyses of these results are given. Guidelines for future development efforts based on the analysis of results from this study are provided. The approach used on the performance tests is discussed.
Cohen, Norman H.
An integrated set of tools called a validation environment is proposed to support the validation of Ada programs by a combination of methods. A Modular Ada Validation Environment (MAVEN) is described which proposes a context in which formal verification can fit into the industrial development of Ada software.
Quimby, Kelvin L.; Esker, Linda; Miller, John; Smith, Laurie; Stark, Mike; Mcgarry, Frank
An analysis is presented of the software engineering issues related to the use of Ada for the implementation and system testing phases of four Ada projects developed in the flight dynamics area. These projects reflect an evolving understanding of more effective use of Ada features. In addition, the testing methodology used on these projects has changed substantially from that used on previous FORTRAN projects.
Klumpp, A. R.; Lawson, C. L.
Routines provided for common scalar, vector, matrix, and quaternion operations. Computer program extends Ada programming language to include linear-algebra capabilities similar to HAS/S programming language. Designed for such avionics applications as software for Space Station.
Filman, Robert E.; Feldman, Roy D.
The first year of the PrKAda project is recounted. The primary goal was to develop a system for delivering Artificial Intelligence applications developed in the ProKappa system in a pure-Ada environment. The following areas are discussed: the ProKappa core and ProTalk programming language; the current status of the implementation; the limitations and restrictions of the current system; and the development of Ada-language message handlers in the ProKappa environment.
Lee, S. Daniel; Allen, Bradley P.
Interest in deploying expert systems in Ada has increased. An Ada based expert system tool is described called ART-Ada, which was built to support research into the language and methodological issues of expert systems in Ada. ART-Ada allows applications of an existing expert system tool called ART-IM (Automated Reasoning Tool for Information Management) to be deployed in various Ada environments. ART-IM, a C-based expert system tool, is used to generate Ada source code which is compiled and linked with an Ada based inference engine to produce an Ada executable image. ART-Ada is being used to implement several expert systems for NASA's Space Station Freedom Program and the U.S. Air Force.
Knight, J. C.
The use and implementation of Ada in distributed environments in which reliability is the primary concern were investigted. A distributed system, programmed entirely in Ada, was studied to assess the use of individual tasks without concern for the processor used. Continued development and testing of the fault tolerant Ada testbed; development of suggested changes to Ada to cope with the failures of interest; design of approaches to fault tolerant software in real time systems, and the integration of these ideas into Ada; and the preparation of various papers and presentations were discussed.
Cernosek, Gary J.
As the requirements for producing software in the Ada language become a reality for projects such as the Space Station, a great amount of Ada-based program code will begin to emerge. Recognizing the potential for varying levels of quality to result in Ada programs, what is needed is a classification scheme that describes the quality of a software product whose source code exists in Ada form. A 5-level classification scheme is proposed that attempts to decompose this potentially broad spectrum of quality which Ada programs may possess. The number of classes and their corresponding names are not as important as the mere fact that there needs to be some set of criteria from which to evaluate programs existing in Ada. An exact criteria for each class is not presented, nor are any detailed suggestions of how to effectively implement this quality assessment. The idea of Ada-based software classification is introduced and a set of requirements from which to base further research and development is suggested.
Filman, Robert E.; Bock, Conrad; Feldman, Roy
The dominant technology for developing AI applications is to work in a multi-mechanism, integrated, knowledge-based system (KBS) development environment. Unfortunately, systems developed in such environments are inappropriate for delivering many applications - most importantly, they carry the baggage of the entire Lisp environment and are not written in conventional languages. One resolution of this problem would be to compile applications from complex environments to conventional languages. Here the first efforts to develop a system for compiling KBS developed in KEE to Ada (trademark). This system is called KATYDID, for KEE/Ada Translation Yields Development Into Delivery. KATYDID includes early prototypes of a run-time KEE core (object-structure) library module for Ada, and translation mechanisms for knowledge structures, rules, and Lisp code to Ada. Using these tools, part of a simple expert system was compiled (not quite automatically) to run in a purely Ada environment. This experience has given us various insights on Ada as an artificial intelligence programming language, potential solutions of some of the engineering difficulties encountered in early work, and inspiration on future system development.
Agresti, W. W.; Church, V. E.; Card, D. N.; Lo, P. L.
A FORTRAN oriented and an Ada oriented design for the same system are compared to learn whether an essentially different design was produced using Ada. The designs were produced by an experiment that involves the parallel development of software for a spacecraft dynamics simulator. Design differences are identified in the use of abstractions, system structure, and simulator operations. Although the designs were vastly different, this result may be influenced by some special characteristics discussed.
Agresti, William W.; Church, Victor E.; Card, David N.; Lo, P. L.
A FORTRAN-operated and an Ada-oriented design for the same system are compared to learn whether an essentially different design was produced using Ada. The designs were produced by an experiment that involves the parallel development of software for a spacecraft dynamics simulator. Design differences are identified in the use of abstractions, system structure, and simulator operations. Although the designs were significantly different, this result may be influenced by some special characteristics discussed.
Nise, Norman S.; Giffin, Chuck
Two important considerations that precede the design of Ada reusable packages (commonality and programming standards) are discuessed. First, the importance of designing packages to yield widespread commonality is expressed. A means of measuring the degree of applicability of packages both within and across applications areas is presented. Design consideration that will improve commonality are also discussed. Second, considerations for the development of programming standards are set forth. These considerations will lead to standards that will improve the reusability of Ada packages.
Legrand, Sue; Freedman, Glenn B.; Svabek, L.
NASA's software engineering and Ada skill base are assessed and information that may result in new models for software engineering, Ada training plans, and curricula are provided. A quantitative assessment which reflects the requirements for software engineering and Ada training across NASA is provided. A recommended implementation plan including a suggested curriculum with associated duration per course and suggested means of delivery is also provided. The distinction between education and training is made. Although it was directed to focus on NASA's need for the latter, the key relationships to software engineering education are also identified. A rationale and strategy for implementing a life cycle education and training program are detailed in support of improved software engineering practices and the transition to Ada.
Cross, James H., II; Morrison, Kelly I.; May, Charles H., Jr.; Waddel, Kathryn C.
The first phase of a three-phase effort to develop a new graphically oriented specification language which will facilitate the reverse engineering of Ada source code into graphical representations (GRs) as well as the automatic generation of Ada source code is described. A simplified view of the three phases of Graphical Representations for Algorithms, Structure, and Processes for Ada (GRASP/Ada) with respect to three basic classes of GRs is presented. Phase 1 concentrated on the derivation of an algorithmic diagram, the control structure diagram (CSD) (CRO88a) from Ada source code or Ada PDL. Phase 2 includes the generation of architectural and system level diagrams such as structure charts and data flow diagrams and should result in a requirements specification for a graphically oriented language able to support automatic code generation. Phase 3 will concentrate on the development of a prototype to demonstrate the feasibility of this new specification language.
Fiala, Harvey E.
The use of Artificial Intelligence (AI) and the programming language Ada to help a satellite recover from selected failures that could lead to mission failure are described. An unmanned satellite will have a separate AI subsystem running in parallel with the normal satellite subsystems. A satellite monitoring subsystem (SMS), under the control of a blackboard system, will continuously monitor selected satellite subsystems to become alert to any actual or potential problems. In the case of loss of communications with the earth or the home base, the satellite will go into a survival mode to reestablish communications with the earth. The use of an AI subsystem in this manner would have avoided the tragic loss of the two recent Soviet probes that were sent to investigate the planet Mars and its moons. The blackboard system works in conjunction with an SMS and a reconfiguration control subsystem (RCS). It can be shown to be an effective way for one central control subsystem to monitor and coordinate the activities and loads of many interacting subsystems that may or may not contain redundant and/or fault-tolerant elements. The blackboard system will be coded in Ada using tools such as the ABLE development system and the Ada Production system.
Seidewitz, Edwin V.; Agresti, William; Ferry, Daniel; Lavallee, David; Maresca, Paul; Nelson, Robert; Quimby, Kelvin; Rosenberg, Jacob; Roy, Daniel; Shell, Allyn
Ada is a programming language of considerable expressive power. The Ada Language Reference Manual provides a thorough definition of the language. However, it does not offer sufficient guidance on the appropriate use of Ada's powerful features. For this reason, the Goddard Space Flight Center Ada User's Group has produced this style guide which addresses such program style issues. The guide covers three areas of Ada program style: the structural decomposition of a program; the coding and the use of specific Ada features; and the textural formatting of a program.
Huber, Judy; Jones, Garry
Using the examples of Owen D. Young School in Van Hornesville, New York, and the Tonawanda City school district in Buffalo, New York, describes how school planners should take the accessibility standards mandated by the Americans with Disabilities Act (ADA) into account when renovating. (EV)
Stubenrauch, Kay; Künzel, Christian; Vogel, Rudolf; Tuerck, Dietrich; Schick, Eginhard; Heinrich, Julia
Targeted immunocytokines (TICs) display potent activity in selective tumor suppression. This class of multi domain biotherapeutics (MDBs) is composed of the three major domains Fab, Fc, and a cytokine which may induce a complex polyclonal anti-drug antibody (ADA) response. However, classical ADA assays usually are not suitable to specify ADAs and to identify the immunogenic domains of a TIC. The purpose of the present study was to establish epitope characterization of ADA responses in order to specify immunogenic responses against a TIC and their direct impact on the pharmacokinetic profile, safety, and efficacy. Based on standard ADA screening and confirmation assays, respectively, domain detection assays (DDAs) and domain competition assays (DCAs) were established and compared by the use of 12 ADA-positive samples obtained from a cynomolgus monkey study in early development. Both domain-specific assays were sensitive enough to preserve the positive screening assay result and revealed an overall accordance for the evaluation of domain-specific ADA responses. About half of the samples displayed one ADA specificity, either for the Fab or for the cytokine (Cy) domain, and the remaining samples showed a combination of Fab-specific and Cy-specific ADA fractions. Fc-specific ADAs occurred in only one sample. In-depth comparison of DCAs and DDAs showed that both assays appeared to be appropriate to assess multi-specific ADA responses as well as minor ADA fractions. An advantage of DCAs is typically a fast and easy assay establishment, whereas, DDAs in some cases may be superior to assess low abundant ADAs in multi-specific responses. Our results reveal that both approaches benefit from thorough reagent development as an essential precondition for reliable epitope characterization of ADA responses. PMID:26093509
Allen, Bradley P.
Various issues are studied in the context of the design of an Ada based expert system building tool. Using an existing successful design as a starting point, the impact is analyzed of the Ada language and Ada development methodologies on that design, the Ada system is redesigned, and its performance is analyzed using both complexity-theoretic and empirical techniques. The algorithms specified in the overall design are refined, resolving and documenting any open design issues, identifying each system module, documenting the internal architecture and control logic, and describing the primary data structures involved in the module.
Knight, J. C.
The use and implementation of Ada in distributed environments in which reliability is the primary concern is investigated. Emphasis is placed on the possibility that a distributed system may be programmed entirely in ADA so that the individual tasks of the system are unconcerned with which processors they are executing on, and that failures may occur in the software or underlying hardware. The primary activities are: (1) Continued development and testing of our fault-tolerant Ada testbed; (2) consideration of desirable language changes to allow Ada to provide useful semantics for failure; (3) analysis of the inadequacies of existing software fault tolerance strategies.
Clapp, Russell M.; Duchesneau, Louis; Volz, Richard A.; Mudge, Trevor N.; Schultze, Timothy
The issue of real-time performance measurements for the Ada programming language through the use of benchmarks is addressed. First, the Ada notion of time is examined and a set of basic measurement techniques are developed. Then a set of Ada language features believed to be important for real-time performance are presented and specific measurement methods discussed. In addition, other important time related features which are not explicitly part of the language but are part of the run-time related features which are not explicitly part of the language but are part of the run-time system are also identified and measurement techniques developed. The measurement techniques are applied to the language and run-time system features and the results are presented.
Leif, Robert C.; Rios, Robert; Becker, Margie C.; Becker, C. Kevin; Self, John T.; Leif, Suzanne B.
Two existing Ada tools AdaSAGE and AYACC were combined to produce a system that parses International Society for Analytical Cytology, ISAC, Flow Cytometry Standard 2.0 files and stores the data in AdaSAGE tables. There are significant differences in the way manufacturers interpret and conform to Flow Cytometry Standard 2.0. AdaSAGE is employed to analyze and plot the data from multiple experiments. This data is used to assess the stability of flow cytometers. The initial release will be for DOS. The utilization of AdaSAGE, which is a flexible database tool, will facilitate subsequent development of other products. The software engineer, whose previous professional experience was with C and C++, had very few problems with Ada syntax. The interface to the compiler and other tools was immature compared to those available for C++. The DOS text based user interface environment provided by AdaSAGE limited the functionality of the user interface. However, the present DOS 386 program can be directly ported to the newly released version of AdaSAGE for Microsoft Windows 95. Ada's strong type checking and package structure have significantly facilitated the development of the product.
Waligora, Sharon; Bailey, John; Stark, Mike
This paper presents the highlights and key findings of 10 years of use and study of Ada and object-oriented design in NASA Goddard's Flight Dynamics Division (FDD). In 1985, the Software Engineering Laboratory (SEL) began investigating how the Ada language might apply to FDD software development projects. Although they began cautiously using Ada on only a few pilot projects, they expected that, if the Ada pilots showed promising results, the FDD would fully transition its entire development organization from FORTRAN to Ada within 10 years. However, 10 years later, the FDD still produced 80 percent of its software in FORTRAN and had begun using C and C++, despite positive results on Ada projects. This paper presents the final results of a SEL study to quantify the impact of Ada in the FDD, to determine why Ada has not flourished, and to recommend future directions regarding Ada. Project trends in both languages are examined as are external factors and cultural issues that affected the infusion of this technology. The detailed results of this study were published in a formal study report in March of 1995. This paper supersedes the preliminary results of this study that were presented at the Eighteenth Annual Software Engineering Workshop in 1993.
At their March 1988 meeting, members of the National Aeronautics and Space Administration (NASA) Information Resources Management (IRM) Council expressed concern that NASA may not have the infrastructure necessary to support the use of Ada for major NASA software projects. Members also observed that the agency has no coordinated strategy for applying its experiences with Ada to subsequent projects (Hinners, 27 June 1988). To deal with these problems, the IRM Council chair appointed an intercenter Ada and Software Management Assessment Working Group (ASMAWG). They prepared a report (McGarry et al., March 1989) entitled, 'Ada and Software Management in NASA: Findings and Recommendations'. That report presented a series of recommendations intended to enable NASA to develop better software at lower cost through the use of Ada and other state-of-the-art software engineering technologies. The purpose here is to describe the steps (called objectives) by which this goal may be achieved, to identify the NASA officials or organizations responsible for carrying out the steps, and to define a schedule for doing so. This document sets forth four goals: adopt agency-wide software standards and policies; use Ada as the programming language for all mission software; establish an infrastructure to support software engineering, including the use of Ada, and to leverage the agency's software experience; and build the agency's knowledge base in Ada and software engineering. A schedule for achieving the objectives and goals is given.
Culbert, Chris; Riley, Gary; Savely, Robert T.; Melebeck, Clovis J.; White, Wesley A.; Mcgregor, Terry L.; Ferguson, Melisa; Razavipour, Reza
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.
An Ada-Based Expert System Building Tool Design Research Project was conducted. The goal was to investigate various issues in the context of the design of an Ada-based expert system building tool. An attempt was made to achieve a comprehensive understanding of the potential for embedding expert systems in Ada systems for eventual application in future projects. The current status of the project is described by introducing an operational prototype, ART/Ada. How the project was conducted is explained. The performance of the prototype is analyzed and compared with other related works. Future research directions are suggested.
Bailin, Sidney C.
A tool for evaluating object-oriented designs (OODs) for Ada software is described. The tool assumes a design expressed as a hierarchy of object diagrams. A design of this type identifies the objects of a system, an interface to each object, and the usage relationships between objects. When such a design is implemented in Ada, objects become packages, interfaces become package specifications, and usage relationships become Ada `with' clauses and package references. An automated quality assessor has been developed that is based on flagging undesirable design constructs. For convenience, distinctions are made among three levels of severity: questionable, undesirable, and hazardous. A questionable construct is one that may well be appropriate. An undesirable construct is one that should be changed because it is potentially harmful to the reliability, maintainability, or reusability of the software. A hazardous construct is one that is undesirable and that introduces a high level of risk.
analyst can send results output in graphical or tabular form to a terminal, disk, or hardcopy device, and can choose to have any or all items plotted against time or against each other. Goddard researchers developed GRODY on a VAX 8600 running VMS version 4.0. For near real time performance, GRODY requires a VAX at least as powerful as a model 8600 running VMS 4.0 or a later version. To use GRODY, the VAX needs an Ada Compilation System (ACS), Code Management System (CMS), and 1200K memory. GRODY is written in Ada and FORTRAN.
Usavage, Paul; Nagurney, Don
STGT (Second TDRSS Ground Terminal) is currently halfway through the System Integration Test phase (Level 4 Testing). To date, many software architecture and Ada language issues have been encountered and solved. This paper, which is the transcript of a presentation at the 3 Dec. meeting, attempts to define these lessons plus others learned regarding software project management and risk management issues, training, performance, reuse, and reliability. Observations are included regarding the use of particular Ada coding constructs, software architecture trade-offs during the prototyping, development and testing stages of the project, and dangers inherent in parallel or concurrent systems, software, hardware, and operations engineering.
Formal, mathematical methods are most useful when applied early in the design and implementation of a software system--that, at least, is the familiar refrain. I will report on a modest effort to apply formal methods at the earliest possible stage, namely, in the design of the Ada 95 programming language itself. This talk is an 'experience report' that provides brief case studies illustrating the kinds of problems we worked on, how we approached them, and the extent (if any) to which the results proved useful. It also derives some lessons and suggestions for those undertaking future projects of this kind. Ada 95 is the first revision of the standard for the Ada programming language. The revision began in 1988, when the Ada Joint Programming Office first asked the Ada Board to recommend a plan for revising the Ada standard. The first step in the revision was to solicit criticisms of Ada 83. A set of requirements for the new language standard, based on those criticisms, was published in 1990. A small design team, the Mapping Revision Team (MRT), became exclusively responsible for revising the language standard to satisfy those requirements. The MRT, from Intermetrics, is led by S. Tucker Taft. The work of the MRT was regularly subject to independent review and criticism by a committee of distinguished Reviewers and by several advisory teams--for example, the two User/Implementor teams, each consisting of an industrial user (attempting to make significant use of the new language on a realistic application) and a compiler vendor (undertaking, experimentally, to modify its current implementation in order to provide the necessary new features). One novel decision established the Language Precision Team (LPT), which investigated language proposals from a mathematical point of view. The LPT applied formal mathematical analysis to help improve the design of Ada 95 (e.g., by clarifying the language proposals) and to help promote its acceptance (e.g., by identifying a
Several presentations, mostly in viewgraph form, on various topics relating to Ada applications are given. Topics covered include the use of Ada in NASA, Ada and the Space Station, the software support environment, Ada in the Software Engineering Laboratory, Ada at the Jet Propulsion Laboratory, the Flight Telerobotic Servicer, and lessons learned in prototyping the Space Station Remote Manipulator System control.
The purpose of this study was to assess the impact of present point sources on the river and to obtain background information to develop effluent limitations for the City of Boise wastewater treatment facilities. The study was conducted on the Boise River (Ada County, ID) from L...
Knight, J. C.
The use and implementation of Ada were investigated in distributed environments in which reliability is the primary concern. In particular, the focus was on the possibility that a distributed system may be programmed entirely in Ada so that the individual tasks of the system are unconcerned with which processors are being executed, and that failures may occur in the software and underlying hardware. A secondary interest is in the performance of Ada systems and how that performance can be gauged reliably. Primary activities included: analysis of the original approach to recovery in distributed Ada programs using the Advanced Transport Operating System (ATOPS) example; review and assessment of the original approach which was found to be capable of improvement; development of a refined approach to recovery that was applied to the ATOPS example; and design and development of a performance assessment scheme for Ada programs based on a flexible user-driven benchmarking system.
Knight, J. C.; Gregory, S. T.; Urquhart, J. I. A.
The use and implementation of Ada in distributed environments in which reliability is the primary concern were investigated. In particular, the concept that a distributed system may be programmed entirely in Ada so that the individual tasks of the system are unconcerned with which processors they are executing on, and that failures may occur in the software or underlying hardware was examined. Progress is discussed for the following areas: continued development and testing of the fault-tolerant Ada testbed; development of suggested changes to Ada so that it might more easily cope with the failure of interest; and design of new approaches to fault-tolerant software in real-time systems, and integration of these ideas into Ada.
Humans are exposed to mixtures of chemicals from multiple pathways and routes. These exposures may result from a single event or may accumulate over time if multiple exposure events occur. The traditional approach of assessing risk from a single chemica...
Brennan, Peter; Mcdonnell, Tom; Mcfarland, Gregory; Timmins, Lawrence J.; Litke, John D.
Despite considerable commercial exploitation of fault tolerance systems, significant and difficult research problems remain in such areas as fault detection and correction. A research project is described which constructs a distributed computing test bed for loosely coupled computers. The project is constructing a tool kit to support research into distributed control algorithms, including a distributed Ada compiler, distributed debugger, test harnesses, and environment monitors. The Ada compiler is being written in Ada and will implement distributed computing at the subsystem level. The design goal is to provide a variety of control mechanics for distributed programming while retaining total transparency at the code level.
Trifonova, Petya; Metodiev, Metodi; Solakov, Dimcho; Simeonova, Stela; Vatseva, Rumiana
According to the current archeological investigations Ada Tepe is the oldest gold mine in Europe with Late Bronze and Early Iron age. It is a typical low-sulfidation epithermal gold deposit and is hosted in Maastrichtian-Paleocene sedimentary rocks above a detachment fault contact with underlying Paleozoic metamorphic rocks. Ada Tepe (25o.39'E; 41o.25'N) is located in the Eastern Rhodope unit. The region is highly segmented despite the low altitude (470-750 m) due to widespread volcanic and sediment rocks susceptible to torrential erosion during the cold season. Besides the thorough geological exploration focused on identifying cost-effective stocks of mineral resources, a detailed geophysical analysis concernig diferent stages of the gold extraction project was accomplished. We present the main results from the geophysical investigation aimed to clarify the complex seismotectonic setting of the Ada Tepe site region. The overall study methodology consists of collecting, reviewing and estimating geophysical and seismological information to constrain the model used for seismic hazard assessment of the area. Geophysical information used in the present work consists of gravity, geomagnetic and seismological data. Interpretation of gravity data is applied to outline the axes of steep gravity transitions marked as potential axes of faults, flexures and other structures of dislocation. Direct inverse techniques are also utilized to estimate the form and depth of anomalous sources. For the purposes of seismological investigation of the Ada Tepe site region an earthquake catalogue is compiled for the time period 510BC - 2011AD. Statistical parameters of seismicity - annual seismic rate parameter, ?, and the b-value of the Gutenberg-Richter exponential relation for Ada Tepe site region, are estimated. All geophysical datasets and derived results are integrated using GIS techniques ensuring interoperability of data when combining, processing and visualizing obtained
Background; SAVVAS architecture; software portability; history of Ada; isolation of non-portable code; simple terminal interface package; constraints of language features; and virtual interfaces are outlined. This presentation is represented by viewgraphs only.
Davis, G. J.
One area of research of the Information Sciences Division at NASA Ames Research Center is devoted to the analysis and enhancement of processors and advanced computer architectures, specifically in support of automation and robotic systems. To compare systems' abilities to efficiently process Lisp and Ada, scientists at Ames Research Center have developed a suite of non-parallel benchmarks called ELAPSE. The benchmark suite was designed to test a single computer's efficiency as well as alternate machine comparisons on Lisp, and/or Ada languages. ELAPSE tests the efficiency with which a machine can execute the various routines in each environment. The sample routines are based on numeric and symbolic manipulations and include two-dimensional fast Fourier transformations, Cholesky decomposition and substitution, Gaussian elimination, high-level data processing, and symbol-list references. Also included is a routine based on a Bayesian classification program sorting data into optimized groups. The ELAPSE benchmarks are available for any computer with a validated Ada compiler and/or Common Lisp system. Of the 18 routines that comprise ELAPSE, provided within this package are 14 developed or translated at Ames. The others are readily available through literature. The benchmark that requires the most memory is CHOLESKY.ADA. Under VAX/VMS, CHOLESKY.ADA requires 760K of main memory. ELAPSE is available on either two 5.25 inch 360K MS-DOS format diskettes (standard distribution) or a 9-track 1600 BPI ASCII CARD IMAGE format magnetic tape. The contents of the diskettes are compressed using the PKWARE archiving tools. The utility to unarchive the files, PKUNZIP.EXE, is included. The ELAPSE benchmarks were written in 1990. VAX and VMS are trademarks of Digital Equipment Corporation. MS-DOS is a registered trademark of Microsoft Corporation.
Previous reports have established that a program can be written in the Ada language such that the program's storage management requirements are determinable prior to its execution. Specific guidelines for ensuring such deterministic usage of Ada dynamic storage requirements are described. Because requirements may vary from one application to another, guidelines are presented in a most-restrictive to least-restrictive fashion to allow the reader to match appropriate restrictions to the particular application area under investigation.
Waldrop, Raymond S.; Volz, Richard A.; Smith, Gary W.; Holzbacher-Valero, A. A.; Goldsack, Stephen J.
One purpose of our research is the investigation of the effectiveness and expressiveness of AdaPT(1), a set of language extensions to Ada 83, for distributed systems. As a part of that effort, we are now investigating the subject of replacing, e.g., upgrading, software modules while the software system remains in operation. The AdaPT language extension provide a good basis for this investigation for several reasons: (1) they include the concept of specific, self-contained program modules which can be manipulated; (2) support for program configuration is included in the language; and (3) although the discussion will be in terms of the AdaPT language, the AdaPT to Ada 83 conversion methodology being developed as another part of this project will provide a basis for the application of our findings to Ada 83 systems. The purpose of this investigation is to explore the basic mechanisms to the replacement process. Thus, while replacement in the presence of real-time deadlines, heterogeneous systems, and unreliable networks is certainly a topic of interest, we will first gain an understanding of the basic processes in the absence of such concerns. The extension of the replacement process to more complex situations can be made later. This report will establish an overview of the on-line upgrade problem, and present a taxonomy of the various aspects of the replacement process.
Mayo, Kathleen, Ed.; O'Donnell, Ruth, Ed.
The Association of Specialized and Cooperative Library Agencies (ASCLA) formed an Americans with Disabilities Act (ADA) Assembly in 1992, and one of its first projects was to prepare this publication by collecting samples of library-produced ADA-related documents. Its aim is to help libraries increase levels of compliance and public awareness. The…
Mckay, C. W.; Bown, R. L.
The paper discusses the importance of linking Ada Run Time Support Environments to the Common Ada Programming Support Environment (APSE) Interface Set (CAIS). A non-stop network operating systems scenario is presented to serve as a forum for identifying the important issues. The network operating system exemplifies the issues involved in the NASA Space Station data management system.
Lavallee, David B.
The purpose is to investigate the feasibility of using Ada for rule-based expert systems with real-time performance requirements. This includes exploring the Ada features which give improved performance to expert systems as well as optimizing the tradeoffs or workarounds that the use of Ada may require. A prototype inference engine was built using Ada, and rule firing rates in excess of 500 per second were demonstrated on a single MC68000 processor. The knowledge base uses a directed acyclic graph to represent production lines. The graph allows the use of AND, OR, and NOT logical operators. The inference engine uses a combination of both forward and backward chaining in order to reach goals as quickly as possible. Future efforts will include additional investigation of multiprocessing to improve performance and creating a user interface allowing rule input in an Ada-like syntax. Investigation of multitasking and alternate knowledge base representations will help to analyze some of the performance issues as they relate to larger problems.
Knight, J. C.
Performance analysis was begin on the Ada implementations. The goal is to supply the system designer with tools that will allow a rational decision to be made about whether a particular implementation can support a given application early in the design cycle. Primary activities were: analysis of the original approach to recovery in distributed Ada programs using the Advanced Transport Operating System (ATOPS) example; review and assessment of the original approach which was found to be capable of improvement; preparation and presentation of a paper at the 1987 Washington DC Ada Symposium; development of a refined approach to recovery that is presently being applied to the ATOPS example; and design and development of a performance assessment scheme for Ada programs based on a flexible user-driven benchmarking system.
Seigle, Jeffrey; Esker, Linda; Shi, Ying-Liang
The use of the Ada language and design methodologies that utilize its features has a strong impact on all phases of the software development project lifecycle. At the National Aeronautics and Space Administration/Goddard Space Flight Center (NASA/GSFC), the Software Engineering Laboratory (SEL) conducted an experiment in parallel development of two flight dynamics systems in FORTRAN and Ada. The teams found some qualitative differences between the system test phases of the two projects. Although planning for system testing and conducting of tests were not generally affected by the use of Ada, the solving of problems found in system testing was generally facilitated by Ada constructs and design methodology. Most problems found in system testing were not due to difficulty with the language or methodology but to lack of experience with the application.
Chan, Arvola; Danberg, SY; Fox, Stephen; Landers, Terry; Nori, Anil; Smith, John M.
The data requirements of mission critical defense systems have been increasing dramatically. Command and control, intelligence, logistics, and even weapons systems are being required to integrate, process, and share ever increasing volumes of information. To meet this need, systems are now being specified that incorporate data base management subsystems for handling storage and retrieval of information. It is expected that a large number of the next generation of mission critical systems will contain embedded data base management systems. Since the use of Ada has been mandated for most of these systems, it is important to address the issues of providing data base management capabilities that can be closely coupled with Ada. A comprehensive distributed data base management project has been investigated. The key deliverables of this project are three closely related prototype systems implemented in Ada. These three systems are discussed.
Ghosh, Gopal Chandra; Sharma, Brijesh; Gupta, B. B.
Tuberculous and Cryptococcal meningitis are common in HIV patients. A highly specific and sensitive rapid test for diagnosis of Tuberculous meningitis especially in setting of HIV is not available in developing countries where the burden of disease is high. We measured ADA (adenosine deaminase) levels using spectrophotometric method in the CSF of HIV patients with meningitis to differentiate Tuberculous meningitis from meningitis due to other causes. Kruskal-Wallis test was used to compare ADA values between tuberculous meningitis (TBM) and nontuberculous (non-TB) meningitis patients and a receiver-operating characteristic (ROC) analysis curve was drawn from these values. Levels of ADA in the CSF of patients with TBM were significantly higher than those in patients with meningitis due to other causes. CSF ADA level determination with a cut-off value of 6 IU/L was found to be highly specific and fairly sensitive test for the diagnosis of TBM in HIV positive patients. PMID:27144055
DeAcetis, Louis A.; Schmidt, Oron; Krishen, Kumar
A method of simulating equipment using ADA tasks is discussed. Individual units of equipment are coded as concurrently running tasks that monitor and respond to input signals. This technique has been used in a simulation of the space-to-ground Communications and Tracking subsystem of Space Station Freedom.
Cope, David D.
Litigation influences what goes on in the classroom. The Americans with Disabilities Act (ADA), other statutes, and legal precedent have defined reasonable restrictions on what qualifies as a handicap. Still, universities tend to go overboard--out of ignorance, and influenced by a culture that seems to champion every conceivable victim--in…
Brodie, Carolyn S.
Discusses the work of children's author Alma Flor Ada, a Cuban native who has won awards honoring Latino writers and illustrators. Includes part of an interview that explores her background, describes activity ideas, and presents a bibliography of works written by her (several title published in both English and Spanish) as well as sources of…
Discusses the Americans with Disabilities (ADA) and Uniform Federal Accessibility Standards (UFAS) regulations regarding public facilities' crowd control stanchions and queuing systems. The major elements are protruding objects and wheelchair accessibility. Describes how to maintain compliance with the regulations and offers a list of additional…
Klumpp, Allan R.; Kwong, David D.
The HAL/S avionics programmers have enjoyed a variety of tools built into a language tailored to their special requirements. Ada is designed for a broader group of applications. Rather than providing built-in tools, Ada provides the elements with which users can build their own. Standard avionic packages remain to be developed. These must enable programmers to code in Ada as they have coded in HAL/S. The packages under development at JPL will provide all of the vector-matrix, array, and arithmetic functions described in the HAL/S manuals. In addition, the linear algebra package will provide all of the quaternion functions used in Shuttle steering and Galileo attitude control. Furthermore, using Ada's extensibility, many quaternion functions are being implemented as infix operations; equivalent capabilities were never implemented in HAL/S because doing so would entail modifying the compiler and expanding the language. With these packages, many HAL/S expressions will compile and execute in Ada, unchanged. Others can be converted simply by replacing the implicit HAL/S multiply operator with the Ada *. Errors will be trapped and identified. Input/output will be convenient and readable.
Voigt, Susan J.
Viewgraphs on the topic of programming fault-tolerant distributed systems in the Ada programming language are presented. Topics covered include project goals, Ada difficulties and solutions, testbed requirements, and virtual processors.
Waldrop, Raymond S.; Volz, Richard A.; Smith, Gary W.; Goldsack, Stephen J.; Holzbach-Valero, A. A.
One purpose of our research is the investigation of the effectiveness and expressiveness of AdaPT, a set of language extensions to Ada 83, for distributed systems. As a part of that effort, we are now investigating the subject of replacing, e.g. upgrading, software modules while the software system remains in operation. The AdaPT language extensions provide a good basis for this investigation for several reasons: they include the concept of specific, self-contained program modules which can be manipulated; support for program configuration is included in the language; and although the discussion will be in terms of the AdaPT language, the AdaPT to Ada 83 conversion methodology being developed as another part of this project will provide a basis for the application of our findings to Ada 83 and Ada 9X systems. The purpose of this investigation is to explore the basic mechanisms of the replacement process. With this purpose in mind, we will avoid including issues whose presence would obscure these basic mechanisms by introducing additional, unrelated concerns. Thus, while replacement in the presence of real-time deadlines, heterogeneous systems, and unreliable networks is certainly a topic of interest, we will first gain an understanding of the basic processes in the absence of such concerns. The extension of the replacement process to more complex situations can be made later. A previous report established an overview of the module replacement problem, a taxonomy of the various aspects of the replacement process, and a solution to one case in the replacement taxonomy. This report provides solutions to additional cases in the replacement process taxonomy: replacement of partitions with state and replacement of nodes. The solutions presented here establish the basic principles for module replacement. Extension of these solutions to other more complicated cases in the replacement taxonomy is direct, though requiring substantial work beyond the available funding.
A major impediment to a systematic attack on Ada software reusability is the lack of an effective taxonomy for software component functions. The scope of all possible applications of Ada software is considered too great to allow the practical development of a working taxonomy. Instead, for the purposes herein, the scope of Ada software application is limited to device and subsystem control in real-time embedded systems. A functional approach is taken in constructing the taxonomy tree for identified Ada domain. The use of modular software functions as a starting point fits well with the object oriented programming philosophy of Ada. Examples of the types of functions represented within the working taxonomy are real time kernels, interrupt service routines, synchronization and message passing, data conversion, digital filtering and signal conditioning, and device control. The constructed taxonomy is proposed as a framework from which a need analysis can be performed to reveal voids in current Ada real-time embedded programming efforts for Space Station.
Struble, Dennis D.
One of the largest systems yet written in Ada has been constructed. This system is the Intermetrics Ada compiler. Many lessons have been learned during the implementation of this Ada compiler. Some of these lessons, concentrating on those lessons relevant to large system implementations are described. The characteristics of the Ada compiler implementation project at Intermetrics are also described. Some specific experiences during the implementation are pointed out.
The results of research 'Ada as an implementation language for knowledge based systems' are presented. The purpose of the research was to compare Ada to other programming languages. The report focuses on the programming languages Ada, C, and Lisp, the programming cultures that surround them, and the programming paradigms they support.
Barbieri, C.; Bertini, I.; Magrin, S.; Salvadori, L.; Calvani, M.; Claudi, R.; Pignata, G.; Hahn, G.; Mottola, S.; Hoffmann, M.
The Asiago-DLR Asteroid Survey is the joint program among the Department of Astronomy and Astronomical Observatory of Padova and the DLR Berlin, dedicated to the search of asteroids. The Minor Planet Center has attributed to ADAS the survey code 209. The project is carried out since the end of December 2000 with the S67/92cm telescope at Asiago - Cima Ekar equipped with the SCAM-1 camera of DLR, in Time Delay Integration mode, in a strip from -5o to +15o around the celestial equator. The camera has a front illuminated Loral chip of 2048x2048 pixels of 15 mu m each, covering a field of 49'x49' with a resolution of 1.4'' pixel-1. This paper presents the main results obtained till March 15, 2002, when the telescope has been closed for a complete overhaul. ADAS will resume presumably at the end of June 2002.
Recent NASA missions have required software systems that are larger, more complex, and more critical than NASA software systems of the past. The Ada programming language and the software methods and support environments associated with it are seen as potential breakthroughs in meeting NASA's software requirements. The findings of a study by the Ada and Software Management Assessment Working Group (ASMAWG) are presented. The study was chartered to perform three tasks: (1) assess the agency's ongoing and planned Ada activities; (2) assess the infrastructure (standards, policies, and internal organizations) supporting software management and the Ada activities; and (3) present an Ada implementation and use strategy appropriate for NASA over the next 5 years.
Volz, R. A.; Krishnan, P.; Theriault, R.
Intelligent control of the Space Station will require the coordinated execution of computer programs across a substantial number of computing elements. It will be important to develop large subsets of these programs in the form of a single program which executes in a distributed fashion across a number of processors. A translation strategy for distributed execution of Ada programs in which library packages and subprograms may be distributed is described. A preliminary version of the translator is operational. Simple data objects (no records or arrays as yet), subprograms, and static tasks may be referenced remotely.
Ruiz, Jose F.
New software demands increasing processing power, and multi-processor platforms are spreading as the answer to achieve the required performance. Embedded real-time systems are also subject to this trend, but in the case of real-time mission-critical systems, the properties of reliability, predictability and analyzability are also paramount. The Ada 2005 language defined a subset of its tasking model, the Ravenscar profile, that provides the basis for the implementation of deterministic and time analyzable applications on top of a streamlined run-time system. This Ravenscar tasking profile, originally designed for single processors, has proven remarkably useful for modelling verifiable real-time single-processor systems. This paper proposes a simple extension to the Ravenscar profile to support multi-processor systems using a fully partitioned approach. The implementation of this scheme is simple, and it can be used to develop applications amenable to schedulability analysis.
Garrido, Jorge; Zamorano, Juan; de la Puente, Juan A.; Alonso, Alejandro; Salazar, Emilio
The proper selection of development mechanisms and tools is essential for the final success of any engineering project. This is also true when it comes to software development. Furthermore, when the system shows very specific and hard to meet requirements, as it happens for high-integrity real-time systems, the appropriate selection is crucial. For this kind of systems, Ada has proven to be a successful companion, and satellites are not an exception. The paper presents the reasons behind the selection of Ada for the UPMSat-2 development, along with the experience and examples on its usage.
Briand, Lionel C.; Thomas, William M.; Hetmanski, Christopher J.
In order to improve the quality of the software development process, we need to be able to build empirical multivariate models based on data collectable early in the software process. These models need to be both useful for prediction and easy to interpret, so that remedial actions may be taken in order to control and optimize the development process. We present an automated modeling technique which can be used as an alternative to regression techniques. We show how it can be used to facilitate the identification and aid the interpretation of the significant trends which characterize 'high risk' components in several Ada systems. Finally, we evaluate the effectiveness of our technique based on a comparison with logistic regression based models.
Sims, J. T.
An enhanced Ada run-time system has been developed to support real-time embedded processor applications. The primary focus of this development effort has been on the tasking system and the memory management facilities of the run-time system. The tasking system has been extended to support efficient and precise periodic task execution as required for control applications. Event-driven task execution providing a means of task-asynchronous control and communication among Ada tasks is supported in this system. Inter-task control is even provided among tasks distributed on separate physical processors. The memory management system has been enhanced to provide object allocation and protected access support for memory shared between disjoint processors, each of which is executing a distinct Ada program.
Chand, Vaibhav; Nandi, Deeptashree; Mangla, Anita Garg; Sharma, Puneet; Nag, Alo
Human ADA3, the evolutionarily conserved transcriptional co-activator, remains the unified part of multiple cellular functions, including regulation of nuclear receptor functions, cell proliferation, apoptosis, senescence, chromatin remodelling, genomic stability and chromosomal maintenance. The past decade has witnessed exciting findings leading to considerable expansion in research related to the biology and regulation of hADA3. Embryonic lethality in homozygous knockout Ada3 mouse signifies the importance of this gene product during early embryonic development. Moreover, the fact that it is a novel target of Human Papillomavirus E6 oncoprotein, one of the most prevalent causal agents behind cervical cancer, helps highlight some of the crucial aspects of HPV-mediated oncogenesis. These findings imply the central involvement of hADA3 in regulation of various cellular functional losses accountable for the genesis of malignancy and viral infections. Recent reports also provide evidence for post-translational modifications of hADA3 leading to its instability and contributing to the malignant phenotype of cervical cancer cells. Furthermore, its association with poor prognosis of breast cancer suggests intimate association in the pathogenesis of the disease. Here, we present the first review on hADA3 with a comprehensive outlook on the molecular and functional roles of hADA3 to provoke further interest for more elegant and intensive studies exploring assorted aspects of this protein. PMID:27605378
Leal, Claudio A M; Leal, Daniela B R; Adefegha, Stephen A; Morsch, Vera M; da Silva, José E P; Rezer, João F P; Schrekker, Clarissa M L; Abdalla, Faida H; Schetinger, Maria R C
Platelet aggregation and adenosine deaminase (ADA) activity were evaluated in pregnant women living with some disease conditions including hypertension, diabetes mellitus and human immunodeficiency virus infection. The subject population is consisted of 15 non-pregnant healthy women [control group (CG)], 15 women with normal pregnancy (NP), 7 women with hypertensive pregnancy (HP), 10 women with gestational diabetes mellitus (GDM) and 12 women with human immunodeficiency virus-infected pregnancy (HIP) groups. The aggregation of platelets was checked using an optical aggregometer, and serum ADA activity was determined using the colorimetric method. After the addition of 5 µM of agonist adenosine diphosphate, the percentage of platelet aggregation was significantly (p < 0·05) increased in NP, HP, GDM and HIP groups when compared with the CG, while the addition of 10 µM of the same agonist caused significant (p < 0·05) elevations in HP, GDM and HIP groups when compared with CG. Furthermore, ADA activity was significantly (p < 0·05) enhanced in NP, HP, GDM and HIP groups when compared with CG. In this study, the increased platelet aggregation and ADA activity in pregnancy and pregnancy-associated diseases suggest that platelet aggregation and ADA activity could serve as peripheral markers for the development of effective therapy in the maintenance of homeostasis and some inflammatory process in these pathophysiological conditions. Copyright © 2016 John Wiley & Sons, Ltd. PMID:27273565
Salehabadi, Mahshid; Farimani, Marzieh; Tavilani, Heidar; Ghorbani, Marzieh; Poormonsefi, Faranak; Poorolajal, Jalal; Shafiei, Gholamreza; Ghasemkhani, Neda; Khodadadi, Iraj
Adenosine deaminase-1 (ADA1) regulates the concentration of adenosine as the main modulator of oocyte maturation. There is compelling evidence for the association of ADA1 gene polymorphisms with many diseases but the importance of ADA1 polymorphisms in polycystic ovary syndrome (PCOS) has not been studied before. This study investigates serum total ADA activity (tADA), ADA1 and ADA2 isoenzyme activities, and genotype and allele frequencies of G22A and A4223C polymorphisms in healthy and PCOS women. In this case-control study 200 PCOS patients and 200 healthy women were enrolled. Genomic DNA was extracted from whole blood and the PCR-RFLP technique was used to determine the G22A and A4223C variants. The genotype frequencies were calculated and the association between polymorphic genotypes and enzyme activities were determined. tADA activity was significantly lower in the PCOS group compared with the control group (27.76±6.0 vs. 39.63±7.48, respectively). PCOS patients also showed reduced activity of ADA1 and ADA2. PCOS was not associated with G22A polymorphism whereas AA, AC, and CC genotypes of A4223C polymorphism were found distributed differently between the control and the PCOS women where the C allele showed a strong protective role for PCOS (odds ratio=1.876, p=0.033). The present study for the first time showed that lower ADA activity may be involved in pathogenesis of PCOS by maintaining a higher concentration of adenosine affecting follicular growth. As a novel finding, we also showed great differences in genotype distribution and allele frequencies of A4223C polymorphism between groups indicating a protective role for C allele against PCOS. AbbreviationsADA: adenosine deaminase PCOS: polycystic ovary syndrome PCR-RFLP: polymerase chain reaction-restriction fragment length polymorphism tADA: total adenosine deaminase. PMID:26980102
Laird, James D.; Burton, Bruce A.; Koppes, Mary R.
Current Ada language implementations and runtime environments are immature, unproven and are a key risk area for real-time embedded computer system (ECS). A test-case environment is provided in which the concerns of the real-time, ECS community are addressed. A priority driven executive is selected to be implemented in the Ada programming language. The model selected is representative of real-time executives tailored for embedded systems used missile, spacecraft, and avionics applications. An Ada-based design methodology is utilized, and two designs are considered. The first of these designs requires the use of vendor supplied runtime and tasking support. An alternative high-level design is also considered for an implementation requiring no vendor supplied runtime or tasking support. The former approach is carried through to implementation.
Allen, Bradley P.
The plan and schedule for Phase 1 of the Ada based ESBT Design Research Project is described. The main platform for the project is a DEC Ada compiler on VAX mini-computers and VAXstations running the Virtual Memory System (VMS) operating system. The Ada effort and lines of code are given in tabular form. A chart is given of the entire project life cycle.
Lekkos, Anthony A.; Kwok, Teresa Ting-Yin
Data Dictionary is defined to be the set of all data attributes, which describe data objects in terms of their intrinsic attributes, such as name, type, size, format and definition. It is recognized as the data base for the Information Resource Management, to facilitate understanding and communication about the relationship between systems applications and systems data usage and to help assist in achieving data independence by permitting systems applications to access data knowledge of the location or storage characteristics of the data in the system. A research and development effort to use Ada has produced a data dictionary with data base design capabilities. This project supports data specification and analysis and offers a choice of the relational, network, and hierarchical model for logical data based design. It provides a highly integrated set of analysis and design transformation tools which range from templates for data element definition, spreadsheet for defining functional dependencies, normalization, to logical design generator.
Around the world, some 70 children are members of a select and deadly club. Born with an immune deficiency so severe that they will die of infection unless their immune systems can be repaired, they have captured the attention of would-be gene therapists who believe that a handful of these kids--the 15 or 20 who lack functioning levels of the enzyme adenosine deaminase (ADA)--could be saved by a healthy ADA gene. A team of gene therapists is ready to put the theory to the test. In April 1987, a team of NIH researchers headed by R. Michael Blaese and W. French Anderson came up with the first formal protocol to introduce a healthy ADA gene into an unhealthy human. After 3 years of line-by-line scrutiny by five review committees, they have permission to go ahead. Two or three children will be treated in the next year, and will be infused with T lymphocytes carrying the gene for ADA. If the experiment works, the ADA gene will begin producing normal amounts of ADA. An interesting feature of ADA deficiency, that makes it ideal for initial gene studies, is that the amount of ADA one needs for a healthy immune system is quite variable. Hence, once inside a patient's T cells, the new ADA gene needs only to express the enzyme in moderate amounts. No precise gene regulation is necessary.
Nagle, Gail A.
From an implementation standpoint, the Ada language provided many features which facilitated the data and procedure abstraction process. The language supported a design which was dynamically flexible (despite strong typing), modular, and self-documenting. Adequate training of programmers requires access to an efficient compiler which supports full Ada. When the performance issues for real time processing are finally addressed by more stringent requirements for tasking features and the development of efficient run-time environments for embedded systems, the full power of the language will be realized.
Ensey, Tyler S.
During my internship at NASA, I was a model developer for Ground Support Equipment (GSE). The purpose of a model developer is to develop and unit test model component libraries (fluid, electrical, gas, etc.). The models are designed to simulate software for GSE (Ground Special Power, Crew Access Arm, Cryo, Fire and Leak Detection System, Environmental Control System (ECS), etc. .) before they are implemented into hardware. These models support verifying local control and remote software for End-Item Software Under Test (SUT). The model simulates the physical behavior (function, state, limits and 110) of each end-item and it's dependencies as defined in the Subsystem Interface Table, Software Requirements & Design Specification (SRDS), Ground Integrated Schematic (GIS), and System Mechanical Schematic.(SMS). The software of each specific model component is simulated through MATLAB's Simulink program. The intensiv model development life cycle is a.s follows: Identify source documents; identify model scope; update schedule; preliminary design review; develop model requirements; update model.. scope; update schedule; detailed design review; create/modify library component; implement library components reference; implement subsystem components; develop a test script; run the test script; develop users guide; send model out for peer review; the model is sent out for verifictionlvalidation; if there is empirical data, a validation data package is generated; if there is not empirical data, a verification package is generated; the test results are then reviewed; and finally, the user. requests accreditation, and a statement of accreditation is prepared. Once each component model is reviewed and approved, they are intertwined together into one integrated model. This integrated model is then tested itself, through a test script and autotest, so that it can be concluded that all models work conjointly, for a single purpose. The component I was assigned, specifically, was a
Litke, John D.
A goal of the Ada language standardization effort is to promote reuse of software, implying the existence of substantial software libraries and the storage/retrieval mechanisms to support them. A searching/cataloging mechanism is proposed that permits full or partial distribution of the database, adapts to a variety of searching mechanisms, permits a changine taxonomy with minimal disruption, and minimizes the requirement of specialized cataloger/indexer skills. The important observation is that key words serve not only as indexing mechanism, but also as an identification mechanism, especially via concatenation and as support for a searching mechanism. By deliberately separating these multiple uses, the modifiability and ease of growth that current libraries require, is achieved.
This article discusses the American with Disabilities Act (ADA) and the Individuals with Disabilities Education Act (IDEA). The ADA is a federal civil rights law that was passed in 1990 with the aim of securing equal rights for persons with disabilities in the employment, housing, government, transportation, and public accommodation contexts. It…
Department of Justice, Washington, DC. Civil Rights Div.
The Americans with Disabilities Act (ADA) 1990 includes a provision requiring that new construction and alterations to existing facilities comply with the ADA Standards for Accessible Design. This report explains 23 common accessibility errors or omissions that the Department of Justice has identified during the course of its enforcement efforts.…
Reeker, Larry H.; And Others
To demonstrate to computer programmers that the programming language Ada provides superior facilities for use in artificial intelligence applications, the three papers included in this report investigate the capabilities that exist within Ada for "pattern-directed" programming. The first paper (Larry H. Reeker, Tulane University) is designed to…
... 49 Transportation 1 2014-10-01 2014-10-01 false ADA paratransit eligibility: Standards. 37.123 Section 37.123 Transportation Office of the Secretary of Transportation TRANSPORTATION SERVICES FOR INDIVIDUALS WITH DISABILITIES (ADA) Paratransit as a Complement to Fixed Route Service § 37.123...
Lu, Yiming; Qu, Wubin; Shan, Guangyu; Zhang, Chenggang
Accurate identification of DNA regulatory elements becomes an urgent need in the post-genomic era. Recent genome-wide chromatin states mapping efforts revealed that DNA elements are associated with characteristic chromatin modification signatures, based on which several approaches have been developed to predict transcriptional enhancers. However, their practical application is limited by incomplete extraction of chromatin features and model inconsistency for predicting enhancers across different cell types. To address these issues, we define a set of non-redundant shape features of histone modifications, which shows high consistency across cell types and can greatly reduce the dimensionality of feature vectors. Integrating shape features with a machine-learning algorithm AdaBoost, we developed an enhancer predicting method, DELTA (Distal Enhancer Locating Tool based on AdaBoost). We show that DELTA significantly outperforms current enhancer prediction methods in prediction accuracy on different datasets and can predict enhancers in one cell type using models trained in other cell types without loss of accuracy. Overall, our study presents a novel framework for accurately identifying enhancers from epigenetic data across multiple cell types. PMID:26091399
Laomanachareon, Somsak; Lekkos, Anthony A.
DEC's Screen Management Guidelines are the Run-Time Library procedures that perform terminal-independent screen management functions on a VT100-class terminal. These procedures assist users in designing, composing, and keeping track of complex images on a video screen. There are three fundamental elements in the screen management model: the pasteboard, the virtual display, and the virtual keyboard. The pasteboard is like a two-dimensional area on which a user places and manipulates screen displays. The virtual display is a rectangular part of the terminal screen to which a program writes data with procedure calls. The virtual keyboard is a logical structure for input operation associated with a physical keyboard. SMG can be called by all major VAX languages. Through Ada, predefined language Pragmas are used to interface with SMG. These features and elements of SMG are briefly discussed.
Volz, Richard A.; Mudge, Trevor N.; Buzzard, Gregory D.; Krishnan, Padmanabhan
Some of the fundamental issues and tradeoffs for distributed execution systems for the Ada language are examined. Steps that need to be taken to deal with heterogeneity of addressing program objects, of processing resources, and of the individual processor environment are considered. The ways in which program elements can be assigned are examined in the context of four issues: implied remote object access, object visibility and recursive execution, task termination problems, and distributed types.
... Applications for New Awards; Americans With Disabilities Act (ADA) National Network Regional Centers and ADA National Network Collaborative Research Projects AGENCY: Office of Special Education and Rehabilitative... Program--Disability Rehabilitation Research Projects (DRRP)--ADA National Network Regional...
Bown, Rodney L. (Editor)
Topics discussed include: test and verification; environment issues; distributed Ada issues; life cycle issues; Ada in Europe; management/training issues; common Ada interface set; and run time issues.
Maule, Ruth A.
A motivating factor in the development of Ada as the department of defense standard language was the high cost of embedded system software development. It was with embedded system requirements in mind that many of the features of the language were incorporated. Yet it is the designers of embedded systems that seem to comprise the majority of the Ada community dissatisfied with the language. There are a variety of reasons for this dissatisfaction, but many seem to be related in some way to the Ada run-time support system. Some of the areas in which the inconsistencies were found to have the greatest impact on performance from the standpoint of real-time systems are presented. In particular, a large part of the duties of the tasking supervisor are subject to the design decisions of the implementer. These include scheduling, rendezvous, delay processing, and task activation and termination. Some of the more general issues presented include time and space efficiencies, generic expansions, memory management, pragmas, and tracing features. As validated compilers become available for bare computer targets, it is important for a designer to be aware that, at least for many real-time issues, all validated Ada compilers are not created equal.
This task provides credible state of the art air quality models and guidance for use in implementation of National Ambient Air Quality Standards for ozone and PM. This research effort is to develop and improve air quality models, such as the Community Multiscale Air Quality (CMA...
Ruhman, Smil; Rosemberg, Flavia
Standardization activity of data communication in avionic systems started in 1968 for the purpose of total system integration and the elimination of heavy wire bundles carrying signals between various subassemblies. The growing complexity of avionic systems is straining the capabilities of MIL-STD-1553 B (first issued in 1973), but a much greater challenge to it is posed by Ada, the standard language adopted for real-time, computer embedded-systems. Hardware implementation of Ada communication protocols in a contention/token bus or token ring network is proposed. However, during the transition period when the current command/response multiplex data bus is still flourishing and the development environment for distributed multi-computer Ada systems is as yet lacking, a temporary accomodation of the standard language with the standard bus could be very useful and even highly desirable. By concentrating all status informtion and decisions at the bus controller, it was found to be possible to construct an elegant and efficient harware impelementation of the Ada protocols at the bus interface. This solution is discussed.
Gray, F. Gail; Debrunner, Linda S.; White, Tennis S.
A new Architecture Design and Assessment System (ADAS) tool package is introduced, and a range of possible applications is illustrated. ADAS was used to evaluate the performance of an advanced fault-tolerant computer architecture in a modern flight control application. Bottlenecks were identified and possible solutions suggested. The tool was also used to inject faults into the architecture and evaluate the synchronization algorithm, and improvements are suggested. Finally, ADAS was used as a front end research tool to aid in the design of reconfiguration algorithms in a distributed array architecture.
The promises of Ada to improve software productivity and quality, and the claims that a transition to Ada would require significant changes in NASA's training programs and ways of doing business were investigated. The study assesses the agency's ongoing and planned Ada activities. A series of industry representatives (Computer Sciences Corporation, General Electric Aerospace, McDonnell Douglas Space Systems Company, TRW, Lockheed, and Boeing) reviewed the recommendations and assessed their impact from the Company's perspective. The potential effects on NASA programs were then discussed.
Bown, Rodney L.
A review is provided of the Formal Methods group discussions. It was stated that integrity is not a pure mathematical dual of security. The input data is part of the integrity domain. The group provided a roadmap for research. One item of the roadmap and the final position statement are closely related to the space shuttle and space station. The group's position is to use a safe subset of Ada. Examples of safe sets include the Army Secure Operating System and the Penelope Ada verification tool. It is recommended that a conservative attitude is required when writing Ada code for life and property critical systems.
Presentation from the 2011 Water Peer Review in which principal investigator discusses project progress to develop a representative set of Reference Models (RM) for the MHK industry to develop baseline cost of energy (COE) and evaluate key cost component/system reduction pathways.
Marti, J.; Gudmundsson, A.
The Las Cañadas caldera is one of the most important geological structures of Tenerife. Stratigraphic, structural, volcanological, petrological, geochronological, and geophysical data suggest that the Las Cañadas caldera resulted from multiple vertical collapse episodes that occurred during the construction of the Las Cañadas edifice Upper Group. Three long-term (≥200 ka) cycles of phonolitic explosive activity, each culminating with a caldera collapse, have been identified in the Upper Group. During the construction of the Upper Group, the focus of felsic volcanism migrated from west to east. Using the results of field observations, experimental analogue models and numerical studies, we propose that the formation of the overlapping Las Cañadas collapse caldera is related to the migration of the associated magma chamber. Our model implies that each collapse of this overlapping caldera partly, or completely, destroyed the feeding magma chamber. This destruction led to changes in the local stress field that favoured the formation of a new chamber at one side of the previous one, resulting in magma-chamber migration. The proposed model accounts for the formation of the Las Cañadas caldera. In particular, it explains the geometrical relationships, stratigraphy and chronology of the caldera wall deposits. Comparison with other overlapping collapse calderas suggests that our model may apply to other overlapping calderas.
Ada will most probably be used as the programming language for computers in the NASA Space Station. It is reasonable to suppose that Ada will be used for at least embedded computers, because the high software costs for these embedded computers were the reason why Ada activities were initiated about ten years ago. The on-board computers are designed for use in space applications, where maintenance by man is impossible. All manipulation of such computers has to be performed in an autonomous way or remote with commands from the ground. In a manned Space Station some maintenance work can be performed by service people on board, but there are still a lot of applications, which require autonomous computers, for example, vital Space Station functions and unmanned orbital transfer vehicles. Those aspect which have come out of the analysis of Ada characteristics together with the experience of requirements for embedded on-board computers in space applications are examined.
The Adam language is an extension of Ada that supports multiway activities, which are cooperative activities involving two or more processes. This support is provided by three new constructs: diva procedures, meet statements, and multiway accept statements. Diva procedures are recursive generic procedures having a particular restrictive syntax that facilitates translation for parallel computers. Meet statements and multiway accept statements provide two ways to express a multiway rendezvous, which is an n-way rendezvous generalizing Ada's 2-way rendezvous. While meet statements tend to have simpler rules than multiway accept statements, the latter approach is a more straightforward extension of Ada. The only nonnull statements permitted within meet statements and multiway accept statements are calls on instantiated diva procedures. A call on an instantiated diva procedure is also permitted outside a multiway rendezvous; thus sequential Adam programs using diva procedures can be written. Adam programs are translated into Ada programs appropriate for use on parallel computers.
Jones, T Howard; Neumann, Laura M; Haglund, Lois J
Initial licensure is a critical milestone and point of entry to the profession; it should go without saying that the organization that represents more than 70% of professionally active dentists would care deeply about the process that determines the character of its future and defines its image in the eyes of the public. The American Dental Association's (ADA) documented history of activity and leadership on licensure issues and the organization's guiding documents (Strategic Plan, Current Policies, Principles of Ethics and Code of Professional Conduct and Constitution and Bylaws) all lend credence to the Association's role in the licensure process. ADA members, other dental organizations, private and governmental agencies, and the public recognize the ADA as an authority on matters relating to dentistry. These circumstances comprise the best available evidence supporting the important role of the ADA in facilitating communication, collaboration and consensus-building in the continuous enhancement of the licensure process to meet the needs of all stakeholders. PMID:17138418
Lottes, Steven A.; Bojanowski, Cezary
Resurfacing of urban roads with concurrent repairs and replacement of sections of curb and sidewalk may require pedestrian ramps that are compliant with the American Disabilities Act (ADA), and when street drains are in close proximity to the walkway, ADA compliant street grates may also be required. The Minnesota Department of Transportation ADA Operations Unit identified a foundry with an available grate that meets ADA requirements. Argonne National Laboratory’s Transportation Research and Analysis Computing Center used full scale three dimensional computational fluid dynamics to determine the performance of the ADA compliant grate and compared it to that of a standard vane grate. Analysis of a parametric set of cases was carried out, including variation in longitudinal, gutter, and cross street slopes and the water spread from the curb. The performance of the grates was characterized by the fraction of the total volume flow approaching the grate from the upstream that was captured by the grate and diverted into the catch basin. The fraction of the total flow entering over the grate from the side and the fraction of flow directly over a grate diverted into the catch basin were also quantities of interest that aid in understanding the differences in performance of the grates. The ADA compliant grate performance lagged that of the vane grate, increasingly so as upstream Reynolds number increased. The major factor leading to the performance difference between the two grates was the fraction of flow directly over the grates that is captured by the grates.
Grochowalski, Joseph H; Liu, Ying; Siedlecki, Karen L
The purpose of this study was to estimate and examine ways to improve the reliability of change scores on the Alzheimer's Disease Assessment Scale, Cognitive Subtest (ADAS-Cog). The sample, provided by the Alzheimer's Disease Neuroimaging Initiative, included individuals with Alzheimer's disease (AD) (n = 153) and individuals with mild cognitive impairment (MCI) (n = 352). All participants were administered the ADAS-Cog at baseline and 1 year, and change scores were calculated as the difference in scores over the 1-year period. Three types of change score reliabilities were estimated using multivariate generalizability. Two methods to increase change score reliability were evaluated: reweighting the subtests of the scale and adding more subtests. Reliability of ADAS-Cog change scores over 1 year was low for both the AD sample (ranging from .53 to .64) and the MCI sample (.39 to .61). Reweighting the change scores from the AD sample improved reliability (.68 to .76), but lengthening provided no useful improvement for either sample. The MCI change scores had low reliability, even with reweighting and adding additional subtests. The ADAS-Cog scores had low reliability for measuring change. Researchers using the ADAS-Cog should estimate and report reliability for their use of the change scores. The ADAS-Cog change scores are not recommended for assessment of meaningful clinical change. PMID:26708116
Becker, Lee; Duckworth, R. James; Green, Peter; Michalson, Bill; Gosselin, Dave; Nainani, Krishan; Pease, Adam
The purpose of this ongoing research and development program is to develop software tools which enable the rapid development, upgrading, and maintenance of embedded real-time artificial intelligence systems. The goals of this phase of the research were to investigate the feasibility of developing software tools which automatically translate expert system rules into Ada code and develop methods for performing validation and verification testing of the resultant expert system. A prototype system was demonstrated which automatically translated rules from an Air Force expert system was demonstrated which detected errors in the execution of the resultant system. The method and prototype tools for converting AI representations into Ada code by converting the rules into Ada code modules and then linking them with an Activation Framework based run-time environment to form an executable load module are discussed. This method is based upon the use of Evidence Flow Graphs which are a data flow representation for intelligent systems. The development of prototype test generation and evaluation software which was used to test the resultant code is discussed. This testing was performed automatically using Monte-Carlo techniques based upon a constraint based description of the required performance for the system.
Olsen, Douglas R.; Messiora, Steve; Leake, Stephen
The architecture structure and software design methodology presented is described in the context of telerobotic application in Ada, specifically the Engineering Test Bed (ETB), which was developed to support the Flight Telerobotic Servicer (FTS) Program at GSFC. However, the nature of the architecture is such that it has applications to any multiprocessor distributed real-time system. The ETB architecture, which is a derivation of the NASA/NBS Standard Reference Model (NASREM), defines a hierarchy for representing a telerobot system. Within this hierarchy, a module is a logical entity consisting of the software associated with a set of related hardware components in the robot system. A module is comprised of submodules, which are cyclically executing processes that each perform a specific set of functions. The submodules in a module can run on separate processors. The submodules in the system communicate via command/status (C/S) interface channels, which are used to send commands down and relay status back up the system hierarchy. Submodules also communicate via setpoint data links, which are used to transfer control data from one submodule to another. A submodule invokes submodule algorithms (SMA's) to perform algorithmic operations. Data that describe or models a physical component of the system are stored as objects in the World Model (WM). The WM is a system-wide distributed database that is accessible to submodules in all modules of the system for creating, reading, and writing objects.
The Ada Software Repository is a public-domain collection of Ada software and information. The Ada Software Repository is one of several repositories located on the SIMTEL20 Defense Data Network host computer at White Sands Missile Range, and available to any host computer on the network since 26 November 1984. This repository provides a free source for Ada programs and information. The Ada Software Repository is divided into several subdirectories. These directories are organized by topic, and their names and a brief overview of their topics are contained. The Ada Software Repository on SIMTEL20 serves two basic roles: to promote the exchange and use (reusability) of Ada programs and tools (including components) and to promote Ada education.
Fanning, F. Jesse
The Embedded Computer System Expert System Shell (ES Shell) is an Ada-based expert system shell developed at the Avionics Laboratory for use on the VHSIC Avionic Modular Processor (VAMP) running under the Ada Avionics Real-Time Software (AARTS) Operating System. The ES Shell provides the interface between the expert system and the avionics environment, and controls execution of the expert system. Testing of the ES Shell in the Avionics Laboratory's Integrated Test Bed (ITB) has demonstrated its ability to control a non-deterministic software application executing on the VAMP's which can control the ITB's real-time closed-loop aircraft simulation. The results of these tests and the conclusions reached in the design and development of the ES Shell have played an important role in the formulation of the requirements for a production-quality expert system inference engine, an ingredient necessary for the successful use of expert systems on the VAMP embedded avionic flight processor.
Sauer, Aisha V.; Brigida, Immacolata; Carriglio, Nicola; Jofra Hernandez, Raisa; Scaramuzza, Samantha; Clavenna, Daniela; Sanvito, Francesca; Poliani, Pietro L.; Gagliani, Nicola; Carlucci, Filippo; Tabucchi, Antonella; Roncarolo, Maria Grazia; Traggiai, Elisabetta; Villa, Anna
Adenosine acts as anti-inflammatory mediator on the immune system and has been described in regulatory T cell (Treg)–mediated suppression. In the absence of adenosine deaminase (ADA), adenosine and other purine metabolites accumulate, leading to severe immunodeficiency with recurrent infections (ADA-SCID). Particularly ADA-deficient patients with late-onset forms and after enzyme replacement therapy (PEG-ADA) are known to manifest immune dysregulation. Herein we provide evidence that alterations in the purine metabolism interfere with Treg function, thereby contributing to autoimmune manifestations in ADA deficiency. Tregs isolated from PEG-ADA–treated patients are reduced in number and show decreased suppressive activity, whereas they are corrected after gene therapy. Untreated murine ADA−/− Tregs show alterations in the plasma membrane CD39/CD73 ectonucleotidase machinery and limited suppressive activity via extracellular adenosine. PEG-ADA–treated mice developed multiple autoantibodies and hypothyroidism in contrast to mice treated with bone marrow transplantation or gene therapy. Tregs isolated from PEG-ADA–treated mice lacked suppressive activity, suggesting that this treatment interferes with Treg functionality. The alterations in the CD39/CD73 adenosinergic machinery and loss of function in ADA-deficient Tregs provide new insights into a predisposition to autoimmunity and the underlying mechanisms causing defective peripheral tolerance in ADA-SCID. Trials were registered at www.clinicaltrials.gov as NCT00598481/NCT00599781. PMID:22184407
Software will be more important and more critical for Columbus than for any ESA previous project. As a simple comparison, overall software size has been in the range of 100 K source statements for EXOSAT, 500 K for Spacelab, and will probably reach several million lines of code for Columbus (all element together). Based on past experience, the total development cost of software can account for about 10 pct to 15 pct of the total space project development cost. The Ada technology may support the strong software engineering principles needed for Columbus, provided that technology is sufficiently mature and industry plans are meeting the Columbus project schedule. Over the past 3 years, Informatique Internationale has conducted a coherent program based on Ada technology assessment studies and experiments, for ESA and CNES. This specific research and development program benefits from 15 years experience in the field of space software development and is supported by the overall software engineering expertise of the company. The assessment and experiments of Ada software engineering by Informatique Internationale are detailed.
Fields, Christina M.
The Spaceport Command and Control System (SCCS) Simulation Computer Software Configuration Item (CSCI) is responsible for providing simulations to support test and verification of SCCS hardware and software. The Universal Coolant Transporter System (UCTS) was a Space Shuttle Orbiter support piece of the Ground Servicing Equipment (GSE). The initial purpose of the UCTS was to provide two support services to the Space Shuttle Orbiter immediately after landing at the Shuttle Landing Facility. The UCTS is designed with the capability of servicing future space vehicles; including all Space Station Requirements necessary for the MPLM Modules. The Simulation uses GSE Models to stand in for the actual systems to support testing of SCCS systems during their development. As an intern at Kennedy Space Center (KSC), my assignment was to develop a model component for the UCTS. I was given a fluid component (dryer) to model in Simulink. I completed training for UNIX and Simulink. The dryer is a Catch All replaceable core type filter-dryer. The filter-dryer provides maximum protection for the thermostatic expansion valve and solenoid valve from dirt that may be in the system. The filter-dryer also protects the valves from freezing up. I researched fluid dynamics to understand the function of my component. The filter-dryer was modeled by determining affects it has on the pressure and velocity of the system. I used Bernoulli's Equation to calculate the pressure and velocity differential through the dryer. I created my filter-dryer model in Simulink and wrote the test script to test the component. I completed component testing and captured test data. The finalized model was sent for peer review for any improvements. I participated in Simulation meetings and was involved in the subsystem design process and team collaborations. I gained valuable work experience and insight into a career path as an engineer.
Fields, Christina M.
The Spaceport Command and Control System (SCCS) Simulation Computer Software Configuration Item (CSCI) is,. responsible for providing simulations to support test and verification of SCCS hardware and software. The Universal Coolant Transporter System (UCTS) is a Space Shuttle Orbiter support piece of the Ground Servicing Equipment (GSE). The purpose of the UCTS is to provide two support services to the Space Shuttle Orbiter immediately after landing at the Shuttle Landing Facility. The Simulation uses GSE Models to stand in for the actual systems to support testing of SCCS systems s:luring their development. As an intern at KSC, my assignment was to develop a model component for the UCTS. I was given a fluid component (drier) to model in Matlab. The drier was a Catch All replaceable core type filter-drier. The filter-drier provides maximum protection for the thermostatic expansion valve and solenoid valve from dirt that may be in the system. The filter-drier also protects the valves from freezing up. I researched fluid dynamics to understand the function of my component. I completed training for UNIX and Simulink to help aid in my assignment. The filter-drier was modeled by determining affects it has on the pressure, velocity and temperature of the system. I used Bernoulli's Equation to calculate the pressure and velocity differential through the dryer. I created my model filter-drier in Simulink and wrote the test script to test the component. I completed component testing and captured test data. The finalized model was sent for peer review for any improvements.
Piña-Varas, P.; Ledo, J.; Queralt, P.; Marcuello, A.; Bellmunt, F.; Ogaya, X.; Pérez, N.; Rodriguez-Losada, J. A.
Tenerife island geology is one of the most complexes of the Canaries archipelago. This complexity is evidenced by the existing controversy regarding the lateral or vertical collapse origin of the Las Cañadas caldera. The resistivity structure of the Las Cañadas caldera has been determined by the 3-D inversion of 188 broadband magnetotelluric data. The resistivity distribution obtained in the final model shows clear evidences of the presence of a vertical structure under the Teide, associated to the buried northern wall of the caldera. Additionally, the characteristics of the main resistivity structure, a ring-shaped low-resistivity body (<10 Ω m) interpreted as a hydrothermal clay alteration cap, would point out the presence of a handwall for the Icod Valley lateral landslide located under the Teide, but not in the southern caldera wall (current wall). All these support the vertical collapse hypothesis to explain the origin of the Las Cañadas caldera.
Sorge, Marlon E.; Mains, Deanna L.
The IMPACT fragmentation model has been used by The Aerospace Corporation for more than 25 years to analyze orbital altitude explosions and hypervelocity collisions. The model is semi-empirical, combining mass, energy and momentum conservation laws with empirically derived relationships for fragment characteristics such as number, mass, area-to-mass ratio, and spreading velocity as well as event energy distribution. Model results are used for several types of analysis including assessment of short-term risks to satellites from orbital altitude fragmentations, prediction of the long-term evolution of the orbital debris environment and forensic assessments of breakup events. A new version of IMPACT, version 6, has been completed and incorporates a number of advancements enabled by a multi-year long effort to characterize more than 11,000 debris fragments from more than three dozen historical on-orbit breakup events. These events involved a wide range of causes, energies, and fragmenting objects. Special focus was placed on the explosion model, as the majority of events examined were explosions. Revisions were made to the mass distribution used for explosion events, increasing the number of smaller fragments generated. The algorithm for modeling upper stage large fragment generation was updated. A momentum conserving asymmetric spreading velocity distribution algorithm was implemented to better represent sub-catastrophic events. An approach was developed for modeling sub-catastrophic explosions, those where the majority of the parent object remains intact, based on estimated event energy. Finally, significant modifications were made to the area-to-mass ratio distribution to incorporate the tendencies of different materials to fragment into different shapes. This ability enabled better matches between the observed area-to-mass ratios and those generated by the model. It also opened up additional possibilities for post-event analysis of breakups. The paper will discuss
Knight, J. C.
The general inadequacy of Ada for programming systems that must survive processor loss was shown. A solution to the problem was proposed in which there are no syntatic changes to Ada. The approach was evaluated using a full-scale, realistic application. The application used was the Advanced Transport Operating System (ATOPS), an experimental computer control system developed for a modified Boeing 737 aircraft. The ATOPS system is a full authority, real-time avionics system providing a large variety of advanced features. Methods of building fault tolerance into concurrent systems were explored. A set of criteria by which the proposed method will be judged was examined. Extensive interaction with personnel from Computer Sciences Corporation and NASA Langley occurred to determine the requirements of the ATOPS software. Backward error recovery in concurrent systems was assessed.
Davis, Gloria J.
A set of benchmarks was developed to test the performance of a newly designed computer executing both Lisp and Ada. Among these was AutoClassII -- a large Artificial Intelligence (AI) application written in Common Lisp. The extraction of a representative subset of this complex application was aided by a Lisp Code Analyzer (LCA). The LCA enabled rapid analysis of the code, putting it in a concise and functionally readable form. An equivalent benchmark was created in Ada through manual translation of the Lisp version. A comparison of the execution results of both programs across a variety of compiler-machine combinations indicate that line-by-line translation coupled with analysis of the initial code can produce relatively efficient and reusable target code.
Programming of the space station is to be done in the Ada programming language. A breadboard of selected parts of the work package for Marshall Space Flight Center is to be built, and programming this small part will be a good testing ground for Ada. One coding of the upper levels of the design brings out several problems with top-down design when it is to be carried out strictly within the language. Ada is evaluated on the basis of this experience, and the points raised are compared with other experience as related in the literature. Rapid prototyping is another approach to the initial programming; several different types of prototypes are discussed, and compared with the art of specification. Some solutions are proposed and a number of recommendations presented.
Dewolf, J. B.; Sodano, N. M.; Whittredge, R. S.
It is pointed out that advanced avionics applications increasingly require underlying machine architectures which are damage and fault tolerant, and which provide access to distributed sensors, effectors and high-throughput computational resources. The Advanced Information Processing System (AIPS), sponsored by NASA, is to provide an architecture which can meet the considered requirements. Ada was selected for implementing the AIPS system software. Advantages of Ada are related to its provisions for real-time programming, error detection, modularity and separate compilation, and standardization and portability. Chief drawbacks of this language are currently limited availability and maturity of language implementations, and limited experience in applying the language to real-time applications. The present investigation is concerned with current plans for employing Ada in the design of the software for AIPS. Attention is given to an overview of AIPS, AIPS software services, and representative design issues in each of four major software categories.
In a rare case, a Federal court ruled that AIDS does not automatically qualify a plaintiff for legal protection under the Americans with Disabilities Act (ADA). [Name removed], an Illinois Wal-Mart stock clerk, was fired weeks after telling the store's general manager of his HIV status. [Name removed] alleges that the firing was due solely to his disease. Wal-Mart contends that [name removed] was fired for sexually harassing a co-worker, and says that since [name removed] was asymptomatic and asked for no accommodations, he does not qualify for ADA protection. Magistrate Morton Denlow agreed, saying that [name removed] raised no genuine issues about whether the ADA should protect him. A trial is scheduled for May. PMID:11365337
Villas da Rocha, J. F.; Canalle, J. B. G.; Wuesnche, C. A.; de Medeiros, J. R., Silva, A. V. R.; Lavouras, D. F.; Dottori, H. A.; Maia, M. A. G.; Vieira Martins, R.; Poppe, P. C. R.
Neste trabalho apresentamos os resultados da V Olimpíada Brasileira de Astronomia, a qual ocorreu em 11/05/2002 em todos os estabelecimentos de ensino fundamental ou médio previamente cadastrados. Participaram do evento 60.338 alunos distribuídos por 1469 escolas pertencentes a todos os Estados brasileiros. Uma equipe de 5 alunos foi escolhida para representar o Brasil na VII Olimpíada Internacional de Astronomia que ocorreu na Rússia em 2002 e dois de nossos alunos ganharam a medalha de bronze naquele evento.
The Supreme Court is scheduled to hear arguments involving [name removed]. [Name removed] who claims that he lost his job because he has AIDS. Originally, the Third U.S. Circuit Court of Appeals ruled that he was barred from suing because he had accepted disability payments while waiting for the Equal Employment Opportunity Commission to issue a determination regarding his claim. The Circuit Court's ruling was not unanimous. Also, Federal courts have increasingly ruled that receipt of benefits is not an automatic bar to an ADA claim. The different definitions of disability by Social Security and by the ADA need clarification. PMID:11366014
Brauer, David C.
A software architecture is described which facilitates the construction of distributed expert systems using Ada and selected knowledge based systems. This architecture was utilized in the development of a Knowledge-based Maintenance Expert System (KNOMES) prototype for the Space Station Mobile Service Center (MSC). The KNOMES prototype monitors a simulated data stream from MSC sensors and built-in test equipment. It detects anomalies in the data and performs diagnosis to determine the cause. The software architecture which supports the KNOMES prototype allows for the monitoring and diagnosis tasks to be performed concurrently. The basic concept of this software architecture is named ACTOR (Ada Cognitive Task ORganization Scheme). An individual ACTOR is a modular software unit which contains both standard data processing and artificial intelligence components. A generic ACTOR module contains Ada packages for communicating with other ACTORs and accessing various data sources. The knowledge based component of an ACTOR determines the role it will play in a system. In this prototype, an ACTOR will monitor the MSC data stream.
Liberman, Eugene M.; Jones, Robert E.
Ada is becoming an increasingly popular programming language for large Government-funded software projects. Ada with its portability, transportability, and maintainability lends itself well to today's complex programming environment. In addition, expert systems have also assured a growing role in providing human-like reasoning capability and expertise for computer systems. The integration of expert system technology with Ada programming language, specifically a rule-based expert system using an ART-Ada (Automated Reasoning Tool for Ada) system shell is discussed. The NASA Lewis Research Center was chosen as a beta test site for ART-Ada. The test was conducted by implementing the existing Autonomous Power EXpert System (APEX), a Lisp-base power expert system, in ART-Ada. Three components, the rule-based expert system, a graphics user interface, and communications software make up SMART-Ada (Systems fault Management with ART-Ada). The main objective, to conduct a beta test on the ART-Ada rule-based expert system shell, was achieved. The system is operational. New Ada tools will assist in future successful projects. ART-Ada is one such tool and is a viable alternative to the straight Ada code when an application requires a rule-based or knowledge-based approach.
Bruyere, Susanne M.; Erickson, William A.; VanLooy, Sara A.
More than 10 years have passed since the employment provisions of the Americans with Disabilities Act of 1990 (ADA) came into effect for employers of 15 or more employees. Americans with disabilities continue to be more unemployed and underemployed than their nondisabled peers. Small businesses, with fewer than 500 employees, continue to be the…
Niu, Bing; Cai, Yu-Dong; Lu, Wen-Cong; Li, Guo-Zheng; Chou, Kuo-Chen
The structural class is an important feature in characterizing the overall topological folding type of a protein or the domains therein. Prediction of protein structural classification has attracted the attention and efforts from many investigators. In this paper a novel predictor, the AdaBoost Learner, was introduced to deal with this problem. The essence of the AdaBoost Learner is that a combination of many 'weak' learning algorithms, each performing just slightly better than a random guessing algorithm, will generate a 'strong' learning algorithm. Demonstration thru jackknife cross-validation on two working datasets constructed by previous investigators indicated that AdaBoost outperformed other predictors such as SVM (support vector machine), a powerful algorithm widely used in biological literatures. It has not escaped our notice that AdaBoost may hold a high potential for improving the quality in predicting the other protein features as well, such as subcellular location and receptor type, among many others. Or at the very least, it will play a complementary role to many of the existing algorithms in this regard. PMID:16800803
A Federal judge in Chicago ruled that the Americans with Disabilities Act (ADA) applies to the content of insurance policies, and says that Mutual of Omaha broke the law by artificially capping AIDS-related medical benefits. Federal courts have been divided on the issue. U.S. District Court Judge Suzanne Conlon ruled against the insurance company in a case with two defendants, John Doe and [name removed]. Both Doe and [name removed] have health insurance policies with Mutual; Doe's benefits are capped at $100,000 and [name removed]'s policy is capped at $25,000. Both are nearing the policy limit with the cost of combination antiviral drugs. Doe and [name removed] charge that the caps violate the ADA and the Illinois Insurance Code because they target a specific disability without regard to sound actuarial practices. Mutual of Omaha contends that capping benefits for AIDS is no different from providing lesser coverage for mental conditions, a situation approved by the courts. Mutual also argues that the ADA regulates access to services, but not the substance of the services. It seems unlikely that Mutual can financially justify having two different dollar limits for the caps. The case is scheduled for September. Other cases supporting the view that insurance products fall under the ADA are listed. PMID:11365315
... administrative appeal process through which individuals who are denied eligibility can obtain review of the... the appeal is issued. (h) The entity may establish an administrative process to suspend, for a... 49 Transportation 1 2010-10-01 2010-10-01 false ADA paratransit eligibility: Process....
... undue financial burden waiver under §§ 37.151-37.155 of this part. (e) The following individuals are ADA... with a personal care attendant, the entity shall provide service to one other individual in addition to... as a person accompanying the eligible individual, and not as a personal care attendant, unless...
Miller, Joan; Bieker, Rod; Copenhaver, John
This document presents the Kansas State Department of Education's guidelines to Section 504 of the Rehabilitation Act and the Americans with Disabilities Act (ADA). The guidelines specifically address Subparts A, B, C, and D of the regulations for Section 504 which deal with general provisions, employment practices, accessibility and education. An…
Philadelphia School District, PA. Office of Curriculum and Instruction.
This curriculum guide describes the instructional program at the Ada H. H. Lewis Middle School in Philadelphia, Pennsylvania. In brief, the goals of the program are to provide the schools' fifth-grade through eighth-grade students with educational opportunities based on an eclectic team-teaching approach. Four separate "houses" accommodate…
Debates about the selection of programming languages often produce cultural collisions that are not easily resolved. This is especially true in the case of Ada and knowledge based programming. The construction of programming tools provides a desirable alternative for resolving the conflict.
The U.S. Supreme Court agreed to review a third case under the Americans with Disabilities Act (ADA) this year. The Supreme Court previously agreed to hear [name removed] v. [Name removed], involving a dentist who refused to treat an HIV-positive patient in his office. The second case is Pennsylvania Department of Corrections v. [Name removed], in which the State asserts that the ADA does not apply to prisons. The third involves whether an arbitration clause in a labor union's collective bargaining agreement prevents a court from hearing a union member's discrimination claim. [Name removed] longshoreman [name removed] alleges that the [name removed] and several employers violated the ADA when they refused to help him for employment referral. [Name removed] previously settled a workers' compensation disability claim with [name removed] and Terminal Co., his employer. Three years later he applied for work at the International Longshoreman's Association hiring hall and was referred to four different employers. The employers discovered he had received a worker's compensation settlement and would no longer accept [name removed] for employment referral. The case is important because union members can continue to file ADA charges with the EEOC and the outcomes will vary depending on the circuit where the union member happens to file the claim. PMID:11365192
Zirkel, Perry A.
Recent case law within and outside the school context has revised or refined various concepts concerning eligibility and other K-12 issues under Section 504 and the Americans with Disabilities Act (ADA). Ten case lessons are described in this paper, seven of which are: (1) The frame of reference for determining "substantially limits" in the…
Department of Justice, Washington, DC. Civil Rights Div.
This bibliography lists 90 documents contained within the Americans with Disabilities Act (ADA) Information File, which has been sent to 15,000 libraries across the country. The listing is organized into the following categories: laws and regulations (eight documents), technical assistance manuals and highlights (nine documents), question and…
Discusses work on a pilot project to develop guidelines for accessible interpretation that integrates disabled and mainstream visitors. Discusses program and facility designs and suggests ways to make existing interpretive programs more accessible to visitors with disabilities. (LZ)
... April 28, 2006 (71 FR 25472). The ADA National Network Knowledge Translation Center priority is from the... Applications for New Awards; Americans With Disabilities Act (ADA) National Network Knowledge Translation... Rehabilitation Research Projects (DRRP)--The ADA National Network Knowledge Translation Center Notice...
Malapi-Wight, Martha; Kim, Jung-Eun; Shim, Won-Bo
Fusarium verticillioides is an important plant pathogenic fungus causing maize ear and stalk rots. In addition, the fungus is directly associated with fumonisin contamination of food and feeds. Here, we report the functional characterization of Ada1, a putative Cys2-His2 zinc finger transcription factor with a high level of similarity to Aspergillus nidulans FlbC, which is required for the activation of the key regulator of conidiation brlA. ADA1 is predicted to encode a protein with two DNA binding motifs at the C terminus and a putative activator domain at the N terminus region. Deletion of the flbC gene in A. nidulans results in "fluffy" cotton-like colonies, with a defect in transition from vegetative growth to asexual development. In this study we show that Ada1 plays a key role in asexual development in F. verticillioides. Conidia production was significantly reduced in the knockout mutant (Δada1), in which aberrant conidia and conidiophores were also observed. We identified genes that are predicted to be downstream of ADA1, based on A. nidulans conidiation signaling pathway. Among them, the deletion of stuA homologue, FvSTUA, resulted in near absence of conidia production. To further investigate the functional conservation of this transcription factor, we complemented the Δada1 strain with A. nidulans flbC, F. verticillioides ADA1, and chimeric constructs. A. nidulans flbC failed to restore conidia production similar to the wild-type level. However, the Ada1N-terminal domain, which contains a putative activator, fused to A. nidulans FlbC C-terminal motif successfully complemented the Δada1 mutant. Taken together, Ada1 is an important transcriptional regulator of asexual development in F. verticillioides and that the N-terminus domain is critical for proper function of this transcription factor. PMID:24161731
Stoffle, Carla J.; Fore, Janet; Allen, Barbara
Discusses the need to develop new models for collection development in academic libraries, based on experiences at the University of Arizona. Highlights include changes in the organizational chart; focusing on users' information goals and needs; integrative services; shared resources; interlibrary loans; digital technology; and funding. (LRW)
Abbott, Marvin M.; DeHay, Kelli
The Ada-Vamoosa aquifer of northeastern Oklahoma is a sedimentary bedrock aquifer of Pennsylvanian age that crops out over 800 square miles of the Osage Reservation. The Osage Nation needed additional information regarding the production potential of the aquifer to aid them in future development planning. To address this need, the U.S. Geological Survey, in cooperation with the Osage Nation, conducted a study of aquifer properties in the Ada-Vamoosa aquifer. This report presents the results of the aquifer tests from 20 wells in the Ada-Vamoosa aquifer and one well in a minor aquifer east of the Ada-Vamoosa outcrop on the Osage Reservation. Well information for 17 of the 21 wells in this report was obtained from the Indian Health Service. Data collected by the U.S. Geological Survey during this investigation are pumping well data from four domestic wells collected during the summer of 2006. Transmissivity values were calculated from well pumping data or were estimated from specific capacity values depending on the reliability of the data. The estimated transmissivity values are 1.1 to 4.3 times greater than the calculated transmissivity values. The calculated and estimated transmissivity values range from 5 to 1,000 feet squared per day.
Foley, M. J.; Tilley, D. M.; Welch, C. T.
A mathematical model of the Space Shuttle Main Engine (SSME) as a complete assembly, with detailed emphasis on LOX and High Fuel Turbopumps is developed. The advantages of both complete engine dynamics, and high fidelity modeling are incorporated. Development of this model, some results, and projected applications are discussed.
In December 1987, John McGann discovered he had AIDS. In July 1988, his employer altered his health insurance policy by reducing lifetime coverage for AIDS to $5,000, while maintaining the million-dollar limit for all other health conditions. The United States Court of Appeals for the Fifth Circuit upheld the employer`s right to make that change. The Supreme Court denied certiori. Public outcry was immediate and voluminous. The Solicitor General argued that the new Americans with Disabilities Act would save future John McGanns from the same treatment, but the validity of this optimistic prediction is yet to be determined. The Americans with Disabilities Act of 1990 (ADA) is landmark legislation that bars discrimination against the disabled in all aspects of employment, public services, and accommodations. The Act broadly defines disability to include illnesses such as AIDS and cancer, as well as limitations on mobility, vision, and hearing. The ADA indisputably creates a private cause of action for discrimination on the basis of disability. However, depending on the standard of review chosen by the federal courts, this cause of action may or may not provide much protection to those claiming discrimination on the basis of disability in employee benefits and insurance. This article discusses the ADA`s coverage of insurance and benefits in light of the possible standards courts might use to evaluate actions of parties in suits alleging discrimination in these areas and applies those standards of review to the facts of the McGann case. 146 refs.
Hecht, Alan; Simmons, Andy
Ada Programming Support Environments (APSE) include many powerful tools that address the implementation of Ada code. These tools do not address the entire software development process. Structured analysis is a methodology that addresses the creation of complete and accurate system specifications. Structured design takes a specification and derives a plan to decompose the system subcomponents, and provides heuristics to optimize the software design to minimize errors and maintenance. It can also produce the creation of useable modules. Studies have shown that most software errors result from poor system specifications, and that these errors also become more expensive to fix as the development process continues. Structured analysis and design help to uncover error in the early stages of development. The APSE tools help to insure that the code produced is correct, and aid in finding obscure coding errors. However, they do not have the capability to detect errors in specifications or to detect poor designs. An automated system for structured analysis and design TEAMWORK, which can be integrated with an APSE to support software systems development from specification through implementation is described. These tools completement each other to help developers improve quality and productivity, as well as to reduce development and maintenance costs. Complete system documentation and reusable code also resultss from the use of these tools. Integrating an APSE with automated tools for structured analysis and design provide capabilities and advantages beyond those realized with any of these systems used by themselves.
Uc-Cetina, Víctor; Brito-Loeza, Carlos; Ruiz-Piña, Hugo
The Chagas disease is a potentially life-threatening illness caused by the protozoan parasite, Trypanosoma cruzi. Visual detection of such parasite through microscopic inspection is a tedious and time-consuming task. In this paper, we provide an AdaBoost learning solution to the task of Chagas parasite detection in blood images. We give details of the algorithm and our experimental setup. With this method, we get 100% and 93.25% of sensitivity and specificity, respectively. A ROC comparison with the method most commonly used for the detection of malaria parasites based on support vector machines (SVM) is also provided. Our experimental work shows mainly two things: (1) Chagas parasites can be detected automatically using machine learning methods with high accuracy and (2) AdaBoost + SVM provides better overall detection performance than AdaBoost or SVMs alone. Such results are the best ones known so far for the problem of automatic detection of Chagas parasites through the use of machine learning, computer vision, and image processing methods. PMID:25861375
Uc-Cetina, Víctor; Brito-Loeza, Carlos; Ruiz-Piña, Hugo
The Chagas disease is a potentially life-threatening illness caused by the protozoan parasite, Trypanosoma cruzi. Visual detection of such parasite through microscopic inspection is a tedious and time-consuming task. In this paper, we provide an AdaBoost learning solution to the task of Chagas parasite detection in blood images. We give details of the algorithm and our experimental setup. With this method, we get 100% and 93.25% of sensitivity and specificity, respectively. A ROC comparison with the method most commonly used for the detection of malaria parasites based on support vector machines (SVM) is also provided. Our experimental work shows mainly two things: (1) Chagas parasites can be detected automatically using machine learning methods with high accuracy and (2) AdaBoost + SVM provides better overall detection performance than AdaBoost or SVMs alone. Such results are the best ones known so far for the problem of automatic detection of Chagas parasites through the use of machine learning, computer vision, and image processing methods. PMID:25861375
Nützmann, Hans-Wilhelm; Reyes-Dominguez, Yazmid; Scherlach, Kirstin; Schroeckh, Volker; Horn, Fabian; Gacek, Agnieszka; Schümann, Julia; Hertweck, Christian; Strauss, Joseph; Brakhage, Axel A
Sequence analyses of fungal genomes have revealed that the potential of fungi to produce secondary metabolites is greatly underestimated. In fact, most gene clusters coding for the biosynthesis of antibiotics, toxins, or pigments are silent under standard laboratory conditions. Hence, it is one of the major challenges in microbiology to uncover the mechanisms required for pathway activation. Recently, we discovered that intimate physical interaction of the important model fungus Aspergillus nidulans with the soil-dwelling bacterium Streptomyces rapamycinicus specifically activated silent fungal secondary metabolism genes, resulting in the production of the archetypal polyketide orsellinic acid and its derivatives. Here, we report that the streptomycete triggers modification of fungal histones. Deletion analysis of 36 of 40 acetyltransferases, including histone acetyltransferases (HATs) of A. nidulans, demonstrated that the Saga/Ada complex containing the HAT GcnE and the AdaB protein is required for induction of the orsellinic acid gene cluster by the bacterium. We also showed that Saga/Ada plays a major role for specific induction of other biosynthesis gene clusters, such as sterigmatocystin, terrequinone, and penicillin. Chromatin immunoprecipitation showed that the Saga/Ada-dependent increase of histone 3 acetylation at lysine 9 and 14 occurs during interaction of fungus and bacterium. Furthermore, the production of secondary metabolites in A. nidulans is accompanied by a global increase in H3K14 acetylation. Increased H3K9 acetylation, however, was only found within gene clusters. This report provides previously undescribed evidence of Saga/Ada dependent histone acetylation triggered by prokaryotes. PMID:21825172
The water of the human body can be categorized as existing in two main compartments: intracellular water and extracellular water. The intracellular water consists of all the water within the cells and constitutes over half of the total body water. Since red blood cells are surrounded by plasma, and all other cells are surrounded by interstitial fluid, the intracellular compartment has been subdivided to represent these two cell types. The extracellular water, which includes all of the fluid outside of the cells, can be further subdivided into compartments which represent the interstitial fluid, circulating blood plasma, lymph, and transcellular water. The interstitial fluid surrounds cells outside of the vascular system whereas plasma is contained within the blood vessels. Avascular tissues such as dense connective tissue and cartilage contain interstitial water which slowly equilibrates with tracers used to determine extracellular fluid volume. For this reason, additional compartments are sometimes used to represent these avascular tissues. The average size of each compartment, in terms of percent body weight, has been determined for adult males and females. These compartments and the forces which cause flow between them are presented. The kidneys, a main compartment, receive about 25 percent of the cardiac output and filters out a fluid similar to plasma. The composition of this filtered fluid changes as it flows through the kidney tubules since compounds are continually being secreted and reabsorbed. Through this mechanism, the kidneys eliminate wastes while conserving body water, electrolytes, and metabolites. Since sodium accounts for over 90 percent of the cations in the extracellular fluid, and the number of cations is balanced by the number of anions, considering the renal handling sodium and water only should sufficiently describe the relationship between the plasma compartment and kidneys. A kidney function model is presented which has been adapted from a
Lehman, Larry L.; Houtchens, Steve; Navab, Massoud; Shah, Sunil C.
The RT BUILD is an expert control system programmer that creates real-time Ada code from block-diagram descriptions of control systems. Since RT BUILD embodies substantial knowledge about the implementation of real-time control systems, it can perform many, if not most of the functions normally performed by human real-time programmers. Though much basic research was done in automatic programming, RT BUILD appears to be the first application of this research to an important problem in flight control system development. In particular, RT BUILD was designed to directly increase productivity and reliability for control implementations of large complex systems.
Knight, J. C.
A preliminary analysis of the Ada implementation of the Advanced Transport Operating System (ATOPS), an experimental computer control system developed at NASA Langley for a modified Boeing 737 aircraft, is presented. The criteria that was determined for the evaluation of this approach is described. A preliminary version of the requirements for the ATOPS is contained. This requirements specification is not a formal document, but rather a description of certain aspects of the ATOPS system at a level of detail that best suits the needs of the research. The survey of backward error recovery techniques is also presented.
Candau, R; Moore, P A; Wang, L; Barlev, N; Ying, C Y; Rosen, C A; Berger, S L
Transcriptional adaptor proteins are required for full function of higher eukaryotic acidic activators in the yeast Saccharomyces cerevisiae, suggesting that this pathway of activation is evolutionarily conserved. Consistent with this view, we have identified possible human homologs of yeast ADA2 (yADA2) and yeast GCN5 (yGCN5), components of a putative adaptor complex. While there is overall sequence similarity between the yeast and human proteins, perhaps more significant is conservation of key sequence features with other known adaptors. We show several functional similarities between the human and yeast adaptors. First, as shown for yADA2 and yGCN5, human ADA2 (hADA2) and human GCN5 (hGCN5) interacted in vivo in a yeast two-hybrid assay. Moreover, hGCN5 interacted with yADA2 in this assay, suggesting that the human proteins form similar complexes. Second, both yADA2 and hADA2 contain cryptic activation domains. Third, hGCN5 and yGCN5 had similar stabilizing effects on yADA2 in vivo. Furthermore, the region of yADA2 that interacted with yGCN5 mapped to the amino terminus of yADA2, which is highly conserved in hADA2. Most striking, is the behavior of the human proteins in human cells. First, GAL4-hADA2 activated transcription in HeLa cells, and second, either hADA2 or hGCN5 augmented GAL4-VP16 activation. These data indicated that the human proteins correspond to functional homologs of the yeast adaptors, suggesting that these cofactors play a key role in transcriptional activation. PMID:8552087
Mirza, Sameer; Katafiasz, Bryan J; Kumar, Rakesh; Wang, Jun; Mohibi, Shakur; Jain, Smrati; Gurumurthy, Channabasavaiah Basavaraju; Pandita, Tej K; Dave, Bhavana J; Band, Hamid; Band, Vimla
Cell cycle regulation and DNA repair following damage are essential for maintaining genome integrity. DNA damage activates checkpoints in order to repair damaged DNA prior to exit to the next phase of cell cycle. Recently, we have shown the role of Ada3, a component of various histone acetyltransferase complexes, in cell cycle regulation, and loss of Ada3 results in mouse embryonic lethality. Here, we used adenovirus-Cre-mediated Ada3 deletion in Ada3(fl/fl) mouse embryonic fibroblasts (MEFs) to assess the role of Ada3 in DNA damage response following exposure to ionizing radiation (IR). We report that Ada3 depletion was associated with increased levels of phospho-ATM (pATM), γH2AX, phospho-53BP1 (p53BP1) and phospho-RAD51 (pRAD51) in untreated cells; however, radiation response was intact in Ada3(-/-) cells. Notably, Ada3(-/-) cells exhibited a significant delay in disappearance of DNA damage foci for several critical proteins involved in the DNA repair process. Significantly, loss of Ada3 led to enhanced chromosomal aberrations, such as chromosome breaks, fragments, deletions and translocations, which further increased upon DNA damage. Notably, the total numbers of aberrations were more clearly observed in S-phase, as compared with G₁ or G₂ phases of cell cycle with IR. Lastly, comparison of DNA damage in Ada3(fl/fl) and Ada3(-/-) cells confirmed higher residual DNA damage in Ada3(-/-) cells, underscoring a critical role of Ada3 in the DNA repair process. Taken together, these findings provide evidence for a novel role for Ada3 in maintenance of the DNA repair process and genomic stability. PMID:23095635
Marrelli, Anne F; Tondora, Janis; Hoge, Michael A
There is an emerging trend within healthcare to introduce competency-based approaches in the training, assessment, and development of the workforce. The trend is evident in various disciplines and specialty areas within the field of behavioral health. This article is designed to inform those efforts by presenting a step-by-step process for developing a competency model. An introductory overview of competencies, competency models, and the legal implications of competency development is followed by a description of the seven steps involved in creating a competency model for a specific function, role, or position. This modeling process is drawn from advanced work on competencies in business and industry. PMID:16082796
Stark, Michael E.
This paper will discuss the use of the Intermetrics AppletMagic tool to build an applet to display a satellite ground track on a world map. This applet is the result of a prototype project that was developed by the Goddard Space Flight Center's Flight Dynamics Division (FDD), starting in June of 1996. Both Version 1 and Version 2 of this applet can be accessed via the URL http://fdd.gsfc.nasa.gov/Java.html. This paper covers Version 1, as Version 2 did not make radical changes to the Ada part of the applet. This paper will briefly describe the design of the applet, discuss the issues that arose during development, and will conclude with lessons learned and future plans for the FDD's use of Ada and Java. The purpose of this paper is to show examples of a successful project using Oi AppletMagic, and to highlight some of the pitfalls that occurred along the way. It is hoped that this discussion will be useful both to users of AppletMagic and to organizations such as Intermetrics that develop new technology.
Henriksson, A; Almlöf, T; Ford, J; McEwan, I J; Gustafsson, J A; Wright, A P
We have shown that the Ada adaptor complex is important for the gene activation capacity of the glucocorticoid receptor in yeast. The recently isolated human Ada2 protein also increases the potency of the receptor protein in mammalian cells. The Ada pathway is of key significance for the tau1 core transactivation domain (tau1c) of the receptor, which requires Ada for activity in vivo and in vitro. Ada2 can be precipitated from nuclear extracts by a glutathione S-transferase-tau1 fusion protein coupled to agarose beads, and a direct interaction between Ada2 and tau1c can be shown by using purified proteins. This interaction is strongly reduced by a mutation in tau1c that reduces transactivation activity. Mutations affecting the Ada complex do not reverse transcriptional squelching by the tau1 domain, as they do for the VP16 transactivation domain, and thus these powerful acidic activators differ in at least some important aspects of gene activation. Mutations that reduce the activity of the tau1c domain in wild-type yeast strains cause similar reductions in ada mutants that contain little or no Ada activity. Thus, gene activation mechanisms, in addition to the Ada pathway, are involved in the activity of the tau1c domain. PMID:9154805
Nadal, Kevin L.
This article examines the identity development of F/Pilipino Americans. Because of a distinct history and culture that differentiates them from other Asian groups, F/Pilipino Americans may experience a different ethnic identity development than other Asian Americans. A nonlinear 6-stage ethnic identity development model is proposed to promote…
Caorsi, Roberta; Penco, Federica; Schena, Francesca; Gattorno, Marco
The deficiency of Adenosine Deaminase 2 (DADA2) is a new autoinflammatory disease characterised by an early onset vasculopathy with livedoid skin rash associated with systemic manifestations, CNS involvement and mild immunodeficiency.This condition is secondary to autosomal recessive mutations of CECR1 (Cat Eye Syndrome Chromosome Region 1) gene, mapped to chromosome 22q11.1, that encodes for the enzymatic protein adenosine deaminase 2 (ADA2). By now 19 different mutations in CECR1 gene have been detected.The pathogenetic mechanism of DADA2 is still unclear. ADA2 in a secreted protein mainly expressed by cells of the myeloid lineage; its enzymatic activity is higher in conditions of hypoxia, inflammation and oncogenesis. Moreover ADA2 is able to induce macrophages proliferation and differentiation; it's deficiency is in fact associated with a reduction of anti-inflammatory macrophages (M2). The deficiency of ADA2 is also associated with an up-regulation of neutrophils-expressed genes and an increased secretion of pro-inflammatory cytokines. The mild immunodeficiency detected in many DADA2 patients suggests a role of this protein in the adaptive immune response; an increased mortality of B cells and a reduction in the number of memory B cells, terminally differentiated B cells and plasmacells has been described in many patients. The lack of the protein is associated with endothelium damage; however the function of this protein in the endothelial homeostasis is still unknown.From the clinical point of view, this disease is characterized by a wide spectrum of severity. Chronic or recurrent systemic inflammation with fever, elevation of acute phase reactants and skin manifestations (mainly represented by livedo reticularis) is the typical clinical picture. While in some patients the disease is mild and skin-limited, others present a severe, even lethal, disease with multi-organ involvement; the CNS involvement is rather common with ischemic or hemorrhagic strokes. In