TY - CHAP A1 - Veigl, Christoph A1 - Kutschera, Christof A1 - Rössler, Peter T1 - Ausgelagerte Uhrensynchronisation für verteilte eingebettete Systeme T2 - 3. Forschungsforum der österreichischen Fachhochschulen (FFH2009), Villach, Austria, April 15-16 2009 KW - Embedded Systems KW - Synchronization Y1 - 2019 ER - TY - CHAP A1 - Reinbacher, Thomas A1 - Brauer, Jörg A1 - Horauer, Martin A1 - Schlich, Bastian T1 - Refining Assembly Code Static Analysis for the Intel MCS-51 Microcontroller T2 - Proceedings of the 4th IEEE Symposium of Industrial Embedded Systems (SIES 2009), July 8-10, 2009, Lausanne, Switzerland KW - Embedded Systems KW - Microcontroller Y1 - 2019 SP - 161 EP - 170 ER - TY - CHAP A1 - Höller, Roland A1 - Muhr, Hannes A1 - Kerö, Nikolaus A1 - Gröblinger, Andreas A1 - Veigl, Christoph A1 - Weiß, Christoph A1 - Rössler, Peter T1 - Weltweit kleinste, voll integrierte Lösung zur Uhrensynchronisation nach IEEE 1588 auf Schicht 2 T2 - agungsband zur IEEE Austrochip 2009, Graz, Österreich, 7. Oktober 2009 KW - Embedded Systems KW - Synchronization KW - IEEE Y1 - 2019 SN - 978-3-9501635-1-3 SP - 39 EP - 44 ER - TY - CHAP A1 - Balog, Peter A1 - Horauer, Martin A1 - Rössler, Peter T1 - Remote LAB infrastructure for Distance Learning Courses at the Undergraduate Level in Embedded Systems Design T2 - Proceedings of the 2009 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA 2009), DETC2009-87148, Aug. 30-Sept. 02, 2009, San Diego, USA KW - Embedded Systems KW - Teaching Y1 - 2019 ER - TY - CHAP A1 - Höller, Roland A1 - Rössler, Peter T1 - On-chip Hardware Support for a Radically New Approach to Coordinated Debug of Networked Embedded Systems T2 - Proceedings of the SD4 (System, Software, SoC and Silicon Debug) Conference 2009, September 24-25, 2009, Sophia Antipolis, France KW - Embedded Systems KW - On-chip Hardware Y1 - 2019 ER - TY - CHAP A1 - Rössler, Peter A1 - Zauner, Martin T1 - Evaluation of an Esterel-based Hardware/Software Co-Design Flow T2 - Proceedings of the 4th IEEE Symposium of Industrial Embedded Systems (SIES 2009), July 8-10, 2009, Lausanne, Switzerland KW - Embedded Systems Y1 - 2019 SP - 42 EP - 45 ER - TY - CHAP A1 - Praprotnik, Oliver A1 - Gartner, Mario A1 - Zauner, Martin A1 - Horauer, Martin T1 - A Test Suite for System Tests of Distributed Automotive Electronics, T2 - Proceedings of the Second International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS 2009), October 11-16, 2009 - Sliema, Malta KW - Embedded Systems KW - Automotive KW - Testing Y1 - 2019 ER - TY - CHAP A1 - Reinbacher, Thomas A1 - Horauer, Martin A1 - Schlich, Bastian T1 - Using 3-valued Memory Representation for State Space Reduction in Embedded Assembly Code Model Checking T2 - roceedings of the 12th IEEE Symposium on Design and Diagnostics of Electronic Systems (DDECS 2009), April 15-17, 2009, Liberec, Czech Republic KW - Embedded Systems KW - Testing Y1 - 2019 SP - 114 EP - 119 ER - TY - CHAP A1 - Reinbacher, Thomas A1 - Horauer, Martin A1 - Schlich, Bastian A1 - Bauer, Jörg A1 - Scheuer, Florian T1 - Model Checking Assembly Code of an Industrial Knitting Machine T2 - Proceedings of the 4th International Conference on Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea, Dec. 10-12, 2009 KW - Embedded Systems KW - Model Checking KW - Knitting Machine Y1 - 2019 SP - 97 EP - 104 ER - TY - CHAP A1 - Weiß, Christoph A1 - Gröblinger, Andreas A1 - Höller, Roland T1 - Koordinierte Fehlersuche und Tests in verteilten Echtzeitsystemen T2 - 3. Forschungsforum der österreichischen Fachhochschulen (FFH2009), Villach, Austria, April 15-16 2009 KW - Embedded Systems KW - Embedded Real-Time Systems KW - Testing Y1 - 2019 SP - 210 EP - 216 ER -