Veröffentlichungen suchen

Suchergebnisse

• 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.

  Publikation: Konferenzbeitrag › Poster

  • Microcontrollers
  • Embedded systems
  • Maintainability
  • Robotics
  • Automation

• 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.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

• MCSmartOS: A Dependable OS for Compositional Embedded Systems

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

  Publikation: Konferenzbeitrag › 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.

  Publikation: Konferenzbeitrag › Poster

  • Maintainability
  • Power electronics
  • Embedded systems
  • Explosions
  • Automation
• 2018

  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 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

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

• 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. S. 304-308 5 S., 135.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel

  • Railroad cars
  • Hardware
  • Communication
• 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, S. 271-272

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  • Hardware
  • Embedded software
  • Formal methods
  • Computer operating systems
  • Embedded systems
• 2020

  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. (Hrsg.). Springer International, S. 155-174 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12310 LNCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

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