Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "systemy wbudowane" wg kryterium: Temat


Tytuł:
Implementacja parametryzowanego procesora MIPS w układach reprogramowalnych
The VHDL implementation of a reconfigurable MIPS processor
Autorzy:
Ziębiński, A.
Świerc, S.
Powiązania:
https://bibliotekanauki.pl/articles/151893.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy wbudowane
FPGA
MIPS
VHDL
embedded systems
Opis:
W pracy przedstawiono projekt systemu wbudowanego zrealizowanego w układzie FPGA. Sercem systemu jest rdzeń procesora wzorowanego na procesorach architektury MIPS. Procesor ten został zaimplementowany w języku VHDL w taki sposób, by podczas syntezy jego lista rozkazów była ograniczona do rozkazów obecnych w pamięci programu. W efekcie wykonany procesor nie będzie posiadał logiki, która nie będzie wykorzystywana. Takie rozwiązanie pozwala zaprojektować system wbudowany, który ma mniejsze zapotrzebowanie na zasoby sprzętowe matrycy programowalnej, co dodatkowo powinno umożliwić zwiększenie szybkość jego działania.
The paper presents a project of an embedded system realization on a FPGA array. The core element is a simplified MIPS processor [1, 2, 4] implemented in the VHDL in the way that its instruction set can be reduced to the set of instructions present in the program memory. After completing the processors datapath design, it is analyzed in order to determine which modules take part in execution of certain instructions. Knowing the dependencies between the instructions and the modules, it is possible to show how the processor should be built if it has to support a specific subset of instructions. Conditional synthesis is not what the common HDL languages offer [7]. Nevertheless, it was noticed that at the optimization stage of the synthesis all IF statements in which the condition value is known and it is false are omitted. This feature was used to regulate the hardware organization. Figure 3 presents how a single boolean parameter can regulate the XOR instruction support in the ALU. Initially, all parameters had to be set manually. It was error-prone. Therefore a new entity integrating the CPU and program memory was introduced. It can accept the byte-code, analyze it, and adjust the supported instruction set during the synthesis (Figs. 4 and 5). This solution yields a device that requires fewer system gates to be synthesized and has a potential to increase the maximal operational frequency.
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 8, 8; 594-596
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Human activity detection based on the iBeacon technology
Autorzy:
Lewandowski, M.
Orczyk, T.
Płaczek, B.
Powiązania:
https://bibliotekanauki.pl/articles/333122.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:
classification
embedded systems
iBeacon
klasyfikacja
systemy wbudowane
Opis:
Paper presents a new method of patient activity monitoring, by using modern ADL (Activities of Daily Living) techniques. Proposed method utilizes energy efficient Bluetooth iBeacon BLE (Bluetooth Low Energy) modules, developed by Apple. Main advantage of this technology is the ability to detect neighboring devices, which belong to the same device family. Proposed method is based on observing changes of received signal strength indicator (RSSI) in the time domain. The RSSI analysis is performed in order to asses a human activity. Such observation may be particularly useful for monitoring consciousness of elder people, where reaction time of emergency rescuers and appropriate rescue operations may save the human lives.
Źródło:
Journal of Medical Informatics & Technologies; 2016, 25; 38-45
1642-6037
Pojawia się w:
Journal of Medical Informatics & Technologies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Remote software reprogramming in embedded systems
Zdalne rekonfigurowanie oprogramowania w systemach wbudowanych
Autorzy:
Iwiński, M.
Sosnowski, J
Powiązania:
https://bibliotekanauki.pl/articles/151374.pdf
Data publikacji:
2013
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
embedded systems
reprogrammable software
systemy wbudowane
reprogramowanie systemów
Opis:
In many applications basing on embedded systems we have the problem with limited access for servicing. During the exploitation of such systems it happens that various errors can appear in hardware or software. Many of these errors can be eliminated (e.g. single event upsets), avoided or repaired (e.g. software bugs) by reprogramming the system partially or completely, locally or remotely. The paper discusses strategies of this approach taking into account various limitations and presents a case study solution designed for a satellite microcontroller.
W systemach wbudowanych dość często pojawia się problem ograniczonej ich dostępności dla serwisowania. Jest to typowe dla systemów przemysłowych, telekomunikacyjnych i kosmicznych. Podczas eksploatacji takich systemów mogą się pojawiać różne błędy w sprzęcie i oprogramowaniu. Wiele spośród tych błędów może być wyeliminowanych, maskowanych lub naprawianych poprzez reprogramowanie częściowe bądź pełne, lokalne albo zdalne. W pracy przedstawiono strategie reprogramowania uwzgledniające szereg spotykanych ograniczeń (np. wymagania przetwarzania w czasie rzeczywistym, ciągłość pracy, ograniczone zasoby pamięciowe i komunikacyjne). Problem ten odniesiono do proponowanych rozwiązań w literaturze oraz wykorzystano tu zdobyte doświadczenia z projektowanymi systemami wbudowanymi pomiarowymi i kontrolera satelitarnego. Ponadto przedstawiono bardziej szczegółowo studium mikrokontrolera dla satelity. Bazuje ono na doświadczeniu zdobytym przy satelicie PW-SAT. W pracy została zaproponowana koncepcja podziału programu na segmenty celem zmniejszenia rozmiaru pliku aktualizacyjnego. Dla omówionego przykładu mikrokontrolera satelitarnego oraz wybranych scenariuszy aktualizacji zostały przedstawione wynikowe rozmiary plików aktualizacyjnych przed i po zastosowaniu proponowanej segmentacji.
Źródło:
Pomiary Automatyka Kontrola; 2013, R. 59, nr 8, 8; 769-771
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie mechanizmu zegarowego do wykrywania anomalii zachowania komputerowego systemu sterowania
Watchdog timer mechanizm for detecting execution computer anomalies in control systems
Autorzy:
Szymczyk, M.
Szymczyk, P.
Powiązania:
https://bibliotekanauki.pl/articles/275357.pdf
Data publikacji:
2010
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
systemy sterowania
systemy wbudowane
control systems
embedded systems
Opis:
Projektowanie niezawodnego, nieczułego na zakłócenia, wbudowanego systemu sterowania jest jednym z podstawowych aspektów tworzenia systemu sterowania. Artykuł ten przybliża ideę systemu monitorującego pracę systemu wbudowanego. Określa podstawowe założenia i wymagania dotyczące takiego mechanizmu, opisuje możliwe rozwiązania pewnych problemów.
Designing reliable embedded control systems is one of the basic aspects of control systems. In this paper the idea of monitoring embedded system is presented. The main assumptions and requirements for such system are explained. Possible solutions of these problems are presented.
Źródło:
Pomiary Automatyka Robotyka; 2010, 14, 2; 684-688
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Realizacja koprocesora Modbus Slave w układzie FPGA z wykorzystaniem rdzenia procesora Microblaze
Implementation of Modbus Slave coprocessor in FPGA array using soft core processor Microblaze
Autorzy:
Ziębiński, A.
Cupek, R.
Porębski, A.
Nycz, M.
Powiązania:
https://bibliotekanauki.pl/articles/154737.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
FPGA
microblaze
Modbus Slave RTU
systemy wbudowane
embedded systems
Opis:
W pracy przedstawiono projekt systemu wbudowanego zrealizowanego w układzie FPGA, pełniącego funkcję koprocesora Modbus Slave pracującego w trybie RTU z wykorzystaniem interfejsu RS232. Moduł wykonanego koprocesora składa się z rdzenia procesora Microblaze, modułu UART, timerów i bloków pamięci. Prezentowane rozwiązanie umożliwia zaprojektowanie systemu współpracującego zarówno ze standardowymi szybkościami transmisji danych w sieci Modbus jak i znacznie większymi sięgającymi nawet do 921600 Bd, przy transmisji pomiędzy dwoma systemami z układami FPGA.
The paper presents design of an embedded system realised on a FPGA array, fulfilling the function of the coprocessor Modbus Slave working in the RTU mode with use of the interface RS232. The realised coprocessor module consists of the soft core processor Microblaze, UART module, set of timers and memory blocks for storing the data. The Modbus Slave algorithm was implemented in C language for the processor Microblaze. The system was implemented on the Xilinx XUPV2P development system with the FPGA XC2VP30. Synthesis and programming were conducted using the Xilinx XPS SDK tools. The maximum frequency of the system operation is above 146 MHz. Correctness of the implemented coprocessor Modbus Slave work under real conditions was tested with use of the program Modbus Poll and Top Server OPC. The presenting solution allows designing the system cooperating with standard speed data transmission in the Modbus networks and considerably greater speeds reaching 128000 Bd (transmission among the personal computer and the FPGA system) or even 921600 Bd (transmission among two FPGA systems).
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 765-768
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Efektywna komunikacja ARM-FPGA z użyciem interfejsu SPI
Efficient ARM-FPGA data transfer employing SPI interface
Autorzy:
Jamro, E.
Wielgosz, M.
Cioch, W.
Bieniasz, S.
Powiązania:
https://bibliotekanauki.pl/articles/155109.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy wbudowane
SPI
FPGA
Xilinx EDK
embedded systems
Opis:
W systemach wbudowanych użycie niezależnego procesora ARM oraz układu FPGA umożliwia uzyskanie dużo większej elastyczności projektowania oraz lepszej wydajności niż w przypadku systemów homogenicznych (opartych na tylko jednej platformie). Wadą takiego rozwiązania jest konieczność zapewnienia wydajnej, szybkiej komunikacji, która w omawianym przypadku została zrealizowana poprzez interfejs SPI. Aby uzyskać większą przepustowość danych zaprojektowano dedykowany moduł sprzętowy wewnątrz układu FPGA obsługujący interfejs SPI, pracujący jako urządzenie typu slave po stronie interfejsu SPI oraz master na magistrali PLB (Processor Local Bus).
Implementation of fast and reliable data transfer between an FPGA and a processor is a significant challenge for a designer of heterogeneous embedded systems. In the presented system two separate Printed Circuit Boards (PCB) are employed: ARM-based OMAP3530 [4] and FPGA Spartan3 [2]. SPI (Serial Peripheral Interface) [5] is used as a communication interface due to the OMAP3530 limitations in communication interface choice. For the FPGA module, Xilinx Embeded Development Kit (EDK) and soft-processor MicroBlaze are used. The EDK delivers SPI hardware module [9] compatible with the Processor Local Bus (PLB). Nevertheless, this module employs slave interface on the PLB therefore requires the soft-processor MicroBlaze interaction which limits the transfer speed. Consequently, a dedicated hardware module compatible with the PLB and EDK was designed. This module employs master interface on the PLB bus and slave interface on the SPI interface and is further denoted as the xps_spi_master. As a result, the MicroBlaze is not engaged in the data transfer and, therefore, the transfer speed is significantly larger (which resulted in significant increase in the data throughput). FPGA does ot generate any wait states and therefore the SPI transfer protocol is simplified. The SPI clock speed is 24 MHz and the measured data transfer is roughly 2 MB/s. Summing up, the designed module xps_spi_master significantly speed-ups data transfer and consumes significantly lower FPGA resources in comparison to the original EDK solution, which employs the MicroBlaze and PLB-slave-based SPI interface.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 874-876
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Aplikacja w języku Java realizująca funkcję parsera pseudokodu opisującego strukturę specjalizowanego koprocesora sterownika PLC do VHDL
Application in Java language realizing the function parser of pseudocode describing structure of a specialized coprocessor of PLC in VHDL
Autorzy:
Ziębiński, A.
Cupek, R.
Sroka, W.
Powiązania:
https://bibliotekanauki.pl/articles/155177.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
FPGA
Java
PLC
systemy wbudowane
VHDL
embedded systems
Opis:
Artykuł przedstawia koncepcję projektowania w VHDL systemu pełniącego funkcję specjalizowanego koprocesora sterownika PLC, realizującego tylko wyszczególniony zestaw zadań. W pracy pokrótce omówiono poszczególne moduły realizujące funkcję koprocesora sterownika PLC. Ponadto przedstawiono funkcjonalność parsera pseudokodu w języku Java, opisującego strukturę specjalizowanego sterownika PLC do VHDL. Na końcu zaprezentowano wyniki porównania działania przykładowej aplikacji w sterowniku PLC GE Fanuc CPUE05 i układzie FPGA XC3S500e.
The paper presents a project of embedded system realization on a FPGA array, fulfilling the function of a specialized coprocessor PLC. There are described individual modules realizing the function of the coprocessor of PLC in VHDL: the memory map of the controller (Fig.1) including the controller registers and the controller of the memory (Fig.2) for read/write the data in the registers. Moreover, functionality of the parser of pseudocode in the Java language, describing the structure of specialized PLC to VHDL, is presented. The components in VHDL [4] used by the parser are described in the pseudocode and presented in Table 1. The instructions in the pseudocode are equivalent to those in the GE-Fanuc Versa Max controller family. The comparison results of working of an exemplary application in PLC GE Fanuc Versa Max CPUE05 [3] and FPGA XC3S500e are given. The exemplary application for the controller is shown in Fig. 3. As a result of parsering by the PLC2VHDL program there was re-ceived the code in VHDL realizing the described task (Fig.4). The code VHDL was subjected to testing, synthesis and implementation with utilization of tools ISE ™ Foundation ™. As a result of implementation, there was obtained the configurational file for the FPGA. The project takes about 1 % resources in the XC3S500e and can work with the maximum 79MHz. The controller work cycle (Fig.5) in FPGA takes 3 tacts and lasts 37.863ns.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 845-847
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zarys metodyki sterowanego ryzykiem testowania systemów wbudowanych
Methodology of developing a risk-based test strategy for embedded systems
Autorzy:
Liderman, K.
Zieliński, Z.
Powiązania:
https://bibliotekanauki.pl/articles/273249.pdf
Data publikacji:
2007
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
ryzyko
plan testów
systemy wbudowane
risk
test plan
embedded systems
Opis:
Artykuł zawiera propozycję metodyki wykonania planu testów dla systemu wbudowanego, bazującej na wynikach analizy ryzyka i wyborze określonego zestawu kryteriów jakościowych. Jest on rozwinięciem tematyki zawartej w [3].
In the paper the methodology of developing a risk-based test strategy for embedded systems is proposed. The methodology is based on risk analysis results and quality criteria of the system being tested. The outline of basic procedures is depicted.
Źródło:
Biuletyn Instytutu Automatyki i Robotyki; 2007, R. 13, nr 24, 24; 27-41
1427-3578
Pojawia się w:
Biuletyn Instytutu Automatyki i Robotyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
System wbudowany oparty na procesorze ARM oraz układzie FPGA
Embedded system based on ARM processor and FPGA
Autorzy:
Wielgosz, M.
Jamro, E.
Cioch, W.
Bieniasz, S.
Powiązania:
https://bibliotekanauki.pl/articles/155111.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
FPGA
ARM
systemy wbudowane
Liniowa Decymacja
embedded systems
linear decimation
Opis:
W niniejszym artykule przedstawiono system przeznaczony do analizy i przetwarzania sygnałów wibroakustycznych oparty na procesorze z jądrem ARM oraz układzie FPGA. Jednym z kilku zaimplementowanych algorytmów w ramach prezentowanego systemu jest Procedura Liniowej Decymacij, szeroko stosowana do diagnozowania maszyn wirnikowych synchronizowanych cyklem roboczym. Szybkość wstępnego przetwarzania sygnałów przy pomocy układów FPGA jest dużo większa niż w przypadku procesorów DSP, dzięki czemu stworzony system umożliwia analizę sygnałów diagnostyczny w czasie rzeczywistym.
The paper presents an embedded system for monitoring and analysis of vibroacustic signals. The system is based on an ARM processor and FPGA, which provides both flexibility and real-time processing capabilities. The Linear Decimation Procedure was implemented as one of the vital algorithms for rotary machinery analysis along with a whole set of other calculation procedures widely employed in vibroacustic. Exp() function was used to benchmark the DEVKIT8000 and PANDA platforms against the desktop processor Core i7 3,4 GHz. The presented system is also capable of working in a real-time mode due to its high processing data rate resulting from the adopted architecture and employed high-performance components. A number of the original algorithms were implemented in the FPGA which could be used for non-stationary signals analysis. Furthermore, numerical procedures which do not fit into the FPGA due to the high resources occupation were employed on the ARM processor. It is worth mentioning that the whole system is run under the Ubuntu system which provides a huge flexibility in a number of software packets available as well as stability of the system as such. Some additional widely available environments (e.g. Octave) were installed on the platform facilitating data analysis and processing. It should be noted that the software of the system can be easily modified or replaced apart of the hardware which allows for a fast upgrade. Some other Linux or Windows distributions are also considered for installation in the future.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 877-879
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelling concurrent systems with Alvis
Modelowanie systemów współbieżnych w języku Alvis
Autorzy:
Szpyrka, M.
Powiązania:
https://bibliotekanauki.pl/articles/275277.pdf
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
Alvis
systemy wbudowane
systemy współbieżne
modelowanie i weryfikacja
embedded systems
concurrent systems
modelling and verification
Opis:
Alvis is a new modeling language for developing concurrent (embedded) systems. The language is being developed within the confines of the Alvis project at AGH University of Science and Technology, Department of Automatics. The Alvis language combines hierarchical graphical modelling with a high level programming language. Moreover, a formal verification of a model, based on an LTS graph (Labelled Transition System) is possible. The paper describes selected features of the language and the future plans of the project.
Alvis jest nowym językiem modelowania przeznaczonym do rozwijania systemów współbieżnych, zwłaszcza systemów wbudowanych. Język jest rozwijany w Katedrze Automatyki AGH w ramach projektu o tej samej nazwie. Język Alvis łączy w sobie cechy języków programowania wysokiego poziomu z hierarchicznym językiem modelowania połączeń między agentami. Ponadto umożliwia on formalną weryfikację systemu wbudowanego bazującego na grafie LTS, stanowiącego formalną reprezentację przestrzeni stanów modelu. Artykuł zawiera przegląd podstawowych informacji na temat języka i projektu.
Źródło:
Pomiary Automatyka Robotyka; 2011, 15, 12; 239-240
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Cross modeling of embedded systems using SysML and Petri Nets
Autorzy:
Szmuc, Wojciech
Szmuc, Tomasz
Powiązania:
https://bibliotekanauki.pl/articles/397841.pdf
Data publikacji:
2018
Wydawca:
Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
Tematy:
embedded systems
cross modeling
formal verification
systemy wbudowane
modelowanie krzyżowe
formalna weryfikacja
Opis:
Cross modeling in embedded systems development is proposed in the paper. The main idea consists in a translation of SysML artifacts into the related Coloured Petri Net (CPN) models, which may be verified directly or using other tools, e.g. Temporal Logic Provers. The paper is an extension of [20] mainly by insertion of sequence diagrams (SysML) and presentation of their mapping into CPN models. The additional part describes communication features and completes the cross modeling approach.
Źródło:
International Journal of Microelectronics and Computer Science; 2018, 9, 2; 60-65
2080-8755
2353-9607
Pojawia się w:
International Journal of Microelectronics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Symulacyjna weryfikacja algorytmów w środowisku Ptolemy II
Simulation verification of algorithms in Ptolemy II environment
Autorzy:
Szcześniak, W.
Powiązania:
https://bibliotekanauki.pl/articles/268198.pdf
Data publikacji:
2013
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
systemy wbudowane
symulacja algorytmów
system Ptolemy
embedded systems
Ptolemy system
algorithmic simulation
Opis:
Praca prezentuje domeny systemu PTOLEMY II, a bardziej szczegółowo przedstawiono w niej wybrane możliwości domeny Synchronous Data Flow (SDF) do weryfikacji algorytmów metodą symulacyjną. Pozytywny wynik symulacji decyduje o implementacji symulowanego algorytmu na przykład w systemach wbudowanych. Zaprezentowne rozwiązanie pozwala na szybsze uzyskanie prototypu, a także prowadzi do obniżenia kosztów projektowania.
The paper presents Ptolemy II domain. Selected Synchronous Data Flow domain capabilities applicable to verification of algorithms using simulation methods are presented in detail. Positive simulation result can determine the implementation of the simulated algorithm, for example, in embedded systems. Presented solution allows to speed-up the process of creating the prototype, and leads to lowering development costs.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2013, 36; 157-160
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Integracja narzędzi przetwarzania sygnałów pakietu MATLAB/Simulink oraz środowiska CoDeveloper w projektowaniu aplikacji wbudowanych z użyciem FPGA
Integration of MATLAB/Simulink signal processing with CoDeveloper FPGA C based programming tool for embedded system design
Autorzy:
Garncarek, S.
Olech, B.
Powiązania:
https://bibliotekanauki.pl/articles/154734.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
rekonfigurowalne tablice logiczne
systemy wbudowane
procesor konwergentny
FPGA
embedded systems
convergent procesor
Opis:
Celem prezentowanej pracy była analiza wykonalności, a następnie zaprojektowanie, implementacja i przetestowanie oryginalnego oprogramowania wpierającego proces projektowania systemów wbudowanych. Chodziło o możliwość połączenia zalet oprogramowania narzędziowego szybkiego wytwarzania aplikacji rekonfigurowalnych (CoDeveloper; Impulse) z możliwościami narzędzi graficznego projektowania i obrazowania (MATLAB/Simulink). Założony cel został osiągnięty.
Computation platforms of embedded systems evolved, from being based on traditional microcontrollers and signal processors separately, to complex systems built with FPGA devices [1, 2]. However, complexity of hardware description languages and hardware skills requirements were the major limitations of generalization of these naturally evolved platforms in embedded systems design. The solution was to create tools that could give software developers a possibility to use the potential of programmable logic devices without considerable knowledge of hardware and hardware description languages [5]. This work presents an idea of bridging two different design tools; CoDeveloper [9] and MATLAB/Simulink [8] in context convergent processor paradigm [3, 4]. As the result, virtually new environment (Integrating Application) for devel-opment, simulation and verification of digital signal processing algorithms in embedded system domain was created. Fig. 1 shows the block diagram of Integrating Application structure in which it is possible to exchange data in real time with reconfigurable embedded system hardware being under development. Connection of these two tools allows getting additional features that support development process, and which are beyond the basic sum of features originally offered by these tools separately. Smulink models can represent Impulse C models, to mention the one characteristic.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 761-764
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Symulacja błędów przemijających w mikrokontrolerze satelitarnym
Transient fault simulation in a satellite microcontroller
Autorzy:
Iwiński, M.
Sosnowski, J.
Powiązania:
https://bibliotekanauki.pl/articles/155157.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy wbudowane
mikrokontrolery
symulacja błędów
niezawodność
embedded systems
microcontrollers
fault simulation
reliability
Opis:
W wielu zastosowaniach mikrokontrolerów należy brać pod uwagę wpływ na ich pracę błędów przemijających (zakłócenia elektromagnetyczne, promieniowanie kosmiczne itp.). Artykuł przedstawia metodę badania odporności na błędy przemijające w mikrokontrolerach. Bazuje ona na opracowanej platformie symulatora sprzężonego z obiektem badanym poprzez interfejs RS232C. Technika ta została zweryfikowana w badaniu mikrokon-trolera przeznaczonego do sterowania zasilaniem pokładowym satelity. W artykule przedstawiono wyniki eksperymentów oraz wskazano możliwości programowego zwiększania odporności na błędy.
In many microcontroller applications the impact of transient faults (electromagnetic disturbances, cosmic radiation, etc.) on their operation has to be taken into account. The paper presents a new methodology of testing transient fault robustness in microcontrollers. It is based on the developed fault injection platform which is coupled to the tested object via RS 232C interface. A tested object (microcontroller) cooperates with real or modelled environment (partially controlled by a simulator). This technique has been successfully applied to testing a microcontroller used for managing the satellite on-board power subsystem (solar cells, batteries, power accumulation and distribution), Many transient fault simulation experiments have been performed and their results interpreted. In particular, there has been analysed the impact of faults on correct control flow of the program. Some simple fault detection and error recovery mechanisms have been included in the considerations. The presented methodology can be easily extended for other microcontrollers and communication interfaces. Time and code overheads are negligible so the simulation results are quite realistic.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 822-824
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Gas-flow computer with SBST
Komputerowy przelicznik przepływu gazu z wbudowanym SBST
Autorzy:
Mosdorf, M.
Grochowski, K.
Sosnowski, J.
Gawkowski, P.
Powiązania:
https://bibliotekanauki.pl/articles/156571.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy wbudowane
mikrokontrolery
symulacja błędów
niezawodność
embedded systems
microcontrollers
fault simulation
reliability
Opis:
The paper deals with the problem of improving dependability in industrial embedded systems. This problem is considered in relevance to the developed gas flow computer. It is implemented around ARM microcontroller which performs complex measurements and calculations of gas flow with embedded software based self-test mechanisms (SBST) assuring fault detection and fault handling. These mechanisms do not interfere with the normal operation neither in time nor in space. The effectiveness of these approaches has been practically verified in specialised experiments.
Ostatnio obserwuje się coraz większe zainteresowanie inteligentnymi urządzeniami pomiarowymi. Wykorzystują one bardzo wydajne mikroprocesory lub mikrokontrolery i złożone oprogramowanie. Urządzenia te zwykle pracują w środowisku przemysłowym lub otwartym terenie, gdzie są narażone na różne zakłócenia (elektromagnetyczne, termiczne, niestabilne zasilanie itp.). Stąd istotnym jest zapewnienie dużej wiarygodności ich pracy. Problem ten uwidocznił się w produkowanych przelicznikach gazu ziemnego [9]. Dane producenta wskazują na 8% problemów serwisowych (rozdz. 2). Autorzy podjęli się rozwiązania tego problemu poprzez opracowanie programowych mechanizmów autotestowania (SBST) zintegrowanych z oprogramowaniem operacyjnym urządzeń pomiarowych. Pozwalają one monitorować w sposób ciągły (rys. 1) poprawność pracy urządzenia (rozdz. 3). W szczególności wbudowano mechanizm kontroli poprawności i autonaprawy kodu przelicznika, obsługę sytuacji wyjątkowych, autotestowanie krytycznych procedur spreparowanymi zestawami danych itd. (rozdz. 3). Pozwalają one na detekcję zarówno błędów przemijających (i ograniczone ich tolerowanie) jak i błędów trwałych. Efektywność tego rozwiązania została zweryfikowana przy wykorzystaniu techniki symulacji błędów ([1, 3]) oraz generowanie logów operacyjnych i liczników zastosowanych w nowym prototypie przelicznika. W porównaniu z innymi przelicznikami gazu osiągnięto istotną poprawę wiarygodności (rozdz. 4). Przedstawione mechanizmy mogą być zastosowane również w innych urządzeniach z mikrokontrolerami.
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 665-667
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies