Skip to search formSkip to main contentSkip to account menu

OpenComRTOS

OpenComRTOS is a commercial network-centric, formally developed real-time operating system, aimed primarily at the embedded systems market.
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Developing software for non SMP multi-core systems such as the 48 core Intel-SCC or the TI-TMS320C6678 is a complex task, and… 
Review
2011
Review
2011
The previous chapters of this book concentrated the theoretical foundations of OpenComRTOS and the formal modelling effort that… 
2011
2011
OpenComRTOS is part of a systematic, formalised systems and software engineering methodology for embedded systems with a… 
2011
2011
In this chapter, we discuss the requirements and specifications for the OpenComRTOS project from the point of view of its… 
2011
2011
Tasks in OpenComRTOS interact using an intermediate Hub entity. This way the interaction is decoupled from the tasks themselves… 
2009
2009
У статті розкриваються теоретичні принципи й особливості практичної реалізації програмного середовища для проектування систем. Середовище підтримує розробку систем, починаючи з етапу висування вимог і специфікацій,через етап архітектурного моделювання й формулювання робочого плану до випуску кінцевого продукту. Середовище використовує методологію системного проектування, основану на парадигмі взаємодіючих сутностей. Для реалізації середовища був створений web-портал, що одержав назву OpenCookbook. Спочатку OpenCookbook було задумане для розробки вбудованих систем, однак була доведена його ефективність у застосуванні до широкого діапазону інших предметних областей. OpenCookbook може бути адаптований до потреб певної організації, так само як і до вимог технічних стандартів на зразок ІEC61508. This paper describes theoretical principles and practical implementation of an environment for systems engineering. The environment guides and supports developers during requirements and specification capturing over architectural modelling and workplan development till final release. It features the coherent and unified system engineering methodology based on the Interacting Entities paradigm. In order to realize it, a generic web portal was developed, called OpenCookbook. It was thought out for embedded systems development, but it was proven to be an effective tool for a wide range of other system domains. OpenCookbook can be tailored to the needs of a specific organisation as well as accommodate to the engineering standards like IEC61508. 
2008
2008
This paper describes a project to develop a network-centric RTOS from scratch using formal methods. The (initial) purposes of the… 
2008
2008
У статті описується Візуальне Середовище Моделювання VME… 
2007
2007
OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) developed using formal modeling techniques. The goal of this…