Sample records for map-based software application

  1. Electronic Records Management Software Applications Design Criteria...

    Energy Savers [EERE]

    Electronic Records Management Software Applications Design Criteria Standard Electronic Records Management Software Applications Design Criteria Standard This Standard is reissued...

  2. IT Specialist (Systems Analysis/Applications Software)

    Broader source: Energy.gov [DOE]

    The incumbent in this position will serve as a Senior IT Specialist (Systems Analysis/Applications Support) and Technical Lead in the Enterprise Applications Support organization of Software...

  3. A Software Architecture for High Level Applications

    SciTech Connect (OSTI)

    Shen,G.

    2009-05-04T23:59:59.000Z

    A modular software platform for high level applications is under development at the National Synchrotron Light Source II project. This platform is based on client-server architecture, and the components of high level applications on this platform will be modular and distributed, and therefore reusable. An online model server is indispensable for model based control. Different accelerator facilities have different requirements for the online simulation. To supply various accelerator simulators, a set of narrow and general application programming interfaces is developed based on Tracy-3 and Elegant. This paper describes the system architecture for the modular high level applications, the design of narrow and general application programming interface for an online model server, and the prototype of online model server.

  4. Daylighting Prediction Software: Comparative Analysis and Application

    E-Print Network [OSTI]

    Estes, J. M. Jr.; Schreppler, S.; Newsom, T.

    2004-01-01T23:59:59.000Z

    in selecting a software program are presented. “Radiance”, a reverse ray tracing method software package, was chosen for use in the simulations. An existing school was modeled with the Radiance software and predictions of daylighting contributions were compared...

  5. Computer software engineers design, create, and modify computer applications.

    E-Print Network [OSTI]

    Computer software engineers design, create, and modify computer applications. Computer Software Engineers (0*NET 15-1031.00, 15-1032.00) Significant Points Computer software engineers are projected are expected for college graduates with at least a bachelor's degree in computer engineering or computer

  6. IBM Software IBM Security AppScan: Application

    E-Print Network [OSTI]

    in the software development lifecycle, when they are easier and less expensive to correct. IBM research drives IBM by Design integrates security through- out the software development process. To address the wide rangeIBM Software Security June 2012 IBM Security AppScan: Application security and risk management

  7. Software reliability models for critical applications

    SciTech Connect (OSTI)

    Pham, H.; Pham, M.

    1991-12-01T23:59:59.000Z

    This report presents the results of the first phase of the ongoing EG G Idaho, Inc. Software Reliability Research Program. The program is studying the existing software reliability models and proposes a state-of-the-art software reliability model that is relevant to the nuclear reactor control environment. This report consists of three parts: (1) summaries of the literature review of existing software reliability and fault tolerant software reliability models and their related issues, (2) proposed technique for software reliability enhancement, and (3) general discussion and future research. The development of this proposed state-of-the-art software reliability model will be performed in the second place. 407 refs., 4 figs., 2 tabs.

  8. Software reliability models for critical applications

    SciTech Connect (OSTI)

    Pham, H.; Pham, M.

    1991-12-01T23:59:59.000Z

    This report presents the results of the first phase of the ongoing EG&G Idaho, Inc. Software Reliability Research Program. The program is studying the existing software reliability models and proposes a state-of-the-art software reliability model that is relevant to the nuclear reactor control environment. This report consists of three parts: (1) summaries of the literature review of existing software reliability and fault tolerant software reliability models and their related issues, (2) proposed technique for software reliability enhancement, and (3) general discussion and future research. The development of this proposed state-of-the-art software reliability model will be performed in the second place. 407 refs., 4 figs., 2 tabs.

  9. Sandia National Laboratories ASCI Applications Software Quality Engineering Practices

    SciTech Connect (OSTI)

    ZEPPER, JOHN D.; ARAGON, KATHRYN MARY; ELLIS, MOLLY A.; BYLE, KATHLEEN A.; EATON, DONNA SUE

    2003-04-01T23:59:59.000Z

    This document provides a guide to the deployment of the software verification activities, software engineering practices, and project management principles that guide the development of Accelerated Strategic Computing Initiative (ASCI) applications software at Sandia National Laboratories (Sandia). The goal of this document is to identify practices and activities that will foster the development of reliable and trusted products produced by the ASCI Applications program. Document contents include an explanation of the structure and purpose of the ASCI Quality Management Council, an overview of the software development lifecycle, an outline of the practices and activities that should be followed, and an assessment tool.

  10. SHMTools: a general-purpose software tool for SHM applications

    SciTech Connect (OSTI)

    Harvey, Dustin [Los Alamos National Laboratory; Farrar, Charles [Los Alamos National Laboratory; Taylor, Stuart [Los Alamos National Laboratory; Park, Gyuhae [Los Alamos National Laboratory; Flynn, Eric B [UCSD; Kpotufe, Samory [UCSD; Dondi, Denis [UCSD; Mollov, Todor [UCSD; Todd, Michael D [UCSD; Rosin, Tajana S [UCSD; Figueiredo, Eloi [UNIV OF PORTO, PORTUGAL

    2010-11-30T23:59:59.000Z

    This paper describes a new software package for various structural health monitoring (SHM) applications. The software is a set of standardized MATLAB routines covering three main stages of SHM: data acquisition, feature extraction, and feature classification for damage identification. A subset of the software in SHMTools is embeddable, which consists of Matlab functions that can be cross-compiled into generic 'C' programs to be run on a target hardware. The software is also designed to accommodate multiple sensing modalities, including piezoelectric active-sensing, which has been widely used in SHM practice. The software package, including standardized datasets, are publicly available for use by the SHM community. The details of this embeddable software will be discussed, along with several example processes that can be used for guidelines for future use of the software.

  11. Sandia National Laboratories ASCI Applications Software Quality Engineering Practices

    SciTech Connect (OSTI)

    ZEPPER, JOHN D.; ARAGON, KATHRYN MARY; ELLIS, MOLLY A.; BYLE, KATHLEEN A.; EATON, DONNA SUE

    2002-01-01T23:59:59.000Z

    This document provides a guide to the deployment of the software verification activities, software engineering practices, and project management principles that guide the development of Accelerated Strategic Computing Initiative (ASCI) applications software at Sandia National Laboratories (Sandia). The goal of this document is to identify practices and activities that will foster the development of reliable and trusted products produced by the ASCI Applications program. Document contents include an explanation of the structure and purpose of the ASCI Quality Management Council, an overview of the software development lifecycle, an outline of the practices and activities that should be followed, and an assessment tool. These sections map practices and activities at Sandia to the ASCI Software Quality Engineering: Goals, Principles, and Guidelines, a Department of Energy document.

  12. Workshop and conference on Grand Challenges applications and software technology

    SciTech Connect (OSTI)

    Not Available

    1993-12-31T23:59:59.000Z

    On May 4--7, 1993, nine federal agencies sponsored a four-day meeting on Grand Challenge applications and software technology. The objective was to bring High-Performance Computing and Communications (HPCC) Grand Challenge applications research groups supported under the federal HPCC program together with HPCC software technologists to: discuss multidisciplinary computational science research issues and approaches, identify major technology challenges facing users and providers, and refine software technology requirements for Grand Challenge applications research. The first day and a half focused on applications. Presentations were given by speakers from universities, national laboratories, and government agencies actively involved in Grand Challenge research. Five areas of research were covered: environmental and earth sciences; computational physics; computational biology, chemistry, and materials sciences; computational fluid and plasma dynamics; and applications of artificial intelligence. The next day and a half was spent in working groups in which the applications researchers were joined by software technologists. Nine breakout sessions took place: I/0, Data, and File Systems; Parallel Programming Paradigms; Performance Characterization and Evaluation of Massively Parallel Processing Applications; Program Development Tools; Building Multidisciplinary Applications; Algorithm and Libraries I; Algorithms and Libraries II; Graphics and Visualization; and National HPCC Infrastructure.

  13. Challenges on Software Defect Analysis in Smart Grid Applications Mohsen Anvaari Daniela S. Cruzes Reidar Conradi

    E-Print Network [OSTI]

    Challenges on Software Defect Analysis in Smart Grid Applications Mohsen Anvaari Daniela S. Cruzes and Technology Trondheim, Norway {mohsena,dcruzes,conradi}@idi.ntnu.no Abstract--Smart Grid software applications the relationship between the characteristics of Smart Grid software applications as a ULSS and their software

  14. Oldenburg Lecture Notes in Software Engineering Energy-Efficient Applications

    E-Print Network [OSTI]

    Appelrath, Hans-Jürgen

    Oldenburg Lecture Notes in Software Engineering Energy-Efficient Applications Seminar ­ copyright by authors ­ #12;Introduction Energy-efficiency has become an important issue in information to conserve energy in IT probably is trying to build more efficient hardware. Lots of work has already been

  15. Final Report: Center for Scalable Application Development Software

    SciTech Connect (OSTI)

    Mellor-Crummey, John [Rice University

    2014-10-26T23:59:59.000Z

    The Center for Scalable Application Development Software (CScADS) was established as a part- nership between Rice University, Argonne National Laboratory, University of California Berkeley, University of Tennessee – Knoxville, and University of Wisconsin – Madison. CScADS pursued an integrated set of activities with the aim of increasing the productivity of DOE computational scientists by catalyzing the development of systems software, libraries, compilers, and tools for leadership computing platforms. Principal Center activities were workshops to engage the research community in the challenges of leadership computing, research and development of open-source software, and work with computational scientists to help them develop codes for leadership computing platforms. This final report summarizes CScADS activities at Rice University in these areas.

  16. Survey of Companies in Machine Health Monitoring and Maintenance Company Capability Software Application Modeling Technique

    E-Print Network [OSTI]

    Huang, Samuel H.

    software · Paper · Food · Steel · Petrochemical industries NO MODELING AssetPoint www.tabware.com · Data acquisition and open systems storage · Enterprise Asset Management Tabware (CMMS application) · Petrochemical

  17. Application Driven Software Methodology for Automatic Compiler Generation

    E-Print Network [OSTI]

    Rus, Teodor

    happen in the AD, after the start of the software development lifecycle, modifications to requirements develop software tools that can execute the al- gorithms developed by AD experts without translating them requirements documents based on the customers wants and needs. The development of the software is immediately

  18. The architecture of a plug-and-play kernel for oilfield software applications

    SciTech Connect (OSTI)

    Ward, V.L.; Seaton, C.P. [Schlumberger Dowell, Tulsa, OK (United States)

    1996-12-01T23:59:59.000Z

    It is now common practice for engineers to use PC software to design and evaluate oilfield services. Rapidly changing technology in PC software has made it necessary for organizations to release new applications quickly to remain competitive. The authors designed a plug-and-play kernel for the computer aided design and evaluation (CADE) applications to reduce development time and time to market. The paper discusses the kernel used in the CADE software in detail.

  19. Abstract: Componentbased realtime software speeds devel opment and lowers cost of robotics applications. It enables the

    E-Print Network [OSTI]

    applications. It enables the use of rapid prototyping or incremental software process models. The Chimera. The focus of this paper is how to apply the Chimera Methodology specif­ ically to the development of robotic applications. It enables the use of rapid prototyping or incremental software process models. The Chimera

  20. Dynamic Cognitive Process Application of Blooms Taxonomy for Complex Software Design in the Cognitive Domain

    E-Print Network [OSTI]

    Kumar, NR Shashi; Selvarani, R

    2010-01-01T23:59:59.000Z

    Software design in Software Engineering is a critical and dynamic cognitive process. Accurate and flawless system design will lead to fast coding and early completion of a software project. Blooms taxonomy classifies cognitive domain into six dynamic levels such as Knowledge at base level to Comprehension, Application, Analysis, Synthesis and Evaluation at the highest level in the order of increasing complexity. A case study indicated in this paper is a gira system, which is a gprs based Intranet Remote Administration which monitors and controls the intranet from a mobile device. This paper investigates from this case study that the System Design stage in Software Engineering uses all the six levels of Blooms Taxonomy. The application of the highest levels of Blooms Taxonomy such as Synthesis and Evaluation in the design of gira indicates that Software Design in Software Development Life Cycle is a complex and critical cognitive process.

  1. Progress in Addressing DNFSB Recommendation 2002-1 Issues: Improving Accident Analysis Software Applications

    SciTech Connect (OSTI)

    VINCENT, ANDREW

    2005-04-25T23:59:59.000Z

    Defense Nuclear Facilities Safety Board (DNFSB) Recommendation 2002-1 (''Quality Assurance for Safety-Related Software'') identified a number of quality assurance issues on the use of software in Department of Energy (DOE) facilities for analyzing hazards, and designing and operating controls to prevent or mitigate potential accidents. Over the last year, DOE has begun several processes and programs as part of the Implementation Plan commitments, and in particular, has made significant progress in addressing several sets of issues particularly important in the application of software for performing hazard and accident analysis. The work discussed here demonstrates that through these actions, Software Quality Assurance (SQA) guidance and software tools are available that can be used to improve resulting safety analysis. Specifically, five of the primary actions corresponding to the commitments made in the Implementation Plan to Recommendation 2002-1 are identified and discussed in this paper. Included are the web-based DOE SQA Knowledge Portal and the Central Registry, guidance and gap analysis reports, electronic bulletin board and discussion forum, and a DOE safety software guide. These SQA products can benefit DOE safety contractors in the development of hazard and accident analysis by precluding inappropriate software applications and utilizing best practices when incorporating software results to safety basis documentation. The improvement actions discussed here mark a beginning to establishing stronger, standard-compliant programs, practices, and processes in SQA among safety software users, managers, and reviewers throughout the DOE Complex. Additional effort is needed, however, particularly in: (1) processes to add new software applications to the DOE Safety Software Toolbox; (2) improving the effectiveness of software issue communication; and (3) promoting a safety software quality assurance culture.

  2. Evaluation of Distribution Analysis Software for DER Applications

    SciTech Connect (OSTI)

    Staunton, RH

    2003-01-23T23:59:59.000Z

    The term ''Distributed energy resources'' or DER refers to a variety of compact, mostly self-contained power-generating technologies that can be combined with energy management and storage systems and used to improve the operation of the electricity distribution system, whether or not those technologies are connected to an electricity grid. Implementing DER can be as simple as installing a small electric generator to provide backup power at an electricity consumer's site. Or it can be a more complex system, highly integrated with the electricity grid and consisting of electricity generation, energy storage, and power management systems. DER devices provide opportunities for greater local control of electricity delivery and consumption. They also enable more efficient utilization of waste heat in combined cooling, heating and power (CHP) applications--boosting efficiency and lowering emissions. CHP systems can provide electricity, heat and hot water for industrial processes, space heating and cooling, refrigeration, and humidity control to improve indoor air quality. DER technologies are playing an increasingly important role in the nation's energy portfolio. They can be used to meet base load power, peaking power, backup power, remote power, power quality, as well as cooling and heating needs. DER systems, ranging in size and capacity from a few kilowatts up to 50 MW, can include a number of technologies (e.g., supply-side and demand-side) that can be located at or near the location where the energy is used. Information pertaining to DER technologies, application solutions, successful installations, etc., can be found at the U.S. Department of Energy's DER Internet site [1]. Market forces in the restructured electricity markets are making DER, both more common and more active in the distribution systems throughout the US [2]. If DER devices can be made even more competitive with central generation sources this trend will become unstoppable. In response, energy providers will be forced to both fully acknowledge the trend and plan for accommodating DER [3]. With bureaucratic barriers [4], lack of time/resources, tariffs, etc. still seen in certain regions of the country, changes still need to be made. Given continued technical advances in DER, the time is fast approaching when the industry, nation-wide, must not only accept DER freely but also provide or review in-depth technical assessments of how DER should be integrated into and managed throughout the distribution system. Characterization studies are needed to fully understand how both the utility system and DER devices themselves will respond to all reasonable events (e.g., grid disturbances, faults, rapid growth, diverse and multiple DER systems, large reactive loads). Some of this work has already begun as it relates to operation and control of DER [5] and microturbine performance characterization [6,7]. One of the most urgently needed tools that can provide these types of analyses is a distribution network analysis program in combination with models for various DER. Together, they can be used for (1) analyzing DER placement in distribution networks and (2) helping to ensure that adequate transmission reliability is maintained. Surveys of the market show products that represent a partial match to these needs; specifically, software that has been developed to plan electrical distribution systems and analyze reliability (in a near total absence of DER). The first part of this study (Sections 2 and 3 of the report) looks at a number of these software programs and provides both summary descriptions and comparisons. The second part of this study (Section 4 of the report) considers the suitability of these analysis tools for DER studies. It considers steady state modeling and assessment work performed by ORNL using one commercially available tool on feeder data provided by a southern utility. Appendix A provides a technical report on the results of this modeling effort.

  3. Towards Software Product Lines Application in the Context of a Smart Building Project

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Towards Software Product Lines Application in the Context of a Smart Building Project Thibaut. This paper presents proposals on how to apply software prod- uct lines in the context of smart buildings the various components involved in smart buildings, and to capitalize on the devel- oped IT components

  4. APOLLO is a software application--designed in conjunction with analysts--that enables the analyst

    E-Print Network [OSTI]

    Valtorta, Marco

    Abstract APOLLO is a software application--designed in conjunction with analysts--that enables--the predictive model, after which the APOLLO software recom- putes the probabilities and alerts others when for the team working the problem. In addition, APOLLO captures an auditable history of the team's thought proc

  5. Fractal: A Software Toolchain for Mapping Applications to Diverse, Heterogeneous Architecures

    E-Print Network [OSTI]

    Skadron, Kevin

    Fractal: A Software Toolchain for Mapping Applications to Diverse, Heterogeneous Architecures, 2011 Abstract We present Fractal, an API for programming parallel workloads on multithreaded and multicore architectures. Fractal schedules threads on processors with cache configuration in mind in order

  6. Embedded Software Energy Characterization: using non-intrusive measures for application

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Embedded Software Energy Characterization: using non-intrusive measures for application source code propose a complete system energy model based on non-intrusive measurements. This model aims at being

  7. WiP Abstract: BraceForce: Software Engineering Support for Sensing in CPS Applications

    E-Print Network [OSTI]

    Julien, Christine

    support in a way that is easy, flexible, and portable is essential for supporting CPS applicationWiP Abstract: BraceForce: Software Engineering Support for Sensing in CPS Applications Xi Zheng and deploying CPS applications involves a large amount of low-level programming that requires interacting

  8. Handbook of software quality assurance techniques applicable to the nuclear industry

    SciTech Connect (OSTI)

    Bryant, J.L.; Wilburn, N.P.

    1987-08-01T23:59:59.000Z

    Pacific Northwest Laboratory is conducting a research project to recommend good engineering practices in the application of 10 CFR 50, Appendix B requirements to assure quality in the development and use of computer software for the design and operation of nuclear power plants for NRC and industry. This handbook defines the content of a software quality assurance program by enumerating the techniques applicable. Definitions, descriptions, and references where further information may be obtained are provided for each topic.

  9. AREA-EFFICIENTHIGH-THROUGHPUTVLSI ARCHITECTUREFOR MAP-BASED TURBO EQUALIZER

    E-Print Network [OSTI]

    Singer, Andrew C

    AREA-EFFICIENTHIGH-THROUGHPUTVLSI ARCHITECTUREFOR MAP-BASED TURBO EQUALIZER Seok-Jun Lee, Naresh R an area-efficient MAP-based turbo equalizer VLSI architecture by proposing a symbol-based soft-input soft-interleaved com- putation with an area savings of 25%. 1. INTRODUCTION The turbo decoding technique has found

  10. Version 1.00 --August 2005 This contract agreement is applicable to all the software applications that have been developed at

    E-Print Network [OSTI]

    Mohaghegh, Shahab

    that have been developed at Petroleum & Natural Gas Engineering department at West Virginia University this contract are eligible to use the software applications. Usage of the software applications by any and students are not obligated to provide any help, assistance or guidance on the usage of these software

  11. The application of formal software engineering methods to the unattended and remote monitoring software suite at Los Alamos National Laboratory

    SciTech Connect (OSTI)

    Determan, John Clifford [Los Alamos National Laboratory; Longo, Joseph F [Los Alamos National Laboratory; Michel, Kelly D [Los Alamos National Laboratory

    2009-01-01T23:59:59.000Z

    The Unattended and Remote Monitoring (UNARM) system is a collection of specialized hardware and software used by the International Atomic Energy Agency (IAEA) to institute nuclear safeguards at many nuclear facilities around the world. The hardware consists of detectors, instruments, and networked computers for acquiring various forms of data, including but not limited to radiation data, global position coordinates, camera images, isotopic data, and operator declarations. The software provides two primary functions: the secure and reliable collection of this data from the instruments and the ability to perform an integrated review and analysis of the disparate data sources. Several years ago the team responsible for maintaining the software portion of the UNARM system began the process of formalizing its operations. These formal operations include a configuration management system, a change control board, an issue tracking system, and extensive formal testing, for both functionality and reliability. Functionality is tested with formal test cases chosen to fully represent the data types and methods of analysis that will be commonly encountered. Reliability is tested with iterative, concurrent testing where up to five analyses are executed simultaneously for thousands of cycles. Iterative concurrent testing helps ensure that there are no resource conflicts or leaks when multiple system components are in use simultaneously. The goal of this work is to provide a high quality, reliable product, commensurate with the criticality of the application. Testing results will be presented that demonstrate that this goal has been achieved and the impact of the introduction of a formal software engineering framework to the UNARM product will be presented.

  12. asci applications software: Topics by E-print Network

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    infer the individual contributions of all three improvements in the Origin's memory architecture and relate the effectiveness of each improvement to application characteristics.. 1...

  13. Scaling Irregular Applications through Data Aggregation and Software Multithreading

    SciTech Connect (OSTI)

    Morari, Alessandro; Tumeo, Antonino; Chavarría-Miranda, Daniel; Villa, Oreste; Valero, Mateo

    2014-05-30T23:59:59.000Z

    Bioinformatics, data analytics, semantic databases, knowledge discovery are emerging high performance application areas that exploit dynamic, linked data structures such as graphs, unbalanced trees or unstructured grids. These data structures usually are very large, requiring significantly more memory than available on single shared memory systems. Additionally, these data structures are difficult to partition on distributed memory systems. They also present poor spatial and temporal locality, thus generating unpredictable memory and network accesses. The Partitioned Global Address Space (PGAS) programming model seems suitable for these applications, because it allows using a shared memory abstraction across distributed-memory clusters. However, current PGAS languages and libraries are built to target regular remote data accesses and block transfers. Furthermore, they usually rely on the Single Program Multiple Data (SPMD) parallel control model, which is not well suited to the fine grained, dynamic and unbalanced parallelism of irregular applications. In this paper we present {\\bf GMT} (Global Memory and Threading library), a custom runtime library that enables efficient execution of irregular applications on commodity clusters. GMT integrates a PGAS data substrate with simple fork/join parallelism and provides automatic load balancing on a per node basis. It implements multi-level aggregation and lightweight multithreading to maximize memory and network bandwidth with fine-grained data accesses and tolerate long data access latencies. A key innovation in the GMT runtime is its thread specialization (workers, helpers and communication threads) that realize the overall functionality. We compare our approach with other PGAS models, such as UPC running using GASNet, and hand-optimized MPI code on a set of typical large-scale irregular applications, demonstrating speedups of an order of magnitude.

  14. Application Support Specialist Computer Methods International Corp. (CMiC) is a software Development firm

    E-Print Network [OSTI]

    Ellis, Randy

    Application Support Specialist Computer Methods International Corp. (CMiC) is a software between our customers and CMiC. This position is responsible for enterprise support of our customer issues (may include, but are not limited to, the following): · Review questions and reported problems

  15. A pioneering application of NQA-1 quality assurance standards in the development of software

    SciTech Connect (OSTI)

    Weisbin, A.N.

    1988-01-01T23:59:59.000Z

    One reason for systematically applying quality assurance to computer software is the extensive use of results from computer programs to characterize potential sited for nuclear waste repositories leading ultimately to important policy making decisions. Because data from these programs characterize the likely radioactivity profile for many hundreds of years, experimental validation is not feasible. The Sensitivity and Uncertainty Analysis Methods Development Project (SUAMDP) was developed to formulate and utilize efficient and comprehensive methods for determining sensitivities of calculated results with respect to changes in all input parameters. The computerized methodology was embodied in the Gradient Enhanced Software System (GRESS). Due to the fact that GRESS was to be used in the site characterization for waste storage, stringent NQA-1 requirements were imposed by the sponsor. A working relationship between the Oak Ridge National Laboratory (ORNL) Quality Department and the research scientists developing GRESS was essential in achieving understanding and acceptance of the quality assurance requirements as applied to the SUAMDP. The relationship resulted in the SUAMDP becoming the first software project at ORNL to develop a comprehensive NQA-1 Quality Assurance Plan; this plan now serves as a model for software quality assurance at ORNL. This paper describes the evolution of this plan and its impact on the application of quality assurance procedures to software. 2 refs.

  16. Interval Set Clustering of Web Users using Modified Kohonen Self-Organizing Maps based on the Properties of Rough Sets

    E-Print Network [OSTI]

    1 Interval Set Clustering of Web Users using Modified Kohonen Self-Organizing Maps based, 121 35 Prague 2, Czech Republic Abstract Web usage mining involves application of data mining techniques to discover usage patterns from the web data. Clustering is one of the important functions in web

  17. Cache Replacement Policy Using Map-based Adaptive Insertion

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Cache Replacement Policy Using Map-based Adaptive Insertion Yasuo Ishii The University of Tokyo insertion policy (MAIP) for a novel cache replacement. The MAIP estimates the data reuse possibility policy. 1. INTRODUCTION The cache replacement policy plays an important role in improving system

  18. Route Optimization with MAP-Based Enhancement in Mobile Networks

    E-Print Network [OSTI]

    Lee, Tae-Jin

    technology and user de- mands for mobility support have motivated the IETF to introduce mobile IP, mobile IPv technology and demand for mobility support from users, the IETF has introduced mobile IP (MIP) [1], mobileRoute Optimization with MAP-Based Enhancement in Mobile Networks Jeonghoon Park, Tae-Jin Lee

  19. Techniques and tools for measuring energy efficiency of scientific software applications

    E-Print Network [OSTI]

    Abdurachmanov, David; Eulisse, Giulio; Knight, Robert; Niemi, Tapio; Nurminen, Jukka K; Nyback, Filip; Pestana, Goncalo; Ou, Zhonghong; Khan, Kashif

    2014-01-01T23:59:59.000Z

    The scale of scientific High Performance Computing (HPC) and High Throughput Computing (HTC) has increased significantly in recent years, and is becoming sensitive to total energy use and cost. Energy-efficiency has thus become an important concern in scientific fields such as High Energy Physics (HEP). There has been a growing interest in utilizing alternate architectures, such as low power ARM processors, to replace traditional Intel x86 architectures. Nevertheless, even though such solutions have been successfully used in mobile applications with low I/O and memory demands, it is unclear if they are suitable and more energy-efficient in the scientific computing environment. Furthermore, there is a lack of tools and experience to derive and compare power consumption between the architectures for various workloads, and eventually to support software optimizations for energy efficiency. To that end, we have performed several physical and software-based measurements of workloads from HEP applications running o...

  20. Novel application of the CORAL software to model cytotoxicity of metal oxide nanoparticles to bacteria Escherichia coli

    E-Print Network [OSTI]

    Gini, Giuseppina

    Novel application of the CORAL software to model cytotoxicity of metal oxide nanoparticles 39217, USA h i g h l i g h t s " The CORAL software for the building up of QSPR/QSAR models is suggested. " The CORAL model for cytotoxicity of metal oxide nanoparticles is demonstrated. " The model is a mathematical

  1. Software tools for developing parallel applications. Part 1: Code development and debugging

    SciTech Connect (OSTI)

    Brown, J. [Los Alamos National Lab., NM (United States); Geist, A. [Oak Ridge National Lab., TN (United States). Computer Science and Mathematics Div.; Pancake, C. [Oregon State Univ., Corvallis, OR (United States). Dept. of Computer Science; Rover, D. [Michigan State Univ., East Lansing, MI (United States). Dept. of Electrical Engineering

    1997-04-01T23:59:59.000Z

    Developing an application for parallel computers can be a lengthy and frustrating process making it a perfect candidate for software tool support. Yet application programmers are often the last to hear about new tools emerging from R and D efforts. This paper provides an overview of two focuses of tool support: code development and debugging. Each is discussed in terms of the programmer needs addressed, the extent to which representative current tools meet those needs, and what new levels of tool support are important if parallel computing is to become more widespread.

  2. Techniques and tools for measuring energy efficiency of scientific software applications

    E-Print Network [OSTI]

    David Abdurachmanov; Peter Elmer; Giulio Eulisse; Robert Knight; Tapio Niemi; Jukka K. Nurminen; Filip Nyback; Goncalo Pestana; Zhonghong Ou; Kashif Khan

    2014-10-10T23:59:59.000Z

    The scale of scientific High Performance Computing (HPC) and High Throughput Computing (HTC) has increased significantly in recent years, and is becoming sensitive to total energy use and cost. Energy-efficiency has thus become an important concern in scientific fields such as High Energy Physics (HEP). There has been a growing interest in utilizing alternate architectures, such as low power ARM processors, to replace traditional Intel x86 architectures. Nevertheless, even though such solutions have been successfully used in mobile applications with low I/O and memory demands, it is unclear if they are suitable and more energy-efficient in the scientific computing environment. Furthermore, there is a lack of tools and experience to derive and compare power consumption between the architectures for various workloads, and eventually to support software optimizations for energy efficiency. To that end, we have performed several physical and software-based measurements of workloads from HEP applications running on ARM and Intel architectures, and compare their power consumption and performance. We leverage several profiling tools (both in hardware and software) to extract different characteristics of the power use. We report the results of these measurements and the experience gained in developing a set of measurement techniques and profiling tools to accurately assess the power consumption for scientific workloads.

  3. Software | Argonne National Laboratory

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    applications, such as simulation and modeling, computation, internet usage, and more. Argonne has both commercially available software and open-source (free) software. Browse both...

  4. Designing security into software

    E-Print Network [OSTI]

    Zhang, Chang Tony

    2006-01-01T23:59:59.000Z

    When people talk about software security, they usually refer to security applications such as antivirus software, firewalls and intrusion detection systems. There is little emphasis on the security in the software itself. ...

  5. Application of the Software as a Service Model to the Control of Complex Building Systems

    SciTech Connect (OSTI)

    Stadler, Michael; Donadee, Jonathan; Marnay, Chris; Mendes, Goncalo; Appen, Jan von; Megel, Oliver; Bhattacharya, Prajesh; DeForest, Nicholas; Lai, Judy

    2011-03-17T23:59:59.000Z

    In an effort to create broad access to its optimization software, Lawrence Berkeley National Laboratory (LBNL), in collaboration with the University of California at Davis (UC Davis) and OSISoft, has recently developed a Software as a Service (SaaS) Model for reducing energy costs, cutting peak power demand, and reducing carbon emissions for multipurpose buildings. UC Davis currently collects and stores energy usage data from buildings on its campus. Researchers at LBNL sought to demonstrate that a SaaS application architecture could be built on top of this data system to optimize the scheduling of electricity and heat delivery in the building. The SaaS interface, known as WebOpt, consists of two major parts: a) the investment& planning and b) the operations module, which builds on the investment& planning module. The operational scheduling and load shifting optimization models within the operations module use data from load prediction and electrical grid emissions models to create an optimal operating schedule for the next week, reducing peak electricity consumption while maintaining quality of energy services. LBNL's application also provides facility managers with suggested energy infrastructure investments for achieving their energy cost and emission goals based on historical data collected with OSISoft's system. This paper describes these models as well as the SaaS architecture employed by LBNL researchers to provide asset scheduling services to UC Davis. The peak demand, emissions, and cost implications of the asset operation schedule and investments suggested by this optimization model are analysed.

  6. Application of the Software as a Service Model to the Control of Complex Building Systems

    SciTech Connect (OSTI)

    Stadler, Michael; Donadee, Jon; Marnay, Chris; Lai, Judy; Mendes, Goncalo; Appen, Jan von; M& #233; gel, Oliver; Bhattacharya, Prajesh; DeForest, Nicholas; Lai, Judy

    2011-03-18T23:59:59.000Z

    In an effort to create broad access to its optimization software, Lawrence Berkeley National Laboratory (LBNL), in collaboration with the University of California at Davis (UC Davis) and OSISoft, has recently developed a Software as a Service (SaaS) Model for reducing energy costs, cutting peak power demand, and reducing carbon emissions for multipurpose buildings. UC Davis currently collects and stores energy usage data from buildings on its campus. Researchers at LBNL sought to demonstrate that a SaaS application architecture could be built on top of this data system to optimize the scheduling of electricity and heat delivery in the building. The SaaS interface, known as WebOpt, consists of two major parts: a) the investment& planning and b) the operations module, which builds on the investment& planning module. The operational scheduling and load shifting optimization models within the operations module use data from load prediction and electrical grid emissions models to create an optimal operating schedule for the next week, reducing peak electricity consumption while maintaining quality of energy services. LBNL's application also provides facility managers with suggested energy infrastructure investments for achieving their energy cost and emission goals based on historical data collected with OSISoft's system. This paper describes these models as well as the SaaS architecture employed by LBNL researchers to provide asset scheduling services to UC Davis. The peak demand, emissions, and cost implications of the asset operation schedule and investments suggested by this optimization model are analyzed.

  7. Migrating data from TcSE to DOORS : an evaluation of the T-Plan Integrator software application.

    SciTech Connect (OSTI)

    Post, Debra S. (Sandia National Laboratories, Livermore, CA); Manzanares, David A.; Taylor, Jeffrey L.

    2011-02-01T23:59:59.000Z

    This report describes our evaluation of the T-Plan Integrator software application as it was used to transfer a real data set from the Teamcenter for Systems Engineering (TcSE) software application to the DOORS software application. The T-Plan Integrator was evaluated to determine if it would meet the needs of Sandia National Laboratories to migrate our existing data sets from TcSE to DOORS. This report presents the struggles of migrating data and focuses on how the Integrator can be used to map a data set and its data architecture from TcSE to DOORS. Finally, this report describes how the bulk of the migration can take place using the Integrator; however, about 20-30% of the data would need to be transferred from TcSE to DOORS manually. This report does not evaluate the transfer of data from DOORS to TcSE.

  8. Cloud Computing - Software as a Service (SaaS) - CRM Application

    E-Print Network [OSTI]

    Hassan, Sikander

    2012-12-14T23:59:59.000Z

    The software industry has a tremendously competitive environment at the global and regional levels and the companies usually follow the differentiation strategy. Most of the software companies are going through a change ...

  9. Software Aspects of IEEE Floating-Point Computations for Numerical Applications in High Energy Physics

    ScienceCinema (OSTI)

    None

    2011-10-06T23:59:59.000Z

    Floating-point computations are at the heart of much of the computing done in high energy physics. The correctness, speed and accuracy of these computations are of paramount importance. The lack of any of these characteristics can mean the difference between new, exciting physics and an embarrassing correction. This talk will examine practical aspects of IEEE 754-2008 floating-point arithmetic as encountered in HEP applications. After describing the basic features of IEEE floating-point arithmetic, the presentation will cover: common hardware implementations (SSE, x87) techniques for improving the accuracy of summation, multiplication and data interchange compiler options for gcc and icc affecting floating-point operations hazards to be avoided About the speaker Jeffrey M Arnold is a Senior Software Engineer in the Intel Compiler and Languages group at Intel Corporation. He has been part of the Digital->Compaq->Intel compiler organization for nearly 20 years; part of that time, he worked on both low- and high-level math libraries. Prior to that, he was in the VMS Engineering organization at Digital Equipment Corporation. In the late 1980s, Jeff spent 2½ years at CERN as part of the CERN/Digital Joint Project. In 2008, he returned to CERN to spent 10 weeks working with CERN/openlab. Since that time, he has returned to CERN multiple times to teach at openlab workshops and consult with various LHC experiments. Jeff received his Ph.D. in physics from Case Western Reserve University.

  10. The Program for Climate Model Diagnosis and Intercomparison (PCMDI) Software Development: Applications, Infrastructure, and Middleware/Networks

    SciTech Connect (OSTI)

    Williams, Dean N. [Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States)

    2011-06-30T23:59:59.000Z

    The status of and future plans for the Program for Climate Model Diagnosis and Intercomparison (PCMDI) hinge on software that PCMDI is either currently distributing or plans to distribute to the climate community in the near future. These software products include standard conventions, national and international federated infrastructures, and community analysis and visualization tools. This report also mentions other secondary software not necessarily led by or developed at PCMDI to provide a complete picture of the overarching applications, infrastructures, and middleware/networks. Much of the software described anticipates the use of future technologies envisioned over the span of next year to 10 years. These technologies, together with the software, will be the catalyst required to address extreme-scale data warehousing, scalability issues, and service-level requirements for a diverse set of well-known projects essential for predicting climate change. These tools, unlike the previous static analysis tools of the past, will support the co-existence of many users in a productive, shared virtual environment. This advanced technological world driven by extreme-scale computing and the data it generates will increase scientists’ productivity, exploit national and international relationships, and push research to new levels of understanding.

  11. ARC-ED Curriculum: The Application of Video Game Formats to Educational Software

    E-Print Network [OSTI]

    Chaffin, Jerry D.; Maxwell, Bill; Thompson, Barbara

    1982-01-01T23:59:59.000Z

    educational practices are examined in relation to the motivational features of arcade games. Also, guidelines for educational curriculum based on arcade game formats are proposed and the term Arc-Ed Curriculum is offered to describe such software. The content...

  12. Implementation of pedagogical principles into the software design process of e-learning applications

    E-Print Network [OSTI]

    Langseth, Helge

    , learning objective types and proficiency stages. PLExus provides a wizard for the teacheImplementation of pedagogical principles into the software design process of e-learning-trykk, Trondheim #12;___________________________________________________________________________ iii Abstract E-learning

  13. Software Developers

    Broader source: Energy.gov [DOE]

    Because SEED will provide a common, open-source data framework, software developers will be able to write applications that access the data in a consistent way (with proper permissions), or build functionalities onto the SEED platform in a replicable way.

  14. Safety Cases for Software Application Reuse P Fenelon, T P Kelly, J A McDermid

    E-Print Network [OSTI]

    Kelly, Tim

    on an analysis of a reactor protection system. 1 Introduction There is a long-established principle. These principles have been applied retrospectively to the safety case for a reactor protection system (the Stage 9. These principles have been adopted in developing safety-critical software, but often only through the reuse of low

  15. Third International Workshop on Software Engineering for High Performance Computing (HPC) Applications

    E-Print Network [OSTI]

    Carver, Jeffrey C.

    Third International Workshop on Software Engineering for High Performance Computing (HPC, and financial modeling. The TOP500 website (http://www.top500.org) lists the top 500 high performance computing to define new ways of measuring high performance computing systems that take into account not only the low

  16. Interfacing US Census map files with statistical graphics software: Application and use in epidemiology

    SciTech Connect (OSTI)

    Rizzardi, M.; Mohr, M.S.; Merrill, D.W.; Selvin, S. (Lawrence Berkeley Lab., CA (United States) California Univ., Berkeley, CA (United States). School of Public Health)

    1993-03-01T23:59:59.000Z

    In 1990, the United States Bureau of the Census released detailed geographic map files known as TIGER/Line (Topologically Integrated Geographic Encoding and Referencing). The TIGER files, accessible through purchase or Federal repository libraries, contain 24 billion characters of data describing various geographic features including coastlines, hydrography, transportation networks, political boundaries, etc. covering the entire United States. Many of these physical features are of potential interest in epidemiological case studies. Unfortunately, the TIGER database only provides raw alphanumeric data; no utility software, graphical or otherwise, is included. Recently, the S statistical software package has been extended to include a map display function. The map function augments S's high-level approach toward statistical analysis and graphical display of data. Coupling this statistical software with the map database developed for US Census data collection will facilitate epidemiological research. We discuss the technical background necessary to utilize the TIGER database for mapping with S. Two types of S maps, segment-based and polygon-based, are discussed along with methods to construct them from TIGER data. Polygon-based maps are useful for displaying regional statistical data; e.g., disease rates or incidence at the census tract level. Segment-based maps are easier to assemble and appropriate if the data are not regionalized. Census tract data of AIDS incidence in San Francisco (CA) and lung cancer case locations relative to petrochemical refinery sites in Contra Costa County (CA) are used to illustrate the methods and potential uses of interfacing the TIGER database with S.

  17. Interfacing US Census map files with statistical graphics software: Application and use in epidemiology. Revision 1

    SciTech Connect (OSTI)

    Rizzardi, M.; Mohr, M.S.; Merrill, D.W.; Selvin, S. [Lawrence Berkeley Lab., CA (United States)]|[California Univ., Berkeley, CA (United States). School of Public Health

    1993-03-01T23:59:59.000Z

    In 1990, the United States Bureau of the Census released detailed geographic map files known as TIGER/Line (Topologically Integrated Geographic Encoding and Referencing). The TIGER files, accessible through purchase or Federal repository libraries, contain 24 billion characters of data describing various geographic features including coastlines, hydrography, transportation networks, political boundaries, etc. covering the entire United States. Many of these physical features are of potential interest in epidemiological case studies. Unfortunately, the TIGER database only provides raw alphanumeric data; no utility software, graphical or otherwise, is included. Recently, the S statistical software package has been extended to include a map display function. The map function augments S`s high-level approach toward statistical analysis and graphical display of data. Coupling this statistical software with the map database developed for US Census data collection will facilitate epidemiological research. We discuss the technical background necessary to utilize the TIGER database for mapping with S. Two types of S maps, segment-based and polygon-based, are discussed along with methods to construct them from TIGER data. Polygon-based maps are useful for displaying regional statistical data; e.g., disease rates or incidence at the census tract level. Segment-based maps are easier to assemble and appropriate if the data are not regionalized. Census tract data of AIDS incidence in San Francisco (CA) and lung cancer case locations relative to petrochemical refinery sites in Contra Costa County (CA) are used to illustrate the methods and potential uses of interfacing the TIGER database with S.

  18. User's guide to DIANE Version 2. 1: A microcomputer software package for modeling battery performance in electric vehicle applications

    SciTech Connect (OSTI)

    Marr, W.W.; Walsh, W.J. (Argonne National Lab., IL (USA). Energy Systems Div.); Symons, P.C. (Electrochemical Engineering Consultants, Inc., Morgan Hill, CA (USA))

    1990-06-01T23:59:59.000Z

    DIANE is an interactive microcomputer software package for the analysis of battery performance in electric vehicle (EV) applications. The principal objective of this software package is to enable the prediction of EV performance on the basis of laboratory test data for batteries. The model provides a second-by-second simulation of battery voltage and current for any specified velocity/time or power/time profile. The capability of the battery is modeled by an algorithm that relates the battery voltage to the withdrawn current, taking into account the effect of battery depth-of-discharge (DOD). Because of the lack of test data and other constraints, the current version of DIANE deals only with vehicles using fresh'' batteries with or without regenerative braking. Deterioration of battery capability due to aging can presently be simulated with user-input parameters accounting for an increase of effective internal resistance and/or a decrease of cell no-load voltage. DIANE 2.1 is written in FORTRAN language for use on IBM-compatible microcomputers. 7 refs.

  19. Fast Marching Methods: Application via Integration with Commercial E&P Software

    E-Print Network [OSTI]

    Al-Rukabi, Muhammed

    2014-10-16T23:59:59.000Z

    lower level functionality to the rest of the Ocean API. The Ocean Services are a group of APIs that include a standardized common set of functionalities. Built on top of the Ocean Core, the services are thus application- independent and can operate... on all product family applications of Schlumberger. These standardized services include API for unit systems and unit conversion, coordinate systems and coordinate conversion, general data types, specialized geometry data types, and others. 32...

  20. SIGKDD Demo: Sensors and Software to Allow Computational Entomology, an Emerging Application of

    E-Print Network [OSTI]

    Batista, Gustavo

    of Data Mining Gustavo Batista Eamonn Keogh University of California, Riverside Riverside, CA, 92521 on insect classification. Categories and Subject Descriptors H.2.8 [Database Application]: Data mining for understanding mosquito biogeography, ecology, and the impact of environmental changes, as well as for species

  1. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Configuration...

    Broader source: Energy.gov (indexed) [DOE]

    SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Configuration Management Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Configuration Management...

  2. Parallel Algorithms and Software for Nuclear, Energy, and Environmental Applications Part I: Multiphysics Algorithms

    SciTech Connect (OSTI)

    Derek Gaston; Luanjing Guo; Glen Hansen; Hai Huang; Richard Johnson; HyeongKae PArk; Robert Podgorney; Michael Tonks; Richard Williamson

    2012-09-01T23:59:59.000Z

    There is a growing trend within energy and environmental simulation to consider tightly coupled solutions to multiphysics problems. This can be seen in nuclear reactor analysis where analysts are interested in coupled flow, heat transfer and neutronics, and in nuclear fuel performance simulation where analysts are interested in thermomechanics with contact coupled to species transport and chemistry. In energy and environmental applications, energy extraction involves geomechanics, flow through porous media and fractured formations, adding heat transport for enhanced oil recovery and geothermal applications, and adding reactive transport in the case of applications modeling the underground flow of contaminants. These more ambitious simulations usually motivate some level of parallel computing. Many of the physics coupling efforts to date utilize simple code coupling or first-order operator splitting, often referred to as loose coupling. While these approaches can produce answers, they usually leave questions of accuracy and stability unanswered. Additionally, the different physics often reside on distinct meshes and data are coupled via simple interpolation, again leaving open questions of stability and accuracy.

  3. RELAP-7 SOFTWARE VERIFICATION AND VALIDATION PLAN

    SciTech Connect (OSTI)

    Smith, Curtis L [Idaho National Laboratory; Choi, Yong-Joon [Idaho National Laboratory; Zou, Ling [Idaho National Laboratory

    2014-09-01T23:59:59.000Z

    This INL plan comprehensively describes the software for RELAP-7 and documents the software, interface, and software design requirements for the application. The plan also describes the testing-based software verification and validation (SV&V) process—a set of specially designed software models used to test RELAP-7.

  4. Commercial Software | Argonne National Laboratory

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    a variety of applications including simulation, modeling, computation, internet, flexible framework modeling, and more. Commercial software can be licensed directly from...

  5. Software Interoperability Tools: Standardized Capability-Profiling Methodology ISO16100

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Software Interoperability Tools: Standardized Capability-Profiling Methodology ISO16100 Michiko, qwang@seu.ac.jp Abstract. The ISO 16100 series has been developed for Manufacturing software for developing general software applications including enterprise applications. In this paper, ISO 16100

  6. Software requirements, design, and verification and validation for the FEHM application - a finite-element heat- and mass-transfer code

    SciTech Connect (OSTI)

    Dash, Z.V.; Robinson, B.A.; Zyvoloski, G.A.

    1997-07-01T23:59:59.000Z

    The requirements, design, and verification and validation of the software used in the FEHM application, a finite-element heat- and mass-transfer computer code that can simulate nonisothermal multiphase multicomponent flow in porous media, are described. The test of the DOE Code Comparison Project, Problem Five, Case A, which verifies that FEHM has correctly implemented heat and mass transfer and phase partitioning, is also covered.

  7. NERSC Applications Software

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated Codes |IsLove Your1Allocations NERSC Allocations: forNERSC AnnouncesAnnual

  8. NERSC Applications Software List

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated Codes |IsLove Your1Allocations NERSC Allocations: forNERSC

  9. What Should Adaptivity Mean to Interactive Software Programmers?

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    , responsive design, context- sensitive applications, software architecture, programming, theory of interactive

  10. A SOFTWARE PIPELINE FOR PROTEIN STRUCTURE PREDICTION Michael S. Lee

    E-Print Network [OSTI]

    Wilson, and Jaques Reifman DoD Biotechnology High Performance Computing Software Applications Institute U

  11. Stateful UML Design with Security Constraints for Information Assurance The design of software applications using UML embodies

    E-Print Network [OSTI]

    Demurjian, Steven A.

    Stateful UML Design with Security Constraints for Information Assurance Abstract The design design state containing security constraints and insures that information assurance with respect. Keywords: RBAC, MAC, UML, access control, information assurance, secure software design. 1. Introduction

  12. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Design...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Design Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Design Checklist This checklist is intended to...

  13. Approved Module Information for CS1040, 2014/5 Module Title/Name: Multimedia Software and Applications Module Code: CS1040

    E-Print Network [OSTI]

    Neirotti, Juan Pablo

    #12;Indicative Module Content: Multimedia concepts, development, hardware, software lifecycle and animation Multimedia and the Internet Software development using suitable multimedia software packagesApproved Module Information for CS1040, 2014/5 Module Title/Name: Multimedia Software

  14. Multiphase flow calculation software

    DOE Patents [OSTI]

    Fincke, James R. (Idaho Falls, ID)

    2003-04-15T23:59:59.000Z

    Multiphase flow calculation software and computer-readable media carrying computer executable instructions for calculating liquid and gas phase mass flow rates of high void fraction multiphase flows. The multiphase flow calculation software employs various given, or experimentally determined, parameters in conjunction with a plurality of pressure differentials of a multiphase flow, preferably supplied by a differential pressure flowmeter or the like, to determine liquid and gas phase mass flow rates of the high void fraction multiphase flows. Embodiments of the multiphase flow calculation software are suitable for use in a variety of applications, including real-time management and control of an object system.

  15. Contribution to the safety assessment of instrumentation and control software for nuclear power plants: Application to SPIN N4

    SciTech Connect (OSTI)

    Soubies, B.; Henry, J.Y.; LeMeur, M.; Elsensohn, O.; Boulc`h, J.

    1994-10-01T23:59:59.000Z

    1300 MWe pressurized water reactors (PWRs), like the 1400 MWe reactors, operate with microprocessor-based safety systems. This is particularly the case for the Digital Integrated Protection System (SPIN), which trips the reactor in an emergency and sets in action the safeguard functions. The software used in these systems must therefore be highly dependable in the execution of their functions.

  16. COMPUTING APPLICATIONS APPLICATIONS

    E-Print Network [OSTI]

    Bader, David A.

    COMPUTING APPLICATIONS APPLICATIONS APPLICATIONS David A. Bader NEW MEXICO, USA Robert Pennington of the interconnect net- work and related software is shown by comparing the same application running on a large

  17. Enterprise software : analysis of product strategies

    E-Print Network [OSTI]

    Boppana, Krishna S

    2007-01-01T23:59:59.000Z

    Since the invention of IBM 360, the first computing system about five decades ago, the processing and software capabilities have grown by leaps and have become major components of businesses. The software applications and ...

  18. A Systematic Approach to Creating and Maintaining Software Documentation

    E-Print Network [OSTI]

    French, James C.

    and SODOS integrated database management systems with the software documentation associatedUVA A Systematic Approach to Creating and Maintaining Software Documentation Allison L. Powell CODE INTERFACE BROWSING INTERFACE STATUS FUTURE PLANS WHY SOFTWARE DOCUMENTATION AS AN APPLICATION AREA

  19. Improving Rendering Performance by Texture-Map-Based Triangle Strips Yu Yang, Tulika Mitra and Huang Zhiyong

    E-Print Network [OSTI]

    Huang, Zhiyong

    Improving Rendering Performance by Texture-Map-Based Triangle Strips Yu Yang, Tulika Mitra, Singapore 117543) Abstract Improving the rendering performance is a basic problem for computer graphics system. In this paper, we are aiming to investigate the impact on the rendering performance of some

  20. Fuzzy soil mapping based on prototype category theory Feng Qi a,, A-Xing Zhu b,c

    E-Print Network [OSTI]

    Zhu, A-Xing

    Fuzzy soil mapping based on prototype category theory Feng Qi a,, A-Xing Zhu b,c , Mark Harrower c component of soil mapping is classification, a process of assigning spatial soil entities to predefined categories (classes). However, by their nature soils exist as a continuum both in the spatial and attribute

  1. Using Software Engineering Technology to Improve the Quality of Medical Processes*

    E-Print Network [OSTI]

    Avrunin, George S.

    .g., infusion pumps, radiation therapy machines, and patient monitoring devices), and software applications (e

  2. Component Metadata for Software Engineering Tasks

    E-Print Network [OSTI]

    Harrold, Mary Jean

    functions. In particular, she has no source code, no reliability or safety information, no in- formationComponent Metadata for Software Engineering Tasks Alessandro Orso1 , Mary Jean Harrold1 , and David of an application developer who wants to perform two different software engineering tasks on her application: gen

  3. JSATS Decoder Software Manual

    SciTech Connect (OSTI)

    Flory, Adam E.; Lamarche, Brian L.; Weiland, Mark A.

    2013-05-01T23:59:59.000Z

    The Juvenile Salmon Acoustic Telemetry System (JSATS) Decoder is a software application that converts a digitized acoustic signal (a waveform stored in the .bwm file format) into a list of potential JSATS Acoustic MicroTransmitter (AMT) tagcodes along with other data about the signal including time of arrival and signal to noise ratios (SNR). This software is capable of decoding single files, directories, and viewing raw acoustic waveforms. When coupled with the JSATS Detector, the Decoder is capable of decoding in ‘real-time’ and can also provide statistical information about acoustic beacons placed within receive range of hydrophones within a JSATS array. This document details the features and functionality of the software. The document begins with software installation instructions (section 2), followed in order by instructions for decoder setup (section 3), decoding process initiation (section 4), then monitoring of beacons (section 5) using real-time decoding features. The last section in the manual describes the beacon, beacon statistics, and the results file formats. This document does not consider the raw binary waveform file format.

  4. Software documentation, Page 1, Printed 7/11/01 Documentation

    E-Print Network [OSTI]

    Sommerville, Ian

    Software documentation, Page 1, Printed 7/11/01 Software Documentation Ian Sommerville Lancaster University, UK #12;Software documentation, Page 2, Printed 7/11/01 Introduction All large software development projects, irrespective of application, generate a large amount of associated documentation

  5. Software Architecture and Software Configuration Bernhard Westfechtel

    E-Print Network [OSTI]

    Westfechtel, Bernhard

    the software life cycle. In addition, it supports system building (creation of derived objects from support for the management of evolving software objects throughout the whole life cycle. Several problems architectures play a central role in the development and maintenance of a software system. A software

  6. A flight software development and simulation framework for advanced space systems

    E-Print Network [OSTI]

    Enright, John Patrick, 1974-

    2002-01-01T23:59:59.000Z

    Distributed terrestrial computer systems employ middleware software to provide communications abstractions and reduce software interface complexity. Embedded applications are adopting the same approaches, but must make ...

  7. E. Jones, "Automated Support for Test-Driven Specification," Proceedings of the 9th IASTED Conference on Software Engineering and Applications

    E-Print Network [OSTI]

    Jones, Edward

    the duality between specification and testing early in the software lifecycle. KEY WORDS Specification long been viewed a dual process to software development, but performed as an adjunct to development to the relationship between the creative activities of successive stages in the development lifecycle

  8. A software framework for image processing

    SciTech Connect (OSTI)

    Garren, D.A. [Raytheon E-Systems, Garland Operations, TX (United States)

    1996-12-31T23:59:59.000Z

    There exists a great potential for the development of customizable image processing software that accommodates a wide variety of customers and applications. Such software would be able to read and process the many common image file formats, in addition to allowing the incorporation of those that have been custom made. Furthermore, the software would have the ability to handle the infinite variety of accompanying support files, which can contain quite different information for various applications and customers. A software framework designed to read and process this wide variety of input image files and support files would be extremely valuable. This paper develops the foundation of this proposed software architecture by using a composite of several common design patterns. Any similar software framework required to process input information and corresponding algorithms can benefit from the exposition of these composite design structures.

  9. Software Engineering School COMSC

    E-Print Network [OSTI]

    Martin, Ralph R.

    management skills and performing key technical tasks in the software development lifecycle. The module and practices that are needed to develop software-intensive systems. Students will work on a software in the software lifecycle, and the pros and cons of different models of software construction to select

  10. Understanding and Improving Software Productivity

    E-Print Network [OSTI]

    Scacchi, Walt

    Understanding and Improving Software Productivity Walt Scacchi Institute for Software Research;2 Introduction · What affects software productivity? ­ Software productivity has been one of the most studied aspects of software engineering ­ Goal: review sample of empirical studies of software productivity

  11. Designing supportability into software

    E-Print Network [OSTI]

    Shirolkar, Prashant A., 1973-

    2004-01-01T23:59:59.000Z

    Background: Despite the identification of a "software crisis" in the 1960s, large software projects are full of defects even today [19]. These defects cause the software to behave unexpectedly. The cause generally is ...

  12. Theory and Software

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Theory and Software Home People Science Highlights Publications Seminars & Meetings Opportunities Advisory Committee Theory and Software Group (X-ray Science Division) The Theory...

  13. Software Analytics: Achievements and Challenges Dongmei Zhang

    E-Print Network [OSTI]

    Xie, Tao

    , USA Email: xie@csc.ncsu.edu Abstract--A huge wealth of various data exist in the practice of software insightful and actionable information; such information is used for completing various tasks around software and challenges of research and practice on principles, techniques, and applications of soft- ware analytics

  14. SOFTWARE ENGINEERING September Entry, 120 credit program

    E-Print Network [OSTI]

    Doedel, Eusebius

    Capstone Software Engineering Design Project 4 ENGR 301 Engineering Management Principles and Economics 3SOFTWARE ENGINEERING September Entry, 120 credit program General Program Last revised: March 2013 Applications 3 Basic Science Year 2 Fall Course Number Course Name Credit COMP 348 Principles of Programming

  15. A Conformal Mapping Based Fractional Order Approach for Sub-optimal Tuning of PID Controllers with Guaranteed Dominant Pole Placement

    E-Print Network [OSTI]

    Saha, Suman; Das, Shantanu; Gupta, Amitava

    2012-01-01T23:59:59.000Z

    A novel conformal mapping based Fractional Order (FO) methodology is developed in this paper for tuning existing classical (Integer Order) Proportional Integral Derivative (PID) controllers especially for sluggish and oscillatory second order systems. The conventional pole placement tuning via Linear Quadratic Regulator (LQR) method is extended for open loop oscillatory systems as well. The locations of the open loop zeros of a fractional order PID (FOPID or PI{\\lambda}D{\\mu}) controller have been approximated in this paper vis-\\`a-vis a LQR tuned conventional integer order PID controller, to achieve equivalent integer order PID control system. This approach eases the implementation of analog/digital realization of a FOPID controller with its integer order counterpart along with the advantages of fractional order controller preserved. It is shown here in the paper that decrease in the integro-differential operators of the FOPID/PI{\\lambda}D{\\mu} controller pushes the open loop zeros of the equivalent PID cont...

  16. CIRES /NGDC Professional Research Assistant Software Engineer

    E-Print Network [OSTI]

    Colorado at Boulder, University of

    of data and integrated models describing the geophysical and solar- terrestrial environments. CIRES has and the ability to conceptualize user requirements into customer-friendly and efficient software applications

  17. Software distribution using xnetlib

    SciTech Connect (OSTI)

    Dongarra, J.J. [Univ. of Tennessee, Knoxville, TN (US). Dept. of Computer Science]|[Oak Ridge National Lab., TN (US); Rowan, T.H. [Oak Ridge National Lab., TN (US); Wade, R.C. [Univ. of Tennessee, Knoxville, TN (US). Dept. of Computer Science

    1993-06-01T23:59:59.000Z

    Xnetlib is a new tool for software distribution. Whereas its predecessor netlib uses e-mail as the user interface to its large collection of public-domain mathematical software, xnetlib uses an X Window interface and socket-based communication. Xnetlib makes it easy to search through a large distributed collection of software and to retrieve requested software in seconds.

  18. Introduction to Software Engineering

    E-Print Network [OSTI]

    ? ) Concept of Operations (CONOPS) Software Requirements Requirements Engineering Processes System Models

  19. SOFTWARE ENGINEERING COMPUTER SCIENCE

    E-Print Network [OSTI]

    Bone, Gary

    SOFTWARE ENGINEERING COMPUTER SCIENCE ... What's the Difference? goeng1@mcmaster.ca www). Software Engineering covers the course content listed under Computer Science, with some additions. Software). Software Engineering students will graduate with a Bachelor of Engineering (B.Eng). Computer Science

  20. Applications (Grid Tools)

    E-Print Network [OSTI]

    Buyya, Rajkumar

    Grid Fabric Software Grid Applications Core Grid Middleware User-Level Middleware (Grid Tools) !"# $ %& ' ( ) * #& + '& ' , - . / # ) ) 0 # * 1 PDB CDB Grid Fabric Hardware &+ '' + ) , '1 '1 ' % - * # ( Grid Fabric Software Grid Applications Core Grid Middleware User-Level Middleware (Grid Tools) !"# $ %& ' ( ) * #& + '& ' , - . / # ) ) 0

  1. Institute for Software Technology Ad anced RoboticsAdvanced Robotics

    E-Print Network [OSTI]

    Interaction #12;Institute for Software Technology Application Areas Gerald Steinbauer 3 Advanced RoboticsInstitute for Software Technology Ad anced RoboticsAdvanced Robotics Human Robot Interaction Gerald Steinbauer Institute for Software Technology Gerald Steinbauer 1 Advanced Robotics ­ Human Robot Interaction

  2. Examination of Contemporary Electromagnetic Software Capable of Modeling Problems of

    E-Print Network [OSTI]

    Yakovlev, Vadim

    Heating Vadim V. Yakovlev Department of Mathematical Sciences, Worcester Polytechnic Institute, Worcester the database of the modern electromagnetic (EM) software suitable for the modeling of microwave heating. Software Database The database of the EM software available in the market and applicable to the majority

  3. A Systematic Approach to Creating and Maintaining Software Documentation

    E-Print Network [OSTI]

    French, James C.

    & Williamson) ­ Both DIF and SODOS integrated database management systems with the software documentationUVA A Systematic Approach to Creating and Maintaining Software Documentation Allison L. Powell SOURCE CODE INTERFACE BROWSING INTERFACE STATUS FUTURE PLANS WHY SOFTWARE DOCUMENTATION AS AN APPLICATION

  4. Software Group IBM Rational RequisitePro evaluators guide.

    E-Print Network [OSTI]

    set of software tools spanning the entire development lifecycle; and services to help indi- viduals and our product offerings. About IBM Rational software and the full lifecycle solution The IBM Rational. #12;Requirements management overview Application development is a complex undertak- ing. The software

  5. In: 8th International Conference on Software Engineering and Applications (ICSOFT-EA 2013), Reykjavik, Iceland, July 29-31 2013

    E-Print Network [OSTI]

    Cengarle, María Victoria

    a case study on failure-modes and effects analysis in the automotive industries. 1 INTRODUCTION Nobody software, such as design verification, failure-modes- and-effects analysis (FMEA), diagnosis, test in the automotive industries on failure-modes-an-effects analysis and functional safety analysis. 2 CYBER

  6. Safety critical software development qualification

    SciTech Connect (OSTI)

    Marron, J. E. [Invensys Process Systems, 33 Commercial Street, Foxboro, MA 02035 (United States)

    2006-07-01T23:59:59.000Z

    With the increasing use of digital systems in control applications, customers must acquire appropriate expectations for software development and quality assurance procedures. Purchasers and users of digital systems need to understand the benefits to the supplier of effective quality systems. These systems consist not only of procedures but tools that enable automation. Without the use of automation, quality can not be assured. A software and systems quality program starts with the documents you are very familiar with. But these documents must define more than the final system. They must address specific development environment characteristics and testing capabilities. Starting with the RFP, some of the items that should be introduced are Software Configuration Management, regression testing and defect tracking. The digital system customer is in the best position to enforce the use of software and systems quality programs by including them in project requirements as early as the Purchase Order. The customer's understanding of the full scope and implementation of a software quality program is essential to achieving the quality necessary in nuclear projects, and, incidentally, completing those projects on schedule. (authors)

  7. User' Software Manual

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    MM-Group Home MMG Advisory Committees 4-ID-D Home Recent Publications Beamline Info Optics Instrumentation Software User Info FAQs 4-ID-D Beamline Software Manual Introduction...

  8. Software engineering practices for control system reliability

    SciTech Connect (OSTI)

    S. K. Schaffner; K. S White

    1999-04-01T23:59:59.000Z

    This paper will discuss software engineering practices used to improve Control System reliability. The authors begin with a brief discussion of the Software Engineering Institute's Capability Maturity Model (CMM) which is a framework for evaluating and improving key practices used to enhance software development and maintenance capabilities. The software engineering processes developed and used by the Controls Group at the Thomas Jefferson National Accelerator Facility (Jefferson Lab), using the Experimental Physics and Industrial Control System (EPICS) for accelerator control, are described. Examples are given of how their procedures have been used to minimized control system downtime and improve reliability. While their examples are primarily drawn from their experience with EPICS, these practices are equally applicable to any control system. Specific issues addressed include resource allocation, developing reliable software lifecycle processes and risk management.

  9. The safety implications of emerging software paradigms

    SciTech Connect (OSTI)

    Suski, G.J.; Persons, W.L.; Johnson, G.L.

    1994-10-01T23:59:59.000Z

    This paper addresses some of the emerging software paradigms that may be used in developing safety-critical software applications. Paradigms considered in this paper include knowledge-based systems, neural networks, genetic algorithms, and fuzzy systems. It presents one view of the software verification and validation activities that should be associated with each paradigm. The paper begins with a discussion of the historical evolution of software verification and validation. Next, a comparison is made between the verification and validation processes used for conventional and emerging software systems. Several verification and validation issues for the emerging paradigms are discussed and some specific research topics are identified. This work is relevant for monitoring and control at nuclear power plants.

  10. SOFTWARE EVOLUTION AND THE STAGED MODEL OF THE SOFTWARE LIFECYCLE

    E-Print Network [OSTI]

    1 SOFTWARE EVOLUTION AND THE STAGED MODEL OF THE SOFTWARE LIFECYCLE K. H. Bennett Research............................................................................................................11 1.5 Iterative software development ...............................................................................................................19 1.10 The stages of the software lifecycle

  11. Agile Development and Software Evolution

    E-Print Network [OSTI]

    Feitelson, Dror

    Agile Development and Software Evolution Dror Feitelson Basic Seminar on Software Engineering Hebrew University 2011 #12;Software Lifecycle Req's Analysis Design Construction Testing Transfer Maintenance Textbook view: #12;Software Lifecycle Req's Analysis Design Construction Testing Transfer

  12. HAZARD ANALYSIS SOFTWARE

    SciTech Connect (OSTI)

    Sommer, S; Tinh Tran, T

    2008-04-08T23:59:59.000Z

    Washington Safety Management Solutions, LLC developed web-based software to improve the efficiency and consistency of hazard identification and analysis, control selection and classification, and to standardize analysis reporting at Savannah River Site. In the new nuclear age, information technology provides methods to improve the efficiency of the documented safety analysis development process which includes hazard analysis activities. This software provides a web interface that interacts with a relational database to support analysis, record data, and to ensure reporting consistency. A team of subject matter experts participated in a series of meetings to review the associated processes and procedures for requirements and standard practices. Through these meetings, a set of software requirements were developed and compiled into a requirements traceability matrix from which software could be developed. The software was tested to ensure compliance with the requirements. Training was provided to the hazard analysis leads. Hazard analysis teams using the software have verified its operability. The software has been classified as NQA-1, Level D, as it supports the analysis team but does not perform the analysis. The software can be transported to other sites with alternate risk schemes. The software is being used to support the development of 14 hazard analyses. User responses have been positive with a number of suggestions for improvement which are being incorporated as time permits. The software has enforced a uniform implementation of the site procedures. The software has significantly improved the efficiency and standardization of the hazard analysis process.

  13. Continuing engineering education for software engineering professionals

    SciTech Connect (OSTI)

    Davis, P.I.

    1992-02-19T23:59:59.000Z

    Designers of software for safety-critical applications are impelled to supplement their education through continuing engineering studies in the areas of requirements analysis, hazard identification, risk analysis, fault tolerance, failure modes, and psychology. Today's complex level of design is contributing to opportunities for catastrophic design errors in computer functions where failure of such functions is capable of causing injury and death. A syllabus of post-graduate, core studies within the curricula of five engineering specialties is suggested. Software Engineers are exhorted to undertake a professional, responsible role in safety-critical software design.

  14. Continuing engineering education for software engineering professionals

    SciTech Connect (OSTI)

    Davis, P.I.

    1992-02-19T23:59:59.000Z

    Designers of software for safety-critical applications are impelled to supplement their education through continuing engineering studies in the areas of requirements analysis, hazard identification, risk analysis, fault tolerance, failure modes, and psychology. Today`s complex level of design is contributing to opportunities for catastrophic design errors in computer functions where failure of such functions is capable of causing injury and death. A syllabus of post-graduate, core studies within the curricula of five engineering specialties is suggested. Software Engineers are exhorted to undertake a professional, responsible role in safety-critical software design.

  15. Preprint of paper published in Encyclopedia of Software Engineering, 2nd Edition, Wiley Interscience 2001.

    E-Print Network [OSTI]

    Grundy, John

    in software tools development. We provide a summary of tool applications during the software lifecycle engineers than ever before. The support of appropriate software tools is essential for developers and various likely future research trends in tools development. Introduction The demand for computer software

  16. A few elements in software development engineering education Vincent Ribaud and Philippe Saliou

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    , the client-supplier relationship, the application of a development baseline, the use of methods; software design; software construction; software integration; software qualification testing. The concerns. · Integration ­ Qualification: to design and write An Integration and Qualification Plan; to master an int

  17. Postprint of article in Proceedings of the IEEE 38th Annual Computer Software and Applications Conference (COMPSAC '14), IEEE Computer Society, 2014

    E-Print Network [OSTI]

    Energy-Efficient Configurations of Virtual Machines Hosting Mobile Applications Edward Y.Y. KanAdaptor, a novel approach toward loca- ting energy-efficient configurations to execute the applications hosted better energy-efficient configura- tions, and makes them available to all the installations of the same

  18. Software communications integrated into refinery system

    SciTech Connect (OSTI)

    Goodpaster, R.; Kennedy, J.P.

    1989-01-16T23:59:59.000Z

    Ashland Oil Co. is integrating software communications, using real-time data, into the computerized information system at its Catlettsburg, Ky., refinery. The Ashland real-time information system (Artis) was designed to improve timeliness and accuracy of yield accounting to the refinery, and to standardize software communications between applications. With the system, real-time data are collected in a central data server and used to feed normal data reconciliation software for validation. This part of the system has been successfully implemented. Standardization of software communications is still under design, but most of the communication paths have been defined because a highly evolved information system already exists at the refinery. And efforts are under way to integrate information from the process to optimization.

  19. Tax Deduction Qualified Software

    Broader source: Energy.gov [DOE]

    On this page you'll find information about the EnergyGauge Summit version 3.20 (incorporating DOE-2.1E (v120)) qualified computer software (buildings.energy.gov/qualified_software.html), which calculates energy and power cost savings that meet federal tax incentive requirements for commercial buildings.

  20. Tax Deduction Qualified Software

    Broader source: Energy.gov [DOE]

    On this page you'll find information about the EnergyGauge Summit version 3.22 (incorporating DOE-2.1E (v120)) qualified computer software (buildings.energy.gov/qualified_software.html), which calculates energy and power cost savings that meet federal tax incentive requirements for commercial buildings.

  1. Tax Deduction Qualified Software

    Broader source: Energy.gov [DOE]

    On this page you'll find information about the EnergyGauge Summit version 3.21 (incorporating DOE-2.1E (v120)) qualified computer software (buildings.energy.gov/qualified_software.html), which calculates energy and power cost savings that meet federal tax incentive requirements for commercial buildings.

  2. Engineering Careers: Software Engineering

    E-Print Network [OSTI]

    Fenster, Sam

    of others When you screw up, you can do it on a massive scale #12;Totally unlike other engineering electronic device #12;Software tools Software engineers build their own tools The OS on your laptop;Just like other engineering Established body of knowledge Established practices Build on the work

  3. Probabilistic Software Workshop Probabilistic Software Workshop

    E-Print Network [OSTI]

    such identification imply a recommendation or it imply that any of the materials, instruments or equipment identified products. · NIST Disclaimer: Certain commercial equipment, instruments, software programs, and materials the official position of the National Institute of Standards and Technology or the U.S. Department of Justice

  4. SAPHIRE 8 Software Independent Verification and Validation Plan

    SciTech Connect (OSTI)

    Rae J. Nims

    2009-04-01T23:59:59.000Z

    SAPHIRE 8 is being developed with a phased or cyclic iterative rapid application development methodology. Due to this approach, a similar approach is being taken for the IV&V activities on each vital software object. The IV&V plan is structured around NUREG/BR-0167, “Software Quality Assurance Program and Guidelines,” February 1993. The Nuclear Regulatory Research Office Instruction No.: PRM-12, “Software Quality Assurance for RES Sponsored Codes,” March 26, 2007 specifies that RES-sponsored software is to be evaluated against NUREG/BR-0167. Per the guidance in NUREG/BR-0167, SAPHIRE is classified as “Level 1.” Level 1 software corresponds to technical application software used in a safety decision.

  5. SAPHIRE 8 Software Independent Verification and Validation Plan

    SciTech Connect (OSTI)

    Rae J. Nims; Kent M. Norris

    2010-02-01T23:59:59.000Z

    SAPHIRE 8 is being developed with a phased or cyclic iterative rapid application development methodology. Due to this approach, a similar approach is being taken for the IV&V activities on each vital software object. The IV&V plan is structured around NUREG/BR-0167, “Software Quality Assurance Program and Guidelines,” February 1993. The Nuclear Regulatory Research Office Instruction No.: PRM-12, “Software Quality Assurance for RES Sponsored Codes,” March 26, 2007 specifies that RES-sponsored software is to be evaluated against NUREG/BR-0167. Per the guidance in NUREG/BR-0167, SAPHIRE is classified as “Level 1.” Level 1 software corresponds to technical application software used in a safety decision.

  6. Interactive Software Technology 1/24 Interactive Software Technology

    E-Print Network [OSTI]

    Wegner, Peter

    Interactive Software Technology 1/24 Interactive Software Technology Peter Wegner, Brown University Paradigms 2. Models of Interaction 3. Software Engineering, Artificial Intelligence, and Open Systems 4. Object­oriented Design: Sequential Interaction 5. Multiple Interface Models: Concurrent Interaction 6

  7. Merging Applicability Domains for in Silico Assessment of Chemical Mutagenicity

    E-Print Network [OSTI]

    * and Anders Wallqvist* DoD Biotechnology High Performance Computing Software Applications Institute

  8. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM | Department of...

    Broader source: Energy.gov (indexed) [DOE]

    SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM System Maintenance Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM More...

  9. Applying Agile MethodstoWeapon/Weapon-Related Software

    SciTech Connect (OSTI)

    Adams, D; Armendariz, M; Blackledge, M; Campbell, F; Cloninger, M; Cox, L; Davis, J; Elliott, M; Granger, K; Hans, S; Kuhn, C; Lackner, M; Loo, P; Matthews, S; Morrell, K; Owens, C; Peercy, D; Pope, G; Quirk, R; Schilling, D; Stewart, A; Tran, A; Ward, R; Williamson, M

    2007-05-02T23:59:59.000Z

    This white paper provides information and guidance to the Department of Energy (DOE) sites on Agile software development methods and the impact of their application on weapon/weapon-related software development. The purpose of this white paper is to provide an overview of Agile methods, examine the accepted interpretations/uses/practices of these methodologies, and discuss the applicability of Agile methods with respect to Nuclear Weapons Complex (NWC) Technical Business Practices (TBPs). It also provides recommendations on the application of Agile methods to the development of weapon/weapon-related software.

  10. Software quality assurance handbook

    SciTech Connect (OSTI)

    Not Available

    1990-09-01T23:59:59.000Z

    There are two important reasons for Software Quality Assurance (SQA) at Allied-Signal Inc., Kansas City Division (KCD): First, the benefits from SQA make good business sense. Second, the Department of Energy has requested SQA. This handbook is one of the first steps in a plant-wide implementation of Software Quality Assurance at KCD. The handbook has two main purposes. The first is to provide information that you will need to perform software quality assurance activities. The second is to provide a common thread to unify the approach to SQA at KCD. 2 figs.

  11. Information Management Software Services IMS Services Overview

    E-Print Network [OSTI]

    Information Management Software Services IMS Services Overview You know how powerful and important performance and available manner. This requires that the IMS systems, applications, databases, and supporting and then create a written report on recommendations to improve setup, procedures and processes associated

  12. Monitoring Software using Sun Spots Corey Andalora

    E-Print Network [OSTI]

    Kaminsky, Alan

    a software application developed for demonstrating a monitoring network for air conditioning units their findings to a central data store. Air conditioning units were the equipment selected for monitoring. Air conditioning units vibrate while operating so they were an obvious choice to use with the accelerometers

  13. IBM Software Solution Brief Safeguarding the cloud

    E-Print Network [OSTI]

    IBM Software Solution Brief Safeguarding the cloud with IBM Security solutions Maintain visibility and control with proven security solutions for public, private and hybrid clouds Highlights Address cloud internal and external users, data, applications and workloads as they move to and from the cloud Regain

  14. Systems Engineering Introduction to Software Quality Management

    E-Print Network [OSTI]

    Bryson, Joanna J.

    for quality management ISO 9001:2000 is a generic model of the quality process; ISO 9001:2008 clarifies ISO 9001:2000 ISO 9001:2008 applicable to any organisation that designs, develops and maintains products (or services) ISO 9000-3 interprets 9001 for software dev. 12 Features of ISO 9001:2008 Organisational

  15. Architecture-Aware Algorithms and Software for Scalable Performance and

    E-Print Network [OSTI]

    Architecture-Aware Algorithms and Software for Scalable Performance and Resilience on Heterogeneous Architectures Date: January 24, 2011 Time: 1:00 ­ 2:00 pm Location: EMSL Auditorium Contact: Monica Moffett, 509 architectures; automatically tuned application software; exploiting mixed precision for performance

  16. Software Quality Assurance

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2000-10-02T23:59:59.000Z

    To define requirements and responsibilities for software quality assurance (SQA) within the Department of Energy (DOE). DOE N 251.40, dated 5/3/01, extends this directive until 12/31/01.

  17. Software Quality Assurance

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2000-10-02T23:59:59.000Z

    DOE N 251.40, dated 5/3/01, extends this directive until 12/31/01. To define requirements and responsibilities for software quality assurance (SQA) within the Department of Energy (DOE). Does not cancel other directives.

  18. The Software Patent Debate 

    E-Print Network [OSTI]

    Guadamuz, Andres

    2006-01-01T23:59:59.000Z

    The paper discusses the proposed European Directive on the Patentability of Computer-Implemented Inventions and the subsequent debate that followed. Do software patents - as argued by policymakers' - result in increased ...

  19. Software Talk [Compatibility Mode

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    acquisitionanalysis software for Diffraction Beam Lines at SSRL spec SPECPLOT ICS WxDiff WebSpec First installation on BL 2-1 CSS spec Direct connection (SCSI) 3rd party user...

  20. Software Function Allocation Methodology

    E-Print Network [OSTI]

    O'Neal, Michael Ralph

    1988-01-01T23:59:59.000Z

    Necessary) Rapid Prototypes (Optional) 3. 4. 1 SFAM Step 1 ? Preparation If the Computer System Map (CSM) has not been created for the current overall hardware system, it is completed before the software function allocation process begins.... The methodology begins when the preconditions above have been met and the CSM is completed. The first step is to consult the list of software function allocation parameters provided as part of the methodology. The list of parameters will at first be sufficient...

  1. Engineering secure software 

    E-Print Network [OSTI]

    Jetly, Prateek

    2001-01-01T23:59:59.000Z

    breaches in the operating environment. Security breaches resulting from misuse or tnisconfiguration of the program should not be blamed on the software. T'his is a debatable position. A security breach that results from an unintentional enor... units with public key algorithms, private keys, and certificates. Any attempt to access or modify the data in these devices will render them unusable. The device contains software tools. These devices use the computer they reside on as a general...

  2. Managing a Software Ecosystem Using a Multiple Software Product Line

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Managing a Software Ecosystem Using a Multiple Software Product Line: a Case Study on Digital increases the number of software ecosystems: software platforms developed and maintained in a decentralized YourCast from a single system to a medium- scale ecosystem, we show how organizing it as a multiple

  3. Software Safety Tutorial Status Update 1 Software Safety Tutorial

    E-Print Network [OSTI]

    Tian, Jeff

    Software Safety Tutorial Status Update 1 Software Safety Tutorial (Status Update) Jeff Tian, tian@engr.smu.edu CSE, SMU, Dallas, TX 75275 Topics · Project Overview · Software Safety Overview · Project Tasks competency for real-time software engineers. · Project team: Jeff Tian (SMU): Basics of SSE D.T. Huynh

  4. Software Quality Model Requirements for Software Quality Engineering

    E-Print Network [OSTI]

    Suryn, Witold

    Quality Engineering needs a quality model that is usable throughout the software lifecycle, systematic, disciplined, quantifiable approach to the development and maintenance of quality of softwareSoftware Quality Model Requirements for Software Quality Engineering Marc-Alexis Côté M. Ing (marc

  5. Conserving Software-based Artwork through Software Engineering

    E-Print Network [OSTI]

    Marchese, Francis

    analysis, system and software design, its development, operation, and maintenance [1]. Software engineering role in software development within the aerospace, high technology, and financial service industries products to continue to be used. Maintenance is the longest process in the software engineering lifecycle

  6. The Evolution Matrix: Recovering Software Evolution using Software Visualization Techniques

    E-Print Network [OSTI]

    Nierstrasz, Oscar

    The Evolution Matrix: Recovering Software Evolution using Software Visualization Techniques Michele - ABSTRACT One of the major problems in software evolution is coping with the complexity which stems from and effective way to visualize the evolution of software systems which helps to recover the evolution of object

  7. Effective software testing with a string-constraint solver

    E-Print Network [OSTI]

    Kie?un, Adam

    2009-01-01T23:59:59.000Z

    This dissertation presents techniques and tools for improving software reliability, by using an expressive string-constraint solver to make implementation-based testing more effective and more applicable. Concolic testing ...

  8. Common Misconceptions about Software Architecture

    E-Print Network [OSTI]

    van der Hoek, André

    Common Misconceptions about Software Architecture by Philippe Kruchten Rational Fellow Rational Software Canada References to architecture are everywhere: in every article, in every ad. And we take definition of software architecture. Are we all understanding the same thing? We gladly accept that software

  9. Pancakes: A Software Framework for Distributed Robot and Sensor Network

    E-Print Network [OSTI]

    Egerstedt, Magnus

    functionality in mil- itary, industrial, and consumer applications. In [13], the authors deployed a robotPancakes: A Software Framework for Distributed Robot and Sensor Network Applications Patrick Martin resources of the sensors as well as detected failures. To make multi-agent robotics applications

  10. Pancakes: A Software Framework for Distributed Robot and Sensor Network

    E-Print Network [OSTI]

    Egerstedt, Magnus

    , industrial, and consumer applications. In [14], the authors deployed a robot to maintain an office gardenPancakes: A Software Framework for Distributed Robot and Sensor Network Applications Patrick Martin environment. To make multi-agent robotics applications, such as the prior examples, work across different

  11. Mining Software Usage with the Automatic Library Tracking Database (ALTD)

    SciTech Connect (OSTI)

    Hadri, Bilel [ORNL; Fahey, Mark R [ORNL

    2013-01-01T23:59:59.000Z

    Tracking software usage is important for HPC centers, computer vendors, code developers and funding agencies to provide more efficient and targeted software support, and to forecast needs and guide HPC software effort towards the Exascale era. However, accurately tracking software usage on HPC systems has been a challenging task. In this paper, we present a tool called Automatic Library Tracking Database (ALTD) that has been developed and put in production on several Cray systems. The ALTD infrastructure prototype automatically and transparently stores information about libraries linked into an application at compilation time and also the executables launched in a batch job. We will illustrate the usage of libraries, compilers and third party software applications on a system managed by the National Institute for Computational Sciences.

  12. FLOWTRAN-TF software design

    SciTech Connect (OSTI)

    Aleman, S.E.; Flach, G.P.; Hamm, L.L.; Lee, S.Y.; Smith, F.G. III.

    1993-02-01T23:59:59.000Z

    FLOWTRAN-TF was created to analyze an individual Mk22 fuel assembly during a large break Loss Of Coolant Accident (LOCA) scenario involving the Savannah River Site K-reactor after the initial few seconds of the transient. During the initial few seconds reactor cooling is limited by the static or Ledinegg flow instability phenomenon. The predecessor FLOWTRAN code was developed to analyze this portion of a LOCA. In the several seconds following the break, a significant fraction of the reactor coolant inventory leaks out the break, Emergency Cooling System (ECS) flow is initiated, and air enters the primary coolant circulation loops. Reactor fuel assemblies are cooled by a low flowrate air-water downflow. Existing commercial nuclear industry thermal-hydraulic codes were judged inadequate for detailed modeling of a Mk22 fuel assembly because the application involves a ribbed annular geometry, low pressure, downflow and an air-water mixture. FLOWTRAN-TF is a two-phase thermal-hydraulics code of similar technology to existing commercial codes such as RELAP and TRAC but customized for Savannah River Site applications. The main features and capabilities of FLOWTRAN-TF are detailed Mk22 fuel assembly ribbed annular geometry; conjugate heat transfer; detailed neutronic power distribution; three-dimensional heat conduction in Mk22 fuel and target tubes; two-dimensional coolant flow in channels (axial, azimuthal); single-phase and/or two-phase fluid (gas, liquid and/or gas-liquid); two-component (air, water); constitutive models applicable to low pressure air-water downflow in ribbed annular channels. The design of FLOWTRAN-TF is described in detail in this report which serves as the Software Design Report in accordance with Quality Assurance Procedure IV-4, Rev. 0 Software Design and Implementation'' in the 1Q34 manual.

  13. FLOWTRAN-TF software design

    SciTech Connect (OSTI)

    Aleman, S.E.; Flach, G.P.; Hamm, L.L.; Lee, S.Y.; Smith, F.G. III

    1993-02-01T23:59:59.000Z

    FLOWTRAN-TF was created to analyze an individual Mk22 fuel assembly during a large break Loss Of Coolant Accident (LOCA) scenario involving the Savannah River Site K-reactor after the initial few seconds of the transient. During the initial few seconds reactor cooling is limited by the static or Ledinegg flow instability phenomenon. The predecessor FLOWTRAN code was developed to analyze this portion of a LOCA. In the several seconds following the break, a significant fraction of the reactor coolant inventory leaks out the break, Emergency Cooling System (ECS) flow is initiated, and air enters the primary coolant circulation loops. Reactor fuel assemblies are cooled by a low flowrate air-water downflow. Existing commercial nuclear industry thermal-hydraulic codes were judged inadequate for detailed modeling of a Mk22 fuel assembly because the application involves a ribbed annular geometry, low pressure, downflow and an air-water mixture. FLOWTRAN-TF is a two-phase thermal-hydraulics code of similar technology to existing commercial codes such as RELAP and TRAC but customized for Savannah River Site applications. The main features and capabilities of FLOWTRAN-TF are detailed Mk22 fuel assembly ribbed annular geometry; conjugate heat transfer; detailed neutronic power distribution; three-dimensional heat conduction in Mk22 fuel and target tubes; two-dimensional coolant flow in channels (axial, azimuthal); single-phase and/or two-phase fluid (gas, liquid and/or gas-liquid); two-component (air, water); constitutive models applicable to low pressure air-water downflow in ribbed annular channels. The design of FLOWTRAN-TF is described in detail in this report which serves as the Software Design Report in accordance with Quality Assurance Procedure IV-4, Rev. 0 ``Software Design and Implementation`` in the 1Q34 manual.

  14. Management information systems software evaluation

    SciTech Connect (OSTI)

    Al-Tunisi, N.; Ghazzawi, A.; Gruyaert, F.; Clarke, D. [Saudi Aramco, Dhahran (Saudi Arabia). Process and Control Systems Dept.

    1995-11-01T23:59:59.000Z

    In November 1993, Saudi Aramco management endorsed a proposal to coordinate the development of the Management Information Systems (MISs) of four concurrent projects for its facilities Controls Modernization Program. The affected projects were the Ras Tanura Refinery Upgrade Project, the Abqaiq Plant Controls Modernization and the Shedgum and Uthmaniyah Gas plants Control Upgrade Projects. All of these projects had a significant requirement of MISs in their scope. Under the leadership of the Process and Control Systems Department, and MIS Coordination Team was formed with representatives of several departments. An MIS Applications Evaluation procedure was developed based on the Kepner Tregoe Decisions Analysis Process and general questionnaires were sent to over a hundred potential Vendors. The applications were divided into several categories, such as: Data Capture and Historization, Human User Interface, Trending, Reporting, Graphic Displays, Data Reconciliation, Statistical Analysis, Expert Systems, Maintenance Applications, Document Management and Operations Planning and Scheduling. For each of the MIS Application areas, detailed follow-up questionnaires were used to short list the candidate products. In May and June 1994, selected Vendors were invited to Saudi Arabia for an Exhibition which was open to all Saudi Aramco employees. In conjunction with this, the Vendors were subjected to a rigorous product testing exercise by independent teams of testers. The paper will describe the methods used and the lessons learned in this extensive software evaluation phase, which was a first for Saudi Aramco.

  15. Self-assembling software generator

    DOE Patents [OSTI]

    Bouchard, Ann M. (Albuquerque, NM); Osbourn, Gordon C. (Albuquerque, NM)

    2011-11-25T23:59:59.000Z

    A technique to generate an executable task includes inspecting a task specification data structure to determine what software entities are to be generated to create the executable task, inspecting the task specification data structure to determine how the software entities will be linked after generating the software entities, inspecting the task specification data structure to determine logic to be executed by the software entities, and generating the software entities to create the executable task.

  16. Mesh component design and software integration within SUMAA3d.

    SciTech Connect (OSTI)

    Freitag, L.

    1999-01-13T23:59:59.000Z

    The requirements of distributed-memory applications that use mesh management software tools are diverse, and building software that meets these requirements represents a considerable challenge. In this paper we discuss design requirements for a general, component approach for mesh management for use within the context of solving PDE applications on parallel computers. We describe recent efforts with the SUMAA3d package motivated by a component-based approach and show how these efforts have considerably improved both the flexibility and the usability of this software.

  17. Software Interoperability Problems and E-University Koblenz-Landau, Knowledge Media Institute,

    E-Print Network [OSTI]

    Boyer, Edmond

    Software Interoperability Problems and E- Learning Ingo Dahn University Koblenz-Landau, Knowledge Media Institute, Universitätsstr. 1, D-56070 Koblenz dahn@uni-koblenz.de Abstract Grid applications

  18. Reducing Software Failures: Addressing the Ethical Risks of the Software Development By Don Gotterbarn

    E-Print Network [OSTI]

    De Montfort University

    Reducing Software Failures: Addressing the Ethical Risks of the Software Development Lifecycle by software developers. This process also is incorporated into a software development life cycle. A tool to develop Software Development Impact Statements is also discussed. INTRODUCTION Software developers

  19. Radiobiological modelling with MarCell software

    SciTech Connect (OSTI)

    Hasan, J.S.; Jones, T.D.

    1996-10-01T23:59:59.000Z

    Jones introduced a bone marrow radiation cell kinetics model with great potential for application in the fields of health physics, radiation research, and medicine. However, until recently, only the model developers have been able to apply it because of the complex array of biological and physical assignments needed for evaluation of a particular radiation exposure protocol. The purpose of this article is to illustrate the use of MarCell (MARrow CELL Kinetics) software for MS-DOS, a user-friendly computer implementation of that mathematical model that allows almost anyone with an elementary knowledge of radiation physics and/or medical procedures to apply the model. A hands-on demonstration of the software will be given by guiding the user through evaluation of a medical total body irradiation protocol and a nuclear fallout scenario. A brief overview of the software is given in the Appendix.

  20. Defect Prevention and Detection in Software for Automated Test Equipment

    SciTech Connect (OSTI)

    E. Bean

    2006-11-30T23:59:59.000Z

    Software for automated test equipment can be tedious and monotonous making it just as error-prone as other software. Active defect prevention and detection are also important for test applications. Incomplete or unclear requirements, a cryptic syntax used for some test applications—especially script-based test sets, variability in syntax or structure, and changing requirements are among the problems encountered in one tester. Such problems are common to all software but can be particularly problematic in test equipment software intended to test another product. Each of these issues increases the probability of error injection during test application development. This report describes a test application development tool designed to address these issues and others for a particular piece of test equipment. By addressing these problems in the development environment, the tool has powerful built-in defect prevention and detection capabilities. Regular expressions are widely used in the development tool as a means of formally defining test equipment requirements for the test application and verifying conformance to those requirements. A novel means of using regular expressions to perform range checking was developed. A reduction in rework and increased productivity are the results. These capabilities are described along with lessons learned and their applicability to other test equipment software. The test application development tool, or “application builder”, is known as the PT3800 AM Creation, Revision and Archiving Tool (PACRAT).

  1. Software Engineering Course Notes

    E-Print Network [OSTI]

    Damon, Craig A.

    of too many managers is to chase away good people. 1. These roles may be split between technical with a manager. Managers have three roles in software development1: · people management · productivity management personnel research, Kristiansand, Norway. #12;22 Management Managing people Good people management

  2. Software Carpentry: Lessons Learned

    E-Print Network [OSTI]

    Greg Wilson

    2014-01-29T23:59:59.000Z

    Over the last 15 years, Software Carpentry has evolved from a week-long training course at the US national laboratories into a worldwide volunteer effort to raise standards in scientific computing. This article explains what we have learned along the way the challenges we now face, and our plans for the future.

  3. Software Carpentry: Lessons Learned

    E-Print Network [OSTI]

    Wilson, Greg

    2013-01-01T23:59:59.000Z

    Over the last 15 years, Software Carpentry has evolved from a week-long training course at the US national laboratories into a worldwide volunteer effort to raise standards in scientific computing. This article explains what we have learned along the way the challenges we now face, and our plans for the future.

  4. IBM Software Cross Industries

    E-Print Network [OSTI]

    and minimize cost with our experi- enced onshore and offshore teams. We can deliver the perfect technical of core functionality for Lotus and WebSphere Portal software. Our proof-of-concept solutions provide short, focused engagements to help you explore specific, client defined functionality. Business

  5. IBM Software Providesacomprehensivesolutionfor

    E-Print Network [OSTI]

    , companies must make sure that they're delivering products that meet their customers' requirements while companies address the challenges of embedded software development and delivery-- from initial product products, services and best practices to help companies define and manage their product development

  6. Switchover software reliability estimate for Paducah Freezer/Sublimer computer systems

    SciTech Connect (OSTI)

    Flanagan, D.M.; Davis, J.N.

    1993-04-01T23:59:59.000Z

    K-25 Engineering Division purchased a series of redundant computer systems and developed software for the purpose of providing continuous process monitoring and control for the Freezer/Sublimer equipment in the gaseous diffusion process at the Paducah Gaseous Diffusion Plant. The application software is loaded on two central processing units (CPU) so that in the event of a failure of the primary unit, the processing can switch to the backup unit and continue processing without error. It is the purpose of this document to demonstrate the reliability of this system with respect to its ability to switch properly between redundant CPU. The total reliability estimation problem -- which considers the computer hardware, the operating system software, and the application software -- has been reduced to one that considers only the application software directly involved in the switchover process. Estimates are provided for software reliability and the testing coverage. Software and hardware reliability models and reliability growth models are considered in addition to Bayesian approaches.

  7. Final Technical Report - Center for Technology for Advanced Scientific Component Software (TASCS)

    SciTech Connect (OSTI)

    Sussman, Alan [University of Maryland

    2014-10-21T23:59:59.000Z

    This is a final technical report for the University of Maryland work in the SciDAC Center for Technology for Advanced Scientific Component Software (TASCS). The Maryland work focused on software tools for coupling parallel software components built using the Common Component Architecture (CCA) APIs. Those tools are based on the Maryland InterComm software framework that has been used in multiple computational science applications to build large-scale simulations of complex physical systems that employ multiple separately developed codes.

  8. Software Patent Litigation ABA Section of Litigation

    E-Print Network [OSTI]

    Shamos, Michael I.

    1 Software Patent Litigation ABA Section of Litigation Intellectual Property Litigation Committee............................................................ 2 II. Infringement issues specific to software patents Relating to Software Patents.........................................................15 POSSIBLE ISSUES

  9. Mining Test Cases To Improve Software Maintenance

    E-Print Network [OSTI]

    Ziftci, Celal

    also known as software development lifecycle) is a set ofin the Software Development Lifecycle In the lifecycle of apart of the software development lifecycle, has many

  10. Gammasphere software development. Progress report

    SciTech Connect (OSTI)

    Piercey, R.B.

    1994-01-01T23:59:59.000Z

    This report describes the activities of the nuclear physics group at Mississippi State University which were performed during 1993. Significant progress has been made in the focus areas: chairing the Gammasphere Software Working Group (SWG); assisting with the porting and enhancement of the ORNL UPAK histogramming software package; and developing standard formats for Gammasphere data products. In addition, they have established a new public ftp archive to distribute software and software development tools and information.

  11. Software Engineering Craig A. Damon

    E-Print Network [OSTI]

    Damon, Craig A.

    ) greenfield vs. brownfield project features #12;Software EngineeringCIS4150-1 20 many roles contribute to s

  12. Institute for Scalable Application Development Software

    SciTech Connect (OSTI)

    Miller, Barton P

    2012-11-14T23:59:59.000Z

    Work by the University of Wisconsin as part of the DOE SciDAC CScADS includes the following accomplishments: ? Research on tool componentization, with concentration on the: ? InstructionAPI and InstructionSemanticsAPI ? ParseAPI ? DataflowAPI ? Co-organized a series of high successful workshops with Prof. John Mellor-Crummey, Rice University, on Performance Tools for Petascale Computing, held in Snowbird, Utah and Lake Tahoe, California in July or August of 2007 through 2012. ? Investigated the use of multicore in numerical libraries ? Dyninst porting to 32- and 64bit Power/PowerPC (including BlueGene) and 32- and 64-bit Pentium platforms. ? Applying our toolkits to advanced problems in binary code parsing associated with dealing with legacy and malicious code.

  13. Electronic Records Management Software Applications Design Criteria

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directed offOCHCO2: Final EnvironmentalCounties, Idaho || Department:June 5, 2013ElectrifyingStandard |

  14. Software Verification and Validation Procedure

    SciTech Connect (OSTI)

    Olund, Thomas S.

    2008-09-15T23:59:59.000Z

    This Software Verification and Validation procedure provides the action steps for the Tank Waste Information Network System (TWINS) testing process. The primary objective of the testing process is to provide assurance that the software functions as intended, and meets the requirements specified by the client. Verification and validation establish the primary basis for TWINS software product acceptance.

  15. Software reliability and safety in nuclear reactor protection systems

    SciTech Connect (OSTI)

    Lawrence, J.D. [Lawrence Livermore National Lab., CA (United States)

    1993-11-01T23:59:59.000Z

    Planning the development, use and regulation of computer systems in nuclear reactor protection systems in such a way as to enhance reliability and safety is a complex issue. This report is one of a series of reports from the Computer Safety and Reliability Group, Lawrence Livermore that investigates different aspects of computer software in reactor National Laboratory, that investigates different aspects of computer software in reactor protection systems. There are two central themes in the report, First, software considerations cannot be fully understood in isolation from computer hardware and application considerations. Second, the process of engineering reliability and safety into a computer system requires activities to be carried out throughout the software life cycle. The report discusses the many activities that can be carried out during the software life cycle to improve the safety and reliability of the resulting product. The viewpoint is primarily that of the assessor, or auditor.

  16. Internal dosimetry software comparison

    E-Print Network [OSTI]

    Fulmer, Judith Renee

    1992-01-01T23:59:59.000Z

    (ICRP) published in 1979 provided an improved approach for the assessment of internal dose. The ICRP recommendations were implemented in federal regulations promulgated by the Nuclear Regulatory Commission (NRC) in the Code of Federal Regulations (10... in the assessment of internal dose has led to the development of various computer software. In this study, several internal dosimetry codes were examined using a standard set of benchmark problems incorporating authentic exposure data. Personal computer...

  17. SGE: Software Presentation

    E-Print Network [OSTI]

    Nouanegue, H. F.; Daoud, A.; Lavigne, K.; Poulin, A.; Charette, A.; Lahala, S.; Sansregret, S.; Desbiens, G.

    2013-01-01T23:59:59.000Z

    ? Technologie, Hydro-Qu?bec Why SGE software is needed? > Increase energy efficiency in Commercial and Institutional Buildings > Optimize HVAC systems operation (Power demand and energy consumption) > Simplify and assist building operators 4 Groupe... of historical data 10 Groupe ? Technologie, Hydro-Qu?bec > What are operation indicators? ? Value calculated from combination of measurements, set points or others operation indicators ? Comparables values with power units or no unit ? 30 fixed defined...

  18. Hipikat: A Project Memory for Software Development

    E-Print Network [OSTI]

    van der Hoek, André

    Hipikat: A Project Memory for Software Development Davor CCubranicc, Gail C. Murphy, Member, IEEE's usefulness in software modification tasks. One study evaluated the usefulness of Hipikat's recommendations Terms--Software development teams, project memory, software artifacts, recommender system, user studies

  19. Software is Discrete Mathematics University of Oklahoma

    E-Print Network [OSTI]

    Page, Rex L.

    , discrete mathematics, predicate logic, correctness proofs, formal methods, software engineering. 1Software is Discrete Mathematics Rex L Page University of Oklahoma School of Computer Science Descriptors D.2.4 [Software Engineering]: Software/Program Verification ­ correctness proofs, formal methods

  20. Intelligent Software Agents: Sensor Integration and Response

    SciTech Connect (OSTI)

    Kulesz, James J [ORNL; Lee, Ronald W [ORNL

    2013-01-01T23:59:59.000Z

    Abstract In a post Macondo world the buzzwords are Integrity Management and Incident Response Management. The twin processes are not new but the opportunity to link the two is novel. Intelligent software agents can be used with sensor networks in distributed and centralized computing systems to enhance real-time monitoring of system integrity as well as manage the follow-on incident response to changing, and potentially hazardous, environmental conditions. The software components are embedded at the sensor network nodes in surveillance systems used for monitoring unusual events. When an event occurs, the software agents establish a new concept of operation at the sensing node, post the event status to a blackboard for software agents at other nodes to see , and then react quickly and efficiently to monitor the scale of the event. The technology addresses a current challenge in sensor networks that prevents a rapid and efficient response when a sensor measurement indicates that an event has occurred. By using intelligent software agents - which can be stationary or mobile, interact socially, and adapt to changing situations - the technology offers features that are particularly important when systems need to adapt to active circumstances. For example, when a release is detected, the local software agent collaborates with other agents at the node to exercise the appropriate operation, such as: targeted detection, increased detection frequency, decreased detection frequency for other non-alarming sensors, and determination of environmental conditions so that adjacent nodes can be informed that an event is occurring and when it will arrive. The software agents at the nodes can also post the data in a targeted manner, so that agents at other nodes and the command center can exercise appropriate operations to recalibrate the overall sensor network and associated intelligence systems. The paper describes the concepts and provides examples of real-world implementations including the Threat Detection and Analysis System (TDAS) at the International Port of Memphis and the Biological Warning and Incident Characterization System (BWIC) Environmental Monitoring (EM) Component. Technologies developed for these 24/7 operational systems have applications for improved real-time system integrity awareness as well as provide incident response (as needed) for production and field applications.

  1. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM | Department of...

    Broader source: Energy.gov (indexed) [DOE]

    PROGRAM SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM Training Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM More Documents & Publications Quality Assurance Checklist...

  2. Software Quality Assurance Subcommittee : Guidelines for Requirements...

    Broader source: Energy.gov (indexed) [DOE]

    Software Quality Assurance Subcommittee : Guidelines for Requirements Management Software Quality Assurance Subcommittee : Guidelines for Requirements Management Requirements...

  3. Sandia Energy - Software

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOnItemResearch > TheNuclear PressLaboratorySoftware Home Climate & Earth Systems

  4. Software Talk [Compatibility Mode]

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What'sis Taking Over Our Instagram Secretary Moniz9MorganYou are hereValueacquisition/analysis software

  5. NERSC Software Downloads

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated Codes |IsLove Your1AllocationsNOVAPlayed Key Role in Workflow Software

  6. NERSC Software List

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated Codes |IsLove Your1AllocationsNOVAPlayed Key Role in Workflow Software

  7. Experience with Software Architectures and Configured Software Descriptions

    E-Print Network [OSTI]

    Scacchi, Walt

    our experience in the specification, design, implementation and evolution of software engineering a commercial DBMS). However, experience with the explicit specification of the architctural design of large

  8. The GRAVITY instrument software / High-level software

    E-Print Network [OSTI]

    Burtscher, Leonard; Ott, Thomas; Kok, Yitping; Yazici, Senol; Anugu, Narsireddy; Dembet, Roderick; Fedou, Pierre; Lacour, Sylvestre; Ott, Juergen; Paumard, Thibaut; Lapeyrere, Vincent; Kervella, Pierre; Abuter, Roberto; Pozna, Eszter; Eisenhauer, Frank; Blind, Nicolas; Genzel, Reinhard; Gillessen, Stefan; Hans, Oliver; Haug, Marcus; Haussmann, Frank; Kellner, Stefan; Lippa, Magdalena; Pfuhl, Oliver; Sturm, Eckhard; Weber, Johannes; Amorim, Antonio; Brandner, Wolfgang; Rousselet-Perraut, Karine; Perrin, Guy S; Straubmeier, Christian; Schoeller, Markus

    2015-01-01T23:59:59.000Z

    GRAVITY is the four-beam, near- infrared, AO-assisted, fringe tracking, astrometric and imaging instrument for the Very Large Telescope Interferometer (VLTI). It is requiring the development of one of the most complex instrument software systems ever built for an ESO instrument. Apart from its many interfaces and interdependencies, one of the most challenging aspects is the overall performance and stability of this complex system. The three infrared detectors and the fast reflective memory network (RMN) recorder contribute a total data rate of up to 20 MiB/s accumulating to a maximum of 250 GiB of data per night. The detectors, the two instrument Local Control Units (LCUs) as well as the five LCUs running applications under TAC (Tools for Advanced Control) architecture, are interconnected with fast Ethernet, RMN fibers and dedicated fiber connections as well as signals for the time synchronization. Here we give a simplified overview of all subsystems of GRAVITY and their interfaces and discuss two examples of...

  9. SHM Data Sets and Software

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Sets and Software Contact Institute Director Charles Farrar (505) 663-5330 Email UCSD EI Director Michael Todd (858) 534-5951 Professional Staff Assistant Jutta Kayser (505)...

  10. SAPHIRE 8 Software Project Plan

    SciTech Connect (OSTI)

    Curtis L.Smith; Ted S. Wood

    2010-03-01T23:59:59.000Z

    This project is being conducted at the request of the DOE and the NRC. The INL has been requested by the NRC to improve and maintain the Systems Analysis Programs for Hands-on Integrated Reliability Evaluation (SAPHIRE) tool set concurrent with the changing needs of the user community as well as staying current with new technologies. Successful completion will be upon NRC approved release of all software and accompanying documentation in a timely fashion. This project will enhance the SAPHIRE tool set for the user community (NRC, Nuclear Power Plant operations, Probabilistic Risk Analysis (PRA) model developers) by providing improved Common Cause Failure (CCF), External Events, Level 2, and Significance Determination Process (SDP) analysis capabilities. The SAPHIRE development team at the Idaho National Laboratory is responsible for successful completion of this project. The project is under the supervision of Curtis L. Smith, PhD, Technical Lead for the SAPHIRE application. All current capabilities from SAPHIRE version 7 will be maintained in SAPHIRE 8. The following additional capabilities will be incorporated: • Incorporation of SPAR models for the SDP interface. • Improved quality assurance activities for PRA calculations of SAPHIRE Version 8. • Continue the current activities for code maintenance, documentation, and user support for the code.

  11. Inconsistency Management in Software Engineering 1 INCONSISTENCY MANAGEMENT IN SOFTWARE

    E-Print Network [OSTI]

    Spanoudakis, George

    ; do not guarantee some properties of the system, such as safety and reliability; and generateInconsistency Management in Software Engineering 1 INCONSISTENCY MANAGEMENT IN SOFTWARE ENGINEERING difficulties on system maintenance. On the positive side, inconsistencies can facilitate identification of some

  12. Energy Tracking Software Platform

    SciTech Connect (OSTI)

    Ryan Davis; Nathan Bird; Rebecca Birx; Hal Knowles

    2011-04-04T23:59:59.000Z

    Acceleration has created an interactive energy tracking and visualization platform that supports decreasing electric, water, and gas usage. Homeowners have access to tools that allow them to gauge their use and track progress toward a smaller energy footprint. Real estate agents have access to consumption data, allowing for sharing a comparison with potential home buyers. Home builders have the opportunity to compare their neighborhood's energy efficiency with competitors. Home energy raters have a tool for gauging the progress of their clients after efficiency changes. And, social groups are able to help encourage members to reduce their energy bills and help their environment. EnergyIT.com is the business umbrella for all energy tracking solutions and is designed to provide information about our energy tracking software and promote sales. CompareAndConserve.com (Gainesville-Green.com) helps homeowners conserve energy through education and competition. ToolsForTenants.com helps renters factor energy usage into their housing decisions.

  13. Software quality is a crucial issue in a society that vitally depends on software systems. Software quality

    E-Print Network [OSTI]

    Deissenboeck, Florian

    ABSTRACT Software quality is a crucial issue in a society that vitally depends on software systems quality in development. If the top management of software dependent companies does not have effective software quality management. After giving a few examples for software quality in real life

  14. Software Platform Evaluation - Verifiable Fuel Cycle Simulation (VISION) Model

    SciTech Connect (OSTI)

    J. J. Jacobson; D. E. Shropshire; W. B. West

    2005-11-01T23:59:59.000Z

    The purpose of this Software Platform Evaluation (SPE) is to document the top-level evaluation of potential software platforms on which to construct a simulation model that satisfies the requirements for a Verifiable Fuel Cycle Simulation Model (VISION) of the Advanced Fuel Cycle (AFC). See the Software Requirements Specification for Verifiable Fuel Cycle Simulation (VISION) Model (INEEL/EXT-05-02643, Rev. 0) for a discussion of the objective and scope of the VISION model. VISION is intended to serve as a broad systems analysis and study tool applicable to work conducted as part of the AFCI (including costs estimates) and Generation IV reactor development studies. This document will serve as a guide for selecting the most appropriate software platform for VISION. This is a “living document” that will be modified over the course of the execution of this work.

  15. IBM Software IBM Rational Team

    E-Print Network [OSTI]

    IBM Software Data Sheet March 2013 IBM Rational Team Concert Be lean. Be agile. Work together near real-time, contextual collaboration for distributed project teams Improve software quality objectives. Teams are trying to adopt agile practices, but are having difficulty because of several factors

  16. Software measurement 2009. 1. 14

    E-Print Network [OSTI]

    Bae, Doo-Hwan

    Software measurement Tutorial 2009. 1. 14 Yeong-Seok Seo #12; KAIST SE LAB 2009 Contents Introduction Designing a software measurement process Measurement elements Measurement scales Measure for success Conclusion 2/28 #12; KAIST SE LAB 2009 Introduction(1/3) Definition of terminology Measurement[1

  17. Arquitecturas Software Juan Jos Moreno Navarro

    E-Print Network [OSTI]

    Fredlund, Lars-Ã?ke

    Arquitecturas Software Juan José Moreno Navarro (Curso de Software basado en Componentes, junto a Lars-Ake Fredlund) Arquitecturas Software · Motivación: ­ Complejidad creciente de aplicaciones sus propiedades globales. Arquitecturas Software · Características: ­ Parte del diseño de software

  18. The Software Engineering Master's Program 1. Introduction

    E-Print Network [OSTI]

    of Embedded Real-time Systems; ___SW4581 Software Reliability (3-1); ___SW4582 Weapons System Software SafetyThe Software Engineering Master's Program 1. Introduction The Software Engineering program at the U to learn all aspects of software development and the skills needed to efficiently and reliably plan

  19. Agile Software Architecture: Why Your Project Needs It

    E-Print Network [OSTI]

    de Weck, Olivier L.

    2/12/2011 1 Agile Software Architecture: Why Your Project Needs It Business meets Implementation Chris Miyachi SDM Entering Class 2000 Presentation Outline · What is Software Architecture · Architecture within the Software Lifecycle · Software Architecture and Lean Software Development · Software

  20. Self-assembled software and method of overriding software execution

    DOE Patents [OSTI]

    Bouchard, Ann M.; Osbourn, Gordon C.

    2013-01-08T23:59:59.000Z

    A computer-implemented software self-assembled system and method for providing an external override and monitoring capability to dynamically self-assembling software containing machines that self-assemble execution sequences and data structures. The method provides an external override machine that can be introduced into a system of self-assembling machines while the machines are executing such that the functionality of the executing software can be changed or paused without stopping the code execution and modifying the existing code. Additionally, a monitoring machine can be introduced without stopping code execution that can monitor specified code execution functions by designated machines and communicate the status to an output device.

  1. The Software Technology of the 21st Century: From Software Reuse to Collaborative Software Design

    E-Print Network [OSTI]

    Fischer, Gerhard

    Gerhard Fischer University of Colorado, Center for LifeLong Learning and Design (L3D) Department supports evolution [Dawkins, 1987]. Various types of software artifacts, such as design knowledge a cognitive and social problem [Fischer, 1987]. Designers must locate reusable software artifacts relevant

  2. RAVEN, a New Software for Dynamic Risk Analysis

    SciTech Connect (OSTI)

    Cristian Rabiti; Andrea Alfonsi; Joshua Cogliati; Diego Mandelli; Robert Kinoshita

    2014-06-01T23:59:59.000Z

    RAVEN is a generic software driver to perform parametric and probabilistic analysis of code simulating complex systems. Initially developed to provide dynamic risk analysis capabilities to the RELAP-7 code [1] is currently being generalized with the addition of Application Programming Interfaces (APIs). These interfaces are used to extend RAVEN capabilities to any software as long as all the parameters that need to be perturbed are accessible by inputs files or directly via python interfaces. RAVEN is capable to investigate the system response probing the input space using Monte Carlo, grid strategies, or Latin Hyper Cube schemes, but its strength is its focus toward system feature discovery like limit surfaces separating regions of the input space leading to system failure using dynamic supervised learning techniques. The paper will present an overview of the software capabilities and their implementation schemes followed by same application examples.

  3. CTRLWORK AND MACBREAKZ ERGONOMIC BREAK REMINDER SOFTWARE

    E-Print Network [OSTI]

    California at Santa Barbara, University of

    CTRLWORK AND MACBREAKZ ERGONOMIC BREAK REMINDER SOFTWARE SOFTWARE FEATURES: Analyzes your for installation assistance. 1. Please uninstall the former ergonomic break software, RSIGuard, if currently instructions on the screen. For more information, contact the UCSB Ergonomics Program at Ergonomics

  4. Managing Variability throughout the Software Development Lifecycle

    E-Print Network [OSTI]

    Managing Variability throughout the Software Development Lifecycle Neil Loughran and Awais Rashid levels of the software development lifecycle, especially when new requirements arise. We believe of the software development lifecycle. Moreover, the effects of variability and, in particular, new variabilities

  5. Software Security Rules, SDLC Perspective

    E-Print Network [OSTI]

    Banerjee, C

    2009-01-01T23:59:59.000Z

    Software has become an integral part of everyday life. Everyday, millions of people perform transaction through internet, ATM, mobile phone, they send email and Egreetings, and use word processing and spreadsheet for various purpose. People use software bearing in mind that it is reliable and can be trust upon and the operation they perform is secured. Now, if these software have exploitable security hole then how can they be safe for use. Security brings value to software in terms of peoples trust. The value provided by secure software is of vital importance because many critical functions are entirely dependent on the software. That is why security is a serious topic which should be given proper attention during the entire SDLC, right from the beginning. For the proper implementation of security in the software, twenty one security rules are proposed in this paper along with validation results. It is found that by applying these rules as per given implementation mechanism, most of the vulnerabilities are el...

  6. CONNECT: Emergent Connectors for Eternal Software Intensive Networked Systems

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    methods, dependability, middleware, specification generation, system synthesis. 1. INTRODUCTION Our of the systems' respective underlying technologies [2]. This leads to a landscape of technological islands. It is a distributed system software layer that resides between applications and the underlying operating systems

  7. Software Certification: Is There a Case against Safety Cases?

    E-Print Network [OSTI]

    Lawford, Mark

    claims. We believe that the safety case methodology is useful for the soft- ware certification domain in domains like aviation, military applications, and the nuclear industry. Argument based methodologies by the developments above, we have become interested in pro- moting the concept of licensing for software and systems

  8. SOFTWARE AGENTS IN HANDLING ABNORMAL SITUATIONS IN INDUSTRIAL PLANTS

    E-Print Network [OSTI]

    SOFTWARE AGENTS IN HANDLING ABNORMAL SITUATIONS IN INDUSTRIAL PLANTS Sami Syrjälä and Seppo Kuikka. The abnormal situation handling in industrial plants is a challenging application area due to the complexity-model, abnormal situation handling, industrial plants 1. Introduction This paper is based on the work made

  9. Analysis of Preventive Maintenance in Transactions Based Software Systems

    E-Print Network [OSTI]

    Telek, Miklós

    Analysis of Preventive Maintenance in Transactions Based Software Systems Sachin Garg 1 , Antonio''. However, it incurs some overhead. The necessity to do preventive maintenance not only in general purpose to illustrate the usefulness and applicability of the models. Keywords: Preventive Maintenance, Transactions

  10. NREL Software Models Performance of Wind Plants (Fact Sheet)

    SciTech Connect (OSTI)

    Not Available

    2015-01-01T23:59:59.000Z

    This NREL Highlight is being developed for the 2015 February Alliance S&T Meeting, and describes NREL's Simulator for Offshore Wind Farm Applications (SOWFA) software in collaboration with Norway-based Statoil, to optimize layouts and controls of wind plants arrays.

  11. Software Requirements Specification Verifiable Fuel Cycle Simulation (VISION) Model

    SciTech Connect (OSTI)

    D. E. Shropshire; W. H. West

    2005-11-01T23:59:59.000Z

    The purpose of this Software Requirements Specification (SRS) is to define the top-level requirements for a Verifiable Fuel Cycle Simulation Model (VISION) of the Advanced Fuel Cycle (AFC). This simulation model is intended to serve a broad systems analysis and study tool applicable to work conducted as part of the AFCI (including costs estimates) and Generation IV reactor development studies.

  12. Software Reuse in High Performance Computing Shirley Browne

    E-Print Network [OSTI]

    Dongarra, Jack

    Software Reuse in High Performance Computing Shirley Browne University of Tennessee 107 Ayres Hall high performance computing architectures in the form of distributed memory mul­ tiprocessors have and cost of programming applications to run on these machines. Economical use of high performance computing

  13. Software Reuse in High Performance Computing Shirley Browne

    E-Print Network [OSTI]

    Hawick, Ken

    Software Reuse in High Performance Computing Shirley Browne University of Tennessee 107 Ayres Hall high performance computing architectures in the form of distributed memorymul- tiprocessors have become of programming applications to run on these machines. Economical use of high performance computing and subsequent

  14. SAPHIRE 8 Software Acceptance Test Plan

    SciTech Connect (OSTI)

    Ted S. Wood; Curtis L. Smith

    2009-07-01T23:59:59.000Z

    This document describe & report the overall SAPHIRE 8 Software acceptance test paln to offically release the SAPHIRE version 8 software to the NRC custoer for distribution.

  15. Optimum Control Limits for Employing Statistical Process Control in Software Process

    E-Print Network [OSTI]

    Jalote, Pankaj

    . In this paper, we develop a cost model for employing control charts to software process using which optimum control limits can be determined. Our applications of the model suggest that, for quality controlOptimum Control Limits for Employing Statistical Process Control in Software Process Pankaj Jalote

  16. NIF Projects Controls and Information Systems Software Quality Assurance Plan

    SciTech Connect (OSTI)

    Fishler, B

    2011-03-18T23:59:59.000Z

    Quality achievement for the National Ignition Facility (NIF) and the National Ignition Campaign (NIC) is the responsibility of the NIF Projects line organization as described in the NIF and Photon Science Directorate Quality Assurance Plan (NIF QA Plan). This Software Quality Assurance Plan (SQAP) is subordinate to the NIF QA Plan and establishes quality assurance (QA) activities for the software subsystems within Controls and Information Systems (CIS). This SQAP implements an activity level software quality assurance plan for NIF Projects as required by the LLNL Institutional Software Quality Assurance Program (ISQAP). Planned QA activities help achieve, assess, and maintain appropriate quality of software developed and/or acquired for control systems, shot data systems, laser performance modeling systems, business applications, industrial control and safety systems, and information technology systems. The objective of this SQAP is to ensure that appropriate controls are developed and implemented for management planning, work execution, and quality assessment of the CIS organization's software activities. The CIS line organization places special QA emphasis on rigorous configuration control, change management, testing, and issue tracking to help achieve its quality goals.

  17. Software Modeling and Verification Professors

    E-Print Network [OSTI]

    Ábrahám, Erika

    Software Modeling and Verification Staff · Professors Prof. Dr. Ir. Joost-Pieter Katoen Prof. em) Mark Timmer (Uni Twente, NL) Dr. Olga Tveretina (Karlsruhe University, D) Ralf Wimmer (Universität

  18. Software Engineering Introduction to SWE

    E-Print Network [OSTI]

    Razak, Saquib

    Unit 23 1 Software Engineering · Introduction to SWE · What is SDLC · Phases of SDLC #12;Unit 23 2 the new house to the customer which is now ready for occupation. #12;Unit 23 4 What is SDLC The SDLC has

  19. Ten Incredibly Dangerous Software Ideas

    E-Print Network [OSTI]

    G. A. Maney

    2006-07-07T23:59:59.000Z

    This is a rough draft synopsis of a book presently in preparation. This book provides a systematic critique of the software industry. This critique is accomplished using classical methods in practical design science.

  20. Enhancing User Customization through Novel Software Architecture for Utility Scale Solar Siting Software

    SciTech Connect (OSTI)

    Brant Peery; Sam Alessi; Randy Lee; Leng Vang; Scott Brown; David Solan; Dan Ames

    2014-06-01T23:59:59.000Z

    There is a need for a spatial decision support application that allows users to create customized metrics for comparing proposed locations of a new solar installation. This document discusses how PVMapper was designed to overcome the customization problem through the development of loosely coupled spatial and decision components in a JavaScript plugin architecture. This allows the user to easily add functionality and data to the system. The paper also explains how PVMapper provides the user with a dynamic and customizable decision tool that enables them to visually modify the formulas that are used in the decision algorithms that convert data to comparable metrics. The technologies that make up the presentation and calculation software stack are outlined. This document also explains the architecture that allows the tool to grow through custom plugins created by the software users. Some discussion is given on the difficulties encountered while designing the system.

  1. A Business Process Driven Approach for Generating Software Xulin Zhao, Ying Zou

    E-Print Network [OSTI]

    Zou, Ying

    1 A Business Process Driven Approach for Generating Software Modules Xulin Zhao, Ying Zou Dept. of Electrical and Computer Engineering, Queen's University, Kingston, ON, Canada SUMMARY Business processes describe business operations of an organization and capture business requirements. Business applications

  2. Trust in analog : analog circuit techniques for reducing the risk of malicious circuits and software

    E-Print Network [OSTI]

    Kuznetsov, Eugene

    2011-01-01T23:59:59.000Z

    Malicious circuits and software present a significant security risk, especially in control applications. This work is concerned with increasing the trustworthiness of control circuitry by reducing its complexity. The ...

  3. A PHYSICS-BASED SOFTWARE FRAMEWORK FOR SUN-EARTH CONNECTION MODELING

    E-Print Network [OSTI]

    Stout, Quentin F.

    . The SWMF is a structured collection of software building blocks to develop components for Sun-Earth system modeling, to couple them, and to assemble them into applications. A component is created from the user

  4. Performance Engineering Technology for Scientific Component Software

    SciTech Connect (OSTI)

    Malony, Allen D.

    2007-05-08T23:59:59.000Z

    Large-scale, complex scientific applications are beginning to benefit from the use of component software design methodology and technology for software development. Integral to the success of component-based applications is the ability to achieve high-performing code solutions through the use of performance engineering tools for both intra-component and inter-component analysis and optimization. Our work on this project aimed to develop performance engineering technology for scientific component software in association with the DOE CCTTSS SciDAC project (active during the contract period) and the broader Common Component Architecture (CCA) community. Our specific implementation objectives were to extend the TAU performance system and Program Database Toolkit (PDT) to support performance instrumentation, measurement, and analysis of CCA components and frameworks, and to develop performance measurement and monitoring infrastructure that could be integrated in CCA applications. These objectives have been met in the completion of all project milestones and in the transfer of the technology into the continuing CCA activities as part of the DOE TASCS SciDAC2 effort. In addition to these achievements, over the past three years, we have been an active member of the CCA Forum, attending all meetings and serving in several working groups, such as the CCA Toolkit working group, the CQoS working group, and the Tutorial working group. We have contributed significantly to CCA tutorials since SC'04, hosted two CCA meetings, participated in the annual ACTS workshops, and were co-authors on the recent CCA journal paper [24]. There are four main areas where our project has delivered results: component performance instrumentation and measurement, component performance modeling and optimization, performance database and data mining, and online performance monitoring. This final report outlines the achievements in these areas for the entire project period. The submitted progress reports for the first two years describe those year's achievements in detail. We discuss progress in the last project period in this document. Deployment of our work in CCA components, frameworks, and applications is an important metric of success. We also summarize the project's accomplishments in this regard at the end of the report. A list of project publications is also given.

  5. EISA 432 Energy Audits Best Practices: Software Tools

    SciTech Connect (OSTI)

    Maryl Fisher

    2014-11-01T23:59:59.000Z

    Five whole building analysis software tools that can aid an energy manager with fulfilling energy audit and commissioning/retro-commissioning requirements were selected for review in this best practices study. A description of each software tool is provided as well as a discussion of the user interface and level of expertise required for each tool, a review of how to use the tool for analyzing energy conservation opportunities, the format and content of reports generated by the tool, and a discussion on the applicability of the tool for commissioning.

  6. A Survey on Mining Software Survey Presentation

    E-Print Network [OSTI]

    Bae, Doo-Hwan

    ­ Effort Estimation ­ Mining Aspects · Papers at a glance · Related Workshop · Available Resources of mining software archives to support, ­ the maintenance of software systems, ­ improve software designA Survey on Mining Software Archives Survey Presentation Jin Ung, Oh ­ 2007.07.11 #12;Contents

  7. The ACTS Center for Software Sustainability

    E-Print Network [OSTI]

    Leroy, Drummond-Lewis

    2014-01-01T23:59:59.000Z

    Software Engineering for High Performance Computing Systemwith DOE high performance computing centers like NERSC, and

  8. What is Your Software Worth? Gio Wiederhold

    E-Print Network [OSTI]

    Wiederhold, Gio

    [Boehm:81, 00]. Even software engineering management approaches termed `Earned Value Management' only This article presents a method for valuing software, based on the income that use of that software is expected expectations, software maintenance, product growth, discounting to present value, and the like, always focusing

  9. Light Duty Utility Arm Software Test Plan

    SciTech Connect (OSTI)

    Kiebel, G.R.

    1995-12-18T23:59:59.000Z

    This plan describes how validation testing of the software will be implemented for the integrated control and data acquisition system of the Light Duty Utility Arm System (LDUA). The purpose of LDUA software validation testing is to demonstrate and document that the LDUA software meets its software requirements specification.

  10. Policy-Parametric Software Travis Breaux

    E-Print Network [OSTI]

    Young, R. Michael

    Policy-Parametric Software Travis Breaux Department of Computer Science North Carolina State University tdbreaux@ncsu.edu Abstract Policy-parametric software describes a vision for enterprise software that promotes organizational policy as a computational parameter in future software systems. In the following

  11. Bachelor-Fachprojekt ,,Software im Automobil"

    E-Print Network [OSTI]

    Morik, Katharina

    11 Bachelor-Fachprojekt ,,Software im Automobil" Olaf Spinczyk Arbeitsgruppe Eingebettete.cs.uni-dortmund.de/~spinczyk/ #12;Fachprojekt ,,Software im Automobil" 22 Inhalt Fachprojekte Thema ,,Software im Automobil" Durchführung Generalisierung #12;Fachprojekt ,,Software im Automobil" 33 Fachprojekte ... ... haben stärkeren

  12. Natural language processing-based COTS software and related technologies survey.

    SciTech Connect (OSTI)

    Stickland, Michael G.; Conrad, Gregory N.; Eaton, Shelley M.

    2003-09-01T23:59:59.000Z

    Natural language processing-based knowledge management software, traditionally developed for security organizations, is now becoming commercially available. An informal survey was conducted to discover and examine current NLP and related technologies and potential applications for information retrieval, information extraction, summarization, categorization, terminology management, link analysis, and visualization for possible implementation at Sandia National Laboratories. This report documents our current understanding of the technologies, lists software vendors and their products, and identifies potential applications of these technologies.

  13. Robots learning to manipulate: real-time application-oriented algorithms using feature-based and machine learning techniques

    E-Print Network [OSTI]

    Balaguer, Benjamin Daniel

    2012-01-01T23:59:59.000Z

    wide spectrum of robot applications that range from helpinginvented for robot folding applications where a fold isRobot Simulators: Available Software, Scientific Applications

  14. User systems guidelines for software projects

    SciTech Connect (OSTI)

    Abrahamson, L. (ed.)

    1986-04-01T23:59:59.000Z

    This manual presents guidelines for software standards which were developed so that software project-development teams and management involved in approving the software could have a generalized view of all phases in the software production procedure and the steps involved in completing each phase. Guidelines are presented for six phases of software development: project definition, building a user interface, designing software, writing code, testing code, and preparing software documentation. The discussions for each phase include examples illustrating the recommended guidelines. 45 refs. (DWL)

  15. W-026 acceptance test report plant control system software(submittal {number_sign}223.02)

    SciTech Connect (OSTI)

    Watson, T.L.

    1997-02-14T23:59:59.000Z

    Acceptance Testing of the WRAP 1 Plant Control System software was conducted throughout the construction of WRAP 1 with final testing on the glovebox software being completed in December 1996. The software tests were broken out into five sections; one for each of the four Local Control Units and one for the supervisory software modules. This document contains a completed copy of the software tests along with the applicable test log and completed Exception Test Reports. The ETRs outside the scope of the contractor are not signed off. These will be resolved by the Buyer and all 1280 open issues will be tracked on Buyer`s ETR database pending resolution.

  16. Development of a Method for Quantifying the Reliability of Nuclear Safety-Related Software

    SciTech Connect (OSTI)

    Yi Zhang; Michael W. Golay

    2003-10-01T23:59:59.000Z

    The work of our project is intended to help introducing digital technologies into nuclear power into nuclear power plant safety related software applications. In our project we utilize a combination of modern software engineering methods: design process discipline and feedback, formal methods, automated computer aided software engineering tools, automatic code generation, and extensive feasible structure flow path testing to improve software quality. The tactics include ensuring that the software structure is kept simple, permitting routine testing during design development, permitting extensive finished product testing in the input data space of most likely service and using test-based Bayesian updating to estimate the probability that a random software input will encounter an error upon execution. From the results obtained the software reliability can be both improved and its value estimated. Hopefully our success in the project's work can aid the transition of the nuclear enterprise into the modern information world. In our work, we have been using the proprietary sample software, the digital Signal Validation Algorithm (SVA), provided by Westinghouse. Also our work is being done with their collaboration. The SVA software is used for selecting the plant instrumentation signal set which is to be used as the input the digital Plant Protection System (PPS). This is the system that automatically decides whether to trip the reactor. In our work, we are using -001 computer assisted software engineering (CASE) tool of Hamilton Technologies Inc. This tool is capable of stating the syntactic structure of a program reflecting its state requirements, logical functions and data structure.

  17. ACAB software upgrade

    SciTech Connect (OSTI)

    Sanz, J.; Balmisa, J.M.

    1997-10-01T23:59:59.000Z

    This report address two issues, namely the ``Selection of the most current nuclear data libraries available`` and the ``User`s manual of the updated ACAB code``. A general summary of the major features of ACAB is provides in Section 1 which highlights the new capabilities included in the present version of ACAB. We address the issue of the nuclear data libraries selected as starting point in preparing the libraries to be used directly by ACAB. Section II describes the main features of the selected libraries. In Section IV, the impact of using these libraries in Inertial Fusion Energy, IFE, applications is assessed by comparing activation results obtained using different activation cross-sections data libraries. The points considered are the processing of libraries and libraries adapted to be directly read by ACAB. The ``processing`` efforts made within the frame of this project have been focused on the COLLAPSE code. Important modifications have been made, and in Section IV we provide an overall description of the new version. The content of the data bases employed by the updated ACAB code are described in Section V. The input data file for running ACAB is dealt with in Section VI, and some example problems are discussed in Section VII. Finally, regarding analysis of activation results we described in Section VIII the updated version of the CHAINS code.

  18. Assessment of safety-critical software in nuclear power plants

    SciTech Connect (OSTI)

    Parnas, D.L.; Madey, J. [McMaster Univ., Hamilton, Ontario (Canada); Asmis, G.J.K. [Atomic Energy Control Board, Ottawa (Canada)

    1991-04-01T23:59:59.000Z

    This article outlines an approach in the design, documentation, and evaluation of computer systems. This allows the use of software in many safety-critical applications because it enables the systematic comparison of the program behavior with the engineering specifications of the computer system. Many of the ideas in this article have been used by the Atomic Energy Control Board of Canada in its safety assessment of the software for the shutdown systems of the Darlington Station. The four main elements of this approach follow: (1) Formal Documentation of Software Requirements: Most of the details of a complex environment can be ignored by system implementers and reviewers if they are given a complete and precise statement of the behavioral requirements for the computer system. We describe five mathematical relations that specify the requirements for the software in a computerized control system. (2) Design and Documentation of the Module Structure: Complexity caused by interactions between separately written components can be reduced by applying Data Abstraction, Abstract Data Types, and Object-Oriented Programming if the interfaces are precisely and completely documented. (3) Program Function Documentation: Software executions are lengthy sequences of state changes described by algorithms. The effects of these executive sequences can be precisely specified documented with tabular presentations of the program functions. Also, large programs can be decomposed and presented at a collection of well-documented smaller programs. (4) Tripod Approach to Assessment: There are three basic approaches to the assessment of complex software products: (i) testing, (ii) systematic inspection, and (iii) certification of people and processes. Assessment of a complex system cannot depend on any one of these alone. The approach used on the Darlington shutdown software, which included systematic inspection as well as planned and statistically designed random testing, is outlined.

  19. A Formal Embedded Software Verification using Software Fault Tree Analysis

    E-Print Network [OSTI]

    -mail: jbyoo@konkuk.ac.kr Extended Abstract In developing embedded software such as nuclear reactor protection checking [4]. We used a prototype version of the KNICS RPS [5] in Korean nuclear power plants, but it may also be able to auto-populate address book changes. This is based on the use of an operating

  20. Manual dos Softwares Manuseio do TheSky Astronomy Software

    E-Print Network [OSTI]

    Software Esta é a tela principal. 1- Para você capturar imagens com a Câmera CCD, você precisa conectá imagens. Clique em Chose Folder... e crie os diretórios com os nomes e lugares desejados; 5- Depois de criar os diretórios, selecione o item AutoSave on; 6- Para começar a capturar as imagens, clique em Take

  1. Proceedings of the Fifth Triennial Software Quality Forum 2000, Software for the Next Millennium, Software Quality Forum

    SciTech Connect (OSTI)

    Scientific Software Engineering Group, CIC-12

    2000-04-01T23:59:59.000Z

    The Software Quality Forum is a triennial conference held by the Software Quality Assurance Subcommittee for the Department of Energy's Quality Managers. The forum centers on key issues, information, and technology important in software development for the Nuclear Weapons Complex. This year it will be opened up to include local information technology companies and software vendors presenting their solutions, ideas, and lessons learned. The Software Quality Forum 2000 will take on a more hands-on, instructional tone than those previously held. There will be an emphasis on providing information, tools, and resources to assist developers in their goal of producing next generation software.

  2. Software Process Improvement 98, Monte Carlo, December 1998. 1 Development and Integration Issues about Software Engineering,

    E-Print Network [OSTI]

    Laporte, Claude Y.

    Software Process Improvement 98, Monte Carlo, December 1998. 1 Development and Integration Issues about Software Engineering, Systems Engineering and Project Management Processes Claude Y. Laporte software engineering, systems engineering, supporting processes and project management process over

  3. CODESSEAL: Compiler/FPGA Approach to Secure Applications

    E-Print Network [OSTI]

    Kuzmanovic, Aleksandar

    CODESSEAL: Compiler/FPGA Approach to Secure Applications Olga Gelbart1 , Paul Ott1 , Bhagirath- mation technologies. Software protection, particularly for security appli- cations, has become - CODESSEAL - for software protection for fully encrypted execution in which both program and data

  4. Institute for Software Technology Wissensverarbeitung

    E-Print Network [OSTI]

    Motivation Example correct behavior battery(c)(ab(c)voltage(c))battery(c)(ab(c)voltage(c)) bulb for Software Technology Motivation Example cont. t t tsystem structure battery(B). bulb(L1). bulb(L2). bulb(L3 the fact that a bulb does not lit if it is broken · solution: model faulty behavior battery

  5. Software Fault Diagnosis Peter Zoeteweij

    E-Print Network [OSTI]

    Zoeteweij, Peter

    Lab, Faculty of Electrical Engineering, Mathematics, and Computer Science, Delft University-to-day basis is constantly growing. Combined with a practically constant rate of faults per line of code in the software development cycle, which aim at exposing such discrepancies. In this context, automated diagnosis

  6. Sandia Software Guidelines, Volume 2. Documentation

    SciTech Connect (OSTI)

    NONE

    1995-09-01T23:59:59.000Z

    This volume is one in a series of Sandia Software Guidelines intended for use in producing quality software within Sandia National Laboratories. In consonance with the IEEE Standards for software documentation, this volume provides guidance in the selection of an adequate document set for a software project and example formats for many types of software documentation. A tutorial on life cycle documentation is also provided. Extended document thematic outlines and working examples of software documents are available on electronic media as an extension of this volume.

  7. Software archeology: a case study in software quality assurance and design

    SciTech Connect (OSTI)

    Macdonald, John M [Los Alamos National Laboratory; Lloyd, Jane A [Los Alamos National Laboratory; Turner, Cameron J [COLORADO SCHOOL OF MINES

    2009-01-01T23:59:59.000Z

    Ideally, quality is designed into software, just as quality is designed into hardware. However, when dealing with legacy systems, demonstrating that the software meets required quality standards may be difficult to achieve. As the need to demonstrate the quality of existing software was recognized at Los Alamos National Laboratory (LANL), an effort was initiated to uncover and demonstrate that legacy software met the required quality standards. This effort led to the development of a reverse engineering approach referred to as software archaeology. This paper documents the software archaeology approaches used at LANL to document legacy software systems. A case study for the Robotic Integrated Packaging System (RIPS) software is included.

  8. Automatische stress tests voor software code werken uitstekend Hoe bepaal ik de kwaliteit van een stuk software? Net zoals bij banken, willen we software

    E-Print Network [OSTI]

    Al Hanbali, Ahmad

    stuk software? Net zoals bij banken, willen we software aan een stress test onderwerpen, en een rating

  9. Software: our quest for excellence. Honoring 50 years of software history, progress, and process

    SciTech Connect (OSTI)

    NONE

    1997-06-01T23:59:59.000Z

    The Software Quality Forum was established by the Software Quality Assurance (SQA) Subcommittee, which serves as a technical advisory group on software engineering and quality initiatives and issues for DOE`s quality managers. The forum serves as an opportunity for all those involved in implementing SQA programs to meet and share ideas and concerns. Participation from managers, quality engineers, and software professionals provides an ideal environment for identifying and discussing issues and concerns. The interaction provided by the forum contributes to the realization of a shared goal--high quality software product. Topics include: testing, software measurement, software surety, software reliability, SQA practices, assessments, software process improvement, certification and licensing of software professionals, CASE tools, software project management, inspections, and management`s role in ensuring SQA. The bulk of this document consists of vugraphs. Selected papers have been indexed separately for inclusion in the Energy Science and Technology Database.

  10. Software Challenges in Achieving Space Safety

    E-Print Network [OSTI]

    Leveson, Nancy G.

    Techniques developed for hardware reliability and safety do not work on software-intensive systems; software does not satisfy the assumptions underlying these techniques. The new problems and why the current approaches are ...

  11. A direct path to dependable software

    E-Print Network [OSTI]

    Jackson, Daniel

    2009-01-01T23:59:59.000Z

    What would it take to make software more dependable? Until now, most approaches have been indirect: some practices – processes, tools or techniques – are used that are believed to yield dependable software, and the argument ...

  12. An overview of software safety standards

    SciTech Connect (OSTI)

    Lawrence, J.D.

    1995-10-01T23:59:59.000Z

    The writing of standards for software safety is an increasingly important activity. This essay briefly describes the two primary standards-writing organizations, IEEE and IEC, and provides a discussion of some of the more interesting software safety standards.

  13. Global expansion strategies for software firms

    E-Print Network [OSTI]

    Yoden, Michihiko

    2014-01-01T23:59:59.000Z

    The business competition in the software industry is increasingly becoming a global competition. In this era with a fast-paced innovative environment, strategy plays an important role for managers in software companies in ...

  14. The Real Cost of Software Errors

    E-Print Network [OSTI]

    Zhivich, Michael A.

    Software is no longer creeping into every aspect of our lives - it's already there. In fact, failing to recognize just how much everything we do depends on software functioning correctly makes modern society vulnerable to ...

  15. TWRS systems engineering software configuration management plan

    SciTech Connect (OSTI)

    Porter, P.E.

    1996-10-09T23:59:59.000Z

    This plan delineates the requirements for control of software developed and supported by the Tank Waste Remediation System (TWRS) Technical Integration organization. The information contained in this plan shall assist employees involved with software modification and configuration control.

  16. Product management in software as a service

    E-Print Network [OSTI]

    Rajasekharan, Karthikeyan

    2012-01-01T23:59:59.000Z

    Software product management within Software as a Service is key domain of interest given the recent advances in Cloud Computing. This thesis explores the product management challenges within this domain. It makes a ...

  17. Dealing with software: the research data issues 

    E-Print Network [OSTI]

    Hong, Neil Chue

    2014-08-26T23:59:59.000Z

    Software underpins much of the scientific research undertaken today. As well as the “traditional” use of software for modelling and simulation, it is used to manage and control instruments, and analyse and visualise data. This permeation of the use...

  18. Table of contents 1 What is software architecture? ......................................................................... 1

    E-Print Network [OSTI]

    Dustdar, Schahram

    Table of contents 1 What is software architecture? ......................................................................... 1 1.1 Software architecture as abstraction ............................................................ 2 1.2 Software architecture as blueprint

  19. An Effective EMS Hardware and Software Interface- The Trained Operator

    E-Print Network [OSTI]

    Cherry, C. L.

    AN EFFECTIVE EMS HARDWARE AND SOFTWARE THE TRAINED OPER~TQR Christene ~. Cherry Johnson Controls Institute INTERFACE Milwaukee, ABSTRAC'l' A computerized Energy Management Sys tem (EMS) is a tool that allows the user to moni tor... the importance of proper system design, installation and program application. The importance of having a trained EMS operator is less recognized. The purpose of this paper is to focus on structured training programs and how they can improve the EMS...

  20. @ work' video segment features Robotic Software Engineer

    ScienceCinema (OSTI)

    Idaho National Laboratory

    2010-01-08T23:59:59.000Z

    @ work highlights Idaho National Laboratory employees and the jobs they perform.This segment features Robotic Software Engineer Miles Walton.

  1. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Requirements...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Requirements Management Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Requirements Management Checklist The following checklist is intended to provide system owners,...

  2. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Preacceptance...

    Broader source: Energy.gov (indexed) [DOE]

    PROGRAM: Preacceptance Checklist Security Issues SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Preacceptance Checklist Security Issues The following checklist is intended to...

  3. Optimization Online - Optimization Software and Modeling Systems ...

    E-Print Network [OSTI]

    Optimization Software and Modeling Systems Submissions - 2009. March 2009. Modeling Languages and Systems A Structure-Conveying Modelling Language ...

  4. Cost Model and Cost Estimating Software

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    1997-03-28T23:59:59.000Z

    This chapter discusses a formalized methodology is basically a cost model, which forms the basis for estimating software.

  5. VMS software for the Jorway-411 interface

    SciTech Connect (OSTI)

    Dorries, T.; Moore, C.; Pordes, R.; White, V.

    1987-05-01T23:59:59.000Z

    This report describes a Software Package used to access CAMAC through the Jorway-411 Interface, for use on VAX/VMS systems. The software can be used to access parallel and/or serial CAMAC branch highways, and multiple Jorways may be connected to the VAX UNIBUS or MicroVax QBUS. The software available includes a VAX/VMS device driver for the JORWAY-411 and support routines and programs that access the driver. The software is accompanied by extensive documentation.

  6. Software Architecture Evolution Olivier Barais1

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    1 Software Architecture Evolution Olivier Barais1 , Anne Franc¸oise Le Meur2 , Laurence Duchien2 and detailed treatment of the var- ious state-of-the-art approaches to evolving software architectures. Furthermore, we discuss one particular framework for software architecture evolution in more detail. 1

  7. University of Paderborn Software Engineering Group

    E-Print Network [OSTI]

    Kindler, Ekkart

    University of Paderborn Software Engineering Group 1 Subversion Configuration with Eclipse Softwaretechnikpraktikum 2006 #12;University of Paderborn Software Engineering Group 2 Installing SubclipseInstalling Subclipse Find and install new feature Use the Subclipse update site #12;University of Paderborn Software

  8. APPLYING HYPERTEXT STRUCTURES TO SOFTWARE DOCUMENTATION

    E-Print Network [OSTI]

    French, James C.

    with automating the management of software documentation to better increase its utility. We describe a prototype system, SLEUTH, currently under investigation as a vehicle for software documentation managementAPPLYING HYPERTEXT STRUCTURES TO SOFTWARE DOCUMENTATION James C. French 1 , John C. Knight, Allison

  9. APPLYING HYPERTEXT STRUCTURES TO SOFTWARE DOCUMENTATION

    E-Print Network [OSTI]

    French, James C.

    the management of software documentation to better increase its utility. We describe a prototype system, SLEUTH, currently under investigation as a vehicle for software documentation management. The prototype maintains & Management," Vol. 33, No. 2, pp. 219-231, 1997. #12;Applying Hypertext Structures to Software Documentation

  10. Logical Structure Extraction from Software Requirements Documents

    E-Print Network [OSTI]

    Czarnecki, Krzysztof

    Documents I. INTRODUCTION Requirements management (RM) tools store and manipu- late software requirementsLogical Structure Extraction from Software Requirements Documents Rehan Rauf, Michal Antkiewicz,mantkiew,kczarnec}@gsd.uwaterloo.ca Abstract--Software requirements documents (SRDs) are often authored in general-purpose rich-text editors

  11. Mathematical Methods System and Software Engineering*

    E-Print Network [OSTI]

    Mathematical Methods in System and Software Engineering* Manfred Broy Institut für Informatik. By this, we demonstrate how software engineering methods can be backed up by mathematics. We discuss the techniques and methods used in practice in software engineering and the formal techniques worked out

  12. IBM Software Thought Leadership White Paper

    E-Print Network [OSTI]

    IBM Software Thought Leadership White Paper August 2011 Transforming software delivery with cloud #12;2 Transforming software delivery with cloud Contents 2 Cloud: An opportunity 2 Increasing pressure and centralizing ALM and developer desktops 5 Concluding thoughts on the cloud Cloud: An opportunity The world

  13. SOFTWARE ENGINEERING January Entry, 120 credit program

    E-Print Network [OSTI]

    Doedel, Eusebius

    to Formal Methods for Software Engineering 3 SOEN 341 Software Process 3 Basic Science Year 3 Fall Course Principles and Economics 3 ENGR 391 Numerical Methods in Engineering 3 Note: A minimum of 7 credits from COENSOFTWARE ENGINEERING January Entry, 120 credit program Real-Time, Embedded, and Avionics Software

  14. SOFTWARE ENGINEERING January Entry, 120 credit program

    E-Print Network [OSTI]

    Doedel, Eusebius

    Methods for Software Engineering 3 SOEN 341 Software Process 3 Basic Science Year 3 Fall Course Number Project 4 ENGR 301 Engineering Management Principles and Economics 3 SOEN 321 Information Systems SecuritySOFTWARE ENGINEERING January Entry, 120 credit program Computer Games Option Last revised: March

  15. Software strategies and hardware upgrades to the PPL data acquisition system (DAS)

    SciTech Connect (OSTI)

    Davis, W.M.; Roney, P.; Gibney, T.; Funk, P.; Keller, M.; Sauthoff, N.; Davis, S.; Bates, G.; Corneliussen, M.; Fishman, H.

    1987-08-01T23:59:59.000Z

    This paper describes upgrades to the Data Acquisition System for the Experimental Projects Department at PPL, especially in support of the PBX-M upgrade to be completed this year. Hardware and software maintenance problems with the old configuration, consisting of a DEC KL-10 and eight PDP-11's, are described. The real-time software and hardware performance requirements and projections for CAMAC I/O and data analysis and display are presented. Described are three applications that have realtime requirements and are located on separate processors, connected to PPPL's VAX Cluster by an Ethernet link. Building upon a previous large software base, general-purpose subroutine libraries and utilities are being emphasized. The most useful of these are described. The use of software packages from DEC, third-party vendors, and the fusion community, is also described. The new approaches to software development that are being incorporated into the DAS efforts are discussed. Specific future challenges are also described.

  16. CSP 587: Software Quality Management S. Kan, Software Quality engineering, Addison-Wesley.

    E-Print Network [OSTI]

    Heller, Barbara

    hours · Quality Appraisal Programs 5 hours SEI's Capability Maturity Model ISO 9000 Total 45 hours CSPCSP 587: Software Quality Management Texts S. Kan, Software Quality engineering, Addison-Wesley. Objectives Students will learn methods of software quality management. This will include exposure to software

  17. International Conference on Product Focused Software Development and Process Improvement, Oulu, Finland, 15-17 June, 2009.

    E-Print Network [OSTI]

    Messerschmitt, David G.

    design. As a risk-taking and experimental market, and as a source of ideas, consumer software can benefit, as well as new computing platforms such as the smart phone, the space of consumer software applications (such as replacing a home-grown accounting system by a commercial enterprise resource planning solution

  18. Software architecture for interactive robot teleoperation Nader Cheaib, Mouna Essabbah, Christophe Domingues, Samir Otmane

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    , remote operation of underwater robotic systems seems to be a growing research concern in many application as its application to robot teleoperation. Finally, we present a conclusion and perspectives in the fieldSoftware architecture for interactive robot teleoperation Nader Cheaib, Mouna Essabbah, Christophe

  19. Transportation Services Fueling Operation Transportation Services has installed a software system that will facilitate fueling of

    E-Print Network [OSTI]

    Transportation Services Fueling Operation Transportation Services has installed a software system into this system. All University vehicles that wish to fuel at UH M noa Transportation Services will be required the application below and submit your application to Transportation Services before attempting to fuel your

  20. Software

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    improving the KIVA internal combustion engine modeling tool to help automotive engines be more fuel efficient. A free version of KIVA can be downloaded through FCI's...

  1. Software

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of ScienceandMesa del Sol HomeFacebookScholarship Fund3Biology| Nationalof EnergyMitchmaterials

  2. Honeywell Modular Automation System Computer Software Documentation

    SciTech Connect (OSTI)

    STUBBS, A.M.

    2000-12-04T23:59:59.000Z

    The purpose of this Computer Software Document (CSWD) is to provide configuration control of the Honeywell Modular Automation System (MAS) in use at the Plutonium Finishing Plant (PFP). This CSWD describes hardware and PFP developed software for control of stabilization furnaces. The Honeywell software can generate configuration reports for the developed control software. These reports are described in the following section and are attached as addendum's. This plan applies to PFP Engineering Manager, Thermal Stabilization Cognizant Engineers, and the Shift Technical Advisors responsible for the Honeywell MAS software/hardware and administration of the Honeywell System.

  3. The emerging market for Web-based enterprise software

    E-Print Network [OSTI]

    Göldi, Andreas (Andreas Jakob)

    2007-01-01T23:59:59.000Z

    Web-based enterprise software - sometimes referred to as "Software as a Service" (SaaS) or "on demand software" - is a major wave of innovation that introduces a new technical and economic model to enterprise software. The ...

  4. Software design of a general purpose data acquisition and control executive

    SciTech Connect (OSTI)

    Labiak, W.G.; Minor, E.G.

    1981-05-22T23:59:59.000Z

    The software design of an executive which performs general purpose data acquisition, monitoring, and control is presented. The executive runs on a memory-based mini or micro-computer and communicates with a disk-based computer where data analysis and display are done. The executive design stresses reliability and versatility, and has yielded software which can provide control and monitoring for widely different hardware systems. Applications of this software on two major fusion energy experiments at Lawrence Livermore National Laboratory will be described.

  5. Westinghouse Waste Simulation and Optimization Software Tool - 13493

    SciTech Connect (OSTI)

    Mennicken, Kim [Westinghouse Electric Germany GmbH, Global Waste Management, Dudenstrasse 44, D-68167 Mannheim (Germany)] [Westinghouse Electric Germany GmbH, Global Waste Management, Dudenstrasse 44, D-68167 Mannheim (Germany); Aign, Joerg [Westinghouse Electric Germany GmbH, Global Waste Management, Tarpenring 6, D-22419 Hamburg (Germany)] [Westinghouse Electric Germany GmbH, Global Waste Management, Tarpenring 6, D-22419 Hamburg (Germany)

    2013-07-01T23:59:59.000Z

    Radioactive waste is produced during NPP operation and NPP D and D. Different kinds of waste with different volumes and properties have to be treated. Finding a technically and commercially optimized waste treatment concept is a difficult and time consuming process. The Westinghouse waste simulation and optimization software tool is an approach to study the total life cycle cost of any waste management facility. The tool enables the user of the simulation and optimization software to plan processes and storage buildings and to identify bottlenecks in the overall waste management design before starting detailed planning activities. Furthermore, application of the software enables the user to optimize the number of treatment systems, to determine the minimum design capacity for onsite storage facilities, to identify bottlenecks in the overall design and to identify the most cost-effective treatment paths by maintaining optimal waste treatment technologies. In combination with proven waste treatment equipment and integrated waste management solutions, the waste simulation and optimization software provides reliable qualitative results that lead to an effective planning and minimization of the total project planning risk of any waste management activity. (authors)

  6. The Software Factory: Integrating CASE Technologies to Improve Productivity

    E-Print Network [OSTI]

    Menendez, Jose

    This report addresses the use of computer-aided software engineering (CASE) technology for the development of aircraft software.

  7. Safety Software Guide Perspectives for the Design of New Nuclear Facilities (U)

    SciTech Connect (OSTI)

    VINCENT, Andrew

    2005-07-14T23:59:59.000Z

    In June of this year, the Department of Energy (DOE) issued directives DOE O 414.1C and DOE G 414.1-4 to improve quality assurance programs, processes, and procedures among its safety contractors. Specifically, guidance entitled, ''Safety Software Guide for use with 10 CFR 830 Subpart A, Quality Assurance Requirements, and DOE O 414.1C, Quality Assurance, DOE G 414.1-4'', provides information and acceptable methods to comply with safety software quality assurance (SQA) requirements. The guidance provides a roadmap for meeting DOE O 414.1C, ''Quality Assurance'', and the quality assurance program (QAP) requirements of Title 10 Code of Federal Regulations (CFR) 830, Subpart A, Quality Assurance, for DOE nuclear facilities and software application activities. [1, 2] The order and guide are part of a comprehensive implementation plan that addresses issues and concerns documented in Defense Nuclear Facilities Safety Board (DNFSB) Recommendation 2002-1. [3] Safety SQA requirements for DOE as well as National Nuclear Security Administration contractors are necessary to implement effective quality assurance (QA) processes and achieve safe nuclear facility operations. DOE G 414.1-4 was developed to provide guidance on establishing and implementing effective QA processes tied specifically to nuclear facility safety software applications. The Guide includes software application practices covered by appropriate national and international consensus standards and various processes currently in use at DOE facilities. While the safety software guidance is considered to be of sufficient rigor and depth to ensure acceptable reliability of safety software at all DOE nuclear facilities, new nuclear facilities are well suited to take advantage of the guide to ensure compliant programs and processes are implemented. Attributes such as the facility life-cycle stage and the hazardous nature of each facility operations are considered, along with the category and level of importance of the software. The discussion provided herein illustrates benefits of applying the Safety Software Guide to work activities dependent on software applications and directed toward the design of new nuclear facilities. In particular, the Guide-based systematic approach with software enables design processes to effectively proceed and reduce the likelihood of rework activities. Several application examples are provided for the new facility.

  8. Aneka: A Software Platform for .NET-based Cloud Computing

    E-Print Network [OSTI]

    Vecchiola, Christian; Buyya, Rajkumar

    2009-01-01T23:59:59.000Z

    Aneka is a platform for deploying Clouds developing applications on top of it. It provides a runtime environment and a set of APIs that allow developers to build .NET applications that leverage their computation on either public or private clouds. One of the key features of Aneka is the ability of supporting multiple programming models that are ways of expressing the execution logic of applications by using specific abstractions. This is accomplished by creating a customizable and extensible service oriented runtime environment represented by a collection of software containers connected together. By leveraging on these architecture advanced services including resource reservation, persistence, storage management, security, and performance monitoring have been implemented. On top of this infrastructure different programming models can be plugged to provide support for different scenarios as demonstrated by the engineering, life science, and industry applications.

  9. Transitioning Applications to Ontologies http://www.tao-project.eu/

    E-Print Network [OSTI]

    Bontcheva, Kalina

    Transitioning Applications to Ontologies http://www.tao-project.eu/ GOAL Define a low-cost route) in aerospace and automotive industries òSoftware applications maintenance and user support ñOther areas existing application documentation (specifications, UML diagrams, code documentation, software manuals

  10. Software Evolution: A Road Map Vclav T. Rajlich

    E-Print Network [OSTI]

    of software evolution, and problems of software evolution can be solved by research of software change block of software evolution is software change. The research aiming at individual software change has and prepare for the obvious. In our daily life, we can buy car insurance before a car accident, or we can pack

  11. GENI: Grid Hardware and Software

    SciTech Connect (OSTI)

    None

    2012-01-09T23:59:59.000Z

    GENI Project: The 15 projects in ARPA-E’s GENI program, short for “Green Electricity Network Integration,” aim to modernize the way electricity is transmitted in the U.S. through advances in hardware and software for the electric grid. These advances will improve the efficiency and reliability of electricity transmission, increase the amount of renewable energy the grid can utilize, and provide energy suppliers and consumers with greater control over their power flows in order to better manage peak power demand and cost.

  12. AIRMaster+ Software | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnual Siteof Energy 2,AUDITCaliforniaWeifangwiki Home Jweers'sAIRMaster+ Software Jump to:

  13. Aclara Software | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand Jump to:Ezfeedflag JumpID-fTriWildcat 1AMEE Jump to: navigation,Barriers toAclara Software Jump to:

  14. Software | Argonne Leadership Computing Facility

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOnItemResearch > TheNuclearHomelandMultivariateSite Map Main Menu AboutsmrSocialSoftware

  15. Safesky Software | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand Jump to:Ezfeedflag JumpID-f < RAPID‎ |Rippey Jump to:WY) JumpLandSRT JumpSMUDSafesky Software

  16. CIMx Software | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnual Siteof Energy 2,AUDIT REPORT Americium/CuriumAguaBBBWind-BrizaHKC Wind PowerCIMx Software

  17. Elite Software | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand JumpConceptual Model,DOEHazel Crest, Illinois:EdinburghEldoradoElectronVault JumpLabs,Elite Software

  18. A Full-Featured User Friendly CO{sub 2}-EOR and Sequestration Planning Software

    SciTech Connect (OSTI)

    Savage, Bill

    2013-11-30T23:59:59.000Z

    A Full-Featured, User Friendly CO{sub 2}-EOR and Sequestration Planning Software This project addressed the development of an integrated software solution that includes a graphical user interface, numerical simulation, visualization tools and optimization processes for reservoir simulation modeling of CO{sub 2}-EOR. The objective was to assist the industry in the development of domestic energy resources by expanding the application of CO{sub 2}-EOR technologies, and ultimately to maximize the CO{sub 2} sequestration capacity of the U.S. The software resulted in a field-ready application for the industry to address the current CO{sub 2}-EOR technologies. The software has been made available to the public without restrictions and with user friendly operating documentation and tutorials. The software (executable only) can be downloaded from NITEC’s website at www.nitecllc.com. This integrated solution enables the design, optimization and operation of CO{sub 2}-EOR processes for small and mid-sized operators, who currently cannot afford the expensive, time intensive solutions that the major oil companies enjoy. Based on one estimate, small oil fields comprise 30% of the of total economic resource potential for the application of CO{sub 2}-EOR processes in the U.S. This corresponds to 21.7 billion barrels of incremental, technically recoverable oil using the current “best practices”, and 31.9 billion barrels using “next-generation” CO{sub 2}-EOR techniques. The project included a Case Study of a prospective CO{sub 2}-EOR candidate field in Wyoming by a small independent, Linc Energy Petroleum Wyoming, Inc. NITEC LLC has an established track record of developing innovative and user friendly software. The Principle Investigator is an experienced manager and engineer with expertise in software development, numerical techniques, and GUI applications. Unique, presently-proprietary NITEC technologies have been integrated into this application to further its ease of use and technical functionality.

  19. aware distributed applications: Topics by E-print Network

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    CiteSeer Summary: Abstract This paper describes three software applications for distribution network load forecasting in a Smart Grid environment: (i) short-term feeder load...

  20. Application APPLICATION

    E-Print Network [OSTI]

    Papautsky, Ian

    in the CCM Bulletin which can be downloaded from ccm.uc.edu/admissions/ application. You will automatically be considered for a talent-based scholarship when you audition/ interview for entrance into CCM. These awards would also like to invite you to tour CCM's excellent facilities and observe some classes and ensemble

  1. Scientific Software Projects | Advanced Photon Source

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    obtain the orientation or strain information within an inhomogeneous material Grains in a polycrystalline sample MIDAS: Microstructural Imaging using Diffraction Analysis Software...

  2. Chimera: Hypertext for Heterogeneous Software Environments

    E-Print Network [OSTI]

    Whitehead, James

    Chimera: Hypertext for Heterogeneous Software Environments Kenneth M. Anderson, Richard N. Taylor the approach and presents an architecture which supports it. Experience with the Chimera prototype and its

  3. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Project Tracking...

    Office of Environmental Management (EM)

    Project Tracking Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Project Tracking Checklist The following checklist is intended to provide system owners, project...

  4. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Project Planning...

    Broader source: Energy.gov (indexed) [DOE]

    PROGRAM: Project Planning Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Project Planning Checklist The following checklist is intended to provide system owners, project...

  5. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM : Acceptance Checklist...

    Broader source: Energy.gov (indexed) [DOE]

    PROGRAM : Acceptance Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM : Acceptance Checklist The following checklist is intended to provide system owners, project managers,...

  6. Safety Software Quality Assurance Functional Area Qualification...

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    72-2011, Safety Software Quality Assurance Functional Area Qualification Standard by Diane Johnson This SSQA FAQS identifies the minimum technical competency requirements for DOE...

  7. Quality Assurance Specialist (Safety Software Qualtiy Assurance)

    Broader source: Energy.gov [DOE]

    A successful candidate in this position performs safety software quality assurance oversight of all activities that support the Waste Isolation Pilot Plant (WIPP) compliance with environmental,...

  8. Software design for panoramic astronomical pipeline processing

    E-Print Network [OSTI]

    Lior Shamir; Robert J. Nemiroff; David O. Torrey; Wellesley E. Pereira

    2005-11-23T23:59:59.000Z

    We describe the software requirement and design specifications for all-sky panoramic astronomical pipelines. The described software aims to meet the specific needs of super-wide angle optics, and includes cosmic-ray hit rejection, image compression, star recognition, sky opacity analysis, transient detection and a web server allowing access to real-time and archived data. The presented software is being regularly used for the pipeline processing of 11 all-sky cameras located in some of the world's premier observatories. We encourage all-sky camera operators to use our software and/or our hosting services and become part of the global Night Sky Live network.

  9. Collaboration Topics - System Software | National Nuclear Security...

    National Nuclear Security Administration (NNSA)

    System Software | National Nuclear Security Administration Facebook Twitter Youtube Flickr RSS People Mission Managing the Stockpile Preventing Proliferation Powering the Nuclear...

  10. Development of a Software SecurityAssessment Instrument to Reduce Software SecurityRisk

    E-Print Network [OSTI]

    Bishop, Matt

    system, has vulnerabilities. (SAT) for use in the software development and maintenance life cycle throughout the sofhvare development and maintenance life cycle. The. security assessment instrument includes security assessment for use in the software development and maintenance life cycle. Currently

  11. Software Studies in action: Open Source and Free Software in Brazil

    E-Print Network [OSTI]

    da Silva, Cicero Inacio; de Almeida, Jane

    2009-01-01T23:59:59.000Z

    Open Source and Free Software in Brazil Cicero Inacio daSilva Software Studies Brazil Avenida Angelica, 1905 SãoPaulo, SP 01227-200, Brazil Jane de Almeida Mackenzie

  12. 2001-2003 MPI Software Technology, Inc.. MPI Software Technology, Inc.

    E-Print Network [OSTI]

    Kepner, Jeremy

    © 2001-2003 MPI Software Technology, Inc.. MPI Software Technology, Inc. VSIPL for Diverse Architectures (Pentium 4 to DSPs) Anthony Skjellum Brian Chase Wenhao Wu September 23, 2003 #12;© 2001-2003 MPI · Customers have started asking for non-G4/Altivec alternatives! #12;© 2001-2003 MPI Software Technology, Inc

  13. Copyright (c) Cem Kaner, Automated Testing. 1 Software Test Automation:Software Test Automation

    E-Print Network [OSTI]

    Copyright (c) Cem Kaner, Automated Testing. 1 Software Test Automation:Software Test Automation: A RealA Real--World ProblemWorld Problem Cem Kaner, Ph.D., J.D. #12;Copyright (c) Cem Kaner, Automated Testing. 2 This TalkThis Talk The most widely used class of automated testing tools leads senior software

  14. Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 23 Slide 1 Software cost estimation

    E-Print Network [OSTI]

    Scharff, Christelle

    of software costing and pricing l To describe three metrics for software productivity assessment l To explain and pricing l Estimates are made to discover the cost, to the developer, of producing a software system l There is not a simple relationship between the development cost and the price charged to the customer l Broader

  15. USING UML IN A NON-SOFTWARE DESIGN TASK: CREATING AN ELECTRONIC SOFTWARE ENGINEERING HANDBOOK

    E-Print Network [OSTI]

    Dascalu, Sergiu

    USING UML IN A NON-SOFTWARE DESIGN TASK: CREATING AN ELECTRONIC SOFTWARE ENGINEERING HANDBOOK to future developments are also presented in the paper. Keywords: software engineering, electronic handbook & Engineering University of Nevada, Reno, USA {dascalus, muhanna, sreed}@cse.unr.edu 2 Department of Computer

  16. Submitted to IEEE Software 2009 -Special issue on "Software Development for Embedded Systems"

    E-Print Network [OSTI]

    Controller) ESF-CCS #12;Existing Software Development ProcessExisting Software Development Process F M t NPP i K· For Most NPPs in Korea (e.g. Wolsung NPP) 6 #12;Proposed Software Development Process experts ­ 4 constructs · SDT (Structured Decision Table) · FSM (Finite State Machine) · TTS (Timed

  17. LEGOS: Object-based software components for mission-critical systems. Final report, June 1, 1995--December 31, 1997

    SciTech Connect (OSTI)

    NONE

    1998-08-01T23:59:59.000Z

    An estimated 85% of the installed base of software is a custom application with a production quantity of one. In practice, almost 100% of military software systems are custom software. Paradoxically, the marginal costs of producing additional units are near zero. So why hasn`t the software market, a market with high design costs and low productions costs evolved like other similar custom widget industries, such as automobiles and hardware chips? The military software industry seems immune to market pressures that have motivated a multilevel supply chain structure in other widget industries: design cost recovery, improve quality through specialization, and enable rapid assembly from purchased components. The primary goal of the ComponentWare Consortium (CWC) technology plan was to overcome barriers to building and deploying mission-critical information systems by using verified, reusable software components (Component Ware). The adoption of the ComponentWare infrastructure is predicated upon a critical mass of the leading platform vendors` inevitable adoption of adopting emerging, object-based, distributed computing frameworks--initially CORBA and COM/OLE. The long-range goal of this work is to build and deploy military systems from verified reusable architectures. The promise of component-based applications is to enable developers to snap together new applications by mixing and matching prefabricated software components. A key result of this effort is the concept of reusable software architectures. A second important contribution is the notion that a software architecture is something that can be captured in a formal language and reused across multiple applications. The formalization and reuse of software architectures provide major cost and schedule improvements. The Unified Modeling Language (UML) is fast becoming the industry standard for object-oriented analysis and design notation for object-based systems. However, the lack of a standard real-time distributed object operating system, lack of a standard Computer-Aided Software Environment (CASE) tool notation and lack of a standard CASE tool repository has limited the realization of component software. The approach to fulfilling this need is the software component factory innovation. The factory approach takes advantage of emerging standards such as UML, CORBA, Java and the Internet. The key technical innovation of the software component factory is the ability to assemble and test new system configurations as well as assemble new tools on demand from existing tools and architecture design repositories.

  18. Overview of Hazard Assessment and Emergency Planning Software of Use to RN First Responders

    SciTech Connect (OSTI)

    Waller, E; Millage, K; Blakely, W F; Ross, J A; Mercier, J R; Sandgren, D J; Levine, I H; Dickerson, W E; Nemhauser, J B; Nasstrom, J S; Sugiyama, G; Homann, S; Buddemeier, B R; Curling, C A; Disraelly, D S

    2008-08-26T23:59:59.000Z

    There are numerous software tools available for field deployment, reach-back, training and planning use in the event of a radiological or nuclear (RN) terrorist event. Specialized software tools used by CBRNe responders can increase information available and the speed and accuracy of the response, thereby ensuring that radiation doses to responders, receivers, and the general public are kept as low as reasonably achievable. Software designed to provide health care providers with assistance in selecting appropriate countermeasures or therapeutic interventions in a timely fashion can improve the potential for positive patient outcome. This paper reviews various software applications of relevance to radiological and nuclear (RN) events that are currently in use by first responders, emergency planners, medical receivers, and criminal investigators.

  19. Software Construction and Composition Tools for Petascale Computing SCW0837 Progress Report

    SciTech Connect (OSTI)

    Epperly, T W; Hochstein, L

    2011-09-12T23:59:59.000Z

    The majority of scientific software is distributed as source code. As the number of library dependencies and supported platforms increases, so does the complexity of describing the rules for configuring and building software. In this project, we have performed an empirical study of the magnitude of the build problem by examining the development history of two DOE-funded scientific software projects. We have developed MixDown, a meta-build tool, to simplify the task of building applications that depend on multiple third-party libraries. The results of this research indicate that the effort that scientific programmers spend takes a significant fraction of the total development effort and that the use of MixDown can significantly simplify the task of building software with multiple dependencies.

  20. Cloud Computing for the Grid: GridControl: A Software Platform to Support the Smart Grid

    SciTech Connect (OSTI)

    None

    2012-02-08T23:59:59.000Z

    GENI Project: Cornell University is creating a new software platform for grid operators called GridControl that will utilize cloud computing to more efficiently control the grid. In a cloud computing system, there are minimal hardware and software demands on users. The user can tap into a network of computers that is housed elsewhere (the cloud) and the network runs computer applications for the user. The user only needs interface software to access all of the cloud’s data resources, which can be as simple as a web browser. Cloud computing can reduce costs, facilitate innovation through sharing, empower users, and improve the overall reliability of a dispersed system. Cornell’s GridControl will focus on 4 elements: delivering the state of the grid to users quickly and reliably; building networked, scalable grid-control software; tailoring services to emerging smart grid uses; and simulating smart grid behavior under various conditions.

  1. Managing Software Development for Global Health

    E-Print Network [OSTI]

    Anderson, Richard

    too much refrigeration. #12;Cold chain description · Storage of vaccines from national level to pointManaging Software Development for Global Health Richard Anderson #12;Outline · PATH · The Cold and was in serious trouble · Applying software industry best practices is leading to a positive outcome 3/10/2010 CSE

  2. Software-Controlled Architectures for Low Energy

    E-Print Network [OSTI]

    Science #12;3/8/1999 SCALE 2 Improve Energy-Efficiency of Programmable Processors by Re-Examining HardwareSCALE: Software-Controlled Architectures for Low Energy Krste Asanovic MIT Laboratory for Computer-Software Interface Energy- Conscious Compilers Energy-Energy- ExposedExposed ArchitecturesArchitectures SCALE Project

  3. Software Analysis for Security Spiros Mancoridis

    E-Print Network [OSTI]

    Mancoridis, Spiros

    of the processes, practices, and technolo- gies that can help software maintenance engineers improve the security of software systems. A particular emphasis is placed on validating security architectures, verifying- erating system mechanisms that impose rules on untrusted programs (e.g., role-based access control), anti

  4. Insulin Pump Software Certification Yihai Chen1,

    E-Print Network [OSTI]

    Lawford, Mark

    Insulin Pump Software Certification Yihai Chen1, , Mark Lawford2, , Hao Wang2, , and Alan Wassyng2 for Software Certification McMaster University, Hamilton, Ontario, Canada Abstract. The insulin pump. Malfunction of the insulin pump will endanger the user's life. All countries impose some regula- tion

  5. Chimera: Hypermedia for Heterogeneous Software Development Environments

    E-Print Network [OSTI]

    Whitehead, James

    1 of 31 Chimera: Hypermedia for Heterogeneous Software Development Environments Abstract Emerging of "Chimera: Hypertext for Heterogeneous Software Environments," which appeared in the proceedings of ECHT'94 the approach employed by the Chimera open hypermedia system to address this research area, and also serves

  6. Intelligent Systems Software for Unmanned Air Vehicles

    E-Print Network [OSTI]

    classes of vehicles including autonomous underwater vehicles, autonomous ground vehicles, and unmanned airIntelligent Systems Software for Unmanned Air Vehicles Gregory L. Sinsley , Lyle N. Long , Albert F describes a software architecture for mission-level control of autonomous unmanned air vehicles (UAVs

  7. Toward Feature Engineering of Software Systems

    E-Print Network [OSTI]

    Wolf, Alexander L.

    the user and the developer perspectives leads to difficulties in producing successful software systems. Developers are focused on the solution domain, where the system's lifecycle artifacts are key. Presently throughout the software lifecycle and across the problem and solution domains. The goal of the paper

  8. Predicting software defects in varying development lifecycles

    E-Print Network [OSTI]

    Bae, Doo-Hwan

    Predicting software defects in varying development lifecycles using Bayesian nets Information and Software Technology (2007) Norman Fenton, Martin Neil, William March, Peter HyeonJeong Kim KAIST SE LAB #12;Contents Introduction Overall approach Analyzing the lifecycle Modeling the defect prediction

  9. Foundations for Feature Engineering of Software Systems

    E-Print Network [OSTI]

    Wolf, Alexander L.

    the user and the developer perspectives leads to difficulties in producing successful software systems. Developers are focused on the solution domain, where the system's lifecycle artifacts are key. Presently the software lifecycle and across the problem and solution domains. We present a model of lifecycle artifacts

  10. SAMPLE: software for VAX FORTRAN execution timing

    SciTech Connect (OSTI)

    Lowe, L.H.

    1983-01-01T23:59:59.000Z

    SAMPLE is a set of subroutines in use at the Los Alamos National Laboratory for collecting CPU timings of various FORTRAN program sections - usually individual subroutines. These measurements have been useful in making programs run faster. The presentation includes a description of the software and examples of its use. The software is available on the directory (SAMPLE) of the VAX SIG tape.

  11. A Foundation for Verified Software Development Systems

    E-Print Network [OSTI]

    Kreitz, Christoph

    engineering techniques cannot provide stringent guarantees on software reliability only very few computer is adopted in safety-critical areas such as aircraft and nuclear reactors. More reliable methods supporting to develop powerful, flexible, and reliable systems for knowledge-based software development. Keywords

  12. Guide to Preventing Computer Software Piracy

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2001-07-12T23:59:59.000Z

    Guide to Preventing Computer Software Piracy It is the intent of the Department of Energy (DOE) to issue guidance in accordance with Federal CIO Council recommendations and in compliance with Executive Order 13103. The guidance in this document is based on the CIO Council's recommendations in reference to computer software piracy, and applies to all DOE elements. Canceled by DOE N 205.18

  13. A Product Software Knowledge Infrastructure for

    E-Print Network [OSTI]

    Utrecht, Universiteit

    1 A Product Software Knowledge Infrastructure for Situational Capability Maturation: Vision and Case Studies in Product Management Inge van de Weerd, Johan Versendaal and Sjaak Brinkkemper Department-3275 #12;2 A Product Software Knowledge Infrastructure for Situational Capability Maturation: Vision

  14. SOFTWARE RELATEDSOFTWARE-RELATED MEASUREMENT:MEASUREMENT

    E-Print Network [OSTI]

    SOFTWARE RELATEDSOFTWARE-RELATED MEASUREMENT:MEASUREMENT: RISKS AND OPPORTUNITIES CEM KANER, J and lazy? Most managers who I know have tried at least oney g measurement program--and abandoned them: · Measurement theory and how it applies to software development metrics (which, at their core, are typically

  15. THE SOFTWARE KNOWLEDGE BASE Bertrand Meyer

    E-Print Network [OSTI]

    Meyer, Bertrand

    knowledge base" keeps track of software components and their properties; these properties are described, implementation, testing, project management). The use of the binary relational model for describing the properties of software is hacked by a theoretical study of the relations and constraints which play

  16. Application ApplicAtion

    E-Print Network [OSTI]

    Papautsky, Ian

    in the CCM Bulletin which can be downloaded from http://ccm.uc.edu/ admissions/application.html. You will automatically be considered for a talent-based scholarship when you audition/ interview for entrance into CCM is made. We would also like to invite you to tour CCM's excellent facilities and observe some classes

  17. 242-A Control System device logic software documentation. Revision 2

    SciTech Connect (OSTI)

    Berger, J.F.

    1995-05-19T23:59:59.000Z

    A Distributive Process Control system was purchased by Project B-534. This computer-based control system, called the Monitor and Control System (MCS), was installed in the 242-A Evaporator located in the 200 East Area. The purpose of the MCS is to monitor and control the Evaporator and Monitor a number of alarms and other signals from various Tank Farm facilities. Applications software for the MCS was developed by the Waste Treatment System Engineering Group of Westinghouse. This document describes the Device Logic for this system.

  18. COMPUTER APPLICATIONS --FALL 2008 --

    E-Print Network [OSTI]

    Smith-Konter, Bridget

    and bathymetry data, display it in 3-D, overlay geologic data of interest, and create a flight path (animated movie) of a 3-D data set (a visualization) using the Fledermaus IVS software package. Fledermuas is a powerful, interactive 3-D data visualization system that is used for a variety of geoscience applications

  19. SMT-Based Bounded Model Checking for Embedded ANSI-C Software

    E-Print Network [OSTI]

    Cordeiro, Lucas; Marques-Silva, Joao

    2009-01-01T23:59:59.000Z

    Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structure during the translation. These limitations can be reduced by encoding word-level information in theories richer than propositional logic and using SMT solvers for the generated verification conditions. Here, we investigate the application of different SMT solvers to the verification of embedded software written in ANSI-C. We have extended the encodings from previous SMT-based bounded model checkers to provide more accurate support for finite variables, bit-vector operations, arrays, structures, unions and pointers. We have integrated the CVC3, Boolector, and Z3 solvers with the CBMC front-end and evaluated them using both standard software model checking benchmarks and typical embedded applications from telecommunications, control systems and medical devices. The experiments show that our approach can analyze larger problems and sub...

  20. Screening Tool for Desiccant Dehumidification Applications

    E-Print Network [OSTI]

    Czachorski, M.; Worek, W. M.

    1998-01-01T23:59:59.000Z

    A state-of-the-art software tool that calculates the benefits of desiccant-based air-treatment equipment is described. The software, a Desiccant Systems Application Screening Tool, is written in the WindowsTM environment to promote user...

  1. Software Roadmap to Plug and Play Petaflop/s

    E-Print Network [OSTI]

    2006-01-01T23:59:59.000Z

    1993). LBNL Software Roadmap to Plug and Play Petaflop/s 7.16, 2005. LBNL Software Roadmap to Plug and Play Petaflop/sChombo. LBNL Software Roadmap to Plug and Play Petaflop/s

  2. Master Pump Shutdown MPS Software Quality Assurance Plan (SQAP)

    SciTech Connect (OSTI)

    BEVINS, R.R.

    2000-09-20T23:59:59.000Z

    The MPSS Software Quality Assurance (SQAP) describes the tools and strategy used in the development of the MPSS software. The document also describes the methodology for controlling and managing changes to the software.

  3. Understanding the scientific software ecosystem and its impact

    E-Print Network [OSTI]

    Howison, James

    Understanding the scientific software ecosystem and its impact: current and future measures James the information needs of domain scientists, software component producers, infrastructure providers, and ecosystem conclude with policy recommendations #12;designed to improve insight into the scientific software ecosystem

  4. An MDA approach to tame component based software development

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    FMCO'03 An MDA approach to tame component based software development Jean-Marc Jézéquel, Olivier- ture (MDA) can be used in relation with component based software engineer- ing. A software component

  5. Alexander Felfernig & Gerald Steinbauer Institute for Software Technology

    E-Print Network [OSTI]

    Felfernig & Gerald Steinbauer Institute for Software Technology 10 Wissensverarbeitung 5 Uniform Cost Search for Software Technology 11 Wissensverarbeitung Generalization of bfs ­ Expand state with lowest related costsAlexander Felfernig & Gerald Steinbauer Institute for Software Technology 1 Wissensverarbeitung

  6. VMS software for the Jorway-411 Interface

    SciTech Connect (OSTI)

    Dorries, T.; Moore, C.; Pordes, R.; White, V.

    1987-08-01T23:59:59.000Z

    This reports on a Software Package to access CAMAC through the Jorway-411 Interface, for use on VAX/VMS systems. The software can be used to access parallel and/or serial CAMAC branch highways, and multiple Jorways may be connected to the VAX UNIBUS or Micro Vax QBUS. The software available includes a VAX/VMS device driver for the JORWAY-411 and support routines and programs that access the driver. The software is accompanied by extensive documentation. As discussed below, several of the packages originated from other institutions and have been enhanced by the Data Acquisition Software Group at Fermilab. The software package is in widespread use at Fermilab and over 20 other sites. The software can be run on any of the UNIBUS VAX-11 family of computers using a UNIBUS Jorway-411 to interface to CAMAC, or on a Microvax-II either interfaced to CAMAC through a Q-BUS Jorway-411, or through a Microverter and UNIBUS Jorway. The package includes facilities for performing CAMAC operations remotely. The VAX on which the user runs his or her program need not be directly connected to the Jorway. Server programs allow a VAX connected via DECNET or a PDP-11 connected via a DR11-W link to be the route for accessing the CAMAC hardware.

  7. PROTEUS: A SOFTWARE INFRASTRUCTURE PROVIDING DEPENDABILITY FOR CORBA APPLICATIONS

    E-Print Network [OSTI]

    Illinois at Urbana-Champaign, University of

    of Illinois at Urbana-Champaign, 1998 Urbana, Illinois #12;iii To my parents #12;iv ACKNOWLEDGEMENTS I would like to thank my thesis advisor, Professor William H. Sanders. He gave me the opportunity also like to thank Dan Deavours, Jay Doyle, Gerard Kavanaugh, Doug Obal, John Sowder, and Patrick

  8. Software agents : an application to the airline MRO industry

    E-Print Network [OSTI]

    Poon, Arthur Wai Keong, 1979-

    2004-01-01T23:59:59.000Z

    Poor management of aircraft spare parts, human-related maintenance errors and the lack of coordinated decision-making in maintenance scheduling are some of the problems plaguing the airline MRO industry. Airlines, independent ...

  9. Open source software development and maintenance: an exploratory analysis

    E-Print Network [OSTI]

    Raja, Uzma

    2009-06-02T23:59:59.000Z

    pervasive, software became commercialized (Feller and Fitzgerald 2002). In order to preserve the commercial value of software, companies started to deliver software as a black box, where the user could only access the output features, but the internal... the Free Software Foundation (http://www.fsf.org/fsf/fsf.html). People of similar interests and ideology started to develop software, which was available to users free of cost and with full access to the source code (MacCormack 2002). The software...

  10. Application Developer Application developers create custom software solutions to meet clients' needs. Application

    E-Print Network [OSTI]

    Indiana University

    Administrator Network administrators are in charge of existing networks, rather than planning and implementing networks. Network administrators may be responsible for customizing a network to an individual company, troubleshooting, and maintaining the network. Network administrators may also provide daily support

  11. Software development for a novel WSN platform P. Vlgyesi, J. Sallai, . Ldeczi

    E-Print Network [OSTI]

    Maróti, Miklós

    that helps manage this com- plexity. The two main tools are a domain-specific modeling environment because joint design of hardware configuration and soft-core hosted em- bedded software is a significant for innovative design methodologies, since bound- aries between application, services, operating system

  12. A Business Process Driven Approach for Generating Software Architecture Xulin Zhao, Ying Zou

    E-Print Network [OSTI]

    Zou, Ying

    A Business Process Driven Approach for Generating Software Architecture Xulin Zhao, Ying Zou.zhao, ying.zou}@queensu.ca Abstract--Business processes describe business operations of an organization and capture business requirements. Business applications provide automated support for an organization

  13. Communications Systems Driven by Software Agent Technology Communications Systems Driven by

    E-Print Network [OSTI]

    Poslad, Stefan

    @nortelnetworks.com Abstract The application of software agent technology to the management of communications' infrastructures describe how agent technology has been used for network management, legacy telecommunications systems in an applied situation of providing a virtual private network. Latter sections describe mobile agent technology

  14. SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro

    E-Print Network [OSTI]

    SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro University word-level information in theories richer than propositional logic and using SMT solvers for the generated verification conditions. Here, we investigate the application of dif- ferent SMT solvers

  15. SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro

    E-Print Network [OSTI]

    SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro University by encoding word-level information in theories richer than propositional logic and using SMT solvers for the gener- ated verification conditions. Here, we investigate the application of different SMT solvers

  16. IS&JCH040325 Software Engineering. Chapter 24 Slide 0 of 54 Quality Management

    E-Print Network [OSTI]

    Huang, Jung-Chang

    ISO 9001 Management responsibility Quality system Control of non-conforming products Design control to service industries ISO 9001 applicable to organizations which design, develop and maintain products ISO Software Engineering. Chapter 24 Slide 10 of 54 Areas covered by ISO 9001 Statistical techniques

  17. Method and apparatus for collaborative use of application program

    DOE Patents [OSTI]

    Dean, Craig D. (Sandia Park, NM)

    1994-01-01T23:59:59.000Z

    Method and apparatus permitting the collaborative use of a computer application program simultaneously by multiple users at different stations. The method is useful with communication protocols having client/server control structures. The method of the invention requires only a sole executing copy of the application program and a sole executing copy of software comprising the invention. Users may collaboratively use a set of application programs by invoking for each desired application program one copy of software comprising the invention.

  18. Nuclear Energy Advanced Modeling and Simulation (NEAMS) Software...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Software Verification and Validation (V&V) Plan Requirements Nuclear Energy Advanced Modeling and Simulation (NEAMS) Software Verification and Validation (V&V) Plan Requirements...

  19. Improving Combustion Software to Solve Detailed Chemical Kinetics...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Combustion Software to Solve Detailed Chemical Kinetics for HECC Improving Combustion Software to Solve Detailed Chemical Kinetics for HECC 2012 DOE Hydrogen and Fuel Cells Program...

  20. NMMSS Software Quality Assurance Plan | Department of Energy

    Broader source: Energy.gov (indexed) [DOE]

    Quality Assurance Plan The Software Quality Assurance Plan (SQAP) for the Nuclear Materials Management and Safeguard System (NMMSS) software upgrade project (an actual DOE...

  1. EPA-GHG Inventory Targeted Data Collection Strategies and Software...

    Open Energy Info (EERE)

    EPA-GHG Inventory Targeted Data Collection Strategies and Software Tools (Redirected from US EPA GHG Inventory Targeted Data Collection Strategies and Software Tools) Jump to:...

  2. avionics software system: Topics by E-print Network

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Summary: ADAGE is a project to define and realize a domain-specific software architecture (DSSA) technology for assisting the development of avionics software. The central...

  3. Software Quality Assurance Plan Example | Department of Energy

    Energy Savers [EERE]

    Assurance Plan Example Software Quality Assurance Plan Example An example of a software quality assurance plan developed from an actual DOE project SQA plan based on DOE G...

  4. In Silico Identification Software (ISIS): A Machine Learning...

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Silico Identification Software (ISIS): A Machine Learning Approach to Tandem Mass Spectral Identification of Lipids. In Silico Identification Software (ISIS): A Machine Learning...

  5. aplicando software educativo: Topics by E-print Network

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    instruction- level Pratt, Vaughan 62 Antivirus software Spyware protection Renewable Energy Websites Summary: Antivirus software Spyware protection Web browsers File transfer...

  6. analysis software carimas: Topics by E-print Network

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Abhik 22 Towards the Analysis of Transactional Software Nicholas Kidd1 Renewable Energy Websites Summary: Towards the Analysis of Transactional Software Nicholas Kidd1 ,...

  7. Managing Distributed Software Development in the Virtual Astronomical Observatory

    E-Print Network [OSTI]

    Evans, Janet D; Bonaventura, Nina; Busko, Ivo; Cresitello-Dittmar, Mark; D'Abrusco, Raffaele; Doe, Stephen; Ebert, Rick; Laurino, Omar; Pevunova, Olga; Refsdal, Brian; Thomas, Brian

    2012-01-01T23:59:59.000Z

    The U.S. Virtual Astronomical Observatory (VAO) is a product-driven organization that provides new scientific research capabilities to the astronomical community. Software development for the VAO follows a lightweight framework that guides development of science applications and infrastructure. Challenges to be overcome include distributed development teams, part-time efforts, and highly constrained schedules. We describe the process we followed to conquer these challenges while developing Iris, the VAO application for analysis of 1-D astronomical spectral energy distributions (SEDs). Iris was successfully built and released in less than a year with a team distributed across four institutions. The project followed existing International Virtual Observatory Alliance inter-operability standards for spectral data and contributed a SED library as a by-product of the project. We emphasize lessons learned that will be folded into future development efforts. In our experience, a well-defined process that provides gu...

  8. RAVEN and Dynamic Probabilistic Risk Assessment: Software overview

    SciTech Connect (OSTI)

    Andrea Alfonsi; Cristian Rabiti; Diego Mandelli; Joshua Cogliati; Robert Kinoshita; Antonio Naviglio

    2014-06-01T23:59:59.000Z

    RAVEN is a generic software framework to perform parametric and probabilistic analysis based on the response of complex system codes. The initial development was aimed to provide dynamic risk analysis capabilities to the Thermo-Hydraulic code RELAP-7 [], currently under development at the Idaho National Laboratory. Although the initial goal has been fully accomplished, RAVEN is now a multi-purpose probabilistic and uncertainty quantification platform, capable to agnostically communicate with any system code. This agnosticism has been employed by providing Application Programming Interfaces (APIs). These interfaces are used to allow RAVEN to interact with any code as long as all the parameters that need to be perturbed are accessible by inputs files or via python interfaces. RAVEN is capable to investigate the system response, investigating the input space using Monte Carlo, Grid, or Latin Hyper Cube sampling schemes, but its strength is focused toward system feature discovery, such as limit surfaces, separating regions of the input space leading to system failure, using dynamic supervised learning techniques. The paper presents an overview of the software capabilities and their implementation schemes followed by some application examples.

  9. NA-42 TI Shared Software Component Library FY2011 Final Report

    SciTech Connect (OSTI)

    Knudson, Christa K.; Rutz, Frederick C.; Dorow, Kevin E.

    2011-07-21T23:59:59.000Z

    The NA-42 TI program initiated an effort in FY2010 to standardize its software development efforts with the long term goal of migrating toward a software management approach that will allow for the sharing and reuse of code developed within the TI program, improve integration, ensure a level of software documentation, and reduce development costs. The Pacific Northwest National Laboratory (PNNL) has been tasked with two activities that support this mission. PNNL has been tasked with the identification, selection, and implementation of a Shared Software Component Library. The intent of the library is to provide a common repository that is accessible by all authorized NA-42 software development teams. The repository facilitates software reuse through a searchable and easy to use web based interface. As software is submitted to the repository, the component registration process captures meta-data and provides version control for compiled libraries, documentation, and source code. This meta-data is then available for retrieval and review as part of library search results. In FY2010, PNNL and staff from the Remote Sensing Laboratory (RSL) teamed up to develop a software application with the goal of replacing the aging Aerial Measuring System (AMS). The application under development includes an Advanced Visualization and Integration of Data (AVID) framework and associated AMS modules. Throughout development, PNNL and RSL have utilized a common AMS code repository for collaborative code development. The AMS repository is hosted by PNNL, is restricted to the project development team, is accessed via two different geographic locations and continues to be used. The knowledge gained from the collaboration and hosting of this repository in conjunction with PNNL software development and systems engineering capabilities were used in the selection of a package to be used in the implementation of the software component library on behalf of NA-42 TI. The second task managed by PNNL is the development and continued maintenance of the NA-42 TI Software Development Questionnaire. This questionnaire is intended to help software development teams working under NA-42 TI in documenting their development activities. When sufficiently completed, the questionnaire illustrates that the software development activities recorded incorporate significant aspects of the software engineering lifecycle. The questionnaire template is updated as comments are received from NA-42 and/or its development teams and revised versions distributed to those using the questionnaire. PNNL also maintains a list of questionnaire recipients. The blank questionnaire template, the AVID and AMS software being developed, and the completed AVID AMS specific questionnaire are being used as the initial content to be established in the TI Component Library. This report summarizes the approach taken to identify requirements, search for and evaluate technologies, and the approach taken for installation of the software needed to host the component library. Additionally, it defines the process by which users request access for the contribution and retrieval of library content.

  10. Collecting Feedback During Software Engineering Experiments

    E-Print Network [OSTI]

    Karahasanovic, A.; Anda, B.; Arisholm, E.; Hove, S.E.; Jorgensen, M.; Sjoberg, D.; Welland, R.; Empirical Software Engineering 10(2) pp 113-147 Springer [More Details

    Karahasanovic,A. Anda,B. Arisholm,E. Hove,S.E. Jorgensen,M. Sjoberg,D. Welland,R. Empirical Software Engineering 10(2) pp 113-147 Springer

  11. DEVELOPMENT OF A SOFTWARE DESIGN TOOL FOR

    Broader source: Energy.gov [DOE]

    This project focuses on the development of a stand-alone software tool for the design and economic analysis of hybrid geothermal heat pump systems for heating-and cooling dominated buildings using solar collectors in both operating modes.

  12. Building dependability arguments for software intensive systems

    E-Print Network [OSTI]

    Seater, Robert Morrison

    2009-01-01T23:59:59.000Z

    A method is introduced for structuring and guiding the development of end-to-end dependability arguments. The goal is to establish high-level requirements of complex software-intensive systems, especially properties that ...

  13. Maturing Software Engineering Knowledge through Classifications

    E-Print Network [OSTI]

    Basili, Victor R.

    Maturing Software Engineering Knowledge through Classifications: A Case Study on Unit Testing contribution to advancing knowledge in both science and engineering. It is a way of investigating Engineering knowledge, as classifications constitute an organized structure of knowledge items. Till date

  14. Evaluation of Technical Software for Microcomputers

    E-Print Network [OSTI]

    Schmidt, P. S.; Williams, M. A.

    1984-01-01T23:59:59.000Z

    Personal computers offer the potential for significantly easing the tasks of engineers and managers. Effective use of these powerful tools, however, requires good software. This paper describes a number of features affecting the usability...

  15. Software Defined Wireless Networks: Unbridling SDNs

    E-Print Network [OSTI]

    Perkins, Dmitri

    Software Defined Wireless Networks: Unbridling SDNs Salvatore Costanzo, Laura Galluccio, Giacomo at analyzing how SDN can be beneficial in wireless infrastructureless networking environments with special emphasis on wireless personal area networks (WPAN). Furthermore, a possible approach (called SDWN

  16. MIDAS : minor incident decision analysis software

    E-Print Network [OSTI]

    Horng, Tze-Chieh, 1964-

    2004-01-01T23:59:59.000Z

    MIDAS is the minor incident decision analysis software that acts as an advisory tool for plant decision makers and operators to analyze the available decision alternatives for resolving minor incidents. The minor incidents ...

  17. Harmonizing Systems and Software Cost Estimation

    E-Print Network [OSTI]

    Wang, Gan

    2009-07-19T23:59:59.000Z

    The objective of this paper is to examine the gaps and overlaps between software and systems engineering cost models with intent to harmonize the estimates in engineering engineering estimation. In particular, we evaluate ...

  18. FAQS Reference Guide – Safety Software Quality Assurance

    Broader source: Energy.gov [DOE]

    This reference guide has been developed to address the competency statements in the (March 2011) edition of DOE-STD-1172-2011, Safety Software Quality Assurance Functional Area Qualification Standard.

  19. Drilling optimization using drilling simulator software

    E-Print Network [OSTI]

    Salas Safe, Jose Gregorio

    2004-09-30T23:59:59.000Z

    the results of using drilling simulator software called Drilling Optimization Simulator (DROPS®) in the evaluation of the Aloctono block, in the Pirital field, eastern Venezuela. This formation is characterized by very complex geology, containing faulted...

  20. View of software for HEP experiments

    SciTech Connect (OSTI)

    Johnstad, H.; Lebrun, P.; Lessner, E.S.; Montgomery, H.E.

    1986-05-01T23:59:59.000Z

    A view of the software structure typical of a High Energy Physics experiment is given and the availability of general software modules in most of the important regions is discussed. The aim is to provide a framework for discussion of capabilities and inadequecies and thereby define areas where effort should be assigned and perhaps also to serve as a useful source document for the newcomer to High Energy Physics. 74 refs.

  1. Guidelines for the verification and validation of expert system software and conventional software: Project summary. Volume 1

    SciTech Connect (OSTI)

    Mirsky, S.M.; Hayes, J.E.; Miller, L.A. [Science Applications International Corp., McLean, VA (United States)

    1995-03-01T23:59:59.000Z

    This eight-volume report presents guidelines for performing verification and validation (V&V) on Artificial Intelligence (Al) systems with nuclear applications. The guidelines have much broader application than just expert systems; they are also applicable to object-oriented programming systems, rule-based systems, frame-based systems, model-based systems, neural nets, genetic algorithms, and conventional software systems. This is because many of the components of AI systems are implemented in conventional procedural programming languages, so there is no real distinction. The report examines the state of the art in verifying and validating expert systems. V&V methods traditionally applied to conventional software systems are evaluated for their applicability to expert systems. One hundred fifty-three conventional techniques are identified and evaluated. These methods are found to be useful for at least some of the components of expert systems, frame-based systems, and object-oriented systems. A taxonomy of 52 defect types and their delectability by the 153 methods is presented. With specific regard to expert systems, conventional V&V methods were found to apply well to all the components of the expert system with the exception of the knowledge base. The knowledge base requires extension of the existing methods. Several innovative static verification and validation methods for expert systems have been identified and are described here, including a method for checking the knowledge base {open_quotes}semantics{close_quotes} and a method for generating validation scenarios. Evaluation of some of these methods was performed both analytically and experimentally. A V&V methodology for expert systems is presented based on three factors: (1) a system`s judged need for V&V (based in turn on its complexity and degree of required integrity); (2) the life-cycle phase; and (3) the system component being tested.

  2. Logic Programming for Software Engineering: A Second Chance

    E-Print Network [OSTI]

    Lau, Kung-Kiu

    at the heart of the software crisis. So LP would seem to have the potential to make an important contribution, it is instructive to take a brief retrospective look at both SE and LP. 2.1 SE: The Software Crisis SE has been plagued by the software crisis even before the term was coined at the 1968 NATO Conference on Software

  3. On the Evolution of Source Code and Software Defects

    E-Print Network [OSTI]

    Lanza, Michele

    available. In the last two decades, researchers have focused on mining and analyzing this data, residing maintenance claims the most part of a software system's cost. The analysis of software evolution helps in vari- ous software repositories, to understand software evolution and support maintenance activities

  4. THE DEPARTMENT OF COMPUTER SCIENCE & ENGINEERING MS IN SOFTWARE ENGINEERING

    E-Print Network [OSTI]

    Minnesota, University of

    -Engineering and Maintenance · Configuration Management · Internet Commerce · Data Warehousing & Data Mining · Software on faculty availability a

  5. Sandia software guidelines: Volume 5, Tools, techniques, and methodologies

    SciTech Connect (OSTI)

    Not Available

    1989-07-01T23:59:59.000Z

    This volume is one in a series of Sandia Software Guidelines intended for use in producing quality software within Sandia National Laboratories. This volume describes software tools and methodologies available to Sandia personnel for the development of software, and outlines techniques that have proven useful within the Laboratories and elsewhere. References and evaluations by Sandia personnel are included. 6 figs.

  6. Managing the software design documents with XML Junichi Suzuki

    E-Print Network [OSTI]

    Suzuki, Jun

    Managing the software design documents with XML Junichi Suzuki Department of Computer Science, and addresses how we can manage the software design documents for the distributed software development. Introduction It is hard to share and manage the software design models and their documents within a distributed

  7. Research Article Automating Risk Analysis of Software Design Models

    E-Print Network [OSTI]

    Miller, Barton P.

    is the introduction of security activities in the software development lifecycle. This paper describes an approach being introduced into the software development lifecycle to reduce the number of software defects amount of security threats. One of the responses from software developers to these threats

  8. Towards an Automation of Software Evolution Good Practices Chouki Tibermacine

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    that software evolution is an inescapable activity in the software lifecycle. In order to prevent the neg- ative of assistance to software evolution. This assistance makes it possible to guide the developer when applyingTowards an Automation of Software Evolution Good Practices Chouki Tibermacine LIRMM, CNRS

  9. A framework for verifying service-oriented software systems using message sequence charts

    E-Print Network [OSTI]

    Morales-Perea, Ernesto Emiliano

    2007-01-01T23:59:59.000Z

    on during the software development lifecycle. This resultsphase of the software development lifecycle. They capture

  10. Unreduced Dynamic Complexity: Towards the Unified Science of Intelligent Communication Networks and Software

    E-Print Network [OSTI]

    Andrei P. Kirilyuk

    2006-03-16T23:59:59.000Z

    Operation of autonomic communication networks with complicated user-oriented functions should be described as unreduced many-body interaction process. The latter gives rise to complex-dynamic behaviour including fractally structured hierarchy of chaotically changing realisations. We recall the main results of the universal science of complexity (physics/9806002) based on the unreduced interaction problem solution and its application to various real systems, from nanobiosystems (physics/0412097, physics/0502133) and quantum devices (physics/0211071) to intelligent networks (physics/0412058) and emerging consciousness (physics/0409140). We concentrate then on applications to autonomic communication leading to fundamentally substantiated, exact science of intelligent communication and software. It aims at unification of the whole diversity of complex information system behaviour, similar to the conventional, "Newtonian" science order for sequential, regular models of system dynamics. Basic principles and first applications of the unified science of complex-dynamic communication networks and software are outlined to demonstrate its advantages and emerging practical perspectives.

  11. Modeling of Exascale Applications Summit | U.S. DOE Office of...

    Office of Science (SC) Website

    to a number of hardware, system software, and application events, continuously optimizing energy and performance in the presence of very high error and failure rates. As a result,...

  12. Flight Software Group The LASP Flight Software Group has a rich history of

    E-Print Network [OSTI]

    Mojzsis, Stephen J.

    development life-cycle. Software quality assurance engineers ensure compliance and perform audits. LASP uses also develops the GSE software systems necessary to develop, test, and integrate science instruments record and control system. We track requirements and design and test information from development

  13. Sandia software guidelines. Volume 3. Standards, practices, and conventions

    SciTech Connect (OSTI)

    Not Available

    1986-07-01T23:59:59.000Z

    This volume is one in a series of Sandia Software Guidelines intended for use in producing quality software within Sandia National Laboratories. In consonance with the IEEE Standard for Software Quality Assurance Plans, this volume identifies software standards, conventions, and practices. These guidelines are the result of a collective effort within Sandia National Laboratories to define recommended deliverables and to document standards, practices, and conventions which will help ensure quality software. 66 refs., 5 figs., 6 tabs.

  14. Software Reliability Cases: The Bridge Between Hardware, Software and System Safety and Reliability

    SciTech Connect (OSTI)

    Herrmann, D.S.; Peercy, D.E.

    1999-01-08T23:59:59.000Z

    High integrity/high consequence systems must be safe and reliable; hence it is only logical that both software safety and software reliability cases should be developed. Risk assessments in safety cases evaluate the severity of the consequences of a hazard and the likelihood of it occurring. The likelihood is directly related to system and software reliability predictions. Software reliability cases, as promoted by SAE JA 1002 and 1003, provide a practical approach to bridge the gap between hardware reliability, software reliability, and system safety and reliability by using a common methodology and information structure. They also facilitate early insight into whether or not a project is on track for meeting stated safety and reliability goals, while facilitating an informed assessment by regulatory and/or contractual authorities.

  15. Parallel software for lattice N=4 supersymmetric Yang--Mills theory

    E-Print Network [OSTI]

    David Schaich; Thomas DeGrand

    2014-10-25T23:59:59.000Z

    We present new parallel software, SUSY LATTICE, for lattice studies of four-dimensional $\\mathcal N = 4$ supersymmetric Yang--Mills theory with gauge group SU(N). The lattice action is constructed to exactly preserve a single supersymmetry charge at non-zero lattice spacing, up to additional potential terms included to stabilize numerical simulations. The software evolved from the MILC code for lattice QCD, and retains a similar large-scale framework despite the different target theory. Many routines are adapted from an existing serial code, which SUSY LATTICE supersedes. This paper provides an overview of the new parallel software, summarizing the lattice system, describing the applications that are currently provided and explaining their basic workflow for non-experts in lattice gauge theory. We discuss the parallel performance of the code, and highlight some notable aspects of the documentation for those interested in contributing to its future development.

  16. Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking

    E-Print Network [OSTI]

    Cordeiro, Lucas; Marques-Silva, Joao

    2009-01-01T23:59:59.000Z

    The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall product quality. In this context, SAT-based bounded model checking has been successfully applied to discover subtle errors, but for larger applications, it often suffers from the state space explosion problem. This paper describes a new approach called continuous verification to detect design errors as quickly as possible by looking at the Software Configuration Management (SCM) system and by combining dynamic and static verification to reduce the state space to be explored. We also give a set of encodings that provide accurate support for program verification and use different background theories in order to improve scalability and precision in a completely automatic way. A case study from the telecommunications domain shows that the proposed approach improves the error-detection capability and reduces the overall verification time by...

  17. Software development methodology for high consequence systems

    SciTech Connect (OSTI)

    Baca, L.S.; Bouchard, J.F.; Collins, E.W.; Eisenhour, M.; Neidigk, D.D.; Shortencarier, M.J.; Trellue, P.A.

    1997-10-01T23:59:59.000Z

    This document describes a Software Development Methodology for High Consequence Systems. A High Consequence System is a system whose failure could lead to serious injury, loss of life, destruction of valuable resources, unauthorized use, damaged reputation or loss of credibility or compromise of protected information. This methodology can be scaled for use in projects of any size and complexity and does not prescribe any specific software engineering technology. Tasks are described that ensure software is developed in a controlled environment. The effort needed to complete the tasks will vary according to the size, complexity, and risks of the project. The emphasis of this methodology is on obtaining the desired attributes for each individual High Consequence System.

  18. Software-defined Quantum Communication Systems

    E-Print Network [OSTI]

    Travis S. Humble; Ronald J. Sadlier

    2014-10-20T23:59:59.000Z

    Quantum communication systems harness modern physics through state-of-the-art optical engineering to provide revolutionary capabilities. An important concern for quantum communication engineering is designing and prototyping these systems to evaluate proposed capabilities. We apply the paradigm of software-defined communication for engineering quantum communication systems to facilitate rapid prototyping and prototype comparisons. We detail how to decompose quantum communication terminals into functional layers defining hardware, software, and middleware concerns, and we describe how each layer behaves. Using the super-dense coding protocol as an example, we describe implementations of both the transmitter and receiver, and we present results from numerical simulations of the behavior. We conclude that software-defined quantum communication provides a robust framework in which to explore the large design space offered by this new regime of communication.

  19. Techniques in Active and Generic Software Libraries

    E-Print Network [OSTI]

    Smith, Jacob N.

    2010-07-14T23:59:59.000Z

    at the end of a multiyear journey into computer science ? especially software engineering and the development of software libraries. I would like to thank my adviser Dr. Jaakko J?arvi first and foremost. Little does he know that it was reading his papers (and... managed to actually work on a project together. Hand-in-hand I would like to thank everyone in Dr. Bjarne Stroustrup?s lab (including Bjarne for being such a good sport): Luke Wagner for helping me to understand logic and language theory; Yuriy Solodkyy...

  20. SWP Prdikatausdrcke Institute for Software Technology

    E-Print Network [OSTI]

    for Software Technology 5 p(t1,..,tn)PL() (Atomformel). Sind p,qPL(), dann auch pq, pq, pq, ¬p. Ist pPL() und v;Definitionen Ist pPL(), so hei�t p gültig in , wenn für alle ENV gilt I(,p)=T. Ist pPL(), so hei�t p erfüllbar in , Institute for Software Technology 11 Ist pPL(), so hei�t p erfüllbar in , wenn es ein ENV gibt mit I

  1. SWP Prdikatausdrcke Institute for Software Technology

    E-Print Network [OSTI]

    for Software Technology 5 p(t1,..,tn)PL() (Atomformel). Sind p,qPL(), dann auch pq, pq, pq, ¬p. Ist pPL() und v Ist pPL(), so hei�t p gültig in , wenn für alle ENV gilt I(,p)=T. Ist pPL(), so hei�t p erfüllbar in , Institute for Software Technology 11 Ist pPL(), so hei�t p erfüllbar in , wenn es ein ENV gibt mit I

  2. SAPHIRE 8 Software Quality Assurance Oversight

    SciTech Connect (OSTI)

    Kurt G. Vedros

    2011-09-01T23:59:59.000Z

    The software quality assurance oversight consists of updating and maintaining revision control of the SAPHIRE 8 quality assurance program documentation and of monitoring revision control of the SAPHIRE 8 source code. This report summarizes the oversight efforts through description of the revision control system (RCS) setup, operation and contents. Documents maintained under revision control include the Acceptance Test Plan (ATP), Configuration Management Plan, Quality Assurance Plan, Software Project Plan, Requirements Traceability Matrix (RTM), System Test Plan, SDP Interface Training Manual, and the SAPHIRE 8, 'New Features and Capabilities Overview'.

  3. Establishing Economic Effectiveness through Software Health-Management

    SciTech Connect (OSTI)

    Pizka, M; Panas, T

    2009-05-27T23:59:59.000Z

    More than two thirds of the annual software budget of large-scale organizations dealing with complex software systems is spent on the perfection, correction, and operation of existing software systems. A significant part of these running costs could be saved if the software systems that need to be constantly extende, maintained and operated were in a better technical condition. This paper proposes Software Health-Checks as a method to assess the technical condition of existing software systems and to deduce measures for improving the health of software in a structured manner. Since 2006 numerous commercial software systems with a total of 30 MLOC, implemented in various technologies, were already checked with this method. The actions suggested as a result of these Software 'Health-Checks', repeatedly yielded dramatic performance improvements, risk reductions and cost savings between 30% and 80%.

  4. An Embedded System for Safe, Secure and Reliable Execution of High Consequence Software

    SciTech Connect (OSTI)

    MCCOY,JAMES A.

    2000-08-29T23:59:59.000Z

    As more complex and functionally diverse requirements are placed on high consequence embedded applications, ensuring safe and secure operation requires an execution environment that is ultra reliable from a system viewpoint. In many cases the safety and security of the system depends upon the reliable cooperation between the hardware and the software to meet real-time system throughput requirements. The selection of a microprocessor and its associated development environment for an embedded application has the most far-reaching effects on the development and production of the system than any other element in the design. The effects of this choice ripple through the remainder of the hardware design and profoundly affect the entire software development process. While state-of-the-art software engineering principles indicate that an object oriented (OO) methodology provides a superior development environment, traditional programming languages available for microprocessors targeted for deeply embedded applications do not directly support OO techniques. Furthermore, the microprocessors themselves do not typically support nor do they enforce an OO environment. This paper describes a system level approach for the design of a microprocessor intended for use in deeply embedded high consequence applications that both supports and enforces an OO execution environment.

  5. Managing Software Development for Global Health

    E-Print Network [OSTI]

    Anderson, Richard

    refrigeration. Cold chain description · Storage of vaccines from national level to point of delivery · Manage · The Cold Chain · National Vaccine Forecasting · CCEM 1.0: In house development · CCEM 2.1: Out sourcing and was in serious trouble · Applying software industry best practices is leading to a positive outcome 3

  6. Energy Monitoring of Software project-team

    E-Print Network [OSTI]

    Lefèvre, Laurent

    Energy Monitoring of Software Systems project-team Romain Rouvoy Aurélien Bourdon Adel Noureddine Lionel Seinturier firstname.lastname@inria.fr #12;ICT & Energy 2% of the global energy consumption in 2007 [1] [1] Gartner #12;ICT & Energy [1] 2008 ICT report, Ecology Ministry 13.5% of the electricity

  7. OFC Review 2013 Software Defined Network (SDN)

    E-Print Network [OSTI]

    California at Davis, University of

    and transmission rate w/o hardware change Dedicated PCE to scale OpenFlow architectutre #12;Network ArchitectureOFC Review 2013 Software Defined Network (SDN) M. Farhan Habib May 10, 2013 Friday Group Meeting Networks Lab @ UCD #12;NTu3F: SDN in Today's Network #12;SDN: What and Why · Traditional distributed

  8. Model Checking for Software Architectures Radu Mateescu

    E-Print Network [OSTI]

    Joseph Fourier Grenoble-I, Université

    ] are essential engineering artifacts used in the de- sign process of complex software systems. They specify alge- bras, the most prominent ones being Wright [2] and Darwin [17]. Wright is based upon Csp, thus (configuration and coordination) and Fsp (a dialect of Csp) to describe the behaviour of individual components

  9. LIRMM UM II Component based Software Architecture

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    1 LIRMM UM II Component based Software Architecture of Robot Controllers R. Passama, D. Andreu, C component approaches and robot control architectures. This methodology defines a process that guides architecture, useful for analysis and integration, and a dedicated component-based language, focusing

  10. CSE 4322: Software Project Management 1 Instructor

    E-Print Network [OSTI]

    Csallner, Christoph

    Software: What Really Works, and Why We Believe It. O'Reilly. 2010. 3. Frederick P. Brooks: The Mythical: Effective Java. 2nd edition. Prentice Hall, 2008. 7. James Gosling, Bill Joy, Guy Steele, and Gilad Bracha (written) · 20% project presentations (oral) 10.1 Grade Distribution A from 85%, B from 70%, C from 60%, D

  11. Software Engineering, an established Accreditable Engineering Discipline

    E-Print Network [OSTI]

    Szabados, Barna

    Software Engineering, an established Accreditable Engineering Discipline By B.Szabados, P.Eng, Mc of the Canadian Engineering Accreditation Board (CEAB), as well as at a workshop at the NCDEAS meeting in September 1997. 1. INTRODUCTION In the late seventies, the discipline of Computer Engineering has evolved

  12. Software Engineering Education Mark A. Ardis

    E-Print Network [OSTI]

    Ardis, Mark

    - plex. Today's top-of-the-line automobiles have hundreds of millions of lines of software, and even low-end cars have tens of millions of lines of code. Of course, predictions are that the size and complexity and control our car remotely over the Internet." The authors of the study were able to disable the brakes

  13. IBM Software Data Sheet IBM adaptive threat

    E-Print Network [OSTI]

    IBM Software Data Sheet IBM adaptive threat protection Stay ahead of security threats with a state-of-the-art network protection engine Highlights Identify high-risk threats and zero-day attacks with protocol-based, behavioral anomaly detection Protect end users against the latest web-based threats, such as SQL injection

  14. Effort estimation for corrective software maintenance

    E-Print Network [OSTI]

    Bae, Doo-Hwan

    Stefanucci Proceedings of the 14th international conference on software engineering and knowledge engineering estimating Size Duration Staff Costs Effort #12;4/20 Introduction (2/2) · Effort estimation ­ Is a valuable asset to maintenance managers in · Planning maintenance · Performing cost/benefits analysis · Approach

  15. Mining Bug Databases for Unidentified Software Vulnerabilities

    SciTech Connect (OSTI)

    Dumidu Wijayasekara; Milos Manic; Jason Wright; Miles McQueen

    2012-06-01T23:59:59.000Z

    Identifying software vulnerabilities is becoming more important as critical and sensitive systems increasingly rely on complex software systems. It has been suggested in previous work that some bugs are only identified as vulnerabilities long after the bug has been made public. These vulnerabilities are known as hidden impact vulnerabilities. This paper discusses the feasibility and necessity to mine common publicly available bug databases for vulnerabilities that are yet to be identified. We present bug database analysis of two well known and frequently used software packages, namely Linux kernel and MySQL. It is shown that for both Linux and MySQL, a significant portion of vulnerabilities that were discovered for the time period from January 2006 to April 2011 were hidden impact vulnerabilities. It is also shown that the percentage of hidden impact vulnerabilities has increased in the last two years, for both software packages. We then propose an improved hidden impact vulnerability identification methodology based on text mining bug databases, and conclude by discussing a few potential problems faced by such a classifier.

  16. Combining Software Evidence Arguments and Assurance

    E-Print Network [OSTI]

    Kelly, Tim

    defence, aerospace, nuclear and railways). A safety case consists of three principal elements. This paper introduces an established argumentation notation from the safety critical domain, as well as new applied to the development and certification of safety critical software and it is believed they are both

  17. A Software Engineering Perspective for Services Security

    E-Print Network [OSTI]

    Han, Jun

    A Software Engineering Perspective for Services Security Jun Han School of Information Technology. We have seen much work in the traditional area of information and network security, focusing such as encryption algo- rithms and key exchange protocols has been the main topic of the information security

  18. Influence of release frequency in software development

    E-Print Network [OSTI]

    a six weeks development lifecycle [2]. It's also the case for exploitations systems. Microsoft wants, Canonical may change the release development for a 6 months lifecycle to a 2 years release frequency [4]. B as possible to improve the attractiveness of the product over the completion. Software is going from perpetual

  19. SAPHIRE 8 Software Configuration Management Plan

    SciTech Connect (OSTI)

    Curtis Smith

    2010-01-01T23:59:59.000Z

    The INL software developers use version control for both the formally released SAPHIRE versions, as well as for source code. For each formal release of the software, the developers perform an acceptance test: the software must pass a suite of automated tests prior to official release. Each official release of SAPHIRE is assigned a unique version identifier. The release is bundled into a standard installation package for easy and consistent set-up by individual users. Included in the release is a list of bug fixes and new features for the current release, as well as a history of those items for past releases. Each formal release of SAPHIRE will have passed an acceptance test. In addition to assignment of a unique version identifier for an official software release, each source code file is kept in a controlled library. Source code is a collection of all the computer instructions written by developers to create the finished product. The library is kept on a server, where back-ups are regularly made. This document describes the configuration management approach used as part of the SAPHIRE development.

  20. Honeywell Modular Automation System Computer Software Documentation

    SciTech Connect (OSTI)

    CUNNINGHAM, L.T.

    1999-09-27T23:59:59.000Z

    This document provides a Computer Software Documentation for a new Honeywell Modular Automation System (MAS) being installed in the Plutonium Finishing Plant (PFP). This system will be used to control new thermal stabilization furnaces in HA-211 and vertical denitration calciner in HC-230C-2.

  1. Facilitating performance predictions using software components

    E-Print Network [OSTI]

    Becker, Steffen

    Reussner 1. Introduction Composing software systems of independent building blocks is the central vision based on the properties of its components. In civil and electrical engineering, the early assessment, performance is often mainly considered at the end of the development cycle when the complete system can

  2. Consumer Alert Pirated Software May Contain Malware

    E-Print Network [OSTI]

    Bernstein, Phil

    Consumer Alert Pirated Software May Contain Malware http://www.fbi.gov/news/stories/2013/august. Today, the National Intellectual Property Rights Coordination (IPR) Center - of which the FBI is a key key (often a ploy to disseminate additional malware) Printed with the Permission of FBI #12;And

  3. Review of Quantitative Software Reliability Methods

    SciTech Connect (OSTI)

    Chu, T.L.; Yue, M.; Martinez-Guridi, M.; Lehner, J.

    2010-09-17T23:59:59.000Z

    The current U.S. Nuclear Regulatory Commission (NRC) licensing process for digital systems rests on deterministic engineering criteria. In its 1995 probabilistic risk assessment (PRA) policy statement, the Commission encouraged the use of PRA technology in all regulatory matters to the extent supported by the state-of-the-art in PRA methods and data. Although many activities have been completed in the area of risk-informed regulation, the risk-informed analysis process for digital systems has not yet been satisfactorily developed. Since digital instrumentation and control (I&C) systems are expected to play an increasingly important role in nuclear power plant (NPP) safety, the NRC established a digital system research plan that defines a coherent set of research programs to support its regulatory needs. One of the research programs included in the NRC's digital system research plan addresses risk assessment methods and data for digital systems. Digital I&C systems have some unique characteristics, such as using software, and may have different failure causes and/or modes than analog I&C systems; hence, their incorporation into NPP PRAs entails special challenges. The objective of the NRC's digital system risk research is to identify and develop methods, analytical tools, and regulatory guidance for (1) including models of digital systems into NPP PRAs, and (2) using information on the risks of digital systems to support the NRC's risk-informed licensing and oversight activities. For several years, Brookhaven National Laboratory (BNL) has worked on NRC projects to investigate methods and tools for the probabilistic modeling of digital systems, as documented mainly in NUREG/CR-6962 and NUREG/CR-6997. However, the scope of this research principally focused on hardware failures, with limited reviews of software failure experience and software reliability methods. NRC also sponsored research at the Ohio State University investigating the modeling of digital systems using dynamic PRA methods. These efforts, documented in NUREG/CR-6901, NUREG/CR-6942, and NUREG/CR-6985, included a functional representation of the system's software but did not explicitly address failure modes caused by software defects or by inadequate design requirements. An important identified research need is to establish a commonly accepted basis for incorporating the behavior of software into digital I&C system reliability models for use in PRAs. To address this need, BNL is exploring the inclusion of software failures into the reliability models of digital I&C systems, such that their contribution to the risk of the associated NPP can be assessed.

  4. Language-based approach for Software Specialization

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    such as mobile telephony, automobile industry, aeronautics, domotics and recently medicine. Applications running

  5. SENIOR SOFTWARE ENGINEER School of Chemical Sciences

    E-Print Network [OSTI]

    McCall, Benjamin J.

    the AITS SDLC as well as Application Development and Support (ADS) department standards and guidelines

  6. Software Evaluation of Hotspot and DOE Safety Software Toolbox Recommendation, 3/07

    Broader source: Energy.gov [DOE]

    The intent of the gap analysis is to evaluate Hotspot specified above and recommend to the DOE Officeof Health, Safety and Security (HSS) whether this safety software should be added to the DOE...

  7. Inside a secret software lab: an ethnographic study of a global software package producer 

    E-Print Network [OSTI]

    Grimm, Christine Franziska

    2009-11-26T23:59:59.000Z

    This is an ethnographic study of the creation of a particular type of standard enterprise software package: Enterprise Resource Planning (ERP) systems, which support wide-ranging organisational functions within large ...

  8. "Turn-Key" Open Source Software Solutions for Energy Management...

    Energy Savers [EERE]

    "Turn-Key" Open Source Software Solutions for Energy Management of Small to Medium Sized Buildings (DE-FOA-0000822) "Turn-Key" Open Source Software Solutions for Energy Management...

  9. EECBG Success Story: Software Helps Kentucky County Gauge Energy...

    Broader source: Energy.gov (indexed) [DOE]

    Kentucky invested 140,000 of a 2.7 million Energy Efficiency and Conservation Block Grant (EECBG) to purchase EnergyCAP software. The energy management software will allow the...

  10. 3D Representations for Software Visualization Andrian Marcus

    E-Print Network [OSTI]

    research from software analysis, information visualization, human-computer interaction, and cognitive, texture, abstraction mechanism, and by supporting new manipulation techniques and user interfaces.2 [Information Interfaces and Presentation] User Interfaces Keywords: Software visualization, 3D visualization

  11. An open source software selection process and a case study

    E-Print Network [OSTI]

    He, Guobin

    2009-06-02T23:59:59.000Z

    In this study, I design an empirical open source software selection process, which reuses some ideas from Commercial Off-the-Shelf selection methods and addresses the characteristics of the open source software. Basically, it consists of three basic...

  12. Patent Scope and Innovation in the Software Industry

    E-Print Network [OSTI]

    Shamos, Michael I.

    Patent Scope and Innovation in the Software Industry Julie E. Cohen Mark A. Lemley Table.................................................................................................4 I. Software Patents: History, Practice, and Theory .....................................7 A. History: The Section 101 Patentability Debate..............................8 B. Practice: Anything Goes

  13. META-ENVIRONMENTS FOR SOFTWARE PRODUCTION ANTHONY S. KARRER

    E-Print Network [OSTI]

    Scacchi, Walt

    META-ENVIRONMENTS FOR SOFTWARE PRODUCTION ANTHONY S. KARRER Computer Science Department, Loyola December 1994 Researchers who create software production environments face considerable problems. Soft- ware production environments are large systems that are costly to develop. Furthermore, soft- ware

  14. Strategies for the development of the software industry in Columbia

    E-Print Network [OSTI]

    Cepero, Monica (Cepero Uribe)

    2007-01-01T23:59:59.000Z

    Using Michael Porter's framework for the competitiveness of the nations and Professor Michael Cusumano's theory on the orientation of the software companies toward services, I analyzed the country of Colombia's software ...

  15. Software Roadmap to Plug and Play Petaflop/s

    E-Print Network [OSTI]

    2006-01-01T23:59:59.000Z

    Chem. , 14, 1347–1363 (1993). LBNL Software Roadmap to PlugSpain, Sep. 12–16, 2005. LBNL Software Roadmap to Plug andeffective. ANL, ORNL, and LBNL have expertise here. Memory

  16. Alexander Felfernig & Gerald Steinbauer Institute for Software Technology

    E-Print Network [OSTI]

    Felfernig & Gerald Steinbauer Institute for Software Technology 10 Wissensverarbeitung 5 Uniform Cost Search Technology 11 Wissensverarbeitung Generalization of bfs ­ Expand state with lowest related costsAlexander Felfernig & Gerald Steinbauer Institute for Software Technology 1 Wissensverarbeitung

  17. An open source software selection process and a case study 

    E-Print Network [OSTI]

    He, Guobin

    2009-06-02T23:59:59.000Z

    In this study, I design an empirical open source software selection process, which reuses some ideas from Commercial Off-the-Shelf selection methods and addresses the characteristics of the open source software. Basically, ...

  18. Functional Testing Protocols for Commercial Building Efficiency Baseline Modeling Software

    SciTech Connect (OSTI)

    Jump, David; Price, Phillip N.; Granderson, Jessica; Sohn, Michael

    2013-09-06T23:59:59.000Z

    This document describes procedures for testing and validating proprietary baseline energy modeling software accuracy in predicting energy use over the period of interest, such as a month or a year. The procedures are designed according to the methodology used for public domain baselining software in another LBNL report that was (like the present report) prepared for Pacific Gas and Electric Company: ?Commercial Building Energy Baseline Modeling Software: Performance Metrics and Method Testing with Open Source Models and Implications for Proprietary Software Testing Protocols? (referred to here as the ?Model Analysis Report?). The test procedure focuses on the quality of the software?s predictions rather than on the specific algorithms used to predict energy use. In this way the software vendor is not required to divulge or share proprietary information about how their software works, while enabling stakeholders to assess its performance.

  19. Improving the distributed evolution of software through heuristic evaluation

    E-Print Network [OSTI]

    Wooten, Amy Jo

    2011-01-01T23:59:59.000Z

    In order to create the increasingly complex software systems needed to deal with today's technological challenges, we must be able to build on previous work. However, existing software solutions are quite often not an exact ...

  20. Distributed lyapunov functions in analysis of graph models of software

    E-Print Network [OSTI]

    Roozbehani, Mardavij

    In previous works, the authors introduced a framework for software analysis, which is based on optimization of Lyapunov invariants. These invariants prove critical software properties such as absence of overflow and ...

  1. Towards Evidence-Based Assessment of Factors Contributing to the Introduction and Detection of Software Vulnerabilities

    E-Print Network [OSTI]

    Finifter, Matthew Smith

    2013-01-01T23:59:59.000Z

    phase of the software development lifecycle, which beginsphase of the software development lifecycle, which beginsA secure software development lifecycle (SDLC) aims to

  2. Measuring, monitoring, and assessing software process using PAMPA 2.0 knowledge-based system

    E-Print Network [OSTI]

    Jung, Jin Hwan

    2005-08-29T23:59:59.000Z

    all phases of the application development cycle; planning, development, quality assurance, and support. Defect WorkFlow SoftQuest Systems Defect tracking and change management tool DevTrack TechExcel Defect and project tracking tool. Features... retrieval Risk Radar Software Program Manager?s Network Risk management tool in Excel Risk+ C/S Solutions Inc. Risk analysis add-on for Microsoft Project to quantify the cost and schedule uncertainty associated with project plans using Monte Carlo...

  3. Multimedia Computing: Applications, Designs, and Human

    E-Print Network [OSTI]

    Multimedia Computing: Applications, Designs, and Human Factors Scott M. Stevens Software, multimedia input and output must be concerned with constant rate continuous media such as digital video and audio. Today's multimedia applications are just beginning to explore the capabilities of multimedia

  4. automated software engineering: Topics by E-print Network

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Genomic Engineering (SAGE) Enabled by Electrowetting-on-Dielectric Digital Microfluidics Materials Science Websites Summary: Software Automated Genomic Engineering (SAGE)...

  5. Designing Internet-Based Software Steven P. Reiss

    E-Print Network [OSTI]

    Reiss, Steven P.

    repertoire of standard parts and relatively limited ways of con- necting them. Software is much more flexible

  6. Tax Deduction Qualified Software Tas version 9.3.1

    Broader source: Energy.gov [DOE]

    Information about the Tas version 9.3.1 qualified computer software and federal tax incentive requirements for commercial buildings.

  7. Surveillance Analysis Computer System (SACS) software design document (SDD)

    SciTech Connect (OSTI)

    Glasscock, J.A.

    1995-09-01T23:59:59.000Z

    This document contains the Software Design Description for Phase II of the SACS project, and Impact Level 3Q system

  8. MONITORING AN ADA SOFTWARE DEVELOPMEN T Victor R. Basili

    E-Print Network [OSTI]

    Basili, Victor R.

    and Elizabeth Kruesi are now with Software Metrics, Inc. Sylvia Sheppard is with Booz, Allen, and Hamilton, Inc

  9. Date June 11, 2013 Invites applications for the following position (s)

    E-Print Network [OSTI]

    of web based and computer applications, the Internet and other software applications (Microsoft Word on a wide range of career and work search related subjects and assisting students in the development

  10. New Directions in Measurement for Software Quality Control

    E-Print Network [OSTI]

    Suryn, Witold

    of statistical data. In total this provides a framework for quality control in software engineering that is freed1 New Directions in Measurement for Software Quality Control Paul Krause, Bernd Freimut and Witold Suryn Abstract--Assessing and controlling software quality is still an immature discipline. One

  11. Viewpoints in Software Architecture Reconstruction Arie van Deursen

    E-Print Network [OSTI]

    van Deursen, Arie

    Recommended Practice for Architectural Description of Software-intensive Systems [3] give a larger catalogViewpoints in Software Architecture Reconstruction Arie van Deursen CWI & Delft Univ. of Technology, FIN-00045, Helsinki, Finland claudio.riva@nokia.com 1 Introduction Many software engineering tasks

  12. On Model Based Synthesis of Embedded Control Software Vadim Alimguzhin

    E-Print Network [OSTI]

    Tronci, Enrico

    Model Based Design approaches for control software. Given the formal model of a plant as a Discrete Time addresses model based synthesis of control software by trading system level non-functional requirementsOn Model Based Synthesis of Embedded Control Software Vadim Alimguzhin Federico Mari Igor Melatti

  13. Software Engineering Students' Cross-site Collaboration: An Experience Report

    E-Print Network [OSTI]

    Newcastle upon Tyne, University of

    Software Engineering Students' Cross-site Collaboration: An Experience Report Sarah Drummond Dept their site's Software Engineering (SE) modules and provided strategic coupling of cross-site student groups and hence their employability. Keywords Software Engineering, Cross-site collaboration, Video conferencing 1

  14. Towards a Taxonomy of Software Evolution Tom Mens Jim Buckley

    E-Print Network [OSTI]

    Zenger, Matthias

    Towards a Taxonomy of Software Evolution Tom Mens Jim Buckley Vrije Universiteit Brussel Pleinlaan taxonomies of software evolution have focused on the purpose of the change (i.e., the why) rather than the underlying mechanisms. This paper proposes a taxonomy of software evolution based on the characterizing

  15. 3F6 -Software Engineering and Design Concurrent Systems I

    E-Print Network [OSTI]

    Young, Steve

    3F6 - Software Engineering and Design Handout 13 Concurrent Systems I With Markup Steve Young #12 #12;2 Engineering Part IIA: 3F6 - Software Engineering and Design Levels of Concurrency Concurrency should always assume that the concurrency is real! eg Core Duo #12;6 Engineering Part IIA: 3F6 - Software

  16. A Process-Agent Construction Method for Software Process

    E-Print Network [OSTI]

    Bae, Doo-Hwan

    Library (EL): · Comprise historical data such as Time (T), Human Resource (HR), Cost (C), Quality (Q), etcA Process-Agent Construction Method for Software Process Modeling in SoftPM Prosim 2006 Qing Wang;Introduction Software process is highly dependent on the capabilities of individual software engineers

  17. Software Engineering: A Roadmap Anthony Finkelstein Jeff Kramer

    E-Print Network [OSTI]

    Finkelstein, Anthony

    Software Engineering: A Roadmap Anthony Finkelstein Jeff Kramer Department of Computer Science@doc.ic.ac.uk ABSTRACT This paper provides a roadmap for software engineering. It identifies the principal research specialisations within software engineering. The paper draws heavily on the roadmaps covering specific areas

  18. On Exceptions, Exception Handling, Requirements and Software Lifecycle Alexander Romanovsky

    E-Print Network [OSTI]

    Southampton, University of

    On Exceptions, Exception Handling, Requirements and Software Lifecycle Alexander Romanovsky Notes. 32(2). 2007. [2] R. de Lemos, and A. Romanovsky. Exception handling in the software lifecycle. Castor Filho. Exception handling in the development of dependable component-based systems. Software

  19. Component-based Specification of Software Architecture Constraints

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    engineering provides for develop- ers the ability to easily reuse and assemble software entities to build phase of the software lifecycle. They propose to de- velopers to explicit, in a structured way, designComponent-based Specification of Software Architecture Constraints Chouki Tibermacine LIRMM, CNRS

  20. Prometheus Reactor I&C Software Development Methodology, for Action

    SciTech Connect (OSTI)

    T. Hamilton

    2005-07-30T23:59:59.000Z

    The purpose of this letter is to submit the Reactor Instrumentation and Control (I&C) software life cycle, development methodology, and programming language selections and rationale for project Prometheus to NR for approval. This letter also provides the draft Reactor I&C Software Development Process Manual and Reactor Module Software Development Plan to NR for information.

  1. Representing Exceptional Behaviour at the earlier Phases of Software Development

    E-Print Network [OSTI]

    Kent, University of

    Representing Exceptional Behaviour at the earlier Phases of Software Development Rogério de Lemos. Exception handling has been traditionally associated with the design phase of the software lifecycle, during not received enough attention /Avizienes 97/. Ideally, for each identified phase of the software lifecycle

  2. Demonstration of the APRON Processor Array Simulation Software

    E-Print Network [OSTI]

    Dudek, Piotr

    .barr@postgrad.manchester.ac.uk; p.dudek@manchester.ac.uk Abstract ­ A software tool for the development, prototyping and emulation a software system that can be used at all stages in the lifecycle of a CPA device. APRON (Array ProcessingDemonstration of the APRON Processor Array Simulation Software David R. W. Barr and Piotr Dudek

  3. International Conference on Human-Centered Software Engineering

    E-Print Network [OSTI]

    Noé, Reinhold

    models in HCSE Social and organizational aspects in the software development lifecycle Human-centric software development tools User profiles and mental models User requirements and design constraints UserHCSE 2014 5th International Conference on Human-Centered Software Engineering Paderborn, Germany

  4. Predicting Software Defects in Varying Development Lifecycles using Bayesian Nets

    E-Print Network [OSTI]

    Fenton, Norman

    Predicting Software Defects in Varying Development Lifecycles using Bayesian Nets Norman Fenton, this has required a custom- built BN for each software development lifecycle. We describe a more general BN software development lifecycle ­ to reflect both the differing number of testing stages in the lifecycle

  5. Edinburgh Research Explorer Dealing With Software: the Research Data Issues

    E-Print Network [OSTI]

    Millar, Andrew J.

    as a digital research output through its lifecycle. 2. Software and Research: the Lifecycle We can consider the software lifecycle to have broadly the following stages, which may overlap: · Design: where the implementation of a concept or algorithm, or extension of an existing piece of software is planned · Development

  6. Software Fault Reporting Processes in Business-Critical Systems

    E-Print Network [OSTI]

    Langseth, Helge

    and product quality. Some specific software methods will be adopted from safety-critical software engineering of Computer and Information Science Faculty of Information Technology, Mathematics and Electrical Engineering and software systems. To increase e.g. the reliability and performance of such systems we rely on a plethora

  7. Software Evolution: A Road Map K. H. Bennett

    E-Print Network [OSTI]

    for practitioners. By evolution, we mean a stage of software lifecycle where the software undergoes substantial be termed anticipatory, and is based on the idea that processes and product evolution can both be planned lifecycle and software engineering textbooks. The second is termed reactive, and offers a much more

  8. 15 Software Product Line Engineering with the UML: Deriving Products

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    15 Software Product Line Engineering with the UML: Deriving Products T. Ziadi and J.-M. Jézéquel Abstract Software product line engineering introduces two new dimensions into the traditional engineering of software-based systems: the variability modeling and the product derivation. The variability gathers

  9. A Language for Software Variation Research Martin Erwig

    E-Print Network [OSTI]

    Erwig, Martin

    -oriented programming [3, 18], revision control systems [21], and software configuration management [11]. What this fact erwig@eecs.oregonstate.edu Abstract Managing variation is an important problem in software engineer- ing that takes different forms, ranging from version control and configuration management to software product

  10. An Automated Software FMEA Chris Price and Neal Snooke

    E-Print Network [OSTI]

    Snooke, Neal

    An Automated Software FMEA Chris Price and Neal Snooke Department of Computer Science, Aberystwyth Conference, Singapore, April 2008 Abstract The concept of software failure mode and effects analysis (FMEA its hardware counterpart, software FMEA is immensely tedious for an engineer to perform, as well

  11. Program for implementing software quality metrics

    SciTech Connect (OSTI)

    Yule, H.P.; Riemer, C.A.

    1992-04-01T23:59:59.000Z

    This report describes a program by which the Veterans Benefit Administration (VBA) can implement metrics to measure the performance of automated data systems and demonstrate that they are improving over time. It provides a definition of quality, particularly with regard to software. Requirements for management and staff to achieve a successful metrics program are discussed. It lists the attributes of high-quality software, then describes the metrics or calculations that can be used to measure these attributes in a particular system. Case studies of some successful metrics programs used by business are presented. The report ends with suggestions on which metrics the VBA should use and the order in which they should be implemented.

  12. Timing system control software in the SLC

    SciTech Connect (OSTI)

    Thompson, K.; Phinney, N.

    1985-04-01T23:59:59.000Z

    A new timing system that allows precision (approx.1 to 2 ns) control of the trigger times of klystrons, beam position monitors, and other devices on a pulse-to-pulse basis at up to 360 Hz is in operation in the first third of the SLAC linear accelerator. The control software is divided between a central host VAX and local Intel 8086-based microprocessor clusters. Facilities exist to set up and adjust the timing of devices or groups of devices independently for beam pulses having different destinations and purposes, which are run in an interlaced fashion during normal machine operation. Upgrading of the system is currently underway, using a new version of the Programmable Delay Unit CAMAC module to allow pipelining of timing information for three machine pulses. An overview of the current state of the system is presented in this paper, with an emphasis on software control.

  13. Honeywell modular automation system computer software documentation

    SciTech Connect (OSTI)

    STUBBS, A.M.

    2003-07-02T23:59:59.000Z

    The purpose of this Computer Software Document (CSWD) is to provide configuration control of the Honeywell Modular Automation System (MAS) in use at the Plutonium Finishing Plant (PFP). The Honeywell MAS is used to control the thermal stabilization furnaces in glovebox HA-211. The PFP developed software is being updated to reflect the Polycube Processing and Unwashed Salt Thermal Stabilization program addition. The polycube processing program was installed per HNF-FMP-02-11162-R2. The functional test of the program was performed in JCS work package 22-02-1031, The unwashed salt item program was installed per HNF-FMP-03-16577-RO. The functional test of the program completed in JCS work package 22-03-00654.

  14. NAVIGATION SOFTWARE OF AUTOMATED GUIDED VEHICLE

    E-Print Network [OSTI]

    Magdalena Dobrza?ska; Pawe? Dobrza?ski

    Abstract: In the article it has been presented the structure of the control system and measurement data processing of an automated guided vehicle. The basic navigation technique – odometry, which is applied in the automated guided vehicle, has been described, as well as connected with it errors of position tracing. Next the navigation software was shown which enables to design the trajectory of the vehicle movement as well as the registration and reading of the measurement data from the measurement sensors.

  15. KEEL: A data mining software tool integrating genetic fuzzy systems Jesus Alcala-Fdez, Salvador Garcia, Francisco Jose Berlanga

    E-Print Network [OSTI]

    Granada, Universidad de

    KEEL: A data mining software tool integrating genetic fuzzy systems Jes´us Alcal´a-Fdez, Salvador Mining problems including regression, classification, clustering, pattern mining and so on. It includes solving is a widespread practice. Problems such as engineering applications [6], ecology [7], medicine [8

  16. Business Intelligence (BI) Developer Computer Methods International Corp. (CMiC) is a software Development firm specializing in

    E-Print Network [OSTI]

    Ellis, Randy

    Business Intelligence (BI) Developer Computer Methods International Corp. (CMiC) is a software Intelligence modules relating to Jaspersoft within our application. This position reports directly to the Manager of the Reports & BI Group. Duties and responsibilities (may include, but are not limited to

  17. Software for precise tracking of cell proliferation

    SciTech Connect (OSTI)

    Kurokawa, Hiroshi [Brain Science Institute, RIKEN, 2-1 Hirosawa, Wako-city, Saitama 351-0198 (Japan) [Brain Science Institute, RIKEN, 2-1 Hirosawa, Wako-city, Saitama 351-0198 (Japan); School of Life Science, Tokyo University of Pharmacy and Life Science, 1432-1 Horinouchi, Hachioji, Tokyo 192-0392 (Japan); Noda, Hisayori [Brain Science Institute, RIKEN, 2-1 Hirosawa, Wako-city, Saitama 351-0198 (Japan) [Brain Science Institute, RIKEN, 2-1 Hirosawa, Wako-city, Saitama 351-0198 (Japan); Tokyo Institute of Technology, 2-12-1 Ookayama, Meguro-ku, Tokyo 152-8550 (Japan); Sugiyama, Mayu [Brain Science Institute, RIKEN, 2-1 Hirosawa, Wako-city, Saitama 351-0198 (Japan) [Brain Science Institute, RIKEN, 2-1 Hirosawa, Wako-city, Saitama 351-0198 (Japan); School of Life Science, Tokyo University of Pharmacy and Life Science, 1432-1 Horinouchi, Hachioji, Tokyo 192-0392 (Japan); Sakaue-Sawano, Asako [Brain Science Institute, RIKEN, 2-1 Hirosawa, Wako-city, Saitama 351-0198 (Japan) [Brain Science Institute, RIKEN, 2-1 Hirosawa, Wako-city, Saitama 351-0198 (Japan); Life Function and Dynamics, ERATO, JST, 2-1 Hirosawa, Wako-city, Saitama 351-0198 (Japan); Fukami, Kiyoko [School of Life Science, Tokyo University of Pharmacy and Life Science, 1432-1 Horinouchi, Hachioji, Tokyo 192-0392 (Japan)] [School of Life Science, Tokyo University of Pharmacy and Life Science, 1432-1 Horinouchi, Hachioji, Tokyo 192-0392 (Japan); Miyawaki, Atsushi, E-mail: matsushi@brain.riken.jp [Brain Science Institute, RIKEN, 2-1 Hirosawa, Wako-city, Saitama 351-0198 (Japan) [Brain Science Institute, RIKEN, 2-1 Hirosawa, Wako-city, Saitama 351-0198 (Japan); Life Function and Dynamics, ERATO, JST, 2-1 Hirosawa, Wako-city, Saitama 351-0198 (Japan)

    2012-01-20T23:59:59.000Z

    Highlights: Black-Right-Pointing-Pointer We developed software for analyzing cultured cells that divide as well as migrate. Black-Right-Pointing-Pointer The active contour model (Snakes) was used as the core algorithm. Black-Right-Pointing-Pointer The time backward analysis was also used for efficient detection of cell division. Black-Right-Pointing-Pointer With user-interactive correction functions, the software enables precise tracking. Black-Right-Pointing-Pointer The software was successfully applied to cells with fluorescently-labeled nuclei. -- Abstract: We have developed a multi-target cell tracking program TADOR, which we applied to a series of fluorescence images. TADOR is based on an active contour model that is modified in order to be free of the problem of locally optimal solutions, and thus is resistant to signal fluctuation and morphological changes. Due to adoption of backward tracing and addition of user-interactive correction functions, TADOR is used in an off-line and semi-automated mode, but enables precise tracking of cell division. By applying TADOR to the analysis of cultured cells whose nuclei had been fluorescently labeled, we tracked cell division and cell-cycle progression on coverslips over an extended period of time.

  18. Software Framework for Advanced Power Plant Simulations

    SciTech Connect (OSTI)

    John Widmann; Sorin Munteanu; Aseem Jain; Pankaj Gupta; Mark Moales; Erik Ferguson; Lewis Collins; David Sloan; Woodrow Fiveland; Yi-dong Lang; Larry Biegler; Michael Locke; Simon Lingard; Jay Yun

    2010-08-01T23:59:59.000Z

    This report summarizes the work accomplished during the Phase II development effort of the Advanced Process Engineering Co-Simulator (APECS). The objective of the project is to develop the tools to efficiently combine high-fidelity computational fluid dynamics (CFD) models with process modeling software. During the course of the project, a robust integration controller was developed that can be used in any CAPE-OPEN compliant process modeling environment. The controller mediates the exchange of information between the process modeling software and the CFD software. Several approaches to reducing the time disparity between CFD simulations and process modeling have been investigated and implemented. These include enabling the CFD models to be run on a remote cluster and enabling multiple CFD models to be run simultaneously. Furthermore, computationally fast reduced-order models (ROMs) have been developed that can be 'trained' using the results from CFD simulations and then used directly within flowsheets. Unit operation models (both CFD and ROMs) can be uploaded to a model database and shared between multiple users.

  19. SFWR ENG 3BB4 --Software Design 3 --Concurrent System Design 1.2 4 Software Design III

    E-Print Network [OSTI]

    Carette, Jacques

    of Engineering McMaster University SFWR ENG 3BB4 -- Software Design 3 -- Concurrent System Design 1.3 5 CourseSFWR ENG 3BB4 -- Software Design 3 -- Concurrent System Design 1.2 4 Software Design III Concurrent Description (Calendar) · Processes, threads, concurrency; · Synchronization mechanisms, resource management

  20. Dannenberg and Thompson, Real-Time Software Synthesis on Superscalar Architectures Real-Time Software Synthesis on Superscalar

    E-Print Network [OSTI]

    Dannenberg, Roger B.

    Dannenberg and Thompson, Real-Time Software Synthesis on Superscalar Architectures 1 Real-Time Software Synthesis on Superscalar Architectures1 Roger B. Dannenberg and Nick Thompson School of Computer: Roger B. Dannenberg and Nick Thompson, "Real-Time Software Synthesis on Superscalar Architectures

  1. Tank monitor and control system (TMACS) software configuration management plan

    SciTech Connect (OSTI)

    GLASSCOCK, J.A.

    1999-05-13T23:59:59.000Z

    This Software Configuration Management Plan (SCMP) describes the methodology for control of computer software developed and supported by the Systems Development and Integration (SD and I) organization of Lockheed Martin Services, Inc. (LMSI) for the Tank Monitor and Control System (TMACS). This plan controls changes to the software and configuration files used by TMACS. The controlled software includes the Gensym software package, Gensym knowledge base files developed for TMACS, C-language programs used by TMACS, the operating system on the production machine, language compilers, and all Windows NT commands and functions which affect the operating environment. The configuration files controlled include the files downloaded to the Acromag and Westronic field instruments.

  2. Automated Vulnerability Detection for Compiled Smart Grid Software

    SciTech Connect (OSTI)

    Prowell, Stacy J [ORNL; Pleszkoch, Mark G [ORNL; Sayre, Kirk D [ORNL; Linger, Richard C [ORNL

    2012-01-01T23:59:59.000Z

    While testing performed with proper experimental controls can provide scientifically quantifiable evidence that software does not contain unintentional vulnerabilities (bugs), it is insufficient to show that intentional vulnerabilities exist, and impractical to certify devices for the expected long lifetimes of use. For both of these needs, rigorous analysis of the software itself is essential. Automated software behavior computation applies rigorous static software analysis methods based on function extraction (FX) to compiled software to detect vulnerabilities, intentional or unintentional, and to verify critical functionality. This analysis is based on the compiled firmware, takes into account machine precision, and does not rely on heuristics or approximations early in the analysis.

  3. MPSoC Simulation and Implementation of KPN Applications

    E-Print Network [OSTI]

    Cheung, Chun Shing

    2009-01-01T23:59:59.000Z

    flow A Synchronous Dataflow (SDF) graph [8, 17, 33, 69, 133,the fixed firing rules, a SDF application can be staticallywrite regular software. SDF has been extensively studied by

  4. Design of a Computerized Energy Management System for Marine Applications 

    E-Print Network [OSTI]

    Russell, B. D.; Perry, L. W.; Gerloff, G. W.; Heller, R. P.; Pankonien, G.

    1982-01-01T23:59:59.000Z

    A computer-based energy management system for marine applications is presented. The problem of fuel-management for large diesel engines on board ship is discussed. The design of the computer hardware and software are presented including...

  5. OpenMP: An API for Writing Portable SMP Application

    E-Print Network [OSTI]

    Standards for parallel programming l Thread Libraries ­ Win32 API - a low level approach. ­ threadsOpenMP: An API for Writing Portable SMP Application Software Tim Mattson Intel Corporation

  6. Security Analysis and Improvement Model for Web-based Applications

    E-Print Network [OSTI]

    Wang, Yong

    2010-01-14T23:59:59.000Z

    , confidentiality, and data integrity. According to the reports from http://www.securityfocus.com in May 2006, operating systems account for 9% vulnerability, web-based software systems account for 61% vulnerability, and other applications account for 30...

  7. Aneka Cloud Application Platform and Its Integration with Windows Azure

    E-Print Network [OSTI]

    Melbourne, University of

    scheduling, and energy efficient resource utilization. The Aneka Cloud Application platform, together. Ltd., Melbourne, Victoria, Australia 2 Cloud Computing and Distributed Systems (CLOUDS) Laboratory, Department of Computer Science and Software Engineering, The University of Melbourne, Australia Abstract

  8. Design of a Computerized Energy Management System for Marine Applications

    E-Print Network [OSTI]

    Russell, B. D.; Perry, L. W.; Gerloff, G. W.; Heller, R. P.; Pankonien, G.

    1982-01-01T23:59:59.000Z

    A computer-based energy management system for marine applications is presented. The problem of fuel-management for large diesel engines on board ship is discussed. The design of the computer hardware and software are presented including...

  9. Object-oriented software development effort prediction using design patterns from object interaction analysis

    E-Print Network [OSTI]

    Adekile, Olusegun

    2009-05-15T23:59:59.000Z

    Software project management is arguably the most important activity in modern software development projects. In the absence of realistic and objective management, the software development process cannot be managed in an effective way. Software...

  10. Optimization of Lyapunov invariants in analysis and implementation of safety-critical software systems

    E-Print Network [OSTI]

    Roozbehani, Mardavij

    2008-01-01T23:59:59.000Z

    This dissertation contributes to two major research areas in safety-critical software systems, namely, software analysis, and software implementation. In reference to the software analysis problem, the main contribution ...

  11. Compiling software for a hierarchical distributed processing system

    DOE Patents [OSTI]

    Archer, Charles J; Blocksome, Michael A; Ratterman, Joseph D; Smith, Brian E

    2013-12-31T23:59:59.000Z

    Compiling software for a hierarchical distributed processing system including providing to one or more compiling nodes software to be compiled, wherein at least a portion of the software to be compiled is to be executed by one or more nodes; compiling, by the compiling node, the software; maintaining, by the compiling node, any compiled software to be executed on the compiling node; selecting, by the compiling node, one or more nodes in a next tier of the hierarchy of the distributed processing system in dependence upon whether any compiled software is for the selected node or the selected node's descendents; sending to the selected node only the compiled software to be executed by the selected node or selected node's descendent.

  12. Guidelines for the verification and validation of expert system software and conventional software: Survey and assessment of conventional software verification and validation methods. Volume 2

    SciTech Connect (OSTI)

    Mirsky, S.M.; Groundwater, E.H.; Hayes, J.E.; Miller, L.A. [Science Applications International Corp., McLean, VA (United States)

    1995-03-01T23:59:59.000Z

    By means of a literature survey, a comprehensive set of methods was identified for the verification and validation of conventional software. The 153 methods so identified were classified according to their appropriateness for various phases of a developmental life-cycle -- requirements, design, and implementation; the last category was subdivided into two, static testing and dynamic testing methods. The methods were then characterized in terms of eight rating factors, four concerning ease-of-use of the methods and four concerning the methods` power to detect defects. Based on these factors, two measurements were developed to permit quantitative comparisons among methods, a Cost-Benefit metric and an Effectiveness Metric. The Effectiveness Metric was further refined to provide three different estimates for each method, depending on three classes of needed stringency of V&V (determined by ratings of a system`s complexity and required-integrity). Methods were then rank-ordered for each of the three classes by terms of their overall cost-benefits and effectiveness. The applicability was then assessed of each for the identified components of knowledge-based and expert systems, as well as the system as a whole.

  13. LES SOFTWARE FOR THE DESIGN OF LOW EMISSION COMBUSTION SYSTEMS FOR VISION 21 PLANTS

    SciTech Connect (OSTI)

    Steven Cannon; Clifford Smith

    2003-04-01T23:59:59.000Z

    Application and testing of the new combustion Large Eddy Simulation (LES) code for the design of advanced gaseous combustion systems is described in this 10th quarterly report. CFD Research Corporation has developed the LES module within the parallel, unstructured solver included in the commercial CFD-ACE+ software. In this quarter, validation and testing of the combustion LES code was performed for the DOE-Simval combustor. Also, Beta testing by consortium members was performed for various burner and combustor configurations. In the two quarters ahead, CFDRC will validate the code on the new DOE SimVal experiments. Experimental data from DOE should be available in June 2003, though LES calculations are currently being performed. This will ensure a truly predictive test of the software. CFDRC will also provide help to the consortium members on running their cases, and incorporate improvements to the software suggested by the beta testers. The beta testers will compare their predictions with experimental measurements and other numerical calculations. At the end of this project (October, 2003), a final released version of the software will be available for licensing to the general public.

  14. Plant computer applications 'design and implementation tools' set

    SciTech Connect (OSTI)

    Anikanov, S. S. [Westinghouse LLC, 4350 Northern Pike, Monroeville, PA 15146 (United States); Stolyetniy, I. V.; Tregubov, M. I.; Guslyakov, O. L.; Gladkov, Y. I. [Westron LLC, 1, Academic Proskura str., Kharkov (Ukraine)

    2006-07-01T23:59:59.000Z

    This paper describes functionality of the application programs' development tool, which is intended to support the full scope of the NPP plant computer applications' design process. The Application Development Tools' Set (ADTS), described in this paper, refers to a set of tools intended to capture functional requirements for applications and support design process from definition of design basis up to final testing of developed applications. There are several tools developed by Westinghouse that facilitate design of application software on different stages of design process. Those are: NAPDT - Nuclear Application Development Tool; SDODT - Simplified Display Object Development Tool; OPAL - Test case execution and documenting tool; The main idea of ADTS is to combine the aforementioned tools into one software environment with other Common out-of-shelf (COT) software to facilitate and expedite NPP plant computer applications. Combination of the software tools included into ADTS satisfies industry requirements for the application software intended for use in the Category B and C systems /2 - 4/. (authors)

  15. Guidelines for the verification and validation of expert system software and conventional software: User`s manual. Volume 7

    SciTech Connect (OSTI)

    Mirsky, S.M.; Hayes, J.E.; Miller, L.A. [Science Applications International Corp., McLean, VA (United States)

    1995-03-01T23:59:59.000Z

    This report provides a step-by-step guide, or user manual, for personnel responsible for the planning and execution of the verification and validation (V&V), and developmental testing, of expert systems, conventional software systems, and various other types of artificial intelligence systems. While the guide was developed primarily for applications in the utility industry, it applies well to all industries. The user manual has three sections. In Section 1 the user assesses the stringency of V&V needed for the system under consideration, identifies the development stage the system is in, and identifies the component(s) of the system to be tested next. These three pieces of information determine which Guideline Package of V&V methods is most appropriate for those conditions. The V&V Guideline Packages are provided in Section 2. Each package consists of an ordered set of V&V techniques to be applied to the system, guides on choosing the review/evaluation team, measurement criteria, and references to a book or report which describes the application of the method. Section 3 presents details of 11 of the most important (or least well-explained in the literature) methods to assist the user in applying these techniques accurately.

  16. --------Original Message --------Subject: [robo-ms] Fwd: Software Engineer for Rotorcraft Robotics and Simulation

    E-Print Network [OSTI]

    Plotkin, Joshua B.

    . Develop real-time software in all phases of Software Development Life Cycle (SDLC); code in C, C++, and C

  17. Institute for Software Technology SWP Prdikatausdrcke

    E-Print Network [OSTI]

    p(t1,..,tn)PL() (p(t1,..,tn) hei�t Atomformel) Sind p,qPL(), dann auch pq, pq, pq, ¬p. Ist pPL() undInstitute for Software Technology Definitionen Ist pPL(), so hei�t p gültig in , wenn für alle ENV gilt I(,p)=T. Ist pPL(), so hei�t p erfüllbar in , wenn es ein ENV gibt mit I(,p)=T. Ist pPL(), so hei�t p

  18. Institute for Software Technology SWP Prdikatausdrcke

    E-Print Network [OSTI]

    , dann ist p(t1,..,tn)PL() (Atomformel). Sind p,qPL(), dann auch pq, pq, pq, ¬pPL(). Ist pPL() und v for Software Technology 11 Definitionen Ist pPL(), so hei�t p gültig in , wenn für alle ENV gilt I(,p)=T. Ist pPL(), so hei�t p erfüllbar in , wenn es ein ENV gibt mit I(,p)=T. Ist pPL(), so hei�t p

  19. Institute for Software Technology SWP Prdikatausdrcke

    E-Print Network [OSTI]

    , dann ist p(t1,..,tn)PL() (Atomformel). ! Sind p,qPL(), dann auch pq, pq, pq, ¬pPL(). ! Ist pPL() und v #12;Institute for Software Technology 11 Definitionen ! Ist pPL(), so hei�t p gültig in , wenn für alle ENV gilt I(,p)=T. ! Ist pPL(), so hei�t p erfüllbar in , wenn es ein ENV gibt mit I(,p)=T. ! Ist pPL

  20. Vertexing and Tracking Software at LHCb

    E-Print Network [OSTI]

    Bowen, Espen Eie

    2015-01-01T23:59:59.000Z

    The LHCb experiment is a dedicated heavy flavour experiment at the LHC. Its primary goal is to search for indirect evidence of New Physics in CP violation and rare decays of beauty and charm hadrons. The detector includes a high granularity silicon-strip vertex detector, a silicon-strip detector upstream of the magnet and three stations of silicon-strip detectors and straw drift tubes downstream of the magnet. The software used to perform the track reconstruction and primary vertex reconstruction is described in detail along with a discussion of its performance.