Text · dataset · 2025
AADL Models of Network Protocols
Listed in NASA Data Portal
AADL and Error Annex models of SAFEbus, SPIDER, TTP and BRAIN
Links
Get the data
- SAFEbus Description.pdf c3.nasa.gov/dashlink/static/media/dataset/SAFEbus_Description.pdf ↗
download · from data nasa gov
Where it is published
- NASA Data Portal dataset page data.nasa.gov/dataset/aadl-models-of-network-protocols ↗
landing page · from data nasa gov
Catalogue records · 1
- CKAN API data.nasa.gov/api/3/action/package_show?id=60bb7af8-cbd0-4150-be65-17e38b5d8… ↗
metadata API · from data nasa gov
Topics
- Inferred from text
- Dependable systems 77%
Provenance · 1 source records, 7 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| NASA Data Portal | 60bb7af8-cbd0-4150-be65-17e38b5d8524 | 12 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| concepts[field].anzsrc:field:460604 | enrichment · data nasa gov | taxonomy-embedding@1.1.0 | title+keywords+description (77%) |
| created_date | source · data nasa gov | connector:data_nasa_gov@1.0.0 | |
| description | source · data nasa gov | connector:data_nasa_gov@1.0.0 | /notes |
| license_text | source · data nasa gov | connector:data_nasa_gov@1.0.0 | |
| publication_date | source · data nasa gov | connector:data_nasa_gov@1.0.0 | |
| title | source · data nasa gov | connector:data_nasa_gov@1.0.0 | /title |
| updated_date | source · data nasa gov | connector:data_nasa_gov@1.0.0 |