首页 > 最新文献

2020 27th International Conference on Mixed Design of Integrated Circuits and System (MIXDES)最新文献

英文 中文
A W-band SiGe BiCMOS Transmitter Based on K-band Wideband VCO for Radar Applications 一种基于k波段宽带VCO的w波段SiGe BiCMOS发射机
Pub Date : 2020-06-01 DOI: 10.23919/MIXDES49814.2020.9155992
M. Kucharski, M. Widlok, R. Piesiewicz
This paper presents an 86-97 GHz transmitter (TX) using a wideband voltage-controlled oscillator (VCO) operating in 21.5-26 GHz range and frequency quadrupler (FQ) fabricated in SiGe BiCMOS technology. The VCO implements a self-buffered common-collector Colpitts topology with binary-weighted varactor ladder for low VCO gain ($K_{VCO}$) and wide tuning range. Use of high-Q passive components and low-noise heterojunction bipolar transistors (HBT) results in worst-case phase noise of -92.8 dBc/Hz at 1MHz offset from the carrier. The VCO is loaded by a low-loss transformer that splitts the signal between frequency prescaling and multiplying blocks. The prescaler comprise three divide-by-two circuits (DTC) based on D flip-flops (D-FF) providing adequate feedback signal for an external phase-locked loop (PLL). The multiplying section consists of two cascaded Gilbert-cell frequency doublers driving a W-band power amplifier (PA). The TX achieves 0.2dBm output power at 92GHz and more than -2.8dBm in 86-97 GHz range consuming 60mA from 3.3V supply. The chip occupies 0.755 mm2 silicon area.
本文介绍了一种86-97 GHz的发射机(TX),该发射机采用工作在21.5-26 GHz范围内的宽带压控振荡器(VCO)和采用SiGe BiCMOS技术制造的四倍频器(FQ)。该VCO采用自缓冲共集电极Colpitts拓扑结构,采用二元加权变容阶梯结构,可实现低VCO增益($K_{VCO}$)和宽调谐范围。使用高q无源元件和低噪声异质结双极晶体管(HBT),在距载波1MHz偏移时,最坏情况下相位噪声为-92.8 dBc/Hz。压控振荡器由一个低损耗变压器加载,该变压器在频率预标和乘法块之间分割信号。该预分频器由三个基于D触发器(D- ff)的二分电路(DTC)组成,为外部锁相环(PLL)提供足够的反馈信号。倍增部分由两个级联的吉尔伯特单元倍频器驱动w波段功率放大器(PA)组成。TX在92GHz时输出功率达到0.2dBm,在86-97 GHz范围内输出功率超过-2.8dBm,从3.3V电源消耗60mA。芯片的硅面积为0.755 mm2。
{"title":"A W-band SiGe BiCMOS Transmitter Based on K-band Wideband VCO for Radar Applications","authors":"M. Kucharski, M. Widlok, R. Piesiewicz","doi":"10.23919/MIXDES49814.2020.9155992","DOIUrl":"https://doi.org/10.23919/MIXDES49814.2020.9155992","url":null,"abstract":"This paper presents an 86-97 GHz transmitter (TX) using a wideband voltage-controlled oscillator (VCO) operating in 21.5-26 GHz range and frequency quadrupler (FQ) fabricated in SiGe BiCMOS technology. The VCO implements a self-buffered common-collector Colpitts topology with binary-weighted varactor ladder for low VCO gain ($K_{VCO}$) and wide tuning range. Use of high-Q passive components and low-noise heterojunction bipolar transistors (HBT) results in worst-case phase noise of -92.8 dBc/Hz at 1MHz offset from the carrier. The VCO is loaded by a low-loss transformer that splitts the signal between frequency prescaling and multiplying blocks. The prescaler comprise three divide-by-two circuits (DTC) based on D flip-flops (D-FF) providing adequate feedback signal for an external phase-locked loop (PLL). The multiplying section consists of two cascaded Gilbert-cell frequency doublers driving a W-band power amplifier (PA). The TX achieves 0.2dBm output power at 92GHz and more than -2.8dBm in 86-97 GHz range consuming 60mA from 3.3V supply. The chip occupies 0.755 mm2 silicon area.","PeriodicalId":145224,"journal":{"name":"2020 27th International Conference on Mixed Design of Integrated Circuits and System (MIXDES)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128824510","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}
引用次数: 2
CMOS Interface for Capacitive Sensors with Custom Fully-Differential Amplifiers 电容式传感器的CMOS接口与定制的全差分放大器
Pub Date : 2020-06-01 DOI: 10.23919/MIXDES49814.2020.9155739
M. Jankowski, P. Zając, Piotr Amrozik, M. Szermer
In many applications it is crucial to design reliable and efficient analog readout circuits for micro-electromechanical (MEMS) capacitive sensors. In this paper, we describe the switched-capacitor, open-loop, capacitive-sensing readout circuit, which was designed and manufactured in 0.18 μm technology. Non-standard application of a fully differential amplifier structure is also presented. The post-layout simulation results are described to show the proper operation of the circuit. They show that with the proper symmetrical design of the differential signal path the output offset voltage can be kept at acceptable level.
在许多应用中,为微机电(MEMS)电容式传感器设计可靠、高效的模拟读出电路是至关重要的。本文介绍了采用0.18 μm工艺设计和制造的开关电容开环电容传感读出电路。还介绍了全差分放大器结构的非标准应用。给出了布局后的仿真结果,说明了电路的正常工作。结果表明,采用适当的差分信号路径对称设计,输出偏置电压可以保持在可接受的水平。
{"title":"CMOS Interface for Capacitive Sensors with Custom Fully-Differential Amplifiers","authors":"M. Jankowski, P. Zając, Piotr Amrozik, M. Szermer","doi":"10.23919/MIXDES49814.2020.9155739","DOIUrl":"https://doi.org/10.23919/MIXDES49814.2020.9155739","url":null,"abstract":"In many applications it is crucial to design reliable and efficient analog readout circuits for micro-electromechanical (MEMS) capacitive sensors. In this paper, we describe the switched-capacitor, open-loop, capacitive-sensing readout circuit, which was designed and manufactured in 0.18 μm technology. Non-standard application of a fully differential amplifier structure is also presented. The post-layout simulation results are described to show the proper operation of the circuit. They show that with the proper symmetrical design of the differential signal path the output offset voltage can be kept at acceptable level.","PeriodicalId":145224,"journal":{"name":"2020 27th International Conference on Mixed Design of Integrated Circuits and System (MIXDES)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132513182","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}
引用次数: 6
Virtualization of an Aluminum Cans Production Line Using Virtual Reality 利用虚拟现实技术实现铝罐生产线的虚拟化
Pub Date : 2020-06-01 DOI: 10.23919/MIXDES49814.2020.9156023
Lucas Sales de Oliveira Almeida, Alexandre Baratella Lugli, T. Pimenta, Matheus Vinícius Cirino e Silva, João Paulo Carvalho Henriques, Renzo Paranaíba Mesquita
In the context of the 4.0 industry, new technologies have been aggregated to the industries, which has been pushing production levels and through the use of Big Data keeping great control over its products. Connectivity has been the main focus of this new revolution highlighting the Internet of Things and Systems Integration. One pillar of this massive change industries is Augmented and Virtual reality, which shows itself as a promising area for training purposes and error diagnoses. The focus of this paper is to develop a virtual reality system capable of showing a can production company operators the procedure for components exchange in a machine responsible for the extrusion of aluminum cups. For this end an HTC Vive device was employed for the immersion of the operator, the full modeling of the machine was also needed. The methods used to fulfill the project goals are presented as well as the tools used to develop the proposed system.
在工业4.0的背景下,新技术已经聚集到行业中,这推动了生产水平的提高,并通过使用大数据对其产品进行了极大的控制。连接一直是这场强调物联网和系统集成的新革命的主要焦点。这个巨大变革行业的一个支柱是增强现实和虚拟现实,它在培训和错误诊断方面表现出了很大的前景。本文的重点是开发一个虚拟现实系统,该系统能够向罐头生产公司的操作人员展示铝制杯挤压机中部件交换的过程。为此,我们使用了HTC Vive设备来实现操作员的沉浸感,同时还需要对机器进行完整的建模。介绍了用于实现项目目标的方法以及用于开发拟议系统的工具。
{"title":"Virtualization of an Aluminum Cans Production Line Using Virtual Reality","authors":"Lucas Sales de Oliveira Almeida, Alexandre Baratella Lugli, T. Pimenta, Matheus Vinícius Cirino e Silva, João Paulo Carvalho Henriques, Renzo Paranaíba Mesquita","doi":"10.23919/MIXDES49814.2020.9156023","DOIUrl":"https://doi.org/10.23919/MIXDES49814.2020.9156023","url":null,"abstract":"In the context of the 4.0 industry, new technologies have been aggregated to the industries, which has been pushing production levels and through the use of Big Data keeping great control over its products. Connectivity has been the main focus of this new revolution highlighting the Internet of Things and Systems Integration. One pillar of this massive change industries is Augmented and Virtual reality, which shows itself as a promising area for training purposes and error diagnoses. The focus of this paper is to develop a virtual reality system capable of showing a can production company operators the procedure for components exchange in a machine responsible for the extrusion of aluminum cups. For this end an HTC Vive device was employed for the immersion of the operator, the full modeling of the machine was also needed. The methods used to fulfill the project goals are presented as well as the tools used to develop the proposed system.","PeriodicalId":145224,"journal":{"name":"2020 27th International Conference on Mixed Design of Integrated Circuits and System (MIXDES)","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132458497","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}
引用次数: 1
Rigorous Development of Embedded Systems Supported by Formal Tools 由形式化工具支持的嵌入式系统的严格开发
Pub Date : 2020-06-01 DOI: 10.23919/MIXDES49814.2020.9155782
T. Szmuc, W. Szmuc
A rigorous approach to development of embedded systems is proposed in the paper. The concept is based on introduction of formal modeling branch in parallel to the classical V-development method. SysML is used for description of the developed components, and then these artifacts are translated into Colored Petri Nets (CPN) blocks. The correctness of the CPN models is described using temporal logic and finally verified using model checking tools. The proposed concept enables detection of structural errors in early development stages. The paper describes the next steps of research in this area. Translations of remaining SysML diagrams are included, and the modeling-verification chain is described.
本文提出了一种严谨的嵌入式系统开发方法。该概念是在经典v型开发方法的基础上引入形式化建模分支。SysML用于描述开发的组件,然后将这些工件转换为彩色Petri网(CPN)块。使用时间逻辑描述CPN模型的正确性,最后使用模型检查工具进行验证。提出的概念能够在早期开发阶段检测结构错误。本文描述了该领域下一步的研究。还包括剩余SysML图的翻译,并描述了建模-验证链。
{"title":"Rigorous Development of Embedded Systems Supported by Formal Tools","authors":"T. Szmuc, W. Szmuc","doi":"10.23919/MIXDES49814.2020.9155782","DOIUrl":"https://doi.org/10.23919/MIXDES49814.2020.9155782","url":null,"abstract":"A rigorous approach to development of embedded systems is proposed in the paper. The concept is based on introduction of formal modeling branch in parallel to the classical V-development method. SysML is used for description of the developed components, and then these artifacts are translated into Colored Petri Nets (CPN) blocks. The correctness of the CPN models is described using temporal logic and finally verified using model checking tools. The proposed concept enables detection of structural errors in early development stages. The paper describes the next steps of research in this area. Translations of remaining SysML diagrams are included, and the modeling-verification chain is described.","PeriodicalId":145224,"journal":{"name":"2020 27th International Conference on Mixed Design of Integrated Circuits and System (MIXDES)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130041283","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}
引用次数: 1
Testing and Reliability [breaker page] 测试和可靠性[断路器页]
Pub Date : 2020-06-01 DOI: 10.23919/mixdes49814.2020.9155849
{"title":"Testing and Reliability [breaker page]","authors":"","doi":"10.23919/mixdes49814.2020.9155849","DOIUrl":"https://doi.org/10.23919/mixdes49814.2020.9155849","url":null,"abstract":"","PeriodicalId":145224,"journal":{"name":"2020 27th International Conference on Mixed Design of Integrated Circuits and System (MIXDES)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130772878","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
Embedded Systems 嵌入式系统
Pub Date : 2020-06-01 DOI: 10.23919/mixdes49814.2020.9155723
N. Kakanakov
Test-bed experimental analysis of the client/server applications in embedded systems is presented. The experiments are executed on different embedded platforms and with different packet sizes. The evaluation of client/server application includes measuring the speed of network hardware and protocol stack processing and the OS speed in creating a socket and reading/writing to it. The experiments include UDP and TCP client/server applications. They are made using a software tool for test-bed experiments in experimental network [5]. The paper includes a comparison of the embedded systems based on the received results. It examines the dependency of the communication latency on packet sizes for small packets (1-500 bytes). Using two modes of TCP communication ( single transport stream for multiple transfers and new transport stream for every packet) enables distinguishing the socket creation time from socket access time.
给出了嵌入式系统中客户端/服务器应用的试验台实验分析。实验在不同的嵌入式平台和不同的数据包大小上进行。客户端/服务器应用程序的评估包括测量网络硬件和协议栈处理的速度,以及操作系统创建套接字和读写它的速度。实验包括UDP和TCP客户端/服务器应用。使用软件工具在实验网络中进行试验台实验[5]。本文还根据接收到的结果对嵌入式系统进行了比较。它检查了小数据包(1-500字节)的通信延迟与数据包大小的依赖关系。使用两种TCP通信模式(多个传输的单个传输流和每个数据包的新传输流)可以区分套接字创建时间和套接字访问时间。
{"title":"Embedded Systems","authors":"N. Kakanakov","doi":"10.23919/mixdes49814.2020.9155723","DOIUrl":"https://doi.org/10.23919/mixdes49814.2020.9155723","url":null,"abstract":"Test-bed experimental analysis of the client/server applications in embedded systems is presented. The experiments are executed on different embedded platforms and with different packet sizes. The evaluation of client/server application includes measuring the speed of network hardware and protocol stack processing and the OS speed in creating a socket and reading/writing to it. The experiments include UDP and TCP client/server applications. They are made using a software tool for test-bed experiments in experimental network [5]. The paper includes a comparison of the embedded systems based on the received results. It examines the dependency of the communication latency on packet sizes for small packets (1-500 bytes). Using two modes of TCP communication ( single transport stream for multiple transfers and new transport stream for every packet) enables distinguishing the socket creation time from socket access time.","PeriodicalId":145224,"journal":{"name":"2020 27th International Conference on Mixed Design of Integrated Circuits and System (MIXDES)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130091991","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
1MHz Gate Driver in Power Technology for Fast Switching Applications 快速开关应用电源技术中的1MHz栅极驱动器
Pub Date : 2020-06-01 DOI: 10.23919/MIXDES49814.2020.9155922
R. D. Lorenzo, A. Baschirotto, Albino Pidutti, P. D. Croce
The demand for low-cost integrated circuits for automotive applications is increasing, while their cost must remain low to maintain product competitiveness. In this scenario, to guarantee DC-DC Buck converters high-efficiency and low cost (in terms of external components) increasing switching frequency is mandatory. The main problems are inherent the parasitic inductances and the parasitic capacitance of power MOSFET. This paper deals with the main critical aspects of increasing such switching frequency and show how to replace the external Schottky diode with an integrated structure. The case of a highspeed monolithic integrated circuit to control a load current is here proposed. Proper design allows to achieve switching frequency up to 1MHz with 94.4% efficiency.
汽车应用对低成本集成电路的需求正在增加,而它们的成本必须保持在低水平以保持产品竞争力。在这种情况下,为了保证DC-DC Buck变换器的高效率和低成本(就外部元件而言),必须提高开关频率。主要问题是功率MOSFET固有的寄生电感和寄生电容。本文讨论了提高这种开关频率的主要关键方面,并展示了如何用集成结构取代外部肖特基二极管。本文提出了用高速单片集成电路控制负载电流的方案。适当的设计可以实现高达1MHz的开关频率和94.4%的效率。
{"title":"1MHz Gate Driver in Power Technology for Fast Switching Applications","authors":"R. D. Lorenzo, A. Baschirotto, Albino Pidutti, P. D. Croce","doi":"10.23919/MIXDES49814.2020.9155922","DOIUrl":"https://doi.org/10.23919/MIXDES49814.2020.9155922","url":null,"abstract":"The demand for low-cost integrated circuits for automotive applications is increasing, while their cost must remain low to maintain product competitiveness. In this scenario, to guarantee DC-DC Buck converters high-efficiency and low cost (in terms of external components) increasing switching frequency is mandatory. The main problems are inherent the parasitic inductances and the parasitic capacitance of power MOSFET. This paper deals with the main critical aspects of increasing such switching frequency and show how to replace the external Schottky diode with an integrated structure. The case of a highspeed monolithic integrated circuit to control a load current is here proposed. Proper design allows to achieve switching frequency up to 1MHz with 94.4% efficiency.","PeriodicalId":145224,"journal":{"name":"2020 27th International Conference on Mixed Design of Integrated Circuits and System (MIXDES)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115792506","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
Noise Resistance Estimation for a GaN JFET Using Small Signal Measurements for an X-band LNA 基于x波段LNA小信号测量的GaN JFET抗噪声估计
Pub Date : 2020-06-01 DOI: 10.23919/MIXDES49814.2020.9155884
E. Karagianni, C. Lessi, C. Vazouras, A. Panagopoulos, G. Deligeorgis, G. Stavrinidis, A. Kostopoulos
Gallium Nitride technology is entering dynamically in the area of manufacturing integrated circuits. In this paper the design of a Low Noise Amplifier is presented. The transistor that is used is a bilateral, conditionally stable transistor and it has been built at the Foundation for Research and Technology Hellas. It is measured in order to get the Scattering parameters and the Noise Figure. The Noise Figure is additionally calculated, together with the noise resistance and the error between the calculated and the measured values is estimated for a single stage amplifier.
氮化镓技术在集成电路制造领域正蓬勃发展。本文介绍了一种低噪声放大器的设计。所使用的晶体管是一个双边的,有条件稳定的晶体管,它是在希腊研究和技术基金会建造的。对其进行了测量,得到了散射参数和噪声图。此外,还计算了噪声系数,并对单级放大器的噪声阻力和计算值与实测值之间的误差进行了估计。
{"title":"Noise Resistance Estimation for a GaN JFET Using Small Signal Measurements for an X-band LNA","authors":"E. Karagianni, C. Lessi, C. Vazouras, A. Panagopoulos, G. Deligeorgis, G. Stavrinidis, A. Kostopoulos","doi":"10.23919/MIXDES49814.2020.9155884","DOIUrl":"https://doi.org/10.23919/MIXDES49814.2020.9155884","url":null,"abstract":"Gallium Nitride technology is entering dynamically in the area of manufacturing integrated circuits. In this paper the design of a Low Noise Amplifier is presented. The transistor that is used is a bilateral, conditionally stable transistor and it has been built at the Foundation for Research and Technology Hellas. It is measured in order to get the Scattering parameters and the Noise Figure. The Noise Figure is additionally calculated, together with the noise resistance and the error between the calculated and the measured values is estimated for a single stage amplifier.","PeriodicalId":145224,"journal":{"name":"2020 27th International Conference on Mixed Design of Integrated Circuits and System (MIXDES)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121951724","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
Consistency Preserving Development of Embedded Systems Using AADL 基于AADL的嵌入式系统一致性保持开发
Pub Date : 2020-06-01 DOI: 10.23919/MIXDES49814.2020.9155806
T. Szmuc, W. Szmuc
Architecture Analysis and Design Language (AADL) supports consistence modeling and several analyses in designing of real-time systems. Additional features supporting modeling and analysis is proposed in the paper. The concept is based on automatic translation of AADL components into Colored Petri Net (CPN) models. The translated model may be verified using CPN tools, and also checking satisfability of requirements (described using temporal logic) in the model. The proposed extension supports detection of structural errors in early development stages.
体系结构分析与设计语言(AADL)在实时系统设计中支持一致性建模和多种分析。本文提出了支持建模和分析的附加特征。该概念基于AADL组件到彩色Petri网(CPN)模型的自动转换。翻译后的模型可以使用CPN工具进行验证,也可以检查模型中需求的可满足性(使用时态逻辑进行描述)。拟议的扩展支持在早期开发阶段检测结构错误。
{"title":"Consistency Preserving Development of Embedded Systems Using AADL","authors":"T. Szmuc, W. Szmuc","doi":"10.23919/MIXDES49814.2020.9155806","DOIUrl":"https://doi.org/10.23919/MIXDES49814.2020.9155806","url":null,"abstract":"Architecture Analysis and Design Language (AADL) supports consistence modeling and several analyses in designing of real-time systems. Additional features supporting modeling and analysis is proposed in the paper. The concept is based on automatic translation of AADL components into Colored Petri Net (CPN) models. The translated model may be verified using CPN tools, and also checking satisfability of requirements (described using temporal logic) in the model. The proposed extension supports detection of structural errors in early development stages.","PeriodicalId":145224,"journal":{"name":"2020 27th International Conference on Mixed Design of Integrated Circuits and System (MIXDES)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131716640","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
Low Hardware Complexity Filters for On-Chip Algorithm Used in Air Pollution Sensors for Dense Urban Areas in Smart Cities 低硬件复杂度滤波器在智能城市空气污染传感器中的应用
Pub Date : 2020-06-01 DOI: 10.23919/MIXDES49814.2020.9155828
Z. Dlugosz, M. Rajewski, M. Banach, T. Talaśka, R. Dlugosz
The paper presents a method of transistor level implementation of a reconfigurable filter for the application in the algorithm responsible for processing air pollution data. The assumption of the proposed solutions is the realization of the algorithm that uses such filters directly in the wireless sensor, along with other components of such devices. Thanks to this, the amount of data exchanged between the sensors and the base station can be reduced. In the proposed filter structure, a special emphasis was placed on reducing the hardware complexity of the filter. The objective is to reduce the chip area of the overall device. The filter features a modular reconfigurable structure, which allows to achieve different filter orders, with almost linear increase in the hardware complexity. Target application of the proposed solution is in wireless sensors networks (WSN) that consist of large numbers of devices distributed, e.g. in dense urban areas in cities.
针对空气污染数据处理算法中的应用,提出了一种晶体管级可重构滤波器的实现方法。所提出的解决方案的假设是在无线传感器中直接使用这种滤波器的算法的实现,以及这种设备的其他组件。因此,传感器和基站之间交换的数据量可以减少。在提出的滤波器结构中,特别强调降低滤波器的硬件复杂性。目标是减少整个设备的芯片面积。该滤波器具有模块化可重构结构,允许实现不同的滤波器顺序,硬件复杂性几乎呈线性增加。提出的解决方案的目标应用是在由大量分布的设备组成的无线传感器网络(WSN)中,例如在城市的密集城区。
{"title":"Low Hardware Complexity Filters for On-Chip Algorithm Used in Air Pollution Sensors for Dense Urban Areas in Smart Cities","authors":"Z. Dlugosz, M. Rajewski, M. Banach, T. Talaśka, R. Dlugosz","doi":"10.23919/MIXDES49814.2020.9155828","DOIUrl":"https://doi.org/10.23919/MIXDES49814.2020.9155828","url":null,"abstract":"The paper presents a method of transistor level implementation of a reconfigurable filter for the application in the algorithm responsible for processing air pollution data. The assumption of the proposed solutions is the realization of the algorithm that uses such filters directly in the wireless sensor, along with other components of such devices. Thanks to this, the amount of data exchanged between the sensors and the base station can be reduced. In the proposed filter structure, a special emphasis was placed on reducing the hardware complexity of the filter. The objective is to reduce the chip area of the overall device. The filter features a modular reconfigurable structure, which allows to achieve different filter orders, with almost linear increase in the hardware complexity. Target application of the proposed solution is in wireless sensors networks (WSN) that consist of large numbers of devices distributed, e.g. in dense urban areas in cities.","PeriodicalId":145224,"journal":{"name":"2020 27th International Conference on Mixed Design of Integrated Circuits and System (MIXDES)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130582254","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
期刊
2020 27th International Conference on Mixed Design of Integrated Circuits and System (MIXDES)
全部 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