Embedded Operating Systems

Research output

Research output per year 2014 2014 2016 2017 2019 2020 2021 2022 2022

• 20 Conference paper
• 4 Poster
• 2 (Old data) Lecture or Presentation
• 2 Article
• 3 More
  • 1 Chapter
  • 1 Other chapter contribution
  • 1 Abstract

Research output per year

Research output per year

Search results

• 2022

  A framework for OS portability: from formal models to low-level code

  Martins Gomes, R. & Baunach, M. C., 25 Apr 2022, Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022. Association of Computing Machinery, p. 1156-1165 10 p. (Proceedings of the ACM Symposium on Applied Computing).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Computer hardware 100%
  • Formal methods 98%
  • Maintainability 94%
  • Switches 61%

• Eingangsstatement von Marcel Baunach (Transkript)

  Baunach, M. C., 2022, Die ethischen Herausforderungen des automatisierten Fahrens: Dokumentation einer Diskursveranstaltung. Getzinger, G., Lex, C. & Pilinger, A. (eds.). Graz: Verlag der Technischen Universität Graz, p. 47-51 (Science, Technology and Society (STS)).

  Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

• Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation

  Manjunath, V., Diwold, K. & Baunach, M. C., 17 Mar 2022.

  Research output: Contribution to conference › Abstract › peer-review

• Protection and Relocation Extension for RISC-V

  Malenko, M., Batista Ribeiro, L. & Baunach, M. C., 19 Jun 2022, Sixth Workshop on Computer Architecture Research with RISC-V : CARRV 2022. 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  • Reduced instruction set computing 100%
  • Relocation 98%
  • Embedded software 33%
  • Computer hardware 31%
  • Application Layer 30%

• SmartOS: An OS Architecture for Sustainable Embedded Systems

  Scheipel, T. P., Batista Ribeiro, L., Sagaster, T. & Baunach, M. C., 17 Mar 2022, 2022 - Fruehjahrstreffen FG BS. Gesellschaft für Informatik , 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  • Embedded systems 100%
  • Computer operating systems 80%
  • Computer hardware 63%
  • Electronic Waste 55%
  • Obsolescence 49%

• Verifying Liveness and Real-Time of OS-Based Embedded Software

  Batista Ribeiro, L., Nagarajan, D., Manjunath, V., Ali Ahmad, M. T. & Baunach, M. C., Sep 2022, (Accepted/In press) 25th Euromicro Conference on Digital System Design (DSD). Maspalomas, Spain: EUROMICRO

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Embedded software 100%
  • Formal verification 31%
  • Formal methods 31%
  • Scalability 21%
  • Chemical analysis 17%
• 2021

  A Hardware/Software Concept for Partial Logic Updates of Embedded Soft Processors at Runtime

  Scheipel, T. P., Brungs, P. & Baunach, M. C., 1 Sep 2021, 24th Euromicro Conference on Digital System Design (DSD). Palermo, Italy: EUROMICRO, p. 199 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Computer hardware 100%
  • Reduced instruction set computing 42%
  • Embedded systems 31%
  • Pipelines 25%

• A Study on the Portability of IoT Operating Systems

  Martins Gomes, R. & Baunach, M. C., 11 Mar 2021, 2021 - Fruehjahrstreffen FG BS.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  • Internet of things 100%
  • Computer hardware 52%
  • Computer operating systems 33%
  • Maintainability 33%
  • Interfaces (computer) 28%

• papagenoReQ: Generation of Embedded Systems from Application Code Requirements

  Scheipel, T. P. & Baunach, M. C., 12 Jun 2021, 2021 International Conference on Electrical, Communication and Computer Engineering (ICECCE) . IEEE Xplore

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Embedded systems 100%
  • requirements 73%
  • hardware 68%
  • Computer hardware 63%
  • platforms 45%

• Work-in-Progress: Improving Security and Maintainability in Modular Embedded Systems with Hardware Support

  Malenko, M., Batista Ribeiro, L. & Baunach, M. C., Jul 2021, CODES/ISSS '21: Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis . p. 35-36

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Maintainability 100%
  • Embedded systems 83%
  • Computer hardware 52%
  • Embedded software 37%
  • Chemical analysis 19%
• 2020

  A Formal Modeling Approach for Portable Low-Level OS Functionality

  Martins Gomes, R., Aichernig, B. & Baunach, M. C., 2020, Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. de Boer, F. & Cerone, A. (eds.). Springer International, p. 155-174 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12310 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Formal Modeling 100%
  • Real-time Operating System 84%
  • Hardware 24%
  • Model 19%
  • Internet of Things 18%

• papagenoX: Generation of Electronics and Logic for Embedded Systems from Application Software

  Scheipel, T. P. & Baunach, M. C., 28 Feb 2020.

  Research output: Contribution to conference › Poster › peer-review

  • Embedded systems 100%
  • Application programs 97%
  • Electronic equipment 91%
  • Computer hardware 31%
  • Software engineering 21%

• papagenoX: Generation of Electronics and Logic for Embedded Systems from Application Software

  Scheipel, T. P. & Baunach, M. C., 28 Feb 2020, SENSORNETS 2020 - Proceedings of the 9th International Conference on Sensor Networks. Ansari, N., Ahrens, A. & Benavente-Peces, C. (eds.). INSTICC – Institute for Systems and Technologies of Information, Control and Communication, Vol. 1. p. 136-141 6 p. (SENSORNETS 2020 - Proceedings of the 9th International Conference on Sensor Networks).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  • Embedded systems 100%
  • Application programs 97%
  • Electronic equipment 91%
  • Computer hardware 31%
  • Software engineering 21%

• Towards Automatic SW Integration in Dependable Embedded Systems

  Batista Ribeiro, L., Baunach, M. C. & Schlager, F., Feb 2020, International Conference on Embedded Wireless Systems and Networks (EWSN).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
• 2019

  Code Generation from Formal Models for Automatic RTOS Portability

  Martins Gomes, R. & Baunach, M. C., 4 Jan 2019, CGO 2019: Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization. IEEE Press, p. 271-272

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Computer hardware 100%
  • Embedded software 42%
  • Formal methods 39%
  • Cyber Physical System 38%
  • Computer operating systems 38%

• COFIE: a regex-like interaction and control flow description

  Batista Ribeiro, L. & Baunach, M. C., Aug 2019, 2019 IEEE International Conference on Industrial Cyber Physical Systems (ICPS). Institute of Electrical and Electronics Engineers, p. 67-72

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Flow interactions 100%
  • Flow control 69%
  • Automation 55%

• Device Driver and System Call Isolation in Embedded Devices

  Malenko, M. & Baunach, M., 1 Aug 2019, Proceedings - Euromicro Conference on Digital System Design, DSD 2019. Konofaos, N. & Kitsos, P. (eds.). Institute of Electrical and Electronics Engineers, p. 283-290 8 p. 8875063. (Proceedings - Euromicro Conference on Digital System Design, DSD 2019).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Isolation 100%
  • Kernel 43%
  • Software 36%
  • Attack 29%
  • Reduced instruction set computing 24%

• Hardware/Software Co-designed Peripheral Protection in Embedded Devices

  Malenko, M. & Baunach, M. C., 2019, 2019 IEEE International Conference on Industrial Cyber Physical Systems (ICPS). Institute of Electrical and Electronics Engineers, p. 790-795

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Computer peripheral equipment 100%
  • Computer hardware 44%
  • Reduced instruction set computing 31%
  • Cyber Physical System 28%
  • Computer operating systems 28%

• Hardware/software co-designed security extensions for embedded devices

  Malenko, M. & Baunach, M., 1 Jan 2019, Architecture of Computing Systems - ARCS 2019 - 32nd International Conference, Proceedings. Pionteck, T., Brehm, J., Uhrig, S., Hochberger, C. & Schoeberl, M. (eds.). Springer-Verlag Italia, p. 3-14 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11479 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Hardware 100%
  • Software 73%
  • Time switches 62%
  • Computer peripheral equipment 53%
  • Reduced instruction set computing 51%

• papagenoPCB: An Automated Printed Circuit Board Generation Approach for Embedded Systems Prototyping

  Scheipel, T. P. & Baunach, M. C., 24 Mar 2019, ICONS 2019 - The Fourteenth International Conference on Systems. p. 20-25 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  • Printed circuit boards 100%
  • Embedded systems 93%
  • Schematic diagrams 76%
  • XML 64%
  • Electronic design automation 49%
• 2018

  Real-Time Multiplexing of Mixed-Criticality Data Streams for Automotive Multi-Core Test Systems

  Nager, M., Baunach, M. C., Priller, P. & Macher, G., 2018, In: IEEE Intelligent Transportation Systems Magazine. 16 p.

  Research output: Contribution to journal › Article › peer-review
• 2017

  A co-designed RTOS/MCU Architecture for dependable Embedded Systems

  Batista Ribeiro, L., Mauroner, F., Martins Gomes, R., Malenko, M. & Baunach, M. C., 27 Jun 2017.

  Research output: Contribution to conference › Poster

  • Microcontrollers 100%
  • Embedded systems 95%
  • Internet of things 86%
  • Maintainability 37%
  • Automation 26%

• MCSmartOS: A Dependable OS for Compositional Embedded Systems

  Martins Gomes, R., Baunach, M. C. & Batista Ribeiro, L., 28 Mar 2017.

  Research output: Contribution to conference › Poster

  • Embedded systems 100%
  • Maintainability 59%
  • Explosions 50%
  • Internet of things 45%

• MCSmartOS: A Dependable OS for Compositional Embedded Systems

  Martins Gomes, R., Batista Ribeiro, L. & Baunach, M. C., 26 Apr 2017.

  Research output: Contribution to conference › Poster

  • Maintainability 100%
  • Power electronics 86%
  • Explosions 84%
  • Embedded systems 83%
  • Internet of things 75%

• Real-Time Multiplexing of Mixed-Criticality Data Streams for Automotive Multi-Core Test Systems

  Nager, M., Baunach, M. C., Priller, P. & Macher, G. F. H., 27 Jun 2017, 2017 IEEE International Conference on Vehicular Electronics and Safety (ICVES) . p. 220-227 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
• 2016

  Dependability for the Internet of Things: From dependable networking in harsh environments to a holistic view on dependability

  Boano, C. A., Römer, K. U., Bloem, R., Witrisal, K., Baunach, M. C. & Horn, M., 11 Nov 2016, In: Elektrotechnik und Informationstechnik. 133, 7, p. 304–309

  Research output: Contribution to journal › Article

  • Internet of things 100%
  • Electromagnetic waves 42%
  • Smart power grids 38%
  • Redundancy 33%
  • Hot Temperature 19%

• Operating Systems and Processor Architectures for a Dependable Internet of Things

  Baunach, M. C., 22 Sep 2016.

  Research output: Contribution to conference › (Old data) Lecture or Presentation

• Real-Time and Security Requirements for the Internet of Things Operating Systems

  Baunach, M. C. & Malenko, M., 17 Nov 2016, ECHTZEIT 2016. Gesellschaft für Informatik

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
• 2014

  Advanced Timestamping for pairwise Clock Drift Detection in Wireless Sensor/Actuator Networks

  Oppermann, F. J. & Baunach, M. C., 25 Sep 2014.

  Research output: Contribution to conference › (Old data) Lecture or Presentation

• Advanced Timestamping for pairwise Clock Drift Detection in Wireless Sensor/Actuator Networks

  Baunach, M. C., 2014, 13. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze". ., p. 1-4

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Handling Time and Reactivity for Synchronization and Clock Drift Calculation in Wireless Sensor/Actuator Networks

  Baunach, M. C., 2014, International Conference on Sensor Networks. Setúbal: SciTePress, p. 63-72

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review