See All Resources (117)

  • sort by:

  • SAL and PVS Model of TTEthernet Synchronization Protocol

    A Dataset, AFCS - Distributed Systems - 12 years, 5 months ago

    Shared By: Kevin Schweiker

    Timed-Triggered Ethernet (or TTEthernet)is a communication infrastructure that enables the use of Ethernet in real-time, distributed systems. TTEthernet is compatible with traditional IEEE 802.3 switched ...

    meatball
  • Draper Clock-Synchronization Protocol in SAL

    A Dataset, AFCS - Distributed Systems - 12 years, 5 months ago

    Shared By: Kevin Schweiker

    In 1973, Daly, Hpokins, and McKenna (from Draper Lab.) presented a fault-tolerant digital clocking system at the FTCS conference. This is probably one of the ...

    meatball
  • Asynchronous Mid-Value Select in Hybrid SAL

    A Dataset, AFCS - Distributed Systems - 12 years, 5 months ago

    Shared By: Kevin Schweiker

    The following SAL model is an abstraction of a module that implements a fault-tolerant mid-value select on asynchronously produced inputs. This is part of a ...

    meatball
  • SAL 3.2 Toolkit

    A Dataset, AFCS - Distributed Systems - 12 years, 5 months ago

    Shared By: Kevin Schweiker

    Link to SRI's SAL Toolkit. Binary distributions available for Windows (using Cygwin), MacOS, and Linux

    meatball
  • YICES 2 SMT Solver

    A Dataset, AFCS - Distributed Systems - 12 years, 5 months ago

    Shared By: Kevin Schweiker

    Link to SRI's site. Available for Windows, MacOS, Linux and FreeBSD. Non-commercial use.

    meatball
  • Distributed Real-time Embedded Analysis Method (DREAM)

    A Dataset, AFCS - Distributed Systems - 12 years, 5 months ago

    Shared By: Kevin Schweiker

    Models developed with this Open Source tool.

    meatball
  • `web_scripting_resources

    A Dataset, Aeroelastic Prediction Workshop - 12 years, 4 months ago

    Shared By: JENNIFER HEEG

    Location for style sheets etc used in WordPress. Wordpress is used for the Workshop Presentations display page. Or at least it will be if I ...

    meatball
  • TTEthernet SAL Models

    A Dataset, AFCS - Distributed Systems - 12 years, 5 months ago

    Shared By: Kevin Schweiker

    Models developed during Phase I of the VVFCS TA2 Program, NNL10AB32T

    meatball
  • Post Workshop Information

    A Dataset, Aeroelastic Prediction Workshop - 12 years, 5 months ago

    Shared By: JENNIFER HEEG

    Repository for information generated after the workshop, such as debriefings, summaries, publication plans etc

    meatball
  • CRM Surfaces (model scale)

    A Dataset, Structural Efficiency - 12 years, 5 months ago

    Shared By: JAMES MOORE

    OML Model scale surfaces for NASA CRM model (roughly 37:1 from original supplied data).

    Image
  • FEA of CRM Baseline Model

    A Dataset, Structural Efficiency - 10 years, 10 months ago

    Shared By: CAROL WIESEMAN

    This resource contains FEM datasets for the full scale Common Research Model (CRM). Models contain detailed primary and secondary wingbox structures. CHANGES TO FEM: V15 ...

    Image
  • UAS Cert. team project docs

    A Dataset, Ames Uas in the Nas - 12 years, 5 months ago

    Shared By: FRANCIS ENOMOTO

  • HIRENASD Experimental Data - matlab format

    A Dataset, Aeroelastic Prediction Workshop - 11 years, 5 months ago

    Shared By: CAROL WIESEMAN

    This resource contains the experimental data that was included in tecplot input files but in matlab files. dba1_cp has all the results is dimensioned (7,2) ...

    meatball
  • Administrivia Depository

    A Dataset, Aeroelastic Prediction Workshop - 12 years, 4 months ago

    Shared By: JENNIFER HEEG

    Items are added to this page that pertain to administrivial matters for AePW-1. These include the workshop attendees lists, analysts lists, agenda, etc. (Or at ...

    meatball
  • Workshop Presentations: HIRENASD Analysts

    A Dataset, Aeroelastic Prediction Workshop - 12 years, 4 months ago

    Shared By: JENNIFER HEEG

    These slides were presented at the AePW, April 21-22, 2012. They detail the analytical results generated by each of the participating analysis teams for the ...

    meatball