Search
displaying 1000 best results Help
Search results for: TESTING, MODEL-BASED DESIGN
-
Model-Based Testing of Embedded Systems in the Automotive Domain
PublicationPhD
-
Model-based testing for execution algorithms in the simulation of cyber-physical systems
PublicationThe 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....
-
Direct design of Controlled Modulus Columns (CMC) based on in-situ testing
PublicationIn this paper, the serviceability limit state and bearing capacity of tension screw displacement piles were analyzed using the results of static pile load tests, carried out on the test plot near the Elbląg city, and field, and laboratory tests. The paper presents the methodology of determining the pile load-settlement curve using different types of t-z transfer functions. The new method of constructing the pile load-settlement...
-
A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains
PublicationThis 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...
-
Improving the procedure of probabilistic load testing design of typical bridges based on structural response similarities
PublicationThis paper concerns load testing of typical bridge structures performed prior to operation. In-situ tests of a two-span post-tensioned bridge loaded with three vehicles of 38-ton mass each formed the input of this study. On the basis of the results of these measurements, an advanced FEM model of the structure was developed for which the sensitivity analysis was performed for chosen uncertainty sources. Three uncorrelated random...
-
Model-Based Adaptive Machine Learning Approach in Concrete Mix Design
PublicationConcrete mix design is one of the most critical issues in concrete technology. This process aims to create a concrete mix which helps deliver concrete with desired features and quality. Contemporary requirements for concrete concern not only its structural properties, but also increasingly its production process and environmental friendliness, forcing concrete producers to use both chemically and technologically complex concrete...
-
Reduced-Cost Microwave Design Closure by Multi-Resolution EM Simulations and Knowledge-Based Model Management
PublicationParameter adjustment through numerical optimization has become a commonplace of contemporary microwave engineering. Although circuit theory methods are ubiquitous in the development of microwave components, the initial designs obtained with such tools have to be further tuned to improve the system performance. This is particularly pertinent to miniaturized structures, where the cross-coupling effects cannot be adequately accounted...
-
A Novel Versatile Decoupling Structure and Expedited Inverse-Model-Based Re-Design Procedure for Compact Single-and Dual-Band MIMO Antennas
PublicationMultiple-input multiple-output (MIMO) antennas are considered to be the key components of fifth generation (5G) mobile communications. One of the challenges pertinent to the design of highly integrated MIMO structures is to minimize the mutual coupling among the antenna elements. The latter arises from two sources, the coupling in the free space and the coupling currents propagating on a ground plane. In this paper, an array of...
-
A Human Behaviour Model Agent for Testing of Voluntary Computing Systems
PublicationPaper 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,...
-
Dynamics Conscious Approach to Tribometer Design and Tribo-testing
PublicationIn the paper findings are discussed on the issue of dynamic characteristics of a tribometer as a factor influencing the result of the tribological experiment. An advanced approach to tribo-testing is attempted with integrated dynamic analysis of the tribometer and the sliding pair. The fundamental idea is explored of the tribometer being regarded as any machine in which friction is inflicted with all the resulting consequences...
-
Design and testing of a radial-axial microturbine for domestic applications
PublicationIn the paper presented is a new design of the radial-axial microturbine of 3-4kW capacity for operation with ethanol as working fluid
-
Test Design Patterns for Embedded Systems,
PublicationTest suites for embedded systems are typically created from scratch using dif- ferent, often inadequate methods. In consequence, industry branches dealing with software-intensive embedded systems have to cope with quality problems, even though test processes are particularly time-consuming and costly. Based on an evolving model-based testing methodology we introduce test design patterns for simplifying and accelerating...
-
Design and numerical testing of 5-box gfrp shell footbridge
PublicationThe paper formulates new design conditions for composite footbridges, taking into account the material and structural specificity of these objects, i.e. the strength condition, the serviceability condition and the frequency condition. A GFRP composite footbridge labelled with CFB2 code has been designed, with the original superstructure in the form of an opened-closed 5-box girder. The foot and cycle track bridge is simply supported,...
-
Quality testing methods of foil-based capacitors
PublicationKondensatory foliowe są powszechnie stosowanymi elementami pasywnymi w ukłądach zasilania. Dotychczasowe metody oceny ich jakości są długotrwałe oraz zużywają energię. W pracy przedstawiono propozycje szeregu nowych, bardziej efektywnych metod, które mogą być z sukcesem stosowane podczas ich produkcji.
-
Testing A Novel Gesture-Based Mixing Interface
PublicationWith 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...
-
Testing OFDM Transmission Schemes for Shallow Water Acoustic Communications
PublicationLarge variability of communication properties of underwater acoustic channels, and especially strongly varying instantaneous conditions in shallow waters, is a tough challenge for the designers of underwater acoustics communication (UAC system. There is a need for developing adaptive signaling schemes that would dynamically optimize signal parameters in both physical and link layers of communication protocols. The orthogonal frequency...
-
Peculiarities associated with testing polyetheretherketone (PEEK) in a model rolling contact
PublicationPolyetheretherketone (PEEK) was investigated using a modified version of the four-ball tester in which the upper forth ball was replaced by a cone in such a way that kinematics of the four-ball configuration were fully preserved. Rotation of the cone enforced orbiting and rolling of the ceramic balls around the polymer cup. The results produced some unexpected peculiarities in the wear of ceramic balls which, in principle, should...
-
Impedance Spectra of RC Model as a Result of Testing Pulse Excitation Measurement Method Dataset
PublicationThe dataset titled Impedance spectra of RC model as a result of testing pulse excitation measurement method contains the impedance spectrum of an exemplary test RC model obtained using pulse excitation. The dataset allows presentation of the accuracy of the impedance spectroscopy measuring instrument, which uses the pulse excitation method to shorten the time of the whole spectrum acquisition.
-
Testing the Effect of Bathymetric Data Reduction on the Shape of the Digital Bottom Model
PublicationDepth data and the digital bottom model created from it are very important in the inland and coastal water zones studies and research. The paper undertakes the subject of bathymetric data processing using reduction methods and examines the impact of data reduction according to the resulting representations of the bottom surface in the form of numerical bottom models. Data reduction is an approach that is meant to reduce the size...
-
Autonomous Driver Based on an Intelligent System of Decision-Making
PublicationThe paper presents and discusses a system (xDriver) which uses an Intelligent System of Decision-making (ISD) for the task of car driving. The principal subject is the implementation, simulation and testing of the ISD system described earlier in our publications for the task of autonomous driving. The design of the whole ISD system is a result of a thorough modelling of human psychology based on an extensive literature study. Concepts...
-
Acceptance Testing of Software Products for Cloud-Based On-Line Delivery
PublicationSoftware products intended for on-line delivery by distributors serving an open community of subscribers are developed in a specific life-cycle model, in which roles of the major stakeholders are strongly separated, unlike in any other software development model known in software engineering. Its specificity underlines the fact that a distributor of the final product, responsible for its acceptance for publication and delivery...
-
Portable parallel simulator using MPI for 2D and 3D domains: design and performance testing
PublicationW artykule prezentujemy szczegóły projektowo-implementacyjne naszego modularnego kodu symulacyjnego z wykorzystaniem MPI, w tym nakładaniem obliczeń i komunikacji. Podkreślamy modularność naszej implementacji pozwalającą na łatwą adaptację kodu dla innych zasotosowań. Prezentujemy związek pomiędzy przyspieszeniem obliczeń, rozmiarem i kształtami trójwymiarowych domen z różnymi stosunkami liczby węzłów aktualizowanych przez procesor...
-
Self-Testing of Analog Parts Terminated by ADCs Based on Multiple Sampling of Time Responses
PublicationA new approach for self-testing of analog parts terminated by analog-to-digital converters in mixed-signal electronic microsystems controlled by microcontrollers is presented. It is based upon a new fault diagnosis method using a transformation of the set of voltage samples of the time response of a tested analog part to a square impulse into localization curves placed in a multidimensional measurement space. The method can be used...
-
An idea of an approach to self-testing of mixed signal systems based on a quadratic function stimulation
PublicationA new approach to self-testing of the analog parts of mixed-signal electronic systems controlled by microcontrollers equipped with an ADC and a DAC is presented. It is based on a BIST and a new fault diagnosis method. A novelty is the use of the DAC as a component of the BIST, allowing to generate a stimulating signal with a quadratic function shape. It contributes to a better extraction of information about the state of the circuit...
-
Study on population dynamics for triple-linked food chain using a simulation-based approach
PublicationThe procedures based on simulation have become a feasible testing method that does not require investing valuable resources to create a concrete prototype, especially with the increasing computational power of computers. Thus, design changes can be adopted and design errors can be fixed before it is too late. Simulation turns to be a cheap, safe and often more acceptable from an ethical perspective. In our work we summarize the...
-
Testing method of analog parts for mixed signal microsystems based on microcontrolles.
PublicationZaproponowano nową metodę detekcji i lokalizacji pojedynczych uszkodzeń parametrycznych, która może znaleźć zastosowanie do samo-testowania sieci analogowych w mikrosystemach mieszanych sygnałowo sterowanych mikrokontrolerami. Metoda ta jest oparta na przekształceniu transformującym próbki odpowiedzi czasowej na pobudzenie impulsem prostokątnym na krzywe identyfikacyjne na płaszczyźnie. Metoda pozwala na detekcję i lokalizację...
-
Reliability Testing of Wind Farm Devices Based on the Mean Time to Failures
Publication -
Assembling and testing of quasi-static hybrid piezoelectric motor based on electroactive lubrication principle
PublicationThe presented paper concerns a novel concept of hybrid piezoelectric motor based on electroactive lubrication principle. Its structure is combined of quasi-static and resonance piezoelectric actuators, synchronizing their work to generate the rotary movement. The hybrid motor topology is compared to the existing piezoelectric motors, regarding its field of applications in embedded systems with very high security requirements. The...
-
A method of self-testing of analog circuits based on fully differential op-amps with theTCBF classifier
PublicationA new approach of self-testing of analog circuits based on fully differential op-amps of mixed-signal systems controlled by microcontrollers is presented. It consists of a measurement procedure and a fault diagnosis procedure. We measure voltage samples of a time response of a tested circuit on a stimulation of a unit step function given at the common-mode reference voltage input of the op-amp. The fault detection and fault localization...
-
Comparing noise levels and audiometric testing results employing it based diagnostic systems.
PublicationW referacie przedstawiono Internetowy system przeznaczony do przeprowadzania przesiewowych testów słuchu. Zaprezentowano również system informacyjny przeznaczony do monitorowania hałasu środowiskowego. Obie Internetowe aplikacje mogą być pomocne w zmniejszaniu częstości występowania chorób słuchu powodowanych przez hałas środowiskowy i przemysłowy. Porównano wyniki testów audiometrycznych z pomiarami hałasu na podstawie zawartości...
-
Design of the setup for testing optical telemetry ranging including turbulence simulator for the Earth-to-satellite communication link
Publication -
From Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
PublicationFrom Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
-
Cold Plasma Synthesis and Testing of NiOX-Based Thin-Film Catalysts for CO2 Methanation
Publication -
Reliability Testing of Wind Farm Devices Based on the Mean Time between Failures (MTBF)
Publication -
Technical State Assessment of Charge Exchange System of Self-Ignition Engine, Based On the Exhaust Gas Composition Testing
PublicationThis paper presents possible use of results of exhaust gas composition testing of self - ignition engine for technical state assessment of its charge exchange system under assumption that there is strong correlation between considered structure parameters and output signals in the form of concentration of toxic compounds (ZT) as well as unambiguous character of their changes. Concentration of the analyzed ZT may be hence considered...
-
Measurements and calculation of self inductance of testing coils used in physical transformer model construction and its frequency analysis
Publication -
Model-Driven Testing of Real-Time Embedded Systems - From Object Oriented towards Function Oriented Development
PublicationMBD
-
Carboxymethylated starch and cellulose derivatives-based film as human skin equivalent for adhesive properties testing
Publication -
A Set of Low-power Microcontroller-based Modules Used for Testing of Small Energy Measurement Methods
PublicationEstimation of energy consumption of low-power devices is not widely discussed in the scientific literature, but this topic is getting more and more popular. Evaluation process of newly developed methods and instrumentation requires carefull treatment. In order to fulfill this niche, the set of micro-power microcontroller based devices was proposed. The devices represent typical energy consuption profiles and allow experimental verification...
-
A new approach to modeling of selected human respiratory system diseases, directed to computer simulations
PublicationThis paper presents a new versatile approach to model severe human respiratory diseases via computer simulation. The proposed approach enables one to predict the time histories of various diseases via information accessible in medical publications. This knowledge is useful to bioengineers involved in the design and construction of medical devices that are employed for monitoring of respiratory condition. The approach provides the...
-
Self-testing of analog parts of mixed-signal electronic microsystems based on multiple sampling of time responses
PublicationW artykule przedstawiono nowe podejście samo-testowania toru analogowego zakończonego przetwornikiem A/C w mieszanych sygnałowo elektronicznych systemach wbudowanych sterowanych mikrokontrolerami. Bazuje ono na nowej metodzie diagnostycznej opartej na przekształceniu transformującym zbiór próbek odpowiedzi czasowej układu badanego na pobudzenie impulsem prostokątnym na rodzinę krzywych identyfikacyjnych umieszczonych w przestrzeni...
-
Jakub Konkol dr inż.
People -
Monte Carlo simulations of the fracture resistance of an asphalt pavement layer
PublicationThe purpose of the proposed numerical model is to analyze the cracking of the wearing course in a pavement overlay, assuming a pre-existing crack that passes through the binding layer and base. The computations employed the author's simulation-based Monte Carlo material model, which describes the failure process of a Semi-Circular Bend (SCB) specimen during standard laboratory testing of asphalt concrete. A key feature of this...
-
Graph security testing
PublicationSet S ⊂ V is called secure set iff ∀ X ⊂ S | N [ X ] ∩ S | ≥ | N ( X ) \ S | [3]. That means that every subset of a secure set has at least as many friends (neighbour vertices in S) as enemies (neighbour vertices outside S) and will be defended in case of attack. Problem of determining if given set is secure is co −NP -complete, there is no efficient algorithm solving it [3]. Property testers are algorithms that distinguish inputs...
-
Analysis of the Hydrodynamic Properties of the 3-Column Spar Platform for Offshore Wind Turbines
PublicationThe article presents a design of a floating platform for offshore wind turbines. The concept is a modification of the Spar design and consists of three variable section columns connected to each other by a ballast tank in the lower part of the platform. This solution makes it possible to influence the position of the centre of buoyancy and the centre of mass of the structure. Compared to the classic Spar platform structure, the...
-
Non-destructive Testing of Wooden Elements
PublicationExamining the condition of wooden elements is crucial from the perspective of proper structure performance. If the deterioration in the internal wood condition, which displays no symptoms visible from the outside, is detected, the further spread of the deterioration can be prevented. Test results often point to the necessity of conducting repairs and, renovations, replacing the structure of wooden beams, or even substituting a...
-
Load testing of a suspended footbridge in Radom (Poland)
PublicationThe footbridge in Radom is a suspended bridge of an interesting architectural form. The structure was de-signed for 4 kN/m2 of crowd loading. Dynamic calculations were not included in the design. The structure’s acceptance tests took place on the 14th of October 2016. The behaviour of the footbridge in static testing met the expectations. Unfortunately, as a result of dynamic tests, dangerous behaviour of the footbridge was revealed....
-
The experimental evaluation and modeling of SBR removing nutrients under varied aeration conditions
PublicationSequencing batch reactors (SBR) are mainly characterized by sequential process phases of fill, react, settle, decant and idle periods that allow considerable flexibility in the design and operation in different conditions. This flexibility and the unique features of SBRs used to wastewater treatment by activated sludge systems operated in laboratory scale, allow not only conducting experiments for the standard conditions but also...
-
On Software Unit Testing For Security and Performance Gain At Unit Level
PublicationPerformance and security are software (SW) application attributes situated on the opposite corners of system design. In the most drastic example the most secure component is the one totally isolated from the outside world, with communication performance reduced to zero level (e.g. disconnected physically from the network, placed inside a Faraday cage to eliminate possible wireless accessibility). On the other hand the most performance-optimized...
-
On Software Unit Testing For Improving Security And Performance Of Distributed Applications
PublicationPerformance and security are software (SW) application attributes situated on the opposite corners of system design. In the most drastic example the most secure component is the one totally isolated from the outside world, with communication performance reduced to zero level (e.g. disconnected physically from the network, placed inside a Faraday cage to eliminate possible wireless accessibility). On the other hand the most performance-optimized...