Pub Date : 2018-12-01DOI: 10.1109/ICM.2018.8704007
Kaouthar Djemel, R. Aloulou, D. Mellouli, D. Cordeau, H. Mnif, J. Paillot, M. Loulou
This paper presents an original solution to correct the delay causing by the transmission path delay. This can be corrected through a phase shift provided by coupling Voltage Controlled Oscillators (VCOs). Indeed, the phase constant phase progression in the oscillator array can be obtained by detuning the free-running frequencies of the two outermost oscillators in the array in opposite directions. This technique is applied to compare the Error Vector Modulator (EVM) with the Quadrature Phase Shift Keying (QPSK) and 16-Quadrature Amplitude Modulation (16-QAM). An example with a carrier of 6 GHz and for flow rate equal to 2GHz, shows a correction of the receiving signal lower than 15%.
{"title":"A Proposed Method To Correct The Delay Causing By The Path Transmission Chain With Coupled Oscillators In To Network Antenna","authors":"Kaouthar Djemel, R. Aloulou, D. Mellouli, D. Cordeau, H. Mnif, J. Paillot, M. Loulou","doi":"10.1109/ICM.2018.8704007","DOIUrl":"https://doi.org/10.1109/ICM.2018.8704007","url":null,"abstract":"This paper presents an original solution to correct the delay causing by the transmission path delay. This can be corrected through a phase shift provided by coupling Voltage Controlled Oscillators (VCOs). Indeed, the phase constant phase progression in the oscillator array can be obtained by detuning the free-running frequencies of the two outermost oscillators in the array in opposite directions. This technique is applied to compare the Error Vector Modulator (EVM) with the Quadrature Phase Shift Keying (QPSK) and 16-Quadrature Amplitude Modulation (16-QAM). An example with a carrier of 6 GHz and for flow rate equal to 2GHz, shows a correction of the receiving signal lower than 15%.","PeriodicalId":305356,"journal":{"name":"2018 30th International Conference on Microelectronics (ICM)","volume":"134 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122556822","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}
Pub Date : 2018-12-01DOI: 10.1109/ICM.2018.8704107
Lobna G. El-Fadali, E. Hasaneen, A. Galal, H. Hamed
The microphone preamplifier forms a critical stage for signal detection and pre-processing within hearing aids and cochlear implants. In this paper, a micro-power, low-noise enhanced linear preamplifier with wide dynamic range for electret microphones is presented. Current-sensing topology is used instead of the usual voltage-sensing of the microphone. The design employs an ultra-low-power, wide-linear-range trans-conductance amplifier as a DC cancellation feedback loop to prevent output saturation and increase linearity. The proposed preamplifier is designed and simulated in a 0.18 µm CMOS process. The overall circuit exhibits a varying dynamic range from 100.5 dB to 80.47-dB with 1 µVrms of total input-referred noise from 100 Hz to 10-kHz. The power consumption is 5.8 µW (excluding the microphone and biasing circuits) while operating from a single 1.8 V power-supply. The in-band power-supply rejection ratio (PSRR) is about 60 dB and the in-band total harmonic distortion (THD) varies from −80 dB to −40 dB for 20 mVp-p output.
{"title":"An Ultra-Low-Power, Low-Noise, Linear Preamplifier with Wide Dynamic Range for Electret Microphones","authors":"Lobna G. El-Fadali, E. Hasaneen, A. Galal, H. Hamed","doi":"10.1109/ICM.2018.8704107","DOIUrl":"https://doi.org/10.1109/ICM.2018.8704107","url":null,"abstract":"The microphone preamplifier forms a critical stage for signal detection and pre-processing within hearing aids and cochlear implants. In this paper, a micro-power, low-noise enhanced linear preamplifier with wide dynamic range for electret microphones is presented. Current-sensing topology is used instead of the usual voltage-sensing of the microphone. The design employs an ultra-low-power, wide-linear-range trans-conductance amplifier as a DC cancellation feedback loop to prevent output saturation and increase linearity. The proposed preamplifier is designed and simulated in a 0.18 µm CMOS process. The overall circuit exhibits a varying dynamic range from 100.5 dB to 80.47-dB with 1 µVrms of total input-referred noise from 100 Hz to 10-kHz. The power consumption is 5.8 µW (excluding the microphone and biasing circuits) while operating from a single 1.8 V power-supply. The in-band power-supply rejection ratio (PSRR) is about 60 dB and the in-band total harmonic distortion (THD) varies from −80 dB to −40 dB for 20 mVp-p output.","PeriodicalId":305356,"journal":{"name":"2018 30th International Conference on Microelectronics (ICM)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123918780","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}
Pub Date : 2018-12-01DOI: 10.1109/ICM.2018.8704002
Omar Alsherbini, M. Wael, Eslam Fahmy, A. Helmy, Y. Ismail, K. Salah
In this paper, a low-energy rate 1/2 successive cancellation (SC) decoder hardware architecture is proposed for Internet of Things (IoT) applications. Arikan’s SC decoder and different optimized versions of it are implemented in ASIC flow. Hardware optimizations are applied to the conventional SC architecture, including the removal of frozen bits driving blocks, resource sharing between f and g blocks and the removal of log-likelihood magnitude computation in the last stage. Synthesis results show that these optimizations provide 38.7% saving in energy/bit consumption, 83% saving in area and 68.0% increase in throughput for 64-bit conventional SC decoder and up to 79.5% in 1024-bit implementation. The synthesis results are compared with the literature, and the results show that the proposed 64-bit SC architecture gives less energy/bit consumption and area. Moreover, linearly scaled 1024-bit synthesis results predict a middle-ground performance of the proposed architecture compared to the literature, hence suggesting the proposed structure to IoT applications, especially small packet size applications.
{"title":"ASIC Implementation of Energy-Optimized Successive Cancellation Polar Decoders for Internet of Things","authors":"Omar Alsherbini, M. Wael, Eslam Fahmy, A. Helmy, Y. Ismail, K. Salah","doi":"10.1109/ICM.2018.8704002","DOIUrl":"https://doi.org/10.1109/ICM.2018.8704002","url":null,"abstract":"In this paper, a low-energy rate 1/2 successive cancellation (SC) decoder hardware architecture is proposed for Internet of Things (IoT) applications. Arikan’s SC decoder and different optimized versions of it are implemented in ASIC flow. Hardware optimizations are applied to the conventional SC architecture, including the removal of frozen bits driving blocks, resource sharing between f and g blocks and the removal of log-likelihood magnitude computation in the last stage. Synthesis results show that these optimizations provide 38.7% saving in energy/bit consumption, 83% saving in area and 68.0% increase in throughput for 64-bit conventional SC decoder and up to 79.5% in 1024-bit implementation. The synthesis results are compared with the literature, and the results show that the proposed 64-bit SC architecture gives less energy/bit consumption and area. Moreover, linearly scaled 1024-bit synthesis results predict a middle-ground performance of the proposed architecture compared to the literature, hence suggesting the proposed structure to IoT applications, especially small packet size applications.","PeriodicalId":305356,"journal":{"name":"2018 30th International Conference on Microelectronics (ICM)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124057070","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}
Pub Date : 2018-12-01DOI: 10.1109/ICM.2018.8704096
Fady Tadros, S. Eisa, H. Issa, K. Shehata
Min sum algorithm (MSA) is widely used for decoding Low Density Parity Check (LDPC) codes in many modern Digital Video Broadcasting (DVB) as a simplification for Sum Product Algorithm (SPA) which greatly reduce the implementation complexity. This paper presents a design of modified variable scaling min sum LDPC decoding algorithm for DVB-S2/S2X/T2. The proposed design is a combination between the variable Normalized Min Sum Algorithm (NMSA) and the Offset Min Sum Algorithm (OMSA) which provides a trade-off between decoding complexity and error correcting performance. It improves the use of the Min Sum Algorithm (MSA) by 39%. A proposal for how to implement the proposed algorithm using FPGA is also introduced. The structure used is partially parallel layered decoder architecture.
{"title":"Modified Scaled Min Sum LDPC Decoder for DVB-S2/S2X/T2","authors":"Fady Tadros, S. Eisa, H. Issa, K. Shehata","doi":"10.1109/ICM.2018.8704096","DOIUrl":"https://doi.org/10.1109/ICM.2018.8704096","url":null,"abstract":"Min sum algorithm (MSA) is widely used for decoding Low Density Parity Check (LDPC) codes in many modern Digital Video Broadcasting (DVB) as a simplification for Sum Product Algorithm (SPA) which greatly reduce the implementation complexity. This paper presents a design of modified variable scaling min sum LDPC decoding algorithm for DVB-S2/S2X/T2. The proposed design is a combination between the variable Normalized Min Sum Algorithm (NMSA) and the Offset Min Sum Algorithm (OMSA) which provides a trade-off between decoding complexity and error correcting performance. It improves the use of the Min Sum Algorithm (MSA) by 39%. A proposal for how to implement the proposed algorithm using FPGA is also introduced. The structure used is partially parallel layered decoder architecture.","PeriodicalId":305356,"journal":{"name":"2018 30th International Conference on Microelectronics (ICM)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115888093","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}
Pub Date : 2018-12-01DOI: 10.1109/ICM.2018.8703996
H. Almabrouk, S. Kaziz, B. Mezghani, Fares Tounsi, Y. Bernard
In this paper, the performance of a new design of a piezoelectric Inertial Measurement Unit system (EMU) is evaluated through FEM simulations. This paper compares performance of a new proposed design with a previously reported one. The proposed sensor relies on Coriolis Effect for angular velocity detection and on direct piezoelectric Effect for acceleration measurements. This work addresses the detection improvement of both angular velocity and acceleration motions through a new proposed design. Compared to the reported design, the new structure produces an increase of 37.5% in the output voltage for a z-axis acceleration of 10 g. Similarly, for an angular velocity of 180 deg/s, an output voltage of 1 V is obtained from the new design compared to 200 mV from the reported one.
{"title":"Performance Enhancement of an Improved Design of 6-axis Single-Mass Piezoelectric IMU","authors":"H. Almabrouk, S. Kaziz, B. Mezghani, Fares Tounsi, Y. Bernard","doi":"10.1109/ICM.2018.8703996","DOIUrl":"https://doi.org/10.1109/ICM.2018.8703996","url":null,"abstract":"In this paper, the performance of a new design of a piezoelectric Inertial Measurement Unit system (EMU) is evaluated through FEM simulations. This paper compares performance of a new proposed design with a previously reported one. The proposed sensor relies on Coriolis Effect for angular velocity detection and on direct piezoelectric Effect for acceleration measurements. This work addresses the detection improvement of both angular velocity and acceleration motions through a new proposed design. Compared to the reported design, the new structure produces an increase of 37.5% in the output voltage for a z-axis acceleration of 10 g. Similarly, for an angular velocity of 180 deg/s, an output voltage of 1 V is obtained from the new design compared to 200 mV from the reported one.","PeriodicalId":305356,"journal":{"name":"2018 30th International Conference on Microelectronics (ICM)","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115497956","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}
Pub Date : 2018-12-01DOI: 10.1109/ICM.2018.8704063
Mariam M. Fouad, Duha Y. Mahmoud, M. A. E. Ghany
A low cost, high accuracy, joint non-invasive glucose monitoring system is proposed. Multi-wavelengths near- infrared spectroscopy (NIRS) and bio-impedance spectroscopy (BIS) are used, where the final result is obtained by integrating the results of both techniques. The BIS circuit measures the lowest impedance of the skin which is at the resonant frequency and relates it to the glucose level. In order to improve the accuracy for the Bio-impedance sensor, two frequency sweeps are performed: 1) Frequency sweep from 10 kHz to 100 kHz with a step of 10 kHz, and 2) A continuous frequency sweep between the two lowest impedance points with 1 kHz step. For the NIRS technique, three wavelengths are used: 850 nm, 880 nm and 940 nm. Each wavelength is used 3 times on 3 different positions on the forearm to ensure high accuracy. The results are averaged together by the control unit and sent via Bluetooth to the user through a designed mobile application. The system provides a Correlation Coefficient of 0.91805 and a mean error of 3.794 mg/dL. All points were proven to be in the clinically accurate region (Zone A) in the Clarke Grid Analysis. The final design is a wearable custom-made PCB that measures glucose level real- time.
{"title":"Joint NIR-BIS Based Non-Invasive Glucose Monitoring System","authors":"Mariam M. Fouad, Duha Y. Mahmoud, M. A. E. Ghany","doi":"10.1109/ICM.2018.8704063","DOIUrl":"https://doi.org/10.1109/ICM.2018.8704063","url":null,"abstract":"A low cost, high accuracy, joint non-invasive glucose monitoring system is proposed. Multi-wavelengths near- infrared spectroscopy (NIRS) and bio-impedance spectroscopy (BIS) are used, where the final result is obtained by integrating the results of both techniques. The BIS circuit measures the lowest impedance of the skin which is at the resonant frequency and relates it to the glucose level. In order to improve the accuracy for the Bio-impedance sensor, two frequency sweeps are performed: 1) Frequency sweep from 10 kHz to 100 kHz with a step of 10 kHz, and 2) A continuous frequency sweep between the two lowest impedance points with 1 kHz step. For the NIRS technique, three wavelengths are used: 850 nm, 880 nm and 940 nm. Each wavelength is used 3 times on 3 different positions on the forearm to ensure high accuracy. The results are averaged together by the control unit and sent via Bluetooth to the user through a designed mobile application. The system provides a Correlation Coefficient of 0.91805 and a mean error of 3.794 mg/dL. All points were proven to be in the clinically accurate region (Zone A) in the Clarke Grid Analysis. The final design is a wearable custom-made PCB that measures glucose level real- time.","PeriodicalId":305356,"journal":{"name":"2018 30th International Conference on Microelectronics (ICM)","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115746691","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}
Pub Date : 2018-12-01DOI: 10.1109/ICM.2018.8704031
Aymen Hlali, Z. Houaneb, H. Zairi
The array antenna is a good choice for 5G communication owing to the capability of acting in millimeter-wave range with having high gain and wide bandwidth. This paper presents the design and simulated results of a graphene array antenna for 5G wireless communication using CST microwave studio. The array is designed and compared with single patch antenna and optimized for observing an increase in directivity. Maximum directivity of 20.35dB is obtained by implementing four by two (4×2) array of eight patches as compared to 8.87 dB for single patch at 60 GHz center frequency.
{"title":"Design of graphene patch array antenna for 5G applications","authors":"Aymen Hlali, Z. Houaneb, H. Zairi","doi":"10.1109/ICM.2018.8704031","DOIUrl":"https://doi.org/10.1109/ICM.2018.8704031","url":null,"abstract":"The array antenna is a good choice for 5G communication owing to the capability of acting in millimeter-wave range with having high gain and wide bandwidth. This paper presents the design and simulated results of a graphene array antenna for 5G wireless communication using CST microwave studio. The array is designed and compared with single patch antenna and optimized for observing an increase in directivity. Maximum directivity of 20.35dB is obtained by implementing four by two (4×2) array of eight patches as compared to 8.87 dB for single patch at 60 GHz center frequency.","PeriodicalId":305356,"journal":{"name":"2018 30th International Conference on Microelectronics (ICM)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127520739","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}
Pub Date : 2018-12-01DOI: 10.1109/ICM.2018.8703998
S. Sivashankar, K. Alamoudi, Sumeyra Agambayev, Y. Mashraei, Hend Mkaouar, N. Khashab, K. Salama
To date, although microfabrication technologies for fabricating a microfluidic device are advanced, they are still time-consuming and laborious. Hence, we demonstrate the fabrication of microfluidic devices with a fast and easy maskless Ultraviolet (UV) projection method based on a stereolithography process in less than 5 mins. The flow model analysis by COMSOL gives the design concept of the gradient demonstrated. The fabricated chip is a miniaturized 25×25 mm2 gradient chip that produces gradient by maintaining equal width and length of each channel throughout the device. The design of the gradient is dependent on diffusion of molecules and hence is well suited for low flow rate applications such as drug delivery or cell related studies. The biocompatibility of the resins in their native form and with surface modification was evaluated by injecting cell culture medium to culture Human cervical cell line (HeLa) cells. Drug (Doxorubicin) screening was demonstrated by the viability of HeLa cells using Cell Counting Kit-8 (CCK-8) calorimetric assay. The miniaturized size of the chip aids these gradient generators to find applications in drug testing Lab-on-chip/Micro Total analysis systems (μTAS) and organ-on-chip devices.
{"title":"A Simple, Easy to Fabricate Miniaturized Microfluidic Gradient Generator for Drug Testing Devices","authors":"S. Sivashankar, K. Alamoudi, Sumeyra Agambayev, Y. Mashraei, Hend Mkaouar, N. Khashab, K. Salama","doi":"10.1109/ICM.2018.8703998","DOIUrl":"https://doi.org/10.1109/ICM.2018.8703998","url":null,"abstract":"To date, although microfabrication technologies for fabricating a microfluidic device are advanced, they are still time-consuming and laborious. Hence, we demonstrate the fabrication of microfluidic devices with a fast and easy maskless Ultraviolet (UV) projection method based on a stereolithography process in less than 5 mins. The flow model analysis by COMSOL gives the design concept of the gradient demonstrated. The fabricated chip is a miniaturized 25×25 mm2 gradient chip that produces gradient by maintaining equal width and length of each channel throughout the device. The design of the gradient is dependent on diffusion of molecules and hence is well suited for low flow rate applications such as drug delivery or cell related studies. The biocompatibility of the resins in their native form and with surface modification was evaluated by injecting cell culture medium to culture Human cervical cell line (HeLa) cells. Drug (Doxorubicin) screening was demonstrated by the viability of HeLa cells using Cell Counting Kit-8 (CCK-8) calorimetric assay. The miniaturized size of the chip aids these gradient generators to find applications in drug testing Lab-on-chip/Micro Total analysis systems (μTAS) and organ-on-chip devices.","PeriodicalId":305356,"journal":{"name":"2018 30th International Conference on Microelectronics (ICM)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124509301","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}
Pub Date : 2018-12-01DOI: 10.1109/ICM.2018.8704104
F. Zayer, W. Dghais, B. Hamdi
This paper presents an extension of the threshold adaptive memristor (TEAM) model, which is derived based on the analysis of the physical tunnel barrier memristor (TBM) model. A novel window function is proposed in order to ensure the effective resolution of the boundary conditions, full scalability, and accurate imitation of the nonlinear dependence on the state dynamics of the TEAM model. A comparison with some existing nonlinear window functions is described. The achieved validation results of the enhanced TiO2 TEAM model show an improved simulation runtime by 25.3% and maintain a good prediction accuracy with a mean error of 0.1%.
{"title":"Improved TiO2 TEAM Model Using a New Window Function","authors":"F. Zayer, W. Dghais, B. Hamdi","doi":"10.1109/ICM.2018.8704104","DOIUrl":"https://doi.org/10.1109/ICM.2018.8704104","url":null,"abstract":"This paper presents an extension of the threshold adaptive memristor (TEAM) model, which is derived based on the analysis of the physical tunnel barrier memristor (TBM) model. A novel window function is proposed in order to ensure the effective resolution of the boundary conditions, full scalability, and accurate imitation of the nonlinear dependence on the state dynamics of the TEAM model. A comparison with some existing nonlinear window functions is described. The achieved validation results of the enhanced TiO2 TEAM model show an improved simulation runtime by 25.3% and maintain a good prediction accuracy with a mean error of 0.1%.","PeriodicalId":305356,"journal":{"name":"2018 30th International Conference on Microelectronics (ICM)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123504418","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}
Pub Date : 2018-12-01DOI: 10.1109/ICM.2018.8704088
Mazen Ahmed, M. Safar
This paper proposes a new seamless and simple technique for the compliance of AUTOSAR software with functional safety standards presented in ISO-26262 standard. This new technique uses formal verification based on symbolic execution algorithms to verify that the requirements specified by the AUTOSAR software specifications for watchdog manager module are correctly covered in the implemented software. Formal verification trials were recently done in this area as proposed by ASIL C and D levels. However, they faced many barriers either due to the software complexity increase or due to the difficulty of formal verification methods. Our new proposal is a high safety level verification technique, since it verifies the software code using formal verification techniques. This approach helps in unmasking any hidden bug early in the design stage. Experimental results illustrate the efficiency of the approach in reaching high coverage results.
{"title":"Formal Verification of AUTOSAR Watchdog Manager Module Using Symbolic Execution","authors":"Mazen Ahmed, M. Safar","doi":"10.1109/ICM.2018.8704088","DOIUrl":"https://doi.org/10.1109/ICM.2018.8704088","url":null,"abstract":"This paper proposes a new seamless and simple technique for the compliance of AUTOSAR software with functional safety standards presented in ISO-26262 standard. This new technique uses formal verification based on symbolic execution algorithms to verify that the requirements specified by the AUTOSAR software specifications for watchdog manager module are correctly covered in the implemented software. Formal verification trials were recently done in this area as proposed by ASIL C and D levels. However, they faced many barriers either due to the software complexity increase or due to the difficulty of formal verification methods. Our new proposal is a high safety level verification technique, since it verifies the software code using formal verification techniques. This approach helps in unmasking any hidden bug early in the design stage. Experimental results illustrate the efficiency of the approach in reaching high coverage results.","PeriodicalId":305356,"journal":{"name":"2018 30th International Conference on Microelectronics (ICM)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122151459","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：