Artykuł opisuje implementację systemu zwalniania wątków VRTS, dostępnego na platformie GitHub pod adresem https://github.com/Xaeian/VRTS. Jest to alternatywa dla systemów czasu rzeczywistego RTOS w systemach wbudowanych. Przedstawiono różne koncepcje programowania mikrokontrolerów, zwracając uwagę na różnice między nimi. Omówiono funkcjonalności biblioteki VRTS, przedstawiając jej wykorzystanie w układzie zasilającym elektrolizer alkaliczny.
EN
The article presents VRTS - cooperative multitasking, searchable on GitHub at https://github.com/Xaeian/VRTS. It is an alternative to real-time operating systems (RTOS) in embedded systems. Various concepts of programming microcontrollers were presented, paying attention to the differences between them. The functionalities of the VRTS library were discussed, presenting its use in the supply system of alkaline electrolyzer.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We present a formal translation of a resource-aware extension of the Abstract Behavioral Specification (ABS) language to the functional language Haskell. ABS is an actor-based language tailored to the modeling of distributed systems. It combines asynchronous method calls with a suspend and resume mode of execution of the method invocations. To cater for the resulting cooperative scheduling of the method invocations of an actor, the translation exploits for the compilation of ABS methods Haskell functions with continuations. The main result of this article is a correctness proof of the translation by means of a simulation relation between a formal semantics of the source language and a high-level operational semantics of the target language, i.e., a subset of Haskell. We further prove that the resource consumption of an ABS program extended with a cost model is preserved over this translation, as we establish an equivalence of the cost of executing the ABS program and its corresponding Haskell-translation. Concretely, the resources consumed by the original ABS program and those consumed by the Haskell program are the same, considering a cost model. Consequently, the resource bounds automatically inferred for ABS programs extended with a cost model, using resource analysis tools, are sound resource bounds also for the translated Haskell programs. Our experimental evaluation confirms the resource preservation over a set of benchmarks featuring different asymptotic costs.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.