Filtry
wszystkich: 157
Najlepsze wyniki w katalogu: Potencjał Badawczy Pokaż wszystkie wyniki (110)
Wyniki wyszukiwania dla: model-based testing
-
Architektura Systemów Komputerowych
Potencjał BadawczyGłówną tematyką badawczą podejmowaną w Katedrze jest rozwój architektury aplikacji i systemów komputerowych, w szczególności aplikacji i systemów równoległych i rozproszonych. "Architecture starts when you carefully put two bricks together" - stwierdza niemiecki architekt Ludwig Mies von der Rohe. W przypadku systemów komputerowych dotyczy to nie cegieł, a modułów sprzętowych lub programowych. Przez architekturę systemu komputerowego...
-
Zespół Katedry Wytrzymałości Materiałów
Potencjał BadawczyKatedra zajmuje się zagadnieniami związanymi z wytrzymałością elementów konstrukcji, ich teorią oraz analizą, jak również do myśli przewodnich należy zaliczyć materiałowe badania doświadczalne oraz prace nad technologią betonu. Współpracujemy z przemysłem z branż budowlanych i okołobudowlanych, wykorzystując wypracowane doświadczenie i wiedzę z zakresu materiałów konstrukcyjnych i budowlanych.
-
Zespół Metrologii i Optoelektroniki
Potencjał Badawczy* komputerowo wspomagana metrologia i diagnostyka * projektowanie systemów * mikrosystemów i makrosystemów elektronicznych * testowanie i diagnostyka elektroniczna * pomiary właściwości szumowych i zakłóceń * spektroskopia impedancyjna * telemetria i telediagnostyka internetowa * katedra redaguje Metrology and Measurement Systems * kwartalnik PAN znajdujący się na liście JCR
Najlepsze wyniki w katalogu: Oferta Biznesowa Pokaż wszystkie wyniki (47)
Wyniki wyszukiwania dla: model-based testing
-
Superkomputer Tryton
Oferta BiznesowaObliczenia dużej skali, Wirtualna infrastruktura w chmurze (IaaS), Analiza danych (big data)
-
Pracownia Fotogrametrii i Teledetekcji Niskiego Pułapu
Oferta BiznesowaW pracowni prowadzone są badania naukowe oraz zajęcia dydaktyczne z zakresu fotogrametrii cyfrowej i teledetekcji, szczególnie z niskiego pułapu czyli z bezzałogowych statków powietrznych. W ramach działań pracowni prowadzone są pomiary terenowe z użyciem nowoczesnych technik pomiarowych i bezzałogowych statków powietrznych, szkolenie lotnicze operatorów bezzałogowych statków powietrznych. Prace kameralne realizowane są na nowoczesnym...
-
Laboratorium Diagnostyki Silników i Sprężarek Tłokowych
Oferta BiznesowaIdentyfikacja stanu technicznego głównych układów funkcjonalnych silników spalinowych i sprężarek w oparciu o wyniki badań diagnostycznych.
Pozostałe wyniki Pokaż wszystkie wyniki (14733)
Wyniki wyszukiwania dla: model-based testing
-
Model-Based Testing of Embedded Systems in the Automotive Domain
PublikacjaPhD
-
Model-based testing for execution algorithms in the simulation of cyber-physical systems
PublikacjaThe understanding of simulation semantics of a hybrid system is a challenge for computational engineers as it requires expertise in computer science, engineering, numerical methods, and mathematics at once. The testing methods for the execution of a simulation are being researched but not yet applied on the industrial level. Consequently, the semantics of the simulation becomes a critical artifact in the system development process....
-
A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains
PublikacjaThis chapter provides a taxonomy of Model-Based Testing (MBT) based on the approaches that are presented throughout this book as well as in the related literature. The techniques for testing are categorized using a number of dimensions to familiarize the reader with the terminology used throughout the chapters that follow. In this chapter, after a brief introduction, a general definition of MBT and related work on available MBT...
-
A Human Behaviour Model Agent for Testing of Voluntary Computing Systems
PublikacjaPaper presents a design and performance of a voluntary-based distributed computing system testing agent, implementing a human behaviour model. The agent, nicknamed iRobot, was designed and implemented to enable controlled, large scale testing of core algorithms of Comcute - a new voluntary distributed computing platform complementary to BOINC. The main agent design goals were: emulation of human behaviour when browsing web pages,...
-
Testing A Novel Gesture-Based Mixing Interface
PublikacjaWith a digital audio workstation, in contrast to the traditional mouse-keyboard computer interface, hand gestures can be used to mix audio with eyes closed. Mixing with a visual representation of audio parameters during experiments led to broadening the panorama and a more intensive use of shelving equalizers. Listening tests proved that the use of hand gestures produces mixes that are aesthetically as good as those obtained using...