Specification Editing and Discovery Assistant Project

Beschreibung

Accurate safety analysis of software suffers from a lack of appropriate tools for software developers. Current automated tools require approximate analyses; fully-assured verification with formal methods is expert-intensive. A key to improvement is machine-checkable specifications for software modules. Specifications are also needed to express the intent of software. Further, to scale to wide use, engineers who are not formal methods experts must have usable tools, as automated as possible, integrated into their usual software development environments (IDEs). Our proposal, SPEEDY, is a user experience (UX) design for convenient generation, manipulation, and checking of specifications, directly in a common IDE (Eclipse). The tool's design integrates automated specification suggestion using current tools and published techniques. The tool also enables checking and debugging specifications directly in the IDE, with information presented in the context of the source code. The proposal targets C/C++ programs, particularly for embedded software development. Phase I of SPEEDY assessed current specification languages and prototyped the key UX mechanisms: we are now confident that they can be implemented in the Eclipse IDE. We also integrated several analysis tools, demonstrating that SPEEDY can obtain specification suggestions from external sources. We assessed many specification suggestion algorithms, selecting some to be implemented and evaluated on realistic software in Phase II. Phase I also prototyped the integrating specification checking tools and specification debugging features. We demonstrated SPEEDY on NASA software from the NASA open software site. The Phase II proposal presents a plan for scaling up the successful Phase I prototype in many dimensions: more language features; more sophisticated user guidance in generating and debugging specifications; more specification suggestion algorithms; scaled up to realistic program size.

Allgemeine Informationen

• Die Beschreibung der Daten befindet sich unter

  http://catalog.data.gov/dataset/specification-editing-and-discovery-assistant-project-8ff8d 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/specification-editing-and-discovery-assistant-project-8ff8d 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/17806 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/specification-editing-and-discovery-assistant-project-8ff8d 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/specification-editing-and-discovery-assistant-project-8ff8d Do you think this data is incorrect? Let us know