TY - CHAP A1 - Schuster, Harald A1 - Horauer, Martin A1 - Kramer, Michael A1 - Leibhart, Heinz A1 - Büger, Josef T1 - A Log-Tool Suite for Embedded Systems T2 - Proceedings of the 7th International conference on Advances in Circuits, Electronics and Micro-electronics (CENICS), November 16-20, 2014 - Lisbon, Portugal KW - Embedded Systems Y1 - ER - TY - CHAP A1 - Horauer, Martin A1 - Ray, Markus A1 - Augustin, Andreas A1 - Novak, Gregor T1 - FlexiCount: Eine flexible Personenzählmatte für den mobilen Indoor und Outdoor Einsatz T2 - , Proceedings Real Corp 2010, Vienna, Austria, May 18-20, 2010 KW - Person Counting Y1 - 2019 SP - 1095 EP - 1100 ER - TY - CHAP A1 - Armengaud, Eric A1 - Rothensteiner, Florian A1 - Steininger, Andreas A1 - Pallierer, Roman A1 - Horauer, Martin A1 - Zauner, Martin T1 - A Structured Approach for the Systematic Test of Embedded Automotive Communication Systems T2 - paper 2.1 of the International Test Conference (ITC 2005), November, Austin/Texas, USA KW - Testing KW - Automotive KW - Embedded Systems KW - Communication Systems Y1 - 2019 ER - TY - CHAP A1 - Glatz, Bernd A1 - Cleary, Fionn A1 - Horauer, Martin A1 - Schuster, Harald A1 - Balog, Peter T1 - Complementing Testing of IEC61499 Function Blocks with Model-Checking T2 - Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), Auckland, New Zealand, 29-31 August 2016 KW - Embedded Systems Y1 - 2018 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 - Horauer, Martin T1 - Concepts and Tools for the Test of the Communication Sub-System of Time-Triggered Distributed Embedded Systems T2 - Proceedings of the 3rd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, MESA07, Sept. 4-7, 2007, Las Vegas, USA KW - Embedded Systems KW - Testing Y1 - 2019 ER - TY - CHAP A1 - Horauer, Martin A1 - Rössler, Peter T1 - FlexRay (Chapter 44) T2 - The Industrial Electronics Handbook (2nd Edition), CRC Press, 2011 KW - Industrial KW - Communication System KW - Embedded Systems Y1 - 2019 PB - CRC Press 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 - Rössler, Peter A1 - Radlbauer, Josef A1 - Horauer, Martin A1 - Lukasch, Franz A1 - Wimmer, Marcus T1 - Development of a Data Collection Platform T2 - Proceedings of IEEE International Symposium on Industrial Electronics (ISIE 2008), CD-006343, June 30 - July 2, 2008, Cambridge KW - Data Collection Y1 - 2019 ER - TY - GEN A1 - Schuster, Harald A1 - Horauer, Martin A1 - Kramer, Michael A1 - Liebhart, Heinz A1 - Büger, Josef T1 - A Log-Tool Suite for Embedded Systems KW - Embedded Systems Y1 - 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 - GEN A1 - Glatz, Bernd A1 - Cleary, Fionn A1 - Horauer, Martin A1 - Schuster, Harald A1 - Balog, Peter T1 - Complementing Testing of IEC61499 Function Blocks with Model-Checking KW - Embedded Systems Y1 - 2018 ER - TY - CHAP A1 - Puhm, Andreas A1 - Kramer, Michael A1 - Horauer, Martin T1 - An Algorithm to Evaluate and Build Schedules for a Distributed Sensor System with Respect to Clock Synchronization T2 - Proceedings of the Ninth International Conference on Sensor Technologies and Applications (SENSORCOMM), Venice 2015 KW - Clock Synchronization Y1 - SP - 64 EP - 70 ER - TY - CHAP A1 - Armengaud, Eric A1 - Steininger, Andreas A1 - Horauer, Martin A1 - Pallierer, Roman A1 - Friedl, Hannes T1 - A Monitoring concept for an Automotive Distributed Network - The Flexray Example T2 - Proceedings of the 7th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2004), 18-21 April 2004, Slovakia KW - Monitoring KW - Automotive Network Y1 - 2019 SP - 173 EP - 178 ER - TY - CHAP A1 - Armengaud, Eric A1 - Steininger, Andreas A1 - Horauer, Martin A1 - Pallierer, Roman T1 - Design Trade-Offs for Systematic Tests of Embedded Communication Systems T2 - Supplemental Volume to the 2004 International Conference on Dependable Systems and Networks (DSN 2004), June 28 - July 1, Florence, Italy KW - Test Design KW - Embedded Systems KW - Communication Systems Y1 - 2019 SP - 118 EP - 119 ER - TY - CHAP A1 - Pescha, David A1 - Horauer, Martin T1 - Eventroms in IEC 61499 Applications T2 - Proceedings of XXXIII Conference on Design of Circuits and Integrated Systems (DCIS ’2018), November 14-16, 2018, Lyon, France KW - IEC Standards KW - Storms KW - Sensors KW - Monitoring KW - Hardware Y1 - 2019 SN - 978-1-7281-0171-2 ER - TY - CHAP A1 - Hausladen, Jürgen A1 - Gerstmayer, Florian A1 - Jerabek, Thomas A1 - Horauer, Martin T1 - Integration of Static Worst-Case Execution Time & Stack Usage Analysis for Embedded Systems Software in a Cloud-Based Development Environment T2 - 13th ASMEE/IEEE International Conference on Mechatronic & Embedded Systems & Applications (MESA 2017) KW - Cloud KW - Stack Usage KW - Embedded Systems Y1 - 2018 ER - TY - CHAP A1 - Hausladen, Jürgen A1 - Gerstmayer, Florian A1 - Kramer, Michael A1 - Horauer, Martin T1 - Methods for Protection of Iintellectual Property in Embedded Software - A Survey T2 - 13th ASMEE/IEEE International Conference on Mechatronic & Embedded Systems & Applications (MESA 2017) KW - Intellectual Property KW - Protection Methods KW - Embedded Systems Y1 - 2018 ER - TY - CHAP A1 - Glatz, Bernd A1 - Schuster, Harald A1 - Horauer, Martin A1 - Rauscher, Thomas A1 - Obermaisser, Roman T1 - Fault Injection for IEC 61499 Applications T2 - Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, Germany, 2016-09-06 -- 2016-09-09 KW - Embedded Systems Y1 - 2018 ER - TY - CHAP A1 - Gerstmayer, Florian A1 - Hausladen, Jürgen A1 - Kramer, Michael A1 - Horauer, Martin T1 - A Binary Protection Framework for Embedded Systems Software T2 - 12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017) KW - Protection Framework KW - Embedded Systems Y1 - 2018 ER - TY - CHAP A1 - Jerabek, Thomas A1 - Horauer, Martin T1 - Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software T2 - Proceedings of the 9th International Conference on Dependability (DEPEND 2016), Nice, July 2016 KW - Embedded Systems Y1 - 2018 ER - TY - GEN A1 - Gerstmayer, Florian A1 - Hausladen, Jürgen A1 - Kramer, Michael A1 - Horauer, Martin T1 - A Binary Protection Framework for Embedded Systems Software KW - Protection Framework KW - Embedded Systems Y1 - 2018 ER - TY - GEN A1 - Glatz, Bernd A1 - Schuster, Harald A1 - Horauer, Martin A1 - Rauscher, Thomas A1 - Obermaisser, Roman T1 - Fault Injection for IEC 61499 Applications KW - Embedded Systems Y1 - 2018 ER - TY - CHAP A1 - Hausladen, Jürgen A1 - Pohn, Birgit A1 - Horauer, Martin T1 - A Cloud-Based Approach to Development of Embedded Systems Software T2 - Proceedings of the 2015 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA), August 2-5, Boston - Massachusetts, 2015 KW - Cloud KW - Embedded Systems Y1 - 2018 ER - TY - CHAP A1 - Glatz, Bernd A1 - Beneder, Roman A1 - Horauer, Martin A1 - Rauscher, Thomas T1 - Deadlock Detection Runtime Service for Embedded Linux T2 - Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA 2015), p. 7, Luxembourg, 8-11 Sept. 2015 KW - Linux KW - Embedded Systems Y1 - 2018 ER - TY - GEN A1 - Glatz, Bernd A1 - Beneder, Roman A1 - Horauer, Martin A1 - Rauscher, Thomas T1 - Deadlock Detection Runtime Service for Embedded Linux KW - Linux KW - Embedded Systems Y1 - 2018 ER - TY - GEN A1 - Jerabek, Thomas A1 - Horauer, Martin T1 - Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software KW - Embedded Systems Y1 - 2018 ER - TY - CHAP A1 - Kutschera, Christof A1 - Horauer, Martin A1 - Ray, Markus A1 - Steinmair, Daniel A1 - Gorski, Peter T1 - A Flexible Sensor-mat to Automate the Process of People Counting T2 - roceedings of the Fourth International Conference on Advances in Circuits, Electronics and Micro-electronics, Nice/Saint Laurent du Var, France, Aug. 21-27, 2011 KW - Person Counting Y1 - 2019 SN - 978-1-61208-150-2 SP - 13 EP - 16 ER - TY - CHAP A1 - Beneder, Roman A1 - Glatz, Bernd A1 - Horauer, Martin A1 - Rauscher, Thomas T1 - Memory Leak Detection Runtime-Service for Embedded Linux Devices T2 - Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), September 16-19, Barcelona - Spain, 2014 KW - Software KW - Linux Y1 - ER - TY - CHAP A1 - Beneder, Roman A1 - Glatz, Bernd A1 - Horauer, Martin A1 - Rauscher, Thomas T1 - Runtime Verification Infrastructure for Embedded Linux T2 - Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014 KW - Embedded Systems KW - Linux Y1 - ER - TY - CHAP A1 - Kramer, Michael A1 - Horauer, Martin T1 - Software Based Methods to Harden Embedded Software at Run-Time: A Survey T2 - ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Boston, Massachusetts, USA, August 2-5, 2015 KW - Embedded Systems KW - Software Y1 - 2019 SN - 978-0-7918-5719-9 ER - TY - CHAP A1 - Hausladen, Jürgen A1 - Pohn, Birgit A1 - Horauer, Martin T1 - A Cloud-based Integrated Development Environment for Embedded Systems T2 - Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014 KW - Embedded Systems Y1 - ER - TY - CHAP A1 - Horauer, Martin A1 - Schuster, Harald A1 - Balog, Peter T1 - Experimental Assessment of the Clique Problem in FlexRay T2 - Proceedings of the 8th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Portland OR, USA, Aug. 04-07, 2013 KW - Embedded Systems KW - FlexRay Y1 - 2019 ER - TY - JOUR A1 - Reinbacher, Thomas A1 - Brauer, Jörg A1 - Horauer, Martin A1 - Steininger, Andreas A1 - Kowalewski, Stefan T1 - Runtime verification of microcontroller binary code JF - Elsevier Science of Computer Programming, Volume 80, Part A KW - Microcontroller KW - Binary Code KW - Embedded Systems Y1 - 2019 IS - Elsevier Science of Computer Programming, Volume 80, Part A ER - TY - GEN A1 - Hausladen, Jürgen A1 - Pohn, Birgit A1 - Horauer, Martin T1 - A Cloud-based Integrated Development Environment for Embedded Systems KW - Embedded Systems Y1 - ER - TY - CHAP A1 - Reinbacher, Thomas A1 - Brauer, Jörg A1 - Horauer, Martin A1 - Steininger, Andreas A1 - Kowalewski, Stefan T1 - Past Time LTL Runtime Verification for Microcontroller Binary Code T2 - Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS Lecture Notes in Computer Science, Trento, Italy, Aug. 29-30, 2011 KW - Embedded Systems KW - Verification Y1 - 2019 SP - 37 EP - 51 ER - TY - CHAP A1 - Reinbacher, Thomas A1 - Steininger, Andreas A1 - Müller, Tobias A1 - Horauer, Martin A1 - Brauer, Jörg T1 - Hardware Support for Efficient Testing of Embedded Software T2 - Proceedings of the 7th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, paper DETC2011-47139, Washington DC, USA, Aug. 29-31, 2011 KW - Embedded Systems KW - Testing Y1 - 2019 SP - 1 EP - 10 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 - Brauer, Jörg A1 - Horauer, Martin A1 - Steininger, Andreas A1 - Kowalewski, Stefan T1 - Test-Case Generation for Embedded Binary Code Using Abstract Interpretation T2 - Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), Brno, 2010 KW - Embedded Systems KW - Testing Y1 - 2019 ER - TY - JOUR A1 - Reinbacher, Thomas A1 - Horauer, Martin A1 - Schlich, Bastian A1 - Brauer, Jörg A1 - Scheuer, Florian T1 - Model Checking Embedded Software of an Industrial Knitting Machine JF - International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2 KW - Model Checking KW - Static Analysis KW - Binary Code KW - Formal Verification KW - Embedded Systems Y1 - 2019 IS - Vol. 1, No. 2 ER - TY - CHAP A1 - Niklas, Peter A1 - Zauner, Martin A1 - Horauer, Martin T1 - Development of an Embedded Monitoring Device for a Manufacturing Plant T2 - Proceedings of the 2010 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2010), July 15-17, 2010, Qingdao, China KW - Embedded Systems KW - Manufacturing Y1 - 2019 SP - 398 EP - 402 ER - TY - CHAP A1 - Reinbacher, Thomas A1 - Gückel, Dominique A1 - Horauer, Martin T1 - Testing Microcontroller Software Simulators T2 - Proceedings of the 1st Workshop on Software Language Engineering for Cyber Physical Systems at Informatik 2011, Berlin, Germany, Oct. 04-07, 2011 KW - Embedded Systems KW - Microcontroller KW - Testing Y1 - 2019 ER - TY - JOUR A1 - Horauer, Martin A1 - Zauner, Martin A1 - Schuster, Harald T1 - A System-level Test for Automotive Communication Subsystems JF - e&i, Elektrotechnik und Informationstechnik, Heft 6.2011 KW - Automotive KW - Embedded Systems Y1 - 2019 IS - Heft 6.2011 ER - TY - CHAP A1 - Reinbacher, Thomas A1 - Horauer, Martin T1 - Formale Verifikation von Embedded Systems Software T2 - Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010 KW - Embedded Systems KW - Verification Y1 - 2019 SP - 289 EP - 296 ER - TY - CHAP A1 - Galla, Thomas A1 - Schreiner, Dietmar A1 - Forster, Wolfgang A1 - Kutschera, Christof A1 - Göschka, Karl A1 - Horauer, Martin T1 - Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm T2 - Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007. IEEE Catalog 07EX1633C KW - Embedded Systems KW - Automotive Y1 - 2019 SN - 1-4244-0840-7 SP - 200 EP - 208 ER - TY - CHAP A1 - Horauer, Martin A1 - Praprotnik, Oliver A1 - Zauner, Martin A1 - Höller, Roland A1 - Milbredt, Paul T1 - A Test Tool for FlexRay-based Embedded Systems T2 - Proceedings of the 2nd IEEE International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007 KW - Embedded Systems KW - Testing Y1 - 2019 SN - 1-4244-0840-7 SP - 349 EP - 352 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 - Reinbacher, Thomas A1 - Kramer, Michael A1 - Horauer, Martin A1 - Schlich, Bastian T1 - hallenges in Embedded Model Checking - A Simulator for the [mc]square Model Checker T2 - Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier KW - Embedded Systems KW - Embedded Model Checking Y1 - 2019 SP - 277 EP - 280 ER - TY - CHAP A1 - Kutschera, Christof A1 - Horauer, Martin A1 - Forster, Wolfgang T1 - Anwendung eines Benchmark-Frameworks für komponentenbasierte Software eingebetteter Systeme T2 - Tagungsband des 2. Forschungsforum der österreichischen Fachhochschulen KW - Embedded Systems KW - Benchmark-Framework Y1 - 2019 PB - Shaker Verlag ER - TY - CHAP A1 - Reinbacher, Thomas A1 - Kramer, Michael A1 - Horauer, Martin A1 - Schlich, Bastian T1 - Motivating Model Checking of Embedded Systems Software T2 - EEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 12-15, 2008, Beijing, China KW - Embedded Systems Y1 - 2019 SN - 978-1-4244-2367-5 SP - 546 EP - 551 ER - TY - CHAP A1 - Milbredt, Paul A1 - Steininger, Andreas A1 - Horauer, Martin T1 - Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks T2 - Proceedings of the 4th IEEE International Symposium on Electronic Design, Test & Applications (DELTA 2008), Jan. 23-25, 2008, Hong Kong KW - Embedded Systems KW - Testing Y1 - 2019 SP - 533 EP - 538 ER - TY - CHAP A1 - Milbredt, Paul A1 - Horauer, Martin A1 - Steininger, Andreas T1 - An Investigation of the Clique Problem in FlexRay T2 - Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier KW - Embedded Systems KW - FlexRay Y1 - 2019 SN - 978-1-4244-1994-4 ER - TY - CHAP A1 - Zauner, Martin A1 - Praprotnik, Oliver A1 - Horauer, Martin T1 - Neue Testlösungen für die Automobilelektronik T2 - Tagungsband zum 2. Forschungsforum der österreichischen Fachhochschulen 26.-27. März 2008, FH Oberösterreich, Campus Wels KW - Embedded Systems KW - Testing Y1 - 2019 SN - 978-3-8322-7023-0 SP - 267 EP - 273 PB - Shaker Verlag ER - TY - CHAP A1 - Muhr, Hannes A1 - Höller, Roland A1 - Horauer, Martin T1 - A Heterogenous Hardware-Software Co-Simulation Environment Using User Mode Linux and Clock Suppression T2 - Proceedings of the 2nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2006), August 13-16, Beijing, China KW - Hardware KW - Linux KW - Clock Suppression KW - Simulation Y1 - 2019 ER - TY - CHAP A1 - Pallierer, Roman A1 - Horauer, Martin A1 - Zauner, Martin A1 - Steininger, Andreas A1 - Armengaud, Eric A1 - Rothensteiner, Florian T1 - A Generic Tool for Systematic Tests in Embedded Automotive Communication Systems T2 - Proceedings of the Embedded World Conference 2005, February, Nuremberg, Germany KW - Automotive KW - Communication Systems KW - Embedded Systems KW - Testing Y1 - 2019 SP - 42 EP - 49 ER - TY - CHAP A1 - Armengaud, Eric A1 - Steininger, Andreas A1 - Horauer, Martin T1 - Efficient Stimulus Generation for Remote Testing of Distributed Systems - The FlexRay Example T2 - Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), September, Catania, Italy KW - Testing KW - Distributed Systems Y1 - 2019 SP - 763 EP - 770 ER - TY - CHAP A1 - Armengaud, Eric A1 - Steininger, Andreas A1 - Horauer, Martin T1 - Automatic Parameter Identification in FlexRay based Automotive Communication Networks T2 - Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), September, Prague, Czech Republic KW - Automotive KW - Communication Network Y1 - 2019 SP - 897 EP - 904 ER - TY - CHAP A1 - Armengaud, Eric A1 - Steininger, Andreas A1 - Horauer, Martin T1 - A Flexible Hardware Architecture for Fast Access on Large Non-Volatile Memories T2 - Proceedings of the 8th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2005), April, Sopron, Hungary KW - Hardware Architecture KW - Memory Access Y1 - 2019 SP - 113 EP - 120 ER - TY - CHAP A1 - Armengaud, Eric A1 - Steininger, Andreas A1 - Horauer, Martin T1 - A Method for Bit Level Test and Diagnosis of Communication Services T2 - Proceedings of the 8th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2005), April, Sopron, Hungary KW - Testing KW - Communication Service Y1 - 2019 SP - 69 EP - 74 ER - TY - CHAP A1 - Horauer, Martin A1 - Kutschera, Christof A1 - Schreiner, Dietmar T1 - Komponentenbasierte Systemsoftware für die Automobilelektronik T2 - Tagungsband zum ersten Forschungsforum der österreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria KW - Automotive Y1 - 2019 ER - TY - CHAP A1 - Armengaud, Eric A1 - Steininger, Andreas A1 - Horauer, Martin T1 - An Efficient Test and Diganosis Environment for Communication Controllers T2 - Proceedings of Austrochip 2006, 11 October, Vienna, Austria KW - Testing KW - Communication Controller Y1 - 2019 ER - TY - CHAP A1 - Horauer, Martin A1 - Rothensteiner, Florian A1 - Zauner, Martin A1 - Armengaud, Eric A1 - Steininger, Andreas A1 - Friedl, Hannes A1 - Pallierer, Roman T1 - An FPGA based SoC Design for Testing Embedded Automotive Communication Systems employing the FlexRay Protocol T2 - Proceedings of Austrochip 2004, October 2004, Villach, Austria KW - Embedded Systems KW - Automotive KW - Communication Systems Y1 - 2019 SP - 119 EP - 123 ER - TY - CHAP A1 - Armengaud, Eric A1 - Steininger, Andreas A1 - Horauer, Martin A1 - Pallierer, Roman T1 - A Layer Model for the Systematic Test of Time-Triggered Automotive Communication Systems T2 - Proceedings of the 5th Workshop on Factory Communication Systems (WFCS 2004), September 22-24, Vienna, Austria KW - Testing KW - Automotive KW - Communication Systems Y1 - 2019 SP - 275 EP - 283 ER - TY - CHAP A1 - Pallierer, Roman A1 - Horauer, Martin A1 - Steininger, Andreas T1 - Monitoring and Fault-Injection of X-by-Wire Communication Networks T2 - Tagungsunterlagen zum Entwicklerforum "Drahtlose und drahtgebundene Netzwerke 2004", July, Munich, Germany KW - Communication Network Y1 - 2019 ER - TY - JOUR A1 - Milbredt, Paul A1 - Horauer, Martin A1 - Reif, Konrad T1 - Wakeup and Startup of FlexRay Cross Linkings JF - ATZ Elektronik KW - Collision Avoidance KW - Electronic Control Unit KW - Active Star KW - Asynchronous Mode KW - Embedded Systems Y1 - 2019 SP - 30 EP - 32 ER - TY - JOUR A1 - Armengaud, Eric A1 - Steininger, Andreas A1 - Horauer, Martin T1 - Towards a Systematic Test for Embedded Automotive Communication Systems JF - IEEE Transactions on Industrial Informatics KW - Embedded Systems KW - Automotive Y1 - 2019 VL - 4 IS - 3 SP - 146 EP - 155 ER - TY - CHAP A1 - Fibich, Christian A1 - Horauer, Martin A1 - Obermaisser, Roman T1 - HLShield: A Reliability Enhancement Framework for High-Level Synthesis T2 - 12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017) KW - Embedded Systems Y1 - 2018 ER - TY - GEN A1 - Fibich, Christian A1 - Tauner, Stefan A1 - Rössler, Peter A1 - Horauer, Martin A1 - Matschnig, Martin A1 - Taucher, Herbert T1 - Preliminary Evaluation of High-level Synthesis Tools - Xilinx Vivado and PandA Bambu KW - FPGA KW - HLS KW - High-Level Synthesis Y1 - ER - TY - CHAP A1 - Fibich, Christian A1 - Tauner, Stefan A1 - Rössler, Peter A1 - Horauer, Martin T1 - Evaluation of Open-Source Linear Algebra Libraries targeting ARM and RISC-V Architectures T2 - Proceedings of the 2020 15th Conference on Computer Science and Information Systems (FedCSIS), 6-9 September 2020, Sofia, Bulgaria KW - Embedded Systems KW - Basic Linear Algebra Subprograms KW - Benchmarks KW - ARM KW - RISC-V Y1 - SP - 663 EP - 672 ER - TY - CHAP A1 - Fibich, Christian A1 - Horauer, Martin A1 - Obermaisser, Roman T1 - Device- and Temperature Dependency of Systematic Fault Injection Results in Artix-7 and iCE40 FPGAs T2 - Proceedings of the 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-5 February 2021, Grenoble, France KW - FPGA KW - Fault Injection KW - Device Variations Y1 - SP - 1600 EP - 1605 ER - TY - CHAP A1 - Fibich, Christian A1 - Tauner, Stefan A1 - Rössler, Peter A1 - Horauer, Martin A1 - Krapfenbauer, Markus A1 - Linauer, Martin A1 - Matschnig, Martin A1 - Taucher, Herbert T1 - Evaluation of Open-Source Linear Algebra Libraries in Embedded Applications T2 - 8th Mediterranean Conference on Embedded Computing (MECO), co-sponsored by IEEE, June 10-14, 2019, Budva, Montenegro KW - Embedded Systems KW - Basic Linear Algebra Subprograms KW - BLAS KW - Benchmark Y1 - 2019 ER - TY - CHAP A1 - Fibich, Christian A1 - Tauner, Stefan A1 - Rössler, Peter A1 - Horauer, Martin A1 - Matschnig, Martin A1 - Taucher, Herbert T1 - Preliminary Evaluation of High-level Synthesis Tools - Xilinx Vivado and PandA Bambu T2 - IEEE 13th International Symposium on Industrial Embedded Systems (SIES), Graz, 2018 KW - FPGA KW - HLS KW - High-Level Synthesis Y1 - 2018 ER - TY - CHAP A1 - Fibich, Christian A1 - Horauer, Martin A1 - Obermaisser, Roman T1 - Reliability-Enhanced High-Level Synthesis using Memory Profiling and Fault Injection T2 - 2019 IEEE 28th International Symposium on Industrial Electronics (ISIE), Vancouver, BC, Canada, 2019 KW - Circuit faults KW - Reliability engineering KW - Field programmable gate arrays KW - Fault tolerance KW - Fault tolerant systems Y1 - 2019 SP - 1363 EP - 1370 ER - TY - JOUR A1 - Fibich, Christian A1 - Tauner, Stefan A1 - Rössler, Peter A1 - Horauer, Martin A1 - Matschnig, Martin A1 - Taucher, Herbert T1 - FIJI – Fault InJection Instrumenter JF - EURASIP Journal on Embedded Systems KW - Fault injection KW - FPGA KW - Safety-critical system KW - Verification KW - Electronic design automation Y1 - 2019 VL - 2019 IS - Februar 2019 ER - TY - JOUR A1 - Horauer, Martin A1 - Widhalm, Dominik A1 - Tauner, Stefan A1 - Mirtl, Stefan T1 - Verification challenges of complex system-on-chip devices JF - e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015) KW - Embedded Systems KW - Electronic Engineering KW - Information Technology Y1 - 2019 IS - e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015) ER - TY - CHAP A1 - Widhalm, Dominik A1 - Tauner, Stefan A1 - Horauer, Martin A1 - Schumacher, Achim A1 - Haggenmiller, Alexander T1 - A Common Platform for Bridging Pre-and Post-Silicon Verification in Mixed-Signal Designs, T2 - Proceedings of the 2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC 2015), May 11-14, 2015 KW - Embedded Systems Y1 - ER - TY - GEN A1 - Widhalm, Dominik A1 - Tauner, Stefan A1 - Horauer, Martin A1 - Schumacher, Achim A1 - Haggenmiller, Alexander T1 - A Common Platform for Bridging Pre-and Post-Silicon Verification in Mixed-Signal Designs, KW - Embedded Systems Y1 - ER - TY - CHAP A1 - Fibich, Christian A1 - Horauer, Martin A1 - Obermaisser, Roman T1 - Vulnerability Analysis of Storage Elements in HLS-Generated Designs using High-Level Profiling T2 - Proceedings of the 2nd International Conference on System Reliability and Safety (ICSRS2017), 20-22 December 2017, Milan, Italy KW - High-Level Synthesis KW - Functional Safety KW - FPGA Y1 - 2017 SP - 190 EP - 194 ER - TY - GEN A1 - Widhalm, Dominik A1 - Tauner, Stefan A1 - Horauer, Martin T1 - Augmenting Pre-Silicon Simulation by embedding a Scripting Language in a SystemC Environment KW - Embedded Systems Y1 - 2018 ER - TY - CHAP A1 - Rössler, Peter A1 - Radlbauer, Josef A1 - Horauer, Martin A1 - Lukasch, Franz A1 - Wimmer, Martin T1 - Entwicklung eines Satellitenmodems T2 - Tagungsband zum ersten Forschungsforum der österreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria KW - Satellite Modem Y1 - 2019 ER - TY - CHAP A1 - Tauner, Stefan A1 - Widhalm, Dominik A1 - Horauer, Martin T1 - Synchronization Approaches for Testing Mixed-Signal SoCs under Real-Time Constraints using On-Chip Capabilities T2 - Proceedings of the IEEE Austrian Workshop on Microelectronics, Vienna, 28 Sept. 2015 KW - Embedded Systems Y1 - 2018 SP - 36 EP - 41 ER - TY - CHAP A1 - Widhalm, Dominik A1 - Tauner, Stefan A1 - Horauer, Martin T1 - Augmenting Pre-Silicon Simulation by embedding a Scripting Language in a SystemC Environment T2 - Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA) 2016 KW - Embedded Systems Y1 - 2018 ER - TY - GEN A1 - Tauner, Stefan A1 - Widhalm, Dominik A1 - Horauer, Martin T1 - Synchronization Approaches for Testing Mixed-Signal SoCs under Real-Time Constraints using On-Chip Capabilities KW - Embedded Systems Y1 - 2018 ER - TY - CHAP A1 - Fibich, Christian A1 - Horauer, Martin A1 - Obermaisser, Roman T1 - Characterization of Interconnect Fault Effects in SRAM-based FPGAs T2 - Proceedings of the 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2023), 3-5 May 2023, Tallinn, Estonia KW - Soft Errors KW - FPGA KW - Interconnect Fault Y1 - U6 - http://dx.doi.org/https://doi.org/10.1109/DDECS57882.2023.10139343 SP - 65 EP - 68 ER - TY - CHAP A1 - Fibich, Christian A1 - Horauer, Martin A1 - Obermaisser, Roman T1 - Bitstream-Level Interconnect Fault Characterization for SRAM-based FPGAs T2 - Proceedings of the 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE 2023), pp. 1-2, 16-18 April 2023, Antwerp, Belgium KW - FPGA KW - Fault Injection KW - Interconnect Fault Y1 - U6 - http://dx.doi.org/10.23919/DATE56975.2023.10136911 ER -