首页 > 最新文献

2010 12th Biennial Baltic Electronics Conference最新文献

英文 中文
Fabrication methods for microfluidic lab-on-chips 微流控芯片实验室的制造方法
Pub Date : 2010-11-11 DOI: 10.1109/BEC.2010.5630916
A. T. Giannitsis, M. Min
Microfluidic lab-on-chips are miniaturized biosensors that integrate fluidic, electronics, thermal elements or optical apparatuses for analysing electrolytic or biochemical samples. Supplementary to their analysing capabilities, the microfluidic lab-on-chips can process, control, separate or sort fluidic samples by means of hydrodynamic manipulation, thermal gradients, electrical or optical actuation. The significance of the lab-on-chips lies on the potential of automating laboratory procedures which highly reduce the time of the laboratory tests. We review numerous fabrication methods and procedures that we have experienced by designing such devices.
微流控芯片实验室是微型生物传感器,集成了流体,电子,热元件或光学仪器,用于分析电解或生化样品。除了分析能力之外,微流控芯片实验室还可以通过流体动力学操作、热梯度、电或光学驱动来处理、控制、分离或分类流体样品。芯片实验室的意义在于实验室程序自动化的潜力,这大大减少了实验室测试的时间。我们回顾了我们在设计这种装置时所经历的许多制造方法和程序。
{"title":"Fabrication methods for microfluidic lab-on-chips","authors":"A. T. Giannitsis, M. Min","doi":"10.1109/BEC.2010.5630916","DOIUrl":"https://doi.org/10.1109/BEC.2010.5630916","url":null,"abstract":"Microfluidic lab-on-chips are miniaturized biosensors that integrate fluidic, electronics, thermal elements or optical apparatuses for analysing electrolytic or biochemical samples. Supplementary to their analysing capabilities, the microfluidic lab-on-chips can process, control, separate or sort fluidic samples by means of hydrodynamic manipulation, thermal gradients, electrical or optical actuation. The significance of the lab-on-chips lies on the potential of automating laboratory procedures which highly reduce the time of the laboratory tests. We review numerous fabrication methods and procedures that we have experienced by designing such devices.","PeriodicalId":228594,"journal":{"name":"2010 12th Biennial Baltic Electronics Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130686704","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Baltic Electronics Conference (BEC) series: Long and winding road 波罗的海电子会议(BEC)系列:漫长而曲折的道路
Pub Date : 2010-11-11 DOI: 10.1109/BEC.2010.5631539
T. Rang
The history of the Baltic Electronics Conference BEC series is presented. What kind of hindrances and hurdles the idea brought to the organizers and how we reached the level, where we are today. Some futuristic visions are presented as well.
介绍了波罗的海电子会议BEC系列的历史。这个想法给组织者带来了什么样的阻碍和障碍,我们是如何达到今天的水平的。书中还提出了一些未来主义的设想。
{"title":"Baltic Electronics Conference (BEC) series: Long and winding road","authors":"T. Rang","doi":"10.1109/BEC.2010.5631539","DOIUrl":"https://doi.org/10.1109/BEC.2010.5631539","url":null,"abstract":"The history of the Baltic Electronics Conference BEC series is presented. What kind of hindrances and hurdles the idea brought to the organizers and how we reached the level, where we are today. Some futuristic visions are presented as well.","PeriodicalId":228594,"journal":{"name":"2010 12th Biennial Baltic Electronics Conference","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115340293","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Hydrogen sensing performance of TiO2 nanotubes at room temperature TiO2纳米管在室温下的氢传感性能
Pub Date : 2010-11-11 DOI: 10.1109/BEC.2010.5631500
J. Moon, I. Tuokko, A. Suominen, A. Tuominen, D. Oh, B. K. Park, H. Kim
We report the hydrogen sensing properties of a sensor using TiO2 nanotube arrays. The TiO2 nanotube arrays were fabricated by anodization on titanium foil, in an electrolyte containing 0.5 wt% hydrofluoric acid mixed with water, the electric potential being 15V. TiO2 nanotube arrays were annealed at 600 Celsius for 1 h. The sensors were equipped with platinum electrodes. These two were connected with a metal wire using silver paste. The measurements of the sensor's electrical resistance were performed in NTP. The hydrogen sensor using TiO2 nanotube arrays shows a linear sensitivity with various hydrogen concentrations. After repeating exposure to hydrogen at room temperature, the sensor's resistance indicated a stable recovery to its initial resistance. The reproducibility of this exam is reliable.
我们报道了一种使用TiO2纳米管阵列的传感器的氢传感性能。在含有0.5 wt%氢氟酸与水混合的电解液中,电势为15V,在钛箔上阳极氧化制备TiO2纳米管阵列。TiO2纳米管阵列在600℃下退火1 h,传感器配备铂电极。这两个是用银膏的金属线连接起来的。传感器电阻的测量在NTP中进行。采用TiO2纳米管阵列的氢传感器对不同浓度的氢具有线性灵敏度。在室温下反复暴露于氢气后,传感器的电阻显示稳定地恢复到其初始电阻。这项检查的重现性是可靠的。
{"title":"Hydrogen sensing performance of TiO2 nanotubes at room temperature","authors":"J. Moon, I. Tuokko, A. Suominen, A. Tuominen, D. Oh, B. K. Park, H. Kim","doi":"10.1109/BEC.2010.5631500","DOIUrl":"https://doi.org/10.1109/BEC.2010.5631500","url":null,"abstract":"We report the hydrogen sensing properties of a sensor using TiO2 nanotube arrays. The TiO2 nanotube arrays were fabricated by anodization on titanium foil, in an electrolyte containing 0.5 wt% hydrofluoric acid mixed with water, the electric potential being 15V. TiO2 nanotube arrays were annealed at 600 Celsius for 1 h. The sensors were equipped with platinum electrodes. These two were connected with a metal wire using silver paste. The measurements of the sensor's electrical resistance were performed in NTP. The hydrogen sensor using TiO2 nanotube arrays shows a linear sensitivity with various hydrogen concentrations. After repeating exposure to hydrogen at room temperature, the sensor's resistance indicated a stable recovery to its initial resistance. The reproducibility of this exam is reliable.","PeriodicalId":228594,"journal":{"name":"2010 12th Biennial Baltic Electronics Conference","volume":"229 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114967535","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Optimization of FPGA-based circuits for recursive data sorting 基于fpga的递归数据排序电路优化
Pub Date : 2010-11-11 DOI: 10.1109/BEC.2010.5629731
D. Mihhailov, V. Sklyarov, I. Skliarova, A. Sudnitson
The paper describes sequential and parallel methods of recursive data sorting that are applied to binary trees. Hardware circuits implementing these methods are based on the model of a hierarchical finite state machine, which provides support for recursion in hardware. It is shown that the considered technique allows the known optimization methods for conventional state machines to be applied directly. The described circuits have been implemented in commercial FPGAs and tested in numerous examples. Analysis and comparison of alternative and competitive techniques is also done in the paper.
本文介绍了应用于二叉树的递归数据排序的顺序和并行方法。实现这些方法的硬件电路是基于层次有限状态机模型的,这为硬件递归提供了支持。结果表明,所考虑的技术允许直接应用传统状态机的已知优化方法。所描述的电路已经在商业fpga中实现,并在许多例子中进行了测试。本文还对替代技术和竞争技术进行了分析和比较。
{"title":"Optimization of FPGA-based circuits for recursive data sorting","authors":"D. Mihhailov, V. Sklyarov, I. Skliarova, A. Sudnitson","doi":"10.1109/BEC.2010.5629731","DOIUrl":"https://doi.org/10.1109/BEC.2010.5629731","url":null,"abstract":"The paper describes sequential and parallel methods of recursive data sorting that are applied to binary trees. Hardware circuits implementing these methods are based on the model of a hierarchical finite state machine, which provides support for recursion in hardware. It is shown that the considered technique allows the known optimization methods for conventional state machines to be applied directly. The described circuits have been implemented in commercial FPGAs and tested in numerous examples. Analysis and comparison of alternative and competitive techniques is also done in the paper.","PeriodicalId":228594,"journal":{"name":"2010 12th Biennial Baltic Electronics Conference","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121948178","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Modified estimation of shielding efficiency for hole 孔屏蔽效率的修正估计
Pub Date : 2010-11-11 DOI: 10.1109/BEC.2010.5631150
G. Balodis, A. Ruško, V. Novikovs
For reduction of the impact of electromagnetic field on parameters of electronic equipment, shielding in many different shapes and qualities is used. The quality of the shielding is dependent on size, shape and amount of openings in the body of the shield. In electromagnetic immunity and emission tests it is very difficult to predict the shielding efficiency from theory of refraction, reflection and diffraction due to the very complicated shape and material mix in the design configuration of multilayer PCB, supports, covers and screens. For this reason in order to build up and make calculations of scattering matrix parameters as the estimation of the shielding efficiency in the given frequency range we propose to use the drawn 3D electromagnetic model.
为了减少电磁场对电子设备参数的影响,使用了许多不同形状和质量的屏蔽。屏蔽的质量取决于屏蔽体的大小、形状和开口的数量。在电磁抗扰度和发射测试中,由于多层PCB板、支架、盖板和屏的设计结构非常复杂,其形状和材料组合非常复杂,因此很难从折射、反射和衍射理论来预测屏蔽效率。因此,为了建立和计算散射矩阵参数作为给定频率范围内屏蔽效率的估计,我们建议使用绘制的三维电磁模型。
{"title":"Modified estimation of shielding efficiency for hole","authors":"G. Balodis, A. Ruško, V. Novikovs","doi":"10.1109/BEC.2010.5631150","DOIUrl":"https://doi.org/10.1109/BEC.2010.5631150","url":null,"abstract":"For reduction of the impact of electromagnetic field on parameters of electronic equipment, shielding in many different shapes and qualities is used. The quality of the shielding is dependent on size, shape and amount of openings in the body of the shield. In electromagnetic immunity and emission tests it is very difficult to predict the shielding efficiency from theory of refraction, reflection and diffraction due to the very complicated shape and material mix in the design configuration of multilayer PCB, supports, covers and screens. For this reason in order to build up and make calculations of scattering matrix parameters as the estimation of the shielding efficiency in the given frequency range we propose to use the drawn 3D electromagnetic model.","PeriodicalId":228594,"journal":{"name":"2010 12th Biennial Baltic Electronics Conference","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129318930","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Application of bidding automata for measuring the informativeness of hand motion characteristic features 竞价自动机在手部动作特征信息量测量中的应用
Pub Date : 2010-11-11 DOI: 10.1109/BEC.2010.5631639
Kenno Parm, S. Nõmm, J. Vain
This research evaluates how informative are the feature (coordinates, velocities and accelerations) captured by 3D motion tracking system for segmentation of human hand movements. Six gestures and their transitions have been studied. To measure the informativeness of the features the bidding automaton was constructed that compares the human-defined segmentation points (“techer” reference data set) to the changes of the real feature values in neighborhood of those gesture transition/switching points. Based on the comparison certain weights, describing correlation between changes of certain feature and teacher defined switching, were assigned to each feature at each switching point.
本研究评估了3D运动跟踪系统捕获的特征(坐标、速度和加速度)对人类手部运动分割的信息量。研究了六种手势及其转换。为了测量特征的信息量,构建了竞价自动机,将人类定义的分割点(“老师”参考数据集)与这些手势转换/切换点附近真实特征值的变化进行比较。在比较的基础上,在每个切换点为每个特征分配一定的权重,描述某些特征的变化与教师定义的切换之间的相关性。
{"title":"Application of bidding automata for measuring the informativeness of hand motion characteristic features","authors":"Kenno Parm, S. Nõmm, J. Vain","doi":"10.1109/BEC.2010.5631639","DOIUrl":"https://doi.org/10.1109/BEC.2010.5631639","url":null,"abstract":"This research evaluates how informative are the feature (coordinates, velocities and accelerations) captured by 3D motion tracking system for segmentation of human hand movements. Six gestures and their transitions have been studied. To measure the informativeness of the features the bidding automaton was constructed that compares the human-defined segmentation points (“techer” reference data set) to the changes of the real feature values in neighborhood of those gesture transition/switching points. Based on the comparison certain weights, describing correlation between changes of certain feature and teacher defined switching, were assigned to each feature at each switching point.","PeriodicalId":228594,"journal":{"name":"2010 12th Biennial Baltic Electronics Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130527116","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Soft-switching capability analysis of a qZSI-based DC/DC converter 基于qzsi的DC/DC变换器软开关性能分析
Pub Date : 2010-11-11 DOI: 10.1109/BEC.2010.5630017
J. Zakis, D. Vinnikov, I. Roasto
This paper analyzes the PWM control method for a new type of step-up DC/DC converters with galvanic isolation - the quasi-Z-source inverter (qZSI) based DC/DC converter. The PWM control method for qZSI with soft-switching capability is proposed and experimentally proved. The operation principles of discussed converter are explained. The experimental verification and analysis of top and bottom IGBTs of inverter bridge has been made. A prototype has been built in the laboratory and experiments are presented to analyse the soft-switching capability in loss reduction.
本文分析了一种新型电隔离升压式DC/DC变换器——基于准z源逆变器(qZSI)的DC/DC变换器的PWM控制方法。提出了具有软开关能力的qZSI的PWM控制方法,并进行了实验验证。介绍了所讨论的转炉的工作原理。对逆变器桥上、下igbt进行了实验验证和分析。在实验室建立了一个原型,并进行了实验,分析了软开关在降低损耗方面的能力。
{"title":"Soft-switching capability analysis of a qZSI-based DC/DC converter","authors":"J. Zakis, D. Vinnikov, I. Roasto","doi":"10.1109/BEC.2010.5630017","DOIUrl":"https://doi.org/10.1109/BEC.2010.5630017","url":null,"abstract":"This paper analyzes the PWM control method for a new type of step-up DC/DC converters with galvanic isolation - the quasi-Z-source inverter (qZSI) based DC/DC converter. The PWM control method for qZSI with soft-switching capability is proposed and experimentally proved. The operation principles of discussed converter are explained. The experimental verification and analysis of top and bottom IGBTs of inverter bridge has been made. A prototype has been built in the laboratory and experiments are presented to analyse the soft-switching capability in loss reduction.","PeriodicalId":228594,"journal":{"name":"2010 12th Biennial Baltic Electronics Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125354652","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Analysis of switching properties of different high voltage IGBTs operating under hard-switching conditions 不同高压igbt在硬开关条件下的开关特性分析
Pub Date : 2010-11-11 DOI: 10.1109/BEC.2010.5630653
A. Blinov, T. Jalakas, D. Vinnikov, J. Laugis
This paper studies the switching properties of different IGBTs with blocking voltage of 6.5 kV operating under hard-switching conditions. The reference topology used in analysis is a half-bridge inverter with power rating of 300 kVA. Since the development of high-voltage IGBT based converters is often a tradeoff between compactness, complexity, efficiency and cost the different state of the art 6.5 kV IGBTs with collector currents of 200 A, 400 A, 600 A and 750 A were compared under the desired operation conditions. The most technically and economical feasible solution is proposed. Some generalizations and practical considerations are provided.
本文研究了不同阻塞电压为6.5 kV的igbt在硬开关条件下的开关特性。分析中使用的参考拓扑是额定功率为300kva的半桥式逆变器。由于基于高压IGBT的变换器的开发通常是在紧凑性、复杂性、效率和成本之间进行权衡,因此在期望的运行条件下,比较了集电极电流为200a、400a、600a和750a的6.5 kV IGBT的不同状态。提出了技术上和经济上最可行的解决方案。提供了一些概括和实际考虑。
{"title":"Analysis of switching properties of different high voltage IGBTs operating under hard-switching conditions","authors":"A. Blinov, T. Jalakas, D. Vinnikov, J. Laugis","doi":"10.1109/BEC.2010.5630653","DOIUrl":"https://doi.org/10.1109/BEC.2010.5630653","url":null,"abstract":"This paper studies the switching properties of different IGBTs with blocking voltage of 6.5 kV operating under hard-switching conditions. The reference topology used in analysis is a half-bridge inverter with power rating of 300 kVA. Since the development of high-voltage IGBT based converters is often a tradeoff between compactness, complexity, efficiency and cost the different state of the art 6.5 kV IGBTs with collector currents of 200 A, 400 A, 600 A and 750 A were compared under the desired operation conditions. The most technically and economical feasible solution is proposed. Some generalizations and practical considerations are provided.","PeriodicalId":228594,"journal":{"name":"2010 12th Biennial Baltic Electronics Conference","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126236543","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Power consumption of sequential CMOS circuits using Logic Pictures 使用逻辑图像的顺序CMOS电路的功耗
Pub Date : 2010-11-11 DOI: 10.1109/BEC.2010.5631515
M. Fouda, M. B. Abdelhalim, H. Amer
In practice, sequential circuits happen to be the most common type of logic circuits. Switching in sequential circuits is the hardest to estimate due to the complex higher order dependencies in the switching profile, induced by the spatio-temporal components of the circuit and mainly caused by the state feedbacks that are present. These state feedbacks do not exist in combinational circuits. In this paper, a new methodology is developed to calculate the value of the average power consumption of sequential CMOS circuits. The methodology is accurate while other methodologies produce approximate results. It is based on the concept of Logic Pictures. To verify the correctness, the methodology was applied to four ISCAS89 benchmark circuits. The obtained results were identical to those produced by Monte Carlo simulations.
在实践中,顺序电路恰好是最常见的逻辑电路类型。顺序电路中的开关是最难估计的,因为开关曲线中存在复杂的高阶依赖关系,这是由电路的时空成分引起的,主要是由存在的状态反馈引起的。这些状态反馈在组合电路中不存在。本文提出了一种计算顺序CMOS电路平均功耗的新方法。这种方法是准确的,而其他方法只能得到近似的结果。它是基于逻辑图的概念。为了验证该方法的正确性,将该方法应用于四个ISCAS89基准电路。所得结果与蒙特卡罗模拟结果一致。
{"title":"Power consumption of sequential CMOS circuits using Logic Pictures","authors":"M. Fouda, M. B. Abdelhalim, H. Amer","doi":"10.1109/BEC.2010.5631515","DOIUrl":"https://doi.org/10.1109/BEC.2010.5631515","url":null,"abstract":"In practice, sequential circuits happen to be the most common type of logic circuits. Switching in sequential circuits is the hardest to estimate due to the complex higher order dependencies in the switching profile, induced by the spatio-temporal components of the circuit and mainly caused by the state feedbacks that are present. These state feedbacks do not exist in combinational circuits. In this paper, a new methodology is developed to calculate the value of the average power consumption of sequential CMOS circuits. The methodology is accurate while other methodologies produce approximate results. It is based on the concept of Logic Pictures. To verify the correctness, the methodology was applied to four ISCAS89 benchmark circuits. The obtained results were identical to those produced by Monte Carlo simulations.","PeriodicalId":228594,"journal":{"name":"2010 12th Biennial Baltic Electronics Conference","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126345656","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Model-based synthesis of reactive planning on-line testers for non-deterministic embedded systems 基于模型的非确定性嵌入式系统响应计划在线测试仪综合
Pub Date : 2010-11-11 DOI: 10.1109/BEC.2010.5631735
M. Kaaramees, J. Vain, K. Raiend
We describe a method and algorithm for model-based construction of an on-line reactive planning tester (RPT) for black-box testing of embedded systems specified by non-deterministic extended finite state machine (EFSM) models. The key idea of RPT lies in off-line learning of the System Under Test (SUT) model to prepare the data for efficient on-line reactive planning. A test purpose is attributed to the transitions of the SUT model by a set of Boolean conditions called traps. The result of the off-line analysis is a set of constraints used in on-line testing for guiding the SUT towards taking the moves represented by trap-labeled transitions in SUT model and generating required data for inputs. We demonstrate the results on a simple example and discuss the practical experiences of using the proposed method.
本文描述了一种基于模型构建的在线反应计划测试仪(RPT)的方法和算法,该测试仪用于由非确定性扩展有限状态机(EFSM)模型指定的嵌入式系统的黑盒测试。RPT的核心思想在于离线学习被测系统(SUT)模型,为有效的在线响应计划准备数据。测试目的通过一组称为陷阱的布尔条件归因于SUT模型的转换。离线分析的结果是在线测试中使用的一组约束,用于指导SUT采取SUT模型中由陷阱标记的转换所表示的移动,并为输入生成所需的数据。最后通过一个简单的例子对结果进行了验证,并讨论了使用该方法的实际经验。
{"title":"Model-based synthesis of reactive planning on-line testers for non-deterministic embedded systems","authors":"M. Kaaramees, J. Vain, K. Raiend","doi":"10.1109/BEC.2010.5631735","DOIUrl":"https://doi.org/10.1109/BEC.2010.5631735","url":null,"abstract":"We describe a method and algorithm for model-based construction of an on-line reactive planning tester (RPT) for black-box testing of embedded systems specified by non-deterministic extended finite state machine (EFSM) models. The key idea of RPT lies in off-line learning of the System Under Test (SUT) model to prepare the data for efficient on-line reactive planning. A test purpose is attributed to the transitions of the SUT model by a set of Boolean conditions called traps. The result of the off-line analysis is a set of constraints used in on-line testing for guiding the SUT towards taking the moves represented by trap-labeled transitions in SUT model and generating required data for inputs. We demonstrate the results on a simple example and discuss the practical experiences of using the proposed method.","PeriodicalId":228594,"journal":{"name":"2010 12th Biennial Baltic Electronics Conference","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133195517","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
2010 12th Biennial Baltic Electronics Conference
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1