elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Contact | Deutsch
Fontsize: [-] Text [+]

Items where Subject is "Institute of Space Systems > Avioniksysteme"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: A | B | D | F | G | J | L | M | R | S | T
Number of items at this level: 38.

A

  Aitken, Robert and Fey, Görschwin and Kalbarczyk, Zbigniew T. and Reichenbach, Frank and Sonza Reorda, Matteo (2013) Reliability Analysis Reloaded: How Will We Survive? Design, Automation & Test in Europe Conference & Exhibition (DATE), Grenoble, Frankreich. Volltext nicht online.

B

  Bloem, Roderick and Drechsler, Rolf and Fey, Görschwin and Finder, Alexander and Hofferek, Georg and Könighofer, Robert and Raik, Jaan and Repinski , Urmas and Sülflow, Andre (2012) FoREnSiC - an automatic debugging environment for C programs. IBM Haifa Verification Conference (HVC), Haifa, Israel. Volltext nicht online.

D

  Dannemann, Frank and Montenegro, Sergio (2013) Embedded Logging Framework For Spacecrafts. DASIA 2013, 14.-16. Mai 2013, Porto, Portugal. Volltext nicht frei. file

  Dannemann, Frank (2014) Towards Unified Monitoring of Spacecrafts. In: 65th International Astronautical Congress (ISSN: 1995-6258). 65th International Astronautical Congress, 29. Sept. - 3. Okt. 2014, Toronto, Kanada. ISSN 1995-6258 Volltext nicht frei. file

  Dannemann, Frank and Greif, Fabian (2014) Software Platform of the DLR Compact Satellite Series. In: Proceedings of 4S Symposium 2014. 4S Symposium, 26.-30. Mai 2014, Mallorca, Spanien. Volltext nicht frei. file

  Dehbashi, Mehdi and Fey, Görschwin (2012) Automated debugging from pre-silicon to post-silicon. IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, Tallinn, Estonia. Volltext nicht online.

  Dehbashi, Mehdi and Fey, Görschwin and Roy, Kaushik and Raghunathan, Anand (2012) Functional analysis of circuits under timing variations. IEEE European Test Symposium 2012, Annecy, France. Volltext nicht online.

  Dehbashi, Mehdi and Fey, Görschwin (2012) Automated post-silicon debugging of failing speedpaths. Asian Test Symposium (ATS), Niigata, Japan. Volltext nicht online.

  Dehbashi, Mehdi and Fey, Görschwin (2012) Application of timing variation modeling to speedpath diagnosis. System, Software, SoC and Silicon Debug Conference (S4D), Vienna, Austria. Volltext nicht online.

  Dehbashi, Mehdi and Fey , Görschwin and Roy, Kaushik and Raghunathan, Anand (2012) On modeling and evaluation of logic circuits under timing variations. EUROMICRO Symposium on Digital System Design (DSD), Cesme, Izmir, Turkey. Volltext nicht online.

  Dehbashi, Mehdi (2013) Debug Automation from Pre-Silicon to Post-Silicon. Dissertation, Universität Bremen. Volltext nicht online.

  Dehbashi, Mehdi and Fey, Görschwin (2013) Efficient automated speedpath debugging. IEEE Int’l Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), Karlovy Vary. Volltext nicht online.

  Dehbashi, Mehdi and Sülflow, André and Fey, Görschwin (2013) Automated design debugging in a testbench-based verification environment. Microprocessors and Microsystems, 37 (2), pp. 206-217. ISSN 0141-9331. Volltext nicht online.

F

  Fey, Görschwin (2012) Assessing system vulnerability using formal verification techniques. In: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS) – Revised Selected Papers Lecture Notes in Computer Science, 7119. Springer. pp. 47-56. Volltext nicht online.

  Finder, Alexander and Fey, Görschwin (2012) Evaluating debugging algorithms from a qualitative perspective. In: Lecture Notes in Electrical Engineering Lecture Notes in Electrical Engineering, 106. Springer. pp. 21-36. Volltext nicht online.

  Finder, Alexander and Witte, Jan-Philipp and Fey, Görschwin (2013) Debugging HDL designs based on functional equivalences with high-level specifications. IEEE Int’l Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), Karlovy Vary. Volltext nicht online.

  Flenker, Tino (2014) Wörterbuchintegrierung für die Lokalisierung von Verzögerungsfehlern in Logikschaltungen. Master's, Universität Bremen. Volltext nicht online.

  Frehse, Stefan and Fey, Görschwin and Arbel , Eli and Yorav, Karen and Drechsler, Rolf (2012) Complete and effective robustness checking by means of interpolation. Formal Methods in Computer-Aided Design (FMCAD), Cambridge, UK. Volltext nicht online.

  Frehse, Stefan and Riener, Heinz and Fey, Görschwin (2012) Hardware-Software-Co-Synthese zur Verbesserung der Fehlertoleranz. GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE), Bremen, Deutschland. Volltext nicht frei. file

G

  Gao, Xiao (2014) Charakterisierung der Fehler von Eingebetteten Systemen. Master's, Universität Bremen. Volltext nicht online.

  Große, Daniel and Fey, Görschwin and Drechsler, Rolf (2013) Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis. Electronic Communications of the EASST, 62, pp. 1-14. ISSN 1863-2122. file

  Göksu, Murat (2014) Entwurf und Implementierung einer zur Laufzeit konfigurierbaren Logging-Komponente für Satelliten. Master's, Universität Bremen. Volltext nicht frei. file

J

  Jan, Malburg and Alexander, Finder and Görschwin, Fey (2013) Analyse dynamischer Abhängigkeitsgraphen zum Debugging von Hardwaredesigns. GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE), Dresden. Volltext nicht online.

L

  Lüdtke, Daniel and Westerdorff, Karsten and Stohlmann, Kai and Börner, Anko and Maibaum, Olaf and Peng, Ting and Weps, Benjamin and Fey, Görschwin and Gerndt, Andreas (2014) OBC-NG: Towards a reconfigurable on-board computing architecture for spacecraft. In: IEEE Aerospace Conference, pp. 1-13. Aerospace Conference, 2014 IEEE, 1.-8. Mär. 2014, Big Sky, MT, USA. ISBN 978-1-4799-5582-4. Volltext nicht frei. file

M

  Malburg, Jan and Finder, Alexander and Fey, Görschwin (2012) Automated feature localization for hardware designs using coverage metrics. The 49th Annual Design Automation Conference 2012, DAC '12, San Francisco, CA, USA. Volltext nicht online.

  Malburg, Jan and Finder, Alexander and Fey, Gorschwin (2013) Tuning Dynamic Data Flow Analysis to Support Design Understanding. Design, Automation & Test in Europe Conference & Exhibition (DATE), Grenoble, Frankreich. Volltext nicht online.

  Montenegro, Sergio and Dannemann, Frank (2009) The software architecture for TET and AsteroidFinder satellites. 7th Symposium on Small Satellites for Earth Observation, Mai 04 - 08, 2009, Berlin, Deutschland. file

  Montenegro, Sergio and Dannemann, Frank (2009) Requirements-Driven Design of Small Satellites: TET and AsteroidFinder. 7th Symposium on Small Satellites for Earth Observation, Mai 04 - 08 2009, Berlin. file

  Müller, Sven (2012) Entwicklung eines Rahmenwerks zur Nachrichtenprotokollierung für das eingebettete Echtzeitbetriebssystem RODOS. Diploma, Universität Oldenburg. Volltext nicht frei. file

R

  Riener, Heinz and Fey, Görschwin (2012) FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation. Springer. Model Checking Software - 19th International Workshop, SPIN , Oxford. ISSN 0302-9743 Volltext nicht online.

  Riener, Heinz and Fey, Görschwin (2012) Model-based diagnosis versus error explanation. ACM/IEEE Int’l Conference on Formal Methods and Models for Codesign (MEMOCODE), Arlington, VA, USA. Volltext nicht online.

  Riener, Heinz and Frehse, Stefan and Fey, Görschwin (2013) Improving Fault Tolerance Utilizing Hardware-Software-Co-Synthesis. Design, Automation & Test in Europe Conference & Exhibition (DATE), Grenoble, Frankreich. Volltext nicht online.

  Rühenbeck, Tim (2014) Automatische Analyse und Verifikation von AIS-Daten. Bachelor's, Universität Bremen. Volltext nicht online.

S

  Sandi, Habinc and Anandhavel, Sakthivel and Jonas, Ekergarn and Arvid, Björkengren and Richard, Pender and Sven, Landström and Federico, Cordero and Jose, Mendes and Tra-Mi, Ho and Kai, Stohlmann (2013) MASCOT ON-BOARD COMPUTER BASED ON SPACEWIRE LINKS. In: International Spacewire Conference 2013. International Spacewire Conference 2013, 10.-14. Jun. 2013, Göteborg, Schweden. file

  Schiefelbein, Carsten (2014) Entwicklung redundanter MOSFET-Relais zur An- und Abschaltung einzelner Komponenten eines Avioniksystems. Bachelor's, Universität Bremen. Volltext nicht online.

  Schwieger, Felix (2014) DLR School_Lab Bremen - Lageregelungsexperiment "FloatSat": Handbuch für die Bodenstation und den Satelliten. Project Report. (Unpublished) Volltext nicht frei. file

  Steen, Frerk (2014) Fehlertolerante drahtlose Kommunikation an Bord der Gossamer I-Satelliten. Bachelor's, Universität Bremen. Volltext nicht online.

T

  Toth, Norbert and Dannemann, Frank and Sergio, Montenegro and Thomas, Walter and Muhammad, Faisal (2012) Wireless Avionics for a Solar Sailer (GOSSAMER-1). DASIA, 14.-16. Mai 2012, Dubrovnik, Croatien. Volltext nicht online.

This list was generated on Sat Oct 18 01:40:16 2014 CEST.
Browse
Search
Help & Contact
Informationen
electronic library is running on EPrints 3.3.12
Copyright © 2008-2012 German Aerospace Center (DLR). All rights reserved.