Find Research Outputs

Search results

• Article

  Smart mobility of the future – a challenge for embedded automotive systems

  Baunach, M. C., Martins Gomes, R., Malenko, M., Mauroner, F., Batista Ribeiro, L. & Scheipel, T. P., 27 Jun 2018, In : e&i - Elektrotechnik und Informationstechnik. p. 304-308 5 p., 135.

  Research output: Contribution to journal › Article

  • Railroad cars
  • Hardware
  • Communication
• Conference contribution

  A Co-Designed RTOS and MCU Concept for Dynamically Composed Embedded Systems

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

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

• A Formal Modeling Approach for Portable Low-Level OS Functionality

  Martins Gomes, R., Aichernig, B. & Baunach, M. C., 8 Sep 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 contribution

  • Formal Modeling
  • Real-time Operating System
  • Hardware
  • Model
  • Event-B

• A Model-Based Concept for RTOS Portability

  Martins Gomes, R. & Baunach, M. C., 2018, 2018 IEEE/ACS 15th International Conference on Computer Systems and Applications . 6 p.

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

  • Middleware
  • Hardware
  • Computer peripheral equipment
  • Multitasking
  • Embedded systems

• Collaborative Resource Management for Multi-Core AUTOSAR OS

  Baunach, M. C., Martins Gomes, R. & Mauroner, F., 2015, Betriebssysteme und Echtzeit. Springer, p. 1-10 (Informatik aktuell).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• Poster

  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
  • Embedded systems
  • Maintainability
  • Robotics
  • Automation

• 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

  • Maintainability
  • Embedded systems
  • Explosions
  • Internet of things

• 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
  • Power electronics
  • Embedded systems
  • Explosions
  • Automation