| GigE Advanced Imaging Sensor |
23-Nov-2009 |
9 pages |
| Authors:
Lon van Sunshine; Peter Ham; BAE SYSTEMS NASHUA NH
|
 | An advanced sensor was developed and tested under this effort. This sensor uses an EMCCD with an active focal plane of 658 by 496 pixels, in conjunction with a controllable iris and wide field of view lens to provide situation awareness over full daylight to extreme dark conditions. The interface to the sensor is over GigE, allowing high data rate signal transmission. Intensive mechanical design was applied to advance the ... |
|
| Performance Specification for the Battery Monitoring System of the Program Executive Office Ground Combat Systems (PEO GCS) |
26-Oct-2009 |
51 pages |
| Authors:
PROJECT MANAGER HEAVY BRIGADE COMBAT TEAM WARREN MI
|
| This specification covers the performance, test, manufacture and acceptance requirements for the Battery Monitoring System (BMS). |
|
| Accountability for Information Flow via Explicit Formal Proof |
Oct-2009 |
|
| Authors:
Frank Pfenning; Peter Lee; Lujo Bauer; Michael K Reiter; Brian Witten; CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE
|
 | Logical techniques have been developed that capture both authorization and information flow requirements in security applications. These logical techniques achieve a significantly higher degree of end-to-end accountability in distributed systems than is currently possible. Furthermore, a case study has shown that these techniques are applicable to security policies that are relevant to the needs of the intelligence community while providing much greater flexibility in security policy specification. A prototype implementation ... |
|
| F-16 Ventral Fin Buffet Alleviation Using Piezoelectric Actuators |
Sep-2009 |
122 pages |
| Authors:
Joseph S Browning; AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH DEPT OF AERONAUTICS AND ASTRONAUTICS
|
| Buffet-induced vibrations can have a disastrous impact on aircraft structures. Early attempts at combating buffet vibrations included passive methods such as structural enhancements and leading edge fences. Active methods have shown greater promise, including active airflow control, control surface modulation, and active structural control using piezoelectric actuators. Surface mounted piezoelectric actuators impart directional strain reducing the negative effects associated with harmful vibration. The Block-15 F-16 ventral fin represents an aircraft ... |
|
| Improving Situational Awareness in the Counter-IED Fight with the Utilization of Unmanned Sensor Systems |
01-Jun-2009 |
127 pages |
| Authors:
Shannon J Whiteman; NAVAL POSTGRADUATE SCHOOL MONTEREY CA
|
| An organized and thorough systems design framework is necessary to successfully address large-scale, complex problems, such as the utilization of unmanned sensor technologies to provide situational awareness (SA) in the counter-improvised explosive device (C-IED) fight. An appropriate systems engineering design process was used to develop such a framework, as the completion of the first two phases-problem definition and solution design- provides a basis for analysis of alternatives and a design ... |
|
| New Directions in Software Quality Assurance Automation |
Jun-2009 |
65 pages |
| Authors:
Mikhail Auguston; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| A formalism is suggested for specifying environment behavior models for software test scenario generation based on attributed event grammars. The environment model may contain descriptions of the events triggered by the software outputs and of the hazardous states in which the system could arrive, thus providing a framework for specifying properties of software behavior within the given environment. The behavior of the system can be rendered as an event set ... |
|
| System Identification of an on Orbit Spacecraft's Antenna Dynamics |
Jun-2009 |
97 pages |
| Authors:
Christopher M Sylvester; AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH GRADUATE SCHOOL OF ENGINEERING AND MANAGEMENT
|
| The research presented here is a follow on to previous efforts [Pachter, Barba, 2007] in which a tight control loop was designed to meet performance specifications while minimizing the control gains of a spacecraft mounted flexible antenna. Emphasis is now shifted to system identification in order to increase nominal plant knowledge, estimate plant uncertainty bounds, as well as determine the disturbance band. Knowledge of the plant dynamics along with the ... |
|
| An Integrated Specification and Verification Environment for Component-Based Architectures of Large-Scale Distributed Systems |
26-May-2009 |
55 pages |
| Authors:
Torben Amtoft; Anindya Banerjee; John Hatcliff; KANSAS STATE UNIV MANHATTAN DEPT OF COMPUTING AND INFORMATION SCIENCES
|
| The objectives of this project are to address challenges of constructing large-scale DoD software intensive systems by constructing an integrated modeling and specification framework that can support software product-line development based on widely-used component middleware frameworks that will likely form the basis of future DoD systems. This document provides the final performance report on this project. |
|
| DCSS Semi-Annual Tire Conference. CATL Update |
25-Mar-2009 |
20 pages |
| Authors:
Richard Vinkovich; TACOM RESEARCH DEVELOPMENT AND ENGINEERING CENTER WARREN MI
|
| Briefing discusses military tire specifications and testing. |
|
| Land Vehicle Tire Qualification |
25-Mar-2009 |
39 pages |
| Authors:
Richard Vinkovich; TACOM RESEARCH DEVELOPMENT AND ENGINEERING CENTER WARREN MI
|
| Briefing discusses the qualifications for the Land Vehicle Tires for Tire Privatization Initiative (TPI) contract. The Army has an interest in establishing an addition tire source for their land vehicle systems. |
|
| Z Support in the HiVe Mathematical Toolkit |
Mar-2009 |
65 pages |
| Authors:
Jim McCarthy; Brendan Mahony; Linh Vu; Kylie Williams; DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION EDINBURGH (AUSTRALIA) COMMAND CONTROL COMMUNICATIONS AND INTELLIGENCE DIV
|
| The HiVe project is an ambitious research programme aimed at providing DSTO and the Australian Defence Department with the world's most advanced assurance tools. A key part of this is the provision of advanced high assurance analysis tools in the form of the HiVe Modeller component. Formal specification and system modelling activities in the HiVe Modeller are supported through an Isabelle/HOL implementation of the HiVe Mathematical Toolkit. This report describes ... |
|
| Software Design Description for the HYbrid Coordinate Ocean Model (HYCOM), Version 2.2 |
12-Feb-2009 |
157 pages |
| Authors:
E J Metzger; A J Wallcraft; S N Carroll; NAVAL RESEARCH LAB STENNIS SPACE CENTER MS OCEANOGRAPHY DIV
|
| This document describes the software design and code of the HYbrid Coordinate Ocean Model (HYCOM) version 2.2. It includes the mathematical formulation and solution procedures for HYCOM 2.2 as well as flow charts and descriptions of the programs, modules, and subroutines. |
|
| Next Generation Coatings |
04-Feb-2009 |
21 pages |
| Authors:
Terrence R Giles; HENKEL ADHESIVE TECHNOLOGIES DUSSELDORF (GERMANY)
|
| NEXT GENERATION COATINGS - BENEFITS SUMMARY: No heat required - cuts energy costs! Significantly reduce inner-stage rusting - improve adhesion and reduce reject rates! Less reaction with metal surface - generate very little sludge! Shorter treatment time - increase production throughput! No post treatment required - decrease chemical handling and costs! No hazardous waste disposal - reduce labor/chemical costs! Performance - Meeting Industry Specifications! |
|
| Phoenix Architecture |
Feb-2009 |
120 pages |
| Authors:
Robert Hillman; AIR FORCE RESEARCH LAB ROME NY INFORMATION DIRECTORATE
|
| This technical report documents the effort, known as Phoenix, that leveraged all of the existing AFRL expertise and knowledge of Information Management (IM), along with colleagues and customers, to define a Service Oriented Architecture (SOA) based IM solution that will have significant meaning now and well into the foreseeable future. The goal was to define an abstract architecture which defines the concepts and interfaces necessary for an effective set of ... |
|
| MMM-A-121 Federal Specification Adhesive, Bonding Vulcanized Synthetic Rubber to Steel HAP-Free Replacement |
Feb-2009 |
26 pages |
| Authors:
Paul Touchet; Dave Flanagan; Faye R Toulan; Christopher La Stabler; John J Scala; Hank Feuer; ARMY RESEARCH LAB ABERDEEN PROVING GROUND MD WEAPONS AND MATERIALS RESEARCH DIRECTORATE
|
| The U.S. Army uses numerous adhesives and sealants, among other coating materials, that contain significant amounts of hazardous air pollutants (HAPs). This work examines laboratory testing of two of the most highly used adhesives meeting MMM-A-121 specifications throughout the Army. The scope of MMM-A-121 involves adhesives used in bonding vulcanized synthetic rubber to steel. The two most commonly used baseline products meeting the MMM-A-121 specification are 3M-1357 Scotch-Weld and 3M-1300L ... |
|
| A Hybrid Template-Based Composite Classification System |
Feb-2009 |
188 pages |
| Authors:
Michael A Turnbaugh; AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH GRADUATE SCHOOL OF ENGINEERING AND MANAGEMENT
|
| An automatic target classification system contains a classifier which reads a feature as an input and outputs a class label. Typically, the feature is a vector of real numbers. Other features can be non-numeric, such as a string of symbols or alphabets. One method of improving the performance of an automatic classification system is through combining two or more independent classifiers that are complementary in nature. This research proposes a ... |
|
| Variable Swing Optimal Parallel Links - Minimal Power, Maximal Density for Parallel Links |
Jan-2009 |
120 pages |
| Authors:
Claudia P Gonzalez; DELAWARE UNIV NEWARK DEPT OF ELECTRICAL AND COMPUTER ENGINEERING
|
| The rapid growth of chip-to-chip interconnect density, speed, and the demand for smaller and more portable devices has taken signal integrity engineers to the limits of PCB (Printed Circuit Board) design. Special care has to be taken in the design stage to guarantee that noise specifications are met and power specifications and geometry of the links ensure minimal crosstalk noise in the system. In parallel links, specific parameters of layout ... |
|
| Rapid Fuel Quality Surveillance Through Chemometric Modeling of Near-Infrared Spectra |
Jan-2009 |
|
| Authors:
Mark H Hammond; Jeffrey A Cramer; Robert E Morris; Kevin J Johnson; Braden C Giordano; Kirsten E Kramer; Susan L Rose-Pehrsson; NAVAL RESEARCH LAB WASHINGTON DC CHEMISTRY DIV
|
| The use of liquid fuels necessitates methods to assess the quality and suitability of these fuels for their intended use. Traditionally, this is performed through a series of chemical and physical tests. However, in some operational situations, streamlined methods to reliably evaluate fuel quality would offer distinct advantages. The Naval Research Laboratory has been engaged in a research program to explore and develop rapid automated fuel quality surveillance technologies. Chemometric ... |
|
| Development of a Ballistic Specification for Magnesium Alloy AZ31B |
Dec-2008 |
52 pages |
| Authors:
Tyrone L Jones; Richard D DeLorme; ARMY RESEARCH LAB ABERDEEN PROVING GROUND MD WEAPONS AND MATERIALS RESEARCH DIRECTORATE
|
| The U.S. Army Research Laboratory (ARL) and Magnesium Elektron North America (MENA) have conducted a joint effort to develop and evaluate rolled plate in commercially available magnesium alloy-temper AZ31B-H24. MENA produced the rolled product and conducted the mechanical analysis, while ARL performed the ballistic analysis. The magnesium alloy plates were parametrically compared with the minimum performance requirements of aluminum alloy 5083-H131 temper rolled plate using various armor-piercing and fragment-simulating projectiles ... |
|
| Security Modeling and Correctness Proof Using Specware and Isabelle |
Dec-2008 |
146 pages |
| Authors:
Chuan L Koh; Eng S Ng; NAVAL POSTGRADUATE SCHOOL MONTEREY CA
|
| Security modeling is the foundation to formal verification which is a core requirement for high assurance systems. This thesis explores how security models can be built in a simple and expressive manner using the Metaslang specification language in Specware. The models are subsequently translated, via the Specware to Isabelle Interface, to be proven for correctness in Isabelle which is a generic, interactive theorem proving environment. It is found that the ... |
|
| Simulation and Analysis Toolset for an Industry Standard Embedded Systems Specification Language |
Dec-2008 |
15 pages |
| Authors:
Oleg Sokolsky; Duncan Clarke; FREMONT ASSOCIATES LLC CAMDEN SC
|
| The Architecture Analysis and Design Language (AADL) is an SAE standard language for describing the software and hardware architecture of performance-critical real-time systems. In addition, the AADL standard allows the definition of annexes, i.e., formal extensions to the standard language to enhance the design specifications of hardware or software components. Our work has leveraged the AADL language and tool development efforts to create a new toolset that incorporates simulation and ... |
|
| Bridging the Gap in Military Robotics (Combler le Fosse Existant dans le Domaine de la Robotique Militaire) |
Nov-2008 |
|
| Authors:
NATO RESEARCH AND TECHNOLOGY ORGANIZATION NEUILLY-SUR-SEINE (FRANCE)
|
| There appears to exist a gap between the ideas of the military on the use of ground robotics for their purposes and the technical possibilities offered by industry and research. In many cases the military are offered robots created by industry, but to a lesser degree robots developed to explicitly meet military needs. To bridge this gap, a NATO workshop was organised September 2004 in Bonn, attended by over 70 ... |
|
| Ballistic Testing of SSAB Ultra-High-Hardness Steel for Armor Applications |
Oct-2008 |
52 pages |
| Authors:
Dwight D Showalter; Matthew S Burkins; William A Gooch; R S Koch; ARMY RESEARCH LAB ABERDEEN PROVING GROUND MD WEAPONS AND MATERIALS RESEARCH DIRECTORATE
|
| The highest-performing U.S. steel alloys for armor-piercing (AP) bullet protection are manufactured to MIL-DTL-46100E, high-hardness armor (HHA) with a hardness range of 477 534 Brinell hardness number (BHN), and to MIL-A-46099C, dual hardness armor (DHA), which is produced by roll bonding a 601 712 BHN front plate to a 461 534 BHN back plate. While these materials still serve their intended applications, monolithic ultra-high-hardness (UHH) steels with a hardness of ... |
|
| Software Hardware Asset Reuse Enterprise (SHARE) Repository Framework Final Report: Component Specification and Ontology |
30-Sep-2008 |
170 pages |
| Authors:
Curtis Blais; Jean Johnson; NAVAL POSTGRADUATE SCHOOL MONTEREY CA GRADUATE SCHOOL OF BUSINESS AND PUBLIC POLICY
|
| In August 2006, Program Executive Officer of Integrated Warfare Systems (PEO-IWS), established the Software Hardware Asset Reuse Enterprise (SHARE) repository to enable the reuse of combat system software and related assets. In July 2007, the Naval Postgraduate School (NPS) was tasked to develop a component specification and ontology for the SHARE repository. A description of SHARE and the requirements for a component specification and ontology supporting this repository are available ... |
|
| Defense Standardization Program Journal. July/September 2008 |
Sep-2008 |
45 pages |
| Authors:
Timothy P Koczanski; DEFENSE LOGISTICS AGENCY FORT BELVOIR VA DEFENSE STANDARDIZATION PROGRAM OFFICE
|
| In this issue: Defense Parts Management: Program Update; Joint Standardization Boards: An Update; The DoD Qualification Program; Increasing Knowledge through Defense Standardization Training; 2007 Defense Standardization Program Awards. |
|
| Evolutionary Software Development (Developpement Evolutionnaire de Logiciels) |
Aug-2008 |
|
| Authors:
NATO RESEARCH AND TECHNOLOGY ORGANIZATION NEUILLY-SUR-SEINE (FRANCE)
|
| This task group investigated iterative processes for software development, especially those (called Evolutionary Software Development) that span many cycles of software implementation, release, fielding of the product, learning from the field experience, then updating the requirements for subsequent releases. This goes beyond the Spiral Model or Agile Methods when they are only used prior to initial delivery, and also beyond incremental delivery. The methodology followed was to review the literature, ... |
|
| A Framework for Retargeting Radio Designs |
Aug-2008 |
62 pages |
| Authors:
Gary J Minden; Joseph B Evans; W P Alexander; Ed Komp; Garrin Kimmel; KANSAS UNIV LAWRENCE INFORMATION AND TELECOMMUNICATION TECHNOLOGY CENTER
|
| We address the process of designing software defined radios. Our goal is to design radio functions once and use automated tools to transform the design to implementations on different platforms. ReTarget is an approach and a process that (1) describes radio functions in a specification language, Rosetta, (2) translates specifications to an intermediate language suitable for hardware and software implementation, and (3) translates the intermediate language to VHDL and C ... |
|
| A Data Specification for Software Project Performance Measures: Results of a Collaboration on Performance Measurement |
01-Jul-2008 |
|
| Authors:
Mark Kasunic; CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST
|
| This document contains a proposed set of defined software project performance measures and influence factors that can be used by software development projects so that valid comparisons can be made between completed projects. These terms and definitions were developed using a collaborative, consensus-based approach involving the Software Engineering Institute's Software Engineering Process Management program and service provider and industry experts in the area of software project performance measurement. This document ... |
|
| Test Guide for ADS-33E-PRF |
Jul-2008 |
226 pages |
| Authors:
Chris L Blanken; Roger H Hoh; David G Mitchell; David L Key; HOH AERONAUTICS INC LOMITA CA
|
| This Test Guide provides guidance for testing to the requirements of ADS33E-PRF, Aeronautical Design Standard, Performance Specification, Handling Qualities Requirements for Military Rotorcraft. Information is also provided for the gathering and analysis of the necessary data, including reference to more detailed sources as appropriate. In addition, guidance is provided for planning a flight test program, including selection of test conditions and estimating the overall scope. This Guide is intended to ... |
|
| Lessons Learned in Using and Adapting an Information Exchange Data Model |
01-Jun-2008 |
34 pages |
| Authors:
Sam Chamberlain; Ilean Keltz; ARMY RESEARCH LAB ABERDEEN PROVING GROUND MD
|
| A primary objective of the Global Force Management Data Initiative is the deployment of a suite of information sources called organization servers (OS) that provide default organizational and forces structure data for the Department of Defense (DOD). The data in the OSs are produced and maintained by the agencies across the DOD who are responsible for this information. From the net-centric perspective, these seven sources are seven URLs on the ... |
|
| Formal Methods to Support the Design of Distributed Systems |
01-Jun-2008 |
20 pages |
| Authors:
Dilia E Rodriguez; AIR FORCE RESEARCH LAB ROME NY INFORMATION DIRECTORATE
|
| This work contributes to a formal framework to support the development of distributed systems: a specification serves to document a system; it can be executed to simulate the system; and it can be subjected, either directly or after some modular extension or transformation, to various kinds of formal analyses. Two on-the-fly techniques to reduce the state space were developed: one a symmetry reduction; the other a partial-order reduction. These are ... |
|
| Checking Temporal Relations between Multiple Objects |
01-Jun-2008 |
29 pages |
| Authors:
Jonathan Aldrich; Ciera Jaspan; CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE
|
| Software frameworks contain constraints with unusual properties. The constraints frequently span multiple objects and classes, and they change according to the current context. Additionally, they may not be enforced at the same point where they were specified or broken, thus causing unexpected runtime errors. This paper describes a lightweight specification system to describe multi- object temporal constraints. It also provides a detailed description of a static analysis to check that ... |
|
| Acquisition Research: Creating Synergy for Informed Change. Proceedings of the Annual Acquisition Research Symposium (5th) Held in Monterey, California on 14-15 May 2008. Volume 1 |
23-Apr-2008 |
262 pages |
| Authors:
NAVAL POSTGRADUATE SCHOOL MONTEREY CA GRADUATE SCHOOL OF BUSINESS AND PUBLIC POLICY
|
| The Symposium consisted of 10 Panel Sessions. Session topics and papers pertaining to each topic follow: Panel 1. Maintaining Competition in Defense Acquisition. Panel 2. Acquisition Portfolio Management - Gap Analysis: Rethinking the Conceptual Foundations. Panel 3. Implications of Defense Industry Consolidation - Market Dominance, Efficiency, Innovation, and Globalization: A Case Study of the Tanker Competition between Boeing and Northrop Grumman/EADS; The Changing Shape of the Defense Industry and Implications ... |
|
| Share Repository Framework: Component Specification and Otology |
23-Apr-2008 |
38 pages |
| Authors:
Curtis Blais; Jean Johnson; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF SYSTEMS ENGINEERING
|
| Data sharing is the information technology watchword of our time. Revolutions in information exchange and interoperability are underway in government and industry through policies on the strategic end to data standards on the implementation end. The revolution is transforming acquisition systems and processes through specification of open architectures, which enables construction of new complex systems from crafted components. In August 2006, Program Executive Officer, Integrated Warfare Systems (PEO IWS), established ... |
|
| Verification, Validation, and Accreditation (VV&A) of Federations (Verification, validation et accreditation (VV&A) des federations) |
01-Apr-2008 |
|
| Authors:
NATO RESEARCH AND TECHNOLOGY ORGANIZATION NEUILLY-SUR-SEINE (FRANCE)
|
|
| Summary of Coating Surveys on the Four Air Command Frigates (Zeven Provincien Class) (Onderzoek naar de conditie van de coatingsystemen op vier luchtcommandofregatten (Zeven Provincien Klasse)) |
26-Mar-2008 |
43 pages |
| Authors:
van der; R Kaaden; TNO SCIENCE AND INDUSTRY EINDHOVEN (NETHERLANDS)
|
| The condition of coating systems onboard four air command frigates (Zeven Provincien class) is subject to discussion within the Royal Netherlands Navy. An inventory has been made into the current condition of coating systems applied in a selection of various tanks and bilges, underwater hulls, topsides/superstructure and deck coverings. Types of defects and surface areas affected by these defects have been assessed accurately. Causes have been investigated. The survey has ... |
|
| MATREX Run Time Interface (RTI) |
10-Mar-2008 |
12 pages |
| Authors:
Tom Hurt; Chris Metevier; Gary Smith; John Vintilescu; Keith Snively; ARMY RESEARCH DEVELOPMENT AND ENGINEERING COMMAND FORT BELVOIR VA SYSTEMS OF SYSTEMS INTEGRATION (SOSI)
|
| High Level Architecture (HLA) is an architecture for supporting reuse and interoperability for distributed Modeling and Simulation. Run-Time Infrastructure (RTI) is the software execution component of HLA. The RTI software provides a set of services used by federates to coordinate their operations and data exchange during a runtime execution. |
|
| Center for Advanced Sensors Year Two Funding (FY2006) |
26 FEB 2008 |
154 pages |
| Authors:
Carl Halford; MEMPHIS UNIV TN
|
| The Center for Advanced Sensors presents the research results for the second year of effort. Research is reported on networked sensors, modeling performance for sensors with image fusion, THz imager modeling, ISR sensor performance requirements and mammalian vision. The Annual Program Plan goals and objectives were met. Milestones included: (1) building an ontology-based sensor network prototype environment, (2) modeling sensor fusion through image quality metrics, (3) incorporating image processing enhancements ... |
|
| Land Vehicle Tire Qualification |
26-Feb-2008 |
34 pages |
| Authors:
ARMY RESEARCH DEVELOPMENT AND ENGINEERING COMMAND WARREN MI
|
| These briefing charts deal with the qualification for land vehicle tires. It discusses the classfiications, the qualification process, vehicle qualification testing, replacement tires and requirements. |
|
| Simulation Technologies for C2IS Development & Training |
Feb-2008 |
|
| Authors:
Daniel U Thibault; DEFENCE RESEARCH AND DEVELOPMENT CANADA VALCARTIER (QUEBEC)
|
| A functional overview of the High Level Architecture (HLA) distributed simulation standard Institute of Electrical and Electronics Engineers (IEEE) 1516 is provided. The Agent Oriented Software (AOS) intelligent software agent development environment, JACK, is described. Problems with the IEEE 1516 specification are identified and possible improvements outlined. A demonstration Internet Relay Chat (IRC)-like application is designed and implemented, which allows a Java application to interoperate with a JACK application through ... |
|
| Applying Formal Methods to a Certifiably Secure Software System |
FEB 2008 |
18 pages |
| Authors:
Constance L. Heitmeyer; Myla M. Archer; Elizabeth I. Leonard; John D. McLean; NAVAL RESEARCH LAB WASHINGTON DC INFORMATION TECHNOLOGY DIV
|
| A major problem in verifying the security of code is that the code's large size makes it much too costly to verify in its entirety. This paper describes a novel and practical approach to verifying the security of code which substantially reduces the cost of verification. In this approach, a compact security model containing only information needed to reason about the security properties of interest is constructed and the security ... |
|
| Tempo: A Toolkit for the Timed Input/Output Automata Formalism |
30 JAN 2008 |
9 pages |
| Authors:
Nancy A. Lynch; Alexander A. Shvartsman; VEROMODO INC BROOKLINE MA
|
| Report developed under STTR contract for topic AFO4-T023. This Phase II project developed an integrated development environment, called Tempo, for specifying, analyzing, and verifying complex distributed system designs. This includes a modeling language, a graphical user interface, and computational support tools. This modeling and analysis framework provides an integrated suite of tools and methods. In more detail, this project developed: (a) a formal modeling language, called Tempo, based on the ... |
|
| Innovations for Requirements Engineering |
01 JAN 2008 |
205 pages |
| Authors:
Luqi; Craig Martell; NAVAL POSTGRADUATE SCHOOL MONTEREY CA
|
| The objective of the 15 Monterey workshops since 1992 has been to increase the practical impact of the formal methods in computer-aided software development . The workshops seek to improve software practice via the application of engineering theory and to encourage development of engineering theory that is well suited for this purpose. The 2007 workshop focused on requirements, particularly the process of transforming vague and uncoordinated needs of individual stakeholders ... |
|
| SecureCore Software Architecture: Trusted Management Layer (TML) Kernel Extension Module Interface Specification |
JAN 2008 |
20 pages |
| Authors:
David J. Shifflett; Paul C. Clark; Cynthia E. Irvine; Thuy D. Nguyen; Timothy M. Vidas; Timothy E. Levin; NAVAL POSTGRADUATE SCHOOL MONTEREY CA CENTER FOR INFORMATION SYSTEMS SECURITY STUDIES AND RESEARCH
|
| A mobile computing device has more inherent risk than desktops or most other stationary computing devices. Such mobile devices are typically carried outside of a controlled physical environment, and they must communicate over an insecure medium. The risk is even greater if the data being stored, processed, and transmitted by the mobile device is classified. The purpose of the SecureCore research project is to investigate fundamental architectural features required for ... |
|
| MIL SPEC 28 Square Foot Fire Burnback and Extinguishment Testing of FireAde, FlameOut II and Hawk ALLFIRE |
JAN 2008 |
10 pages |
| Authors:
Kimberly D. Barrett; Jennifer L. Kalberer; APPLIED RESEARCH ASSOCIATES INC TYNDALL AFB FL
|
| The Air Force, in cooperation with the Federal Aviation Administration, is screening new fire fighting foam concentrates to determine their effectiveness at extinguishing and resisting burnback for hydrocarbon fuel fires. This report documents the evaluation performed on the fire extinguishing agents FireAde 2000 AFFF LP, FlameOut II and Hawk ALLFORE in accordance with the parameters set forth in Military Specification ( MIL SPEC) MIL-F-0024385F, Section 4.7.13 for the twenty-eight-square-foot fire ... |
|
| Documenting Xenon's Page_Alloc Module |
10 DEC 2007 |
40 pages |
| Authors:
Jr. Kirby James; John McDermott; Myong Kang; Bruce Montrose; NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR HIGH ASSURANCE COMPUTING SYSTEMS (CHACS)
|
| One of the critical assurance requirements for achieving medium or high assurance is a requirement for significant modularity in design and implementation. As part of the Xenon effort to create a secure Xen with a medium to high degree of assurance, we have embarked on its remodularization, a documented decomposition into well-defined pieces with well-defined relationships among them. This remodularization of Xen is based on the information hiding principle. Associated ... |
|
| A Unified Specification of Behavior for Requirements and Design |
10 DEC 2007 |
174 pages |
| Authors:
Jr Kirby James; NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR HIGH ASSURANCE COMPUTING SYSTEMS (CHACS)
|
| It would be useful to write one description of software behavior to serve both requirements and design. Having one description could reduce effort by eliminating the work of developing two descriptions and keeping them consistent throughout development and maintenance. It would also eliminate the inconsistency inherent in having two descriptions, a fertile source of error. A question paramount to software engineers is "Could one description of behavior for a real ... |
|
| An Analysis of Magnesium Alloy AZ31B-H24 for Ballistic Applications |
DEC 2007 |
20 pages |
| Authors:
Tyrone L. Jones; Matthew S. Burkins; William A. Gooch; ARMY RESEARCH LAB ABERDEEN PROVING GROUND MD WEAPONS AND MATERIALS RESEARCH DIRECTORATE
|
| The U.S. Army Research Laboratory is developing a ballistic specification for the use of magnesium alloy AZ31B-H24 as armor on Army platforms. Data were generated for a range of thicknesses of this magnesium alloy, 0.25 to 4 inches, with the use of five different projectiles. The magnesium performance is parametrically quantified on an equivalent areal density to meet the aluminum alloy 5083-H131, which means a mature, well defined, low-density metal. ... |
|
| Ballistic Transparent Armor Testing Using A Multi-Hit Rifle Pattern |
DEC 2007 |
56 pages |
| Authors:
Anthony M. Dolan; TACOM RESEARCH DEVELOPMENT AND ENGINEERING CENTER WARREN MI
|
| Currently, the United States Army does not have a ballistic standard for measuring the multi-hit performance of its transparent armor (TA). The results of this testing may aid in the establishment of a ballistic performance standard. A draft TACOM Transparent Armor Purchase Document (ATPD 2352) has been written based on early testing. This study adds data to validate the outlined ballistic testing method and conformance of the TA to the ... |
|
| Magnesium Rich Primer for Chrome Free Protection of Aluminum Alloys (Preprint) |
DEC 2007 |
19 pages |
| Authors:
Joel A. Johnson; AIR FORCE RESEARCH LAB WRIGHT-PATTERSON AFB OH NONSTRUCTURAL MATERIALS BRANCH
|
| Hexavalent chromium compounds used for corrosion protection are one of the top hazardous waste materials generated by the U.S. Air Force and legislation is in effect to further restrict their use. Magnesium rich primers that utilize sacrificial magnesium metal pigment to cathodically protect aerospace aluminum alloy substrates are a potential alternative to chromated primers. This material has proven to be particularly effective as part of a completely chromate-free coating system ... |
|
Reports by Keyword(s)
SPECIFICATIONS
