Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Powiadomienia systemowe
  • Sesja wygasła!

Znaleziono wyników: 4

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  ANSI C
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote System zwalniania wątków VRTS jako alternatywa dla RTOS
PL
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
Content available remote Conversion of ST control programs to ANSI C for verification purposes
EN
The paper presents a Behavioral Interface Specification Language for control programs written in ST language of IEC 61131-3 standard. The specification annotations are stored as special comments in ST code. The code and comments are then converted into ANSI C form for further transformation with Caduceus and Why tools. Verification of compliance between specification and code is performed in Coq.
PL
W artykule zaprezentowano nowe podejście do ekstrakcji równole-głości w programach ANSI C dla architektur wieloprocesorowych polega-jące na wyznaczaniu niezależnych fragmentów obliczeń w pętlach programowych dowolnie zagnieżdżonych. Przedstawione podejście pozwala na ekstrakcję równoległości dla szerszego spektrum pętli programowych w porównaniu z transformacjami afinicznymi, uznawanymi dotychczas za najbardziej efektywne. Przedstawiono analizę zastosowania proponowanego podejścia dla wybranych źródeł języka ANSI C. Omówiono wyniki badań eksperymentalnych oraz wskazano kierunki dalszych prac.
EN
The application of embedded computer systems extends from small consumer products to complex industrial solutions. Performance critical solutions require application of more efficient controllers using parallel architectures such as VLIW or multiprocessor (multi cores) architectures. The interest in using the parallelism in embedded systems puts up new challenges for science and engineering and requires new methods and tools. The paper presents a new approach to the extraction of parallelism in ANSI C programs for multiprocessor architectures, consisting of synchronization free threads of computations (slices). The presented approach allows the extraction of parallelism on a wider range of program loops than that extracted by the affine transformation framework identified as the most efficient. Scientific results achieved are implemented as an academic source to source parallelizing compiler. The analysis of applying the approach to selected ANSI C sources is presented. Experimental results are depicted and discussed. Conclusions and future research are discussed.
PL
W przypadku każdego urządzenia wymagane jest wykonanie pewnych kroków inicjalizacyjnych, umożliwiających w dalszym etapie pobieranie danych. Stan urządzenia należy sprawdzać co pewien czas. Z reguły wystarczające jest sprawdzanie 10 razy na sekundę. Możliwość obsługi kontrolerów gier i aplikacji w systemie Windows jest umiejętnością pożądaną przez każdego programistę gier oraz przez twórców oprogramowania systemowego, wymagającego określonych właściwości danego kontrolera. Użycie w tym celu biblioteki DirectX firmy Microsoft dostarcza wszystkich niezbędnych funkcjonalności, pozwalających na efektywną obsługę peryferyjnych urządzeń sterujących. Informacje przedstawione w artykule mogą zostać z powodzeniem wykorzystane przy realizacji obsługi zarówno kontrolerów gier, jak i specjalizowanych aplikacji sterujących.
EN
A paper in systematic way presents a technique of processing data from a joystick, or other game controller. DirectX component as part of Windows operating system is a technology which directly support communication between operating system and peripheral devices. The paper concentrates particularly on joypad, joystic and steering wheel and demonstrates pieces of C language code programming their usage.
first rewind previous Strona / 1 next fast forward last
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ć.