57 research outputs found

    On the engineering of crucial software

    Get PDF
    The various aspects of the conventional software development cycle are examined. This cycle was the basis of the augmented approach contained in the original grant proposal. This cycle was found inadequate for crucial software development, and the justification for this opinion is presented. Several possible enhancements to the conventional software cycle are discussed. Software fault tolerance, a possible enhancement of major importance, is discussed separately. Formal verification using mathematical proof is considered. Automatic programming is a radical alternative to the conventional cycle and is discussed. Recommendations for a comprehensive approach are presented, and various experiments which could be conducted in AIRLAB are described

    Real-time software methodologies: Are they suitable for developing Manufacturing control software?

    Full text link
    Computer-Integrated Manufacturing (CIM) systems may be classified as real-time systems. Hence, the applicability of methodologies that are developed for specifying, designing, implementing, testing, and evolving real-time software is investigated in this article.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/45553/1/10696_2005_Article_BF01358949.pd

    An object-oriented approach to Computer Integrated Systems

    Full text link
    In recent years computers have been incorporated into large scale systems such as nuclear plant, flight control, and manufacturing systems. Such Computer Integrated Systems (CIS) normally consist of heterogeneous subsystems. The integration of heterogeneous subsystems requires that the subsystems be portable, inter-operable, and integrable at both software and hardware levels so that the integrated system should function properly. Objects and nets are proposed as the atomic elements of CIS's. An object is defined as a computational model of an arbitrary entity. Then three representation schemes of an object are introduced: algebraic, modular, and graphical. Two operations on objects, Composition and Union , are introduced as means of combining two objects into a larger one. As an application of this approach, a Computer Integrated Manufacturing (CIM) system is represented as a network of objects.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/43096/1/10952_2005_Article_BF02265084.pd

    Requirements for a software maintenance support environment

    Get PDF
    This thesis surveys the field of software maintenance, and addresses the maintenance requirements of the Aerospace Industry, which is developing inige projects, running over many years, and sometimes safety critical in nature (e.g. ARIANE 5, HERMES, COLUMBUS). Some projects are collaborative between distributed European partners. The industry will have to cope in the near and far future with the maintenance of these products and it will be essential to improve the software maintenance process and the environments for maintenance. Cost effective software maintenance needs an efficient, high quality and homogeneous environment or Integrated Project Support Environment (IPSE). Most IPSE work has addressed software development, and lias not fully considered the requirements of software maintenance. The aim of this project is to draw up a set of priorities and requirements for a Maintenance IPSE. An IPSE, however can only support a software maintenance method. The first stage of this project is to deline 'software maintenance best practice' addressing the organisational, managerial and technical aspects, along with an evaluation of software maintenance tools for Aerospace systems. From this and an evaluation of current IPSEs, the requirements for a Software Maintenance Support Environment are presented for maintenance of Aerospace software

    Toward a systems-level view of dynamic phosphorylation networks

    Get PDF
    To better understand how cells sense and respond to their environment, it is important to understand the organization and regulation of the phosphorylation networks that underlie most cellular signal transduction pathways. These networks, which are composed of protein kinases, protein phosphatases and their respective cellular targets, are highly dynamic. Importantly, to achieve signaling specificity, phosphorylation networks must be regulated at several levels, including at the level of protein expression, substrate recognition, and spatiotemporal modulation of enzymatic activity. Here, we briefly summarize some of the traditional methods used to study the phosphorylation status of cellular proteins before focusing our attention on several recent technological advances, such as protein microarrays, quantitative mass spectrometry, and genetically-targetable fluorescent biosensors, that are offering new insights into the organization and regulation of cellular phosphorylation networks. Together, these approaches promise to lead to a systems-level view of dynamic phosphorylation networks

    NASA Tech Briefs, July 1996

    Get PDF
    Topics covered include: Mechanical Components; Electronic Components and Circuits; Electronic Systems; Physical Sciences; Materials; Computer Programs; Mechanics; Machinery/Automation; Manufacturing/Fabrication; Mathematics and Information Sciences; Life Sciences; Books and Report

    5th Congress of the Spanish Proteomics Society. Time to Imagine Barcelona

    Get PDF
    Abstract Book of the 5th Congress of the Spanish Proteomics Society. Time to Imagine, 5-8 February, 201
    corecore