Temat: embedded systems software

Skocz do pozycji: 1.

Tytuł:: EMLAN: język modelowania i formalnej weryfikacji oprogramowania systemów wbudowanych
Autorzy:: Krystosik, A.
Gawkowski, P.
Data publikacji:: 2007
Słowa kluczowe:: język EMLAN
automat DT-CSM
oprogramowanie systemów wbudowanych
weryfikacja autoalarmu samochodowego
EMLAN language
embedded systems software
DT-CSM
verification of car immobilizer; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Remote software reprogramming in embedded systems
Zdalne rekonfigurowanie oprogramowania w systemach wbudowanych
Autorzy:: Iwiński, M.
Sosnowski, J
Data publikacji:: 2013
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: embedded systems
reprogrammable software
systemy wbudowane
reprogramowanie systemów; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: The MODUS Approach to Formal Verification
Autorzy:: Lukasz Brewka
José Soler
Michael Berger
Data publikacji:: 2014-03-01
Tematy:: software quality
formal verification
embedded systems
translation tool selection; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Adaptive GP-based algorithm for hardware/software co-design of distributed embedded systems
Autorzy:: Górski, Adam
Ogorzałek, Maciej
Data publikacji:: 2014
Wydawca:: SciTePress
Słowa kluczowe:: hardware/software co-design
genetic algorithm
adaptive systems
architecture
genetic programming
embedded systems; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: GP-based methodology for HW/SW co-synthesis of multiprocessor embedded systems with increasing number of individuals obtained by mutation
Autorzy:: Górski, Adam
Ogorzałek, Maciej
Data publikacji:: 2015
Wydawca:: SciTePress
Słowa kluczowe:: hardware/software co-design
multiprocessor system
architecture
genetic programming
genetic algorithm
embedded systems; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Genetic programming based constructive algorithm with penalty function for hardware/software cosynthesis of embedded systems
Autorzy:: Ogorzałek, Maciej
Górski, Adam
Data publikacji:: 2021
Wydawca:: SciTePress
Słowa kluczowe:: penalty function
artificial intelligence
embedded systems
hardware/software co-synthesis.
genetic programming; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Genetic programming based algorithm for HW/SW cosynthesis of distributed embedded systems specified using conditional task graph
Autorzy:: Górski, Adam
Ogorzałek, Maciej
Data publikacji:: 2022
Wydawca:: [s.n.]
Słowa kluczowe:: architecture
hardware/software co-synthesis
conditional task graph
genetic programming.
embedded systems; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach
Autorzy:: Kerkouche, E.
Bourennane, E. B.
Chaoui, A.
Data publikacji:: 2018
Wydawca:: Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:: embedded systems
hardware-software codesign
STARSoC tool
UML
model driven engineering
Eclipse modelling project; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Automating Synthesis of Asynchronous Communication Mechanisms
Autorzy:: Gorgônio, K.
Xia, F.
Yakovlev, A.
Data publikacji:: 2007
Słowa kluczowe:: asynchronous communication mechanisms
Petri net
concurrent and distributed systems
embedded system
hardware and software codesign
protocols
synthesis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Metrological verification of cyber-physical systems
Autorzy:: Oleskiv, O.
Mykytyn, I.
Data publikacji:: 2015
Słowa kluczowe:: measuring instrument
software
metrological verification
cyber-physical systems
embedded control systems
intelligent sensor
przyrząd pomiarowy
oprogramowanie
kontrola metrologiczna
systemy cyberfizyczne
wbudowane systemy sterowania
czujnik inteligentny; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Fault injection testing of safety-critical applications
Autorzy:: Trawczyński, D.
Sosnowski, J.
Data publikacji:: 2011
Słowa kluczowe:: analiza wiarygodności
programowe wstrzykiwanie błędów
testowanie
wbudowane systemy czasu-rzeczywistego
dependability analysis
real-time embedded systems
software implemented fault injection
testing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Optymalizacja realizacji układowej hierarchicznych sieci Petriego
The implementation optimization of the hierarchical Petri nets
Autorzy:: Stasiak, A.
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded systems
digital systems
digital microsystems
PLD; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Metody walidacji i weryfikacji specyfikacji funkcjonalnej mikrosystemu cyfrowego
Validation and verification methods of the digital microsystem functional specification
Autorzy:: Stasiak, A.
Skowroński, Z.
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded systems
digital systems
digital microsystems
PLD; Pokaż więcej
Dostawca treści:: Biblioteka Nauki