Model-Based Specification Checker for Multi-Domain Systems (SpecCheck) Project

Beschreibung

NASA's software-intensive extraterrestrial exploration and observation systems are raising performance and reliability bars to unprecedented levels. Exaggerating the complexity, in order for such systems to be robust and responsive they must have the ability to use intelligent processes to self-detect and heal, or literally create new programs in response to new situations. Validating the readiness of such complex automated software for long term remote deployment demands not just covering code or branches, or even inputs and outputs, but rather to cover algorithms, rule bases, and states within the system. Even when reducing the order of the problem through traceable model extraction and abstraction we are left with state explosion that drives the test of mission-critical software to unacceptable cost and time extremes. Yet it must be done. This has been a matter of active research at EDAptive Computing, Inc. (ECI), NASA, and elsewhere. Modern specification and software modeling techniques combined with formal methods have yielded promising results. We have demonstrated parts of the solution with smaller scale flight-critical [USAF] software and [MDA] satellite systems. ECI is now uniquely poised to merge and bring the needed technology to fruition at the scale necessary for NASA Exploration Systems.

Allgemeine Informationen

• Die Beschreibung der Daten befindet sich unter

  http://catalog.data.gov/dataset/model-based-specification-checker-for-multi-domain-systems-speccheck-project Do you think this data is incorrect? Let us know

• Die Daten werden veröffentlicht von…

  National Aeronautics and Space Administration Do you think this data is incorrect? Let us know

Rechtliche Information

• Die Nutzungsbestimmungen finden sich unter

  http://catalog.data.gov/dataset/model-based-specification-checker-for-multi-domain-systems-speccheck-project Do you think this data is incorrect? Let us know

• Under which licence can people outside the US reuse this data?

  Creative Commons CCZero Do you think this data is incorrect? Let us know

• Es gibt

  yes, and the rights are all held by the same person or organisation Do you think this data is incorrect? Let us know

• Die Inhalte können im Rahmen der folgenden Lizenz weiterverwendet werden

  Creative Commons CCZero Do you think this data is incorrect? Let us know

• Die Nutzungsbestimmungen enthalten Daten zu

  der Datenlizenz Do you think this data is incorrect? Let us know

• Die Daten enthalten

  keine personenbezogenen Daten Do you think this data is incorrect? Let us know

Praktische Hinweise

• Die Daten finden sich im Katalog…

  http://catalog.data.gov/organization/nasa-gov Do you think this data is incorrect? Let us know

• Die Genauigkeit oder Bedeutsamkeit dieser Daten

  wird veralten, enthält aber Zeitstempel Do you think this data is incorrect? Let us know

• Die Daten werden

  örtlich getrennt gesichert Do you think this data is incorrect? Let us know

Technische Hinweise

• Die Daten werden veröffentlicht unter

  http://techport.nasa.gov/xml-api/5957 Do you think this data is incorrect? Let us know

• Die Daten sind

  maschinenlesbar angegeben Do you think this data is incorrect? Let us know

• Das Format der Daten ist

  ein standardisiertes offenes Format Do you think this data is incorrect? Let us know

Soziale Hinweise

• Die Dokumentation enthält maschinenlesbare Daten für

  Titel Do you think this data is incorrect? Let us know

• Die Dokumentation enthält maschinenlesbare Daten für

  Beschreibung Do you think this data is incorrect? Let us know

• Die Dokumentation enthält maschinenlesbare Daten für

  Bezeichner Do you think this data is incorrect? Let us know

• Die Dokumentation enthält maschinenlesbare Daten für

  Landing Page Do you think this data is incorrect? Let us know

• Die Dokumentation enthält maschinenlesbare Daten für

  Herausgeber Do you think this data is incorrect? Let us know

• Die Dokumentation enthält maschinenlesbare Daten für

  Schlagworte oder Tags Do you think this data is incorrect? Let us know

• Die Dokumentation enthält maschinenlesbare Daten für

  Distribution(en) Do you think this data is incorrect? Let us know

• Die Dokumentation enthält maschinenlesbare Daten für

  Veröffentlichungsdatum Do you think this data is incorrect? Let us know

• Die Dokumentation enthält maschinenlesbare Daten für

  Änderungsdatum Do you think this data is incorrect? Let us know

• Die Dokumentation enthält maschinenlesbare Daten für

  zeitliche Abdeckung Do you think this data is incorrect? Let us know

• Die Dokumentation enthält maschinenlesbare Daten für

  Sprache Do you think this data is incorrect? Let us know

• Die Dokumentation jeder Distribution enthält maschinenlesbare Angaben für

  Veröffentlichungsdatum Do you think this data is incorrect? Let us know

• Die Dokumentation jeder Distribution enthält maschinenlesbare Angaben für

  eine URL für den Zugang zu den Daten Do you think this data is incorrect? Let us know

• Die Dokumentation jeder Distribution enthält maschinenlesbare Angaben für

  eine URL zum Herunterladen der Daten Do you think this data is incorrect? Let us know

• Die Dokumentation jeder Distribution enthält maschinenlesbare Angaben für

  Typ des herunterzuladenden Mediums Do you think this data is incorrect? Let us know

• Einen Ansprechpartner zu diesen Daten finden Sie unter

  http://catalog.data.gov/dataset/model-based-specification-checker-for-multi-domain-systems-speccheck-project Do you think this data is incorrect? Let us know

• Wie sie Verbesserungen dieser Daten vorschlagen können erfahren Sie unter

  http://www.data.gov/issue/?media_url=http://catalog.data.gov/dataset/model-based-specification-checker-for-multi-domain-systems-speccheck-project Do you think this data is incorrect? Let us know