elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Kontakt | English
Schriftgröße: [-] Text [+]

Einträge mit Themengebiet "Institut für Raumfahrtsysteme > Avioniksysteme"

Eine Ebene höher
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Springen zu: A | B | D | E | F | G | J | K | L | M | P | R | S | T
Anzahl der Einträge auf dieser Ebene: 109.

A

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

  Aleksandrowicz, Gadi und Arbel, Eli und Bloem, Roderick und Braak ter, Timon und Devadze, Sergeij und Fey, Görschwin und Jenihhin, Maksim und Jutman, Artur und Kerkhoff, Hans G. und Könighofer, Robert und Malburg, Jan und Moran, Shiri und Raik, Jaan und Rauwerda, Gerard und Riener, Heinz und Röck, Franz und Shibin, Konstantin und Sunesen, Kim und Wan, Jinbo und Zhao, Yong (2016) Designing Reliable Cyber-Physical Systems. Forum on specification & Design Languages (FDL) 2016, 14.-16. Sept. 2016, Bremen, Deutschland. Volltext nicht frei. file

  Avramenko, Serhiy und Sonza Reorda, Matteo und Violante, Massimo und Fey, Görschwin (2016) Analysis of the Effects of soft Errors on Compression Algorithms through Fault Injection inside Program Variables. In: IEEE Latin-American Test Symposium (LATS), Seiten 14-19. IEEE Latin-American Test Symposium (LATS), 06.-08. April 2016, Foz do Iguacu, Brasilien. DOI: 10.1109/LATW.2016.7483332 ISBN 978-1-5090-1331-9 Volltext nicht frei. file

  Avramenko, Serhiy und Sonza Reorda, Matteo und Violante, Massimo und Fey, Görschwin und Meß, Jan-Gerd und Schmidt, Robert (2016) On the Robustness of DCT-based Compression Algorithms for Space Applications. In: IEEE International On-Line Testing Symposium (IOLTS), Seiten 14-19. IEEE International On-Line Testing Symposium (IOLTS), 04.-06. Juni 2016, Sant Feliu de Guixols, Spanien. DOI: 10.1109/IOLTS.2016.7604656 ISSN 1942-9401 Volltext nicht frei.

  Aydos, Gökce und Fey, Görschwin (2015) Empirical Results on Parity-based Soft Error Detection with Software-based Retry. IEEE Nordic Circuits and Systems Conference (NORCAS), Oslo, Norwegen. DOI: 10.1109/NORCHIP.2015.7364378 Volltext nicht online.

  Aydos, Gökce und Fey, Görschwin (2016) Exploiting error detection latency for parity-based soft error detection. In: IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), Seiten 1-6. IEEE Int. Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), Kosice, Slowakei, 20.-22. April 2016, Kosice, Slowakei. DOI: 10.1109/DDECS.2016.7482440 ISBN 978-1-5090-2467-4 Volltext nicht frei. file

  Aydos, Gökce und Fey, Görschwin (2016) Empirical Results on Parity-based Soft Error Detection with Software-based Retry. Microprocessors and Microsystems. Elsevier. DOI: 10.1016/j.micpro.2016.09.009 ISSN 0141-9331 (im Druck) Volltext nicht frei. file

B

  Bartels, Christoph (2009) Software Demonstrator für das NetworkCentric Core Avionics Konzept. Diplomarbeit, Hochschule Bremen. Volltext nicht frei. file

  Benninghoff, Heike und Borchers, Kai und Börner, Anko und Dumke, Michael und Fey, Görschwin und Gerndt, Andreas und Höflinger, Kilian und Langwald, Jörg und Lüdtke, Daniel und Maibaum, Olaf und Peng, Ting und Schwenk, Kurt und Weps, Benjamin und Westerdorff, Karsten (2016) OBC-NG Concept and Implementation. DLR-Forschungsbericht, Projektbericht. DLR-FB-2016-3, 65 S. file

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

  Borchers, Kai und Fey, Görschwin und Lüdtke, Daniel (2014) Automatic performance tracking of a spacewire network. In: IEEE International SpaceWire Conference. International SpaceWire Conference, 22.-26. September 2014, Griechenland. Volltext nicht online.

  Budroweit, Jan (2016) Software-defined radio with flexible RF front end for satellite maritime radio applications. CEAS Space Journal, 8 (3), Seiten 201-213. DOI: 10.1007/s12567-016-0121-9 ISSN 1868-2502 Volltext nicht online.

D

  Dachwald, Bernd und Boehnhardt, Hermann und Broj, Ulrich und Johnson, Les und Kührt, Ekkehard und Mottola, Stefano und Macdonald, Malcolm und McInnes, Colin und Vasile, Massimiliano und Reinhard, Rüdeger (2014) Gossamer Roadmap Technology Reference Study for a Multiple NEO Rendezvous Mission. In: Advances in Solar Sailing, Seiten 211-226. Springer. Third International Symposium on Solar Sailing, 11.-13. Jun. 2013, Glasgow, Scotland, UK. DOI: 10.1007/978-3-642-34907-2_1 5 ISBN 978-3642349065 Volltext nicht online.

  Dannemann, Frank und 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 (2015) Unified Monitoring of Spacecrafts. Dissertation, Universität Würzburg. Volltext nicht online.

  Dannemann, Frank und 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

  Dannemann, Frank und Jetzschmann, Michael (2016) Technology-Driven Design of a Scalable Small Satellite Platform. In: Proceedings of 4S Symposium 2016. 4S Symposium, 30. Mai - 3. Juni 2016, Malta. file

  Dehbashi, Mehdi und 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 und Fey, Görschwin und Roy, Kaushik und Raghunathan, Anand (2012) Functional analysis of circuits under timing variations. IEEE European Test Symposium (ETS), Annecy, France. Volltext nicht online.

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

  Dehbashi, Mehdi und 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 und Fey , Görschwin und Roy, Kaushik und Raghunathan, Anand (2012) On modeling and evaluation of logic circuits under timing variations. EUROMICRO Symposium on Digital System Design (DSD), Cesme, Izmir, Turkey. DOI: 10.1109/DSD.2012.91 Volltext nicht online.

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

  Dehbashi, Mehdi und 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 und Fey, Görschwin (2014) Sat-based speedpath debugging using waveforms. IEEE European Test Symposium, Paderborn. DOI: 10.1109/ETS.2014.6847802 Volltext nicht online.

  Dehbashi, Mehdi und Fey, Görschwin (2013) Debug automation for logic circuits under timing variations. IEEE Design and Test, 30 (6), Seiten 60-69. DOI: 10.1109/MDAT.2013.2266393 ISSN 2168-2356 Volltext nicht online.

  Dehbashi, Mehdi und Fey, Görschwin (2014) Transaction-Based Online Debug for NoC-Based Multiprocessor SoCs. Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP), Italien. DOI: 10.1109/PDP.2014.72 Volltext nicht online.

  Dehbashi, Mehdi und Fey, Görschwin (2014) Debug Automation for Synchronization Bugs at RTL. VLSI Design Conference, Indien. Volltext nicht online.

  Dehbashi, Mehdi und Fey, Görschwin (2015) Debug Automation from Pre-Silicon to Post-Silicon. Springer. ISBN 978-3-319-09309-3. Volltext nicht online.

  Dehbashi, Mehdi und Fey, Görschwin (2015) Transaction-based online debug for NoC-based multiprocessor SoCs. Microprocessors and Microsystems, 39 (3), Seiten 157-166. DOI: 10.1016/j.micpro.2015.03.003 ISSN 0141-9331 Volltext nicht online.

  Dehbashi, Mehdi und Sülflow, André und Fey, Görschwin (2013) Automated design debugging in a testbench-based verification environment. Microprocessors and Microsystems, 37 (2), Seiten 206-217. DOI: 10.1016/j.micpro.2012.09.004 ISSN 0141-9331 Volltext nicht online.

  Drobczyk, Martin und Bassam, Muhammad und Lange, Alexander-Thomas und Strenge, Joachim (2012) Design and Implementation of a TM/TC Software System of the Nano Satellite AISat/Clavis‐1. Small Satellites Systems and Services - The 4S Symposium 2012, 4.-8. Jun. 2012, Portorož, Slovenia. Volltext nicht online.

  Drobczyk, Martin und Martens, Hauke (2016) A study on low-latency wireless sensing in timecritical satellite applications. IEEE Sensors 2016, 30. Okt - 2. Nov 2016, Orlando, USA. Volltext nicht online.

  Drobczyk, Martin und Martens, Hauke (2016) Deployment of a Wireless Sensor Network in Assembly, Integration and Test Activities. Wireless for Space and Extreme Environments 2016 IEEE International Conference, 26.-29. Sep 2016, Aachen, Deutschland. Volltext nicht online.

  Drobczyk, Martin und Philpot, Claudia und Strowik, Christian (2017) A wireless communication and positioning experiment for the ISS based on IR-UWB. IEEE Wireless Communications and Networking Conference, 19.-22. Mär 2017, San Francisco. (eingereichter Beitrag) Volltext nicht online.

E

  Eggersglüß, Stephan und Fey, Görschwin und Polian, Illia (2014) Test digitaler Schaltkreise. DE GRUYTER OLDENBOURG. ISBN 978-3-486-72014-3. 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. Seiten 47-56. Volltext nicht online.

  Fey, Görschwin (2014) Command and Data Handling Infrastructure for Space Systems. IEEE Int'l Symposium on Multi-Valued Logic (ISMVL), Bremen. Volltext nicht online.

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

  Finder, Alexander und Sülflow, Andre und Fey, Görschwin (2014) Latency analysis for sequential circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 33 (4), Seiten 643-647. DOI: 10.1109/TCAD.2013.2292501 Volltext nicht online.

  Finder, Alexander und Witte, Jan-Philipp und 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.

  Fischer, Philipp Martin und Lüdtke, Daniel und Lange, Caroline und Roshani, Frank-Cyrus und Dannemann, Frank und Gerndt, Andreas (2016) Implementing Model Based System Engineering for the Whole Lifecycle of a Spacecraft. In: Deutscher Luft- und Raumfahrtkongress 2016. Deutscher Luft- und Raumfahrtkongress 2016, 13.-15. Sep. 2016, Braunschweig, Deutschland. file

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

  Flenker, Tino und Fey, Görschwin (2016) Matching Abstract and concrete Hardware Models for Desing Understanding. Design Automation for Understanding Hardware Designs (DUHDe), 18. März 2016, Dresden, Deutschland. Volltext nicht frei. file

  Flenker, Tino und Sülflow, André und Fey, Görschwin (2015) Diagnostic Tests and Diagnosis for Delay Faults using Path Segmentation. Asian Test Symposium (ATS), Mumbai, Indien. Volltext nicht online.

  Frehse, Stefan und Fey, Görschwin und Arbel , Eli und Yorav, Karen und 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 und Riener, Heinz und 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. Masterarbeit, Universität Bremen. Volltext nicht online.

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

  Grundmann, Jan Thimo und Auster, U. und Baturkin, Volodymyr und Bellion, Anthony und Bibring, Jean-Pierre und Biele, Jens und Boden, Ralf und Bompis, Olivier und Borgs, Belinda und Bousquet, Pierre und Canalias, Elisabet und Celotti, Luca und Cenac-Morthe, Céline und Cordero, Federico und Deleuze, Muriel und Evesque, Corinne und Findlay, Ross und Fredon, Stéphane und Glaßmeier, K.H. (4) und Granena, David und Grimm, Christian und Grott, Matthias und Hamm, Vincent und Hendrikse, Jeffrey und Hercik, David und Ho, Tra-Mi und Jaumann, Ralf und Krause, Christian und Kroth, Ronald und Ksenik, Eugen und Lange, Caroline und Lange, Michael und Mierheim, Olaf und Okada, Tatsuaki und Reill, Josef und Sasaki, Kaname und Schmitz, Nicole und Sedlmayr, Hans-Jürgen und Talapina, Maria und Tangruamsub, Sirinart und Termtanasombat, Nawarat und Ulamec, Stephan und Wejmo, Elisabet und Wrasmann, Michael und Yoshimitsu, T. und Ziach, Christian und the MASCOT team, the MASCOT team (2015) Mobile Asteroid Surface Scout (MASCOT) - Design, Development and Delivery of a Small Asteroid Lander Aboard Hayabusa2. In: IAA proceedings on-line - http://pdc.iaaweb.org/?q=ipc. IAA. 4th IAA Planetary Defense Conference – PDC 2015, 13.-17. April 2015, Frascati, Rom, Italien. filefile

  Grundmann, Jan Thimo und Bauer, Waldemar und Biele, Jens und Cordero, Federico und Dachwald, Bernd und Koncz, Alexander und Krause, Christian und Mikschl, Tobias und Montenegro, Sergio und Quantius, Dominik und Ruffer, Michael und Sasaki, Kaname und Schmitz, Nicole und Seefeldt, Patric und Toth, Norbert und Wejmo, Elisabet und Koch, Aaron und Seboldt, W. und Sznajder, Maciej (2015) From Sail to Soil - Getting Sailcraft out of the Harbour on a Visit to One of Earth's Nearest Neighbours. In: IAA PDC2015 proceedings online - http://pdc.iaaweb.org/?q=ipc. IAA on-line. 4th IAA Planetary Defense Conference – PDC 2015, 13.-17. Apr. 2015, Frascati, Rom, Italien. filefilefile

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

J

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

K

  Kleinermann, Patrick (2015) Zeitsynchrone Erfassung seismischer Sensordaten. Bachelorarbeit, Universität Bremen. file

  Krafczyk, Niklas und Riener, Heinz und Fey, Görschwin (2016) WCET Overapproximation for Software in the Context of a Cyber-Physical System. In: 2016 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), 26.-28. Sept. 2016, Tellinn, Estland. Volltext nicht frei. file

  Kretzenbacher, Michael und Lange, Caroline und Harvey, David (2016) Practical Application of Model Based Systems Engineering to Early Phase Space System Development. 7th International Conference on Systems & Concurrent Engineering for Space Applications SECESA 2016, 3-7. Okt. 2016, Madrid, Spanien. Volltext nicht frei. file

L

  Lange, Alexander-Thomas (2012) Entwurf und Implementierung von Softwarekomponenten für ein multi-missionsfähiges, verteiltes Bodensegment zur Datenvermittlung zwischen Boden- und Raumsegment und zur Kontrolle und Überwachung des Raumsegmentes. Bachelorarbeit, Universität Bremen. Volltext nicht frei. file

  Lange, Alexander-Thomas (2015) Konzeptentwurf einer ereignisbasierten Steuerung für Raumfahrzeuge. Masterarbeit, Universität Bremen. Volltext nicht online.

  Lange, Alexander-Thomas und Drobczyk, Martin und Nohka, Falk (2013) A distributed and multi-mission capable ground segment software solution operating the nano satellite AISat. 9th IAA Symposium on Small Satellites for Earth Observation, 08.-12. Apr. 2013, Berlin, Deutschland. Volltext nicht online.

  Lüdtke, Daniel und Westerdorff, Karsten und Stohlmann, Kai und Börner, Anko und Maibaum, Olaf und Peng, Ting und Weps, Benjamin und Fey, Görschwin und Gerndt, Andreas (2014) OBC-NG: Towards a reconfigurable on-board computing architecture for spacecraft. In: IEEE Aerospace Conference, Seiten 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

  Maiwald, Volker und Bassam, Muhammad und Skoczylas, Thomas und Baturkin, Volodymyr und Sasaki, Kaname und Grundmann, Jan Thimo und Beyer, Alexander und Wejmo, Elisabet und Braukhane, Andy und Hobbie, Catherin Fiona und Sagliano, Marco und Benninghoff, Heike und Vrakking, Vincent und Lieder, Matthias und Gnat, Marcin und Sellmaier, Florian und Faller, Ralf und Boge, Toralf und Grunwald, Gerhard und Ziach, Christian und Martelo, Antonio (2015) Feasibility-Study OOS-RAV. DLR-Interner Bericht. DLR-IB-RY-HB-2015-3. Volltext nicht online.

  Malburg, Jan und Finder, Alexander und Fey, Görschwin (2012) Automated feature localization for hardware designs using coverage metrics. Design Automation conference (DAC), San Francisco, CA, USA. Volltext nicht online.

  Malburg, Jan (2015) Feature Localization and Design Understanding for Hardware Designs. Dissertation, Universtität Bremen. Volltext nicht online.

  Malburg, Jan und Encrenaz-Tiphene, Emmanuelle und Fey, Görschwin (2014) Mutation based Feature Localization. Microprocessor Test and Verification Workshop (MTV), 15.-16. Dez. 2014, Austin, USA. DOI: 10.1109/MTV.2014.14 ISBN 978 1 4673 6858 2 ISSN 1550-4093 Volltext nicht frei. file

  Malburg, Jan und Encrenaz-Tiphene, Emmanuelle und Fey, Görschwin (2014) Mutation based Feature Localization. Design Automation for Understanding Hardware Designs (DUHDe), 28. März 2014, Dresden, Deutschland. file

  Malburg, Jan und Fey, Görschwin und Krafczyk, Nikls (2014) Automatically connecting hardware blocks via light-weight matching techniques. IEEE Int`l Symposium on Design and Diagnostics of Electronic Circuits and Systems, 23.04.-25.04.2014, Polen. Volltext nicht online.

  Malburg, Jan und Finder, Alexander und 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.

  Malburg, Jan und Finder, Alexander und Fey, Görschwin (2014) A simulation based approach for automated feature localization. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 33 (12), Seiten 1886-1899. DOI: 10.1109/TCAD.2014.2360462 ISSN 0278-0070 Volltext nicht online.

  Malburg, Jan und Flenker, Tino und Fey, Görschwin (2016) Generating Good Properties from a Small Number of Use Cases. IEEE International Verification and Security Workshop, 4.-6. Juli 2016, Sant Feliu de Guixols, Spanien. Volltext nicht online.

  Martinez, Jabier und Malburg, Jan und Ziadi, Tewfik und Fey, Görschwin (2015) Towards analysing Feature Locations through Testing Traces with BUT4Reuse. Design Automation for Understanding Hardware Designs (DUHDe), 13. März 2015, Grenoble, Frankreich. Volltext nicht frei.

  Meß, Jan-Gerd und Schmidt, Robert und Fey, Görschwin und Dannemann, Frank (2016) On the Compression of Spacecraft Housekeeping Data using Discrete Cosine Transforms. ESA International Workshop on Tracking, Telemetry and Command Systems for Space Applications, TTC 2016, 13.-16. Sept. 2016, Noordwijk, Niederlande. Volltext nicht online.

  Montenegro, Sergio und 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 und 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. Diplomarbeit, Universität Oldenburg. Volltext nicht frei. file

P

  Pedersen, Jakob Fromm (2016) Power System for the Eu:CROPIS Satellite - Results from Design, Trade-offs, Analysis, Simulation and Testing. European Space Power Conference 2016, 3.-7. Okt. 2016, Griechenland. Volltext nicht frei. file

  Peng, Ting und Weps, Benjamin und Höflinger, Kilian und Borchers, Kai und Lüdtke, Daniel und Gerndt, Andreas (2016) A New SpaceWire Protocol for Reconfigurable Distributed On-Board Computers. International SpaceWire Conference 2016, 25.-27. Okt. 2016, Yokohama, Japan. (im Druck) file

  Pieper, Pascal (2016) Umgebung für automatisierte Tests von Dateisystemen auf NAND-Flash. Bachelorarbeit, Universität Bremen. file

R

  Ray, Sandip und Harris, Ian und Fey, Görschwin und Soeken, Mathias (2016) Multilevel Design Understanding: From Specification to logic. International Conference On Computer Aided Design (ICCAD) 2016, 07.-10. Nov. 2016, Austin, USA. Volltext nicht online.

  Reinking, Janosch (2015) Design und Entwicklung einer Kameraschnittstelle nach dem Packet Utilization Standard. Bachelorarbeit, Universtität Bremen. Volltext nicht frei. file

  Riener, Heinz und Fey, Görschwin (2012) FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation. Springer. International Workshop on Model Checking Software (SPIN), Oxford. DOI: 10.1007/978-3-642-31759-0_17 ISSN 0302-9743 Volltext nicht online.

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

  Riener, Heinz und Ehlers, Rüdiger und Fey, Görschwin (2015) Path-Based Program Repair. International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), London, United Kingdom. Volltext nicht online.

  Riener, Heinz und Fey, Görschwin (2016) Exact Diagnosis using Boolean Satisfiability. International Conference On Computer Aided Design (ICCAD) 2016, 07.-10. Nov. 2016, Austin, USA. Volltext nicht frei. file

  Riener, Heinz und Fey, Görschwin (2016) Counterexample-Guided Diagnosis. IEEE International Verification and Security Workshop, 4.-6. Juli 2016, Sant Feliu de Guixols, Spanien. Volltext nicht online.

  Riener, Heinz und Frehse, Stefan und 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.

  Riener, Heinz und Haedicke, Finn und Frehse, Stefan und Soeken, Mathias und Große, Daniel und Drechsler, Rolf und Fey, Goerschwin (2016) metaSMT: Focus On Your Application And Not On Solver Integration. International Journal on Software Tools for Technology Transfer. DOI: 10.1007/s10009-016-0426-1 ISSN 1433-2779 Volltext nicht online.

  Riener, Heinz und Könighofer, Robert und Fey, Görschwin und Bloem, Roderick (2016) SMT-based CPS Parameter Synthesis. Applied Verification for Continuous and Hybrid Systems (ARCH), 11. April 2016, Wien, Österreich. Volltext nicht online.

  Riener, Heinz und Soeken, M. und Werther, C. und Fey, Görschwin und Drechlser, R. (2014) metaSMT: A unifield interface to SMT-LIB2. Forum on Specification and Design Languages, 14.-16. Okt. 2014, Deutschland (München). Volltext nicht online.

  Riener, Heinz und Thomsen, Michael Kirkedal und Fey, Görschwin (2015) Execution Tracing of C Code for Formal Analysis. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2015), 03.-04. März 2015, Chemnitz, Deutschland. Volltext nicht frei.

  Rinaldo, Rhea (2015) Entwicklung und Auswertung der Telemetrie/Telekommando-Schnittstelle einer Logging-Komponente für Satelliten. Bachelorarbeit, Universität Bremen. Volltext nicht frei. file

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

S

  Sandi, Habinc und Anandhavel, Sakthivel und Jonas, Ekergarn und Arvid, Björkengren und Richard, Pender und Sven, Landström und Federico, Cordero und Jose, Mendes und Tra-Mi, Ho und 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. Bachelorarbeit, Universität Bremen. Volltext nicht online.

  Schlömer, Jöran (2015) Automatische Generierung formaler Eigenschaften aus Hardwarebeschreibungssprachen. Bachelorarbeit, Universtität Bremen. Volltext nicht frei. file

  Schulze, Michael (2015) The development of an autonomous data-capture system for use in the service module of the XCOR Lynx suborbital space-plane, in the drop tower, and in other microgravity platforms. Bachelorarbeit, Universtität Bremen. Volltext nicht frei. file

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

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

  Strenge, Joachim (2012) Development of the Mission Operations Plan of the Nanosatellite ’AISat’ (CLAVIS-1). Bachelorarbeit, University of Applied Sciences, Bremen. Volltext nicht frei. file

T

  Thielman, Katrin (2015) Hardware-in-the-loop-Testen von Satelliten-on-Board-Komponenten: Design und Implementierung eines Testframeworks. Masterarbeit. Volltext nicht frei. file

  Thole, Niels und Anghel, Lorena und Fey, Görschwin (2016) A Hybrid Algorithm to Conservatively Check the Robustness of Circuits. IEEE Annual Symposium on VLSI (ISVLSI), Pittsburgh, USA. Volltext nicht online.

  Thole, Niels und Anghel, Lorena und Fey, Görschwin (2016) A Hybrid Algorithm to Conservatively Check the Robustness of Circuits. In: IEEE European Test Symposium (ETS). IEEE European Test Symposium (ETS), 23.-27. Mai 2016, Amsterdam, Niederlande. DOI: 10.1109/ETS.2016.7519326 ISSN 1558-1780 Volltext nicht frei. file

  Thole, Niels und Anghel, Lorena und Fey, Görschwin (2016) A Hybrid Algorithm to Conservatively Check the Robustness of Circuits. In: IEEE European Test Symposium (ETS). Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 06. März 2016, Siegen, Deutschland. Volltext nicht frei. file

  Thole, Niels und Fey, Görschwin und Garcia-Ortiz, Alberto (2015) Conservatively Analyzing Transient Faults. IEEE Annual Symposium on VLSI (ISVLSI), 2015, Montpellier, France. Volltext nicht online.

  Thole, Niels und Fey, Görschwin und Garcia-Ortiz, Alberto (2015) Analyzing an SET at Gate Level using a Conservative Approach. Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 01.-03. März 2015, Bad Urach, Deutschland. Volltext nicht frei. file

  Thole, Niels und Riener, Heinz und Fey, Görschwin (2015) Equivalence Checking on System Level Using a Priori Knowledge. International Symposium on Design and Diagnostics of Eletronic Circuits & Systems (DDECS), Belgrad, Serbien. Volltext nicht online.

  Thole, Niels und Riener, Heinz und Fey, Görschwin (2016) Equivalence Checking on ESL Utilizing A Priori Knowledge. Forum on specification & Design Languages (FDL) 2016, 14.-16. Sept. 2016, Bremen, Deutschland. Volltext nicht frei. file

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

  Treudler, Carl Johann und Schröder, Jan-Carsten und Greif, Fabian und Borchers, Kai und Aydos, Gökce und Fey, Görschwin (2014) Scalability of a base level design for an on-board-computer for scientific missions. In: Data Systems in Aerospace (DASIA 2014). Data Systems In Aerospace (DASIA), Polen. Volltext nicht online.

Diese Liste wurde am Fri Dec 9 20:12:40 2016 CET generiert.
Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Copyright © 2008-2013 Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.