Versenden
Drucken
Fischer, Philipp M. und Lüdtke, Daniel und Schaus, Volker und Gerndt, Andreas (2013) A Formal Method for Early Spacecraft Design Verification. IEEE Aerospace 2013, 2.-9. Mar 2013, Big Sky, Montana, USA.
 | Es ist eine neuere Version dieses Eintrags verfügbar. |
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
Offizielle URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6496878
Kurzfassung
Abstract—In the early design phase of a spacecraft, various aspects of the system under development are described and modeled using parameters such as masses, power consumption or data rates. In particular power and data parameters are special since their values can change depending on the spacecrafts operational mode. These mode-dependent parameters can be easily verified to static requirements like a maximum data rate. Such quick verifications allow the engineers to check the design after every change they apply. In contrast, requirements concerning the mission lifetime such as the amount of downlinked data during the whole mission, demands a more complex procedure. We propose an executable model together with a simulation framework to evaluate complex mission scenarios. In conjunction with a formalized specification of mission requirements it allows a quick verification by means of formal methods.
| elib-URL des Eintrags: | https://elib.dlr.de/82866/ | ||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||||||
| Titel: | A Formal Method for Early Spacecraft Design Verification | ||||||||||||||||||||
| Autoren: |
| ||||||||||||||||||||
| Datum: | 2013 | ||||||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||||||
| Open Access: | Nein | ||||||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||||||
| In SCOPUS: | Nein | ||||||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||||||
| Stichwörter: | Early Design, Formal Methods, Verification, Concurrent Engineering | ||||||||||||||||||||
| Veranstaltungstitel: | IEEE Aerospace 2013 | ||||||||||||||||||||
| Veranstaltungsort: | Big Sky, Montana, USA | ||||||||||||||||||||
| Veranstaltungsart: | internationale Konferenz | ||||||||||||||||||||
| Veranstaltungsdatum: | 2.-9. Mar 2013 | ||||||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||||||
| HGF - Programm: | Raumfahrt | ||||||||||||||||||||
| HGF - Programmthema: | Technik für Raumfahrtsysteme | ||||||||||||||||||||
| DLR - Schwerpunkt: | Raumfahrt | ||||||||||||||||||||
| DLR - Forschungsgebiet: | R SY - Technik für Raumfahrtsysteme | ||||||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | R - Vorhaben SISTEC (alt) | ||||||||||||||||||||
| Standort: | Braunschweig | ||||||||||||||||||||
| Institute & Einrichtungen: | Institut für Simulations- und Softwaretechnik Institut für Simulations- und Softwaretechnik > Software für Raumfahrtsysteme und interaktive Visualisierung | ||||||||||||||||||||
| Hinterlegt von: | Fischer, Philipp M. | ||||||||||||||||||||
| Hinterlegt am: | 24 Jun 2013 13:35 | ||||||||||||||||||||
| Letzte Änderung: | 21 Jun 2018 19:24 |
Verfügbare Versionen dieses Eintrags
- A Formal Method for Early Spacecraft Design Verification. (deposited 24 Jun 2013 13:35) [Gegenwärtig angezeigt]
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
