Suchergebnisse - Architecture-based verification

Detection of Ladder Logic Bombs in PLC Control Programs: an Architecture based on Formal Verification

Autoren: Iacobelli A. Rinieri L. Melis A. et al.

Quelle: 2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems (ICPS). :1-7

Schlagwörter: Static analysis Formal Verification Malware Industrial Control systems Security PLC

Zugangs-URL: https://hdl.handle.net/11585/994728
https://ieeexplore.ieee.org/document/10639995
https://doi.org/10.1109/ICPS59941.2024.10639995

A Formal Verification Methodology for Cache Architectures Based on Noninterference Hyperproperties

Autoren: Yusha Zhang Ziyuan Zhu Yuxin Liu et al.

Quelle: 2024 27th International Conference on Computer Supported Cooperative Work in Design (CSCWD). :772-777

Towards digital twin-enabled DevOps for CPS providing architecture-based service adaptation & verification at runtime

Autoren: Dobaj, Jürgen Riel, Andreas Krug, Thomas et al.

Quelle: Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems. :132-143

Schlagwörter: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: http://arxiv.org/abs/2204.02022

Boreholes Data Analysis Architecture Based on Clustering and Prediction Models for Enhancing Underground Safety Verification

Autoren: Naeem Iqbal Atif Rizwan Anam Nawaz Khan et al.

Quelle: IEEE Access, Vol 9, Pp 78428-78451 (2021)

Schlagwörter: boreholes data, Machine learning, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, deep learning, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, data and predictive analytics, ROP, TK1-9971

Zugangs-URL: https://doaj.org/article/1978be1ba2fd4739a7693453f16599f6
https://dblp.uni-trier.de/db/journals/access/access9.html#IqbalRKAKKK21
https://doi.org/10.1109/ACCESS.2021.3083175
https://ieeexplore.ieee.org/abstract/document/9439461

Modeling and verification of Industrial Microservice Architecture Based on Formal Methods

Autoren: Xiangxi Meng Xiangyu Duan Wei Tao et al.

Quelle: 2021 China Automation Congress (CAC). :3776-3780

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Design and experimental verification OTA system architecture based on ECE-R156

Autoren: Yaxiang Chen Haiou Wen Rui Chen et al.

Quelle: Ninth International Conference on Electromechanical Control Technology and Transportation (ICECTT 2024). :31

Modular verification and validation for NATO generic vehicle architecture-based land platforms

Autoren: Manas Pradhan Daniel Ota

Quelle: 2018 International Conference on Military Communications and Information Systems (ICMCIS). :1-7

Schlagwörter: 0502 economics and business, 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://ieeexplore.ieee.org/iel7/8391086/8398686/08398715.pdf
http://xplorestaging.ieee.org/ielx7/8391086/8398686/08398715.pdf?arnumber=8398715
https://ieeexplore.ieee.org/document/8398715/

DESIGN AND VERIFICATION OF REMOTE SENSING IMAGE DATA CENTER STORAGE ARCHITECTURE BASED ON HADOOP

Autoren: Dejin Tang Cheng Li Xiaoming Zhou et al.

Quelle: The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Vol XLII-3, Pp 1639-1642 (2018)

Schlagwörter: Technology, 0211 other engineering and technologies, Applied optics. Photonics, 02 engineering and technology, TA1-2040, Engineering (General). Civil engineering (General), 01 natural sciences, TA1501-1820, 0105 earth and related environmental sciences

Dateibeschreibung: application/pdf

Zugangs-URL: https://www.int-arch-photogramm-remote-sens-spatial-inf-sci.net/XLII-3/1639/2018/isprs-archives-XLII-3-1639-2018.pdf
https://isprs-archives.copernicus.org/articles/XLII-3/1639/2018/
https://doaj.org/article/c76fb26a7aac4eb7bf0bed457f456e21
https://core.ac.uk/display/156969822
https://www.int-arch-photogramm-remote-sens-spatial-inf-sci.net/XLII-3/1639/2018/isprs-archives-XLII-3-1639-2018.pdf
https://ui.adsabs.harvard.edu/abs/2018ISPAr42.3.1639T/abstract
https://www.int-arch-photogramm-remote-sens-spatial-inf-sci.net/XLII-3/1639/2018/

Formal Verification Techniques for Architecture-based Embedded Systems in EAST-ADL

Autoren: Kang, Eun-Young

Quelle: Kang, E-Y 2019, Formal Verification Techniques for Architecture-based Embedded Systems in EAST-ADL . arXiv . < https://arxiv.org/pdf/1903.06241.pdf >

Zugangs-URL: https://arxiv.org/pdf/1903.06241.pdf

A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL

Autoren: Kang, Eun-Young

Index Begriffe: Computer Science - Software Engineering, text

URL: http://arxiv.org/abs/1903.06241

Architecture-Based Verification of Dependable Embedded Systems

Autoren: Johnsen, Andreas Lundqvist, Kristina, professor Pettersson, Paul, professor et al.

Weitere Verfasser: Johnsen, Andreas Lundqvist, Kristina, professor Pettersson, Paul, professor et al.

Quelle: Mälardalen University Press Licentiate Theses.

Schlagwörter: architecture-based verification, dependable embedded systems, AADL, architecture quality assurance, UPPAAL, Computer Science, datavetenskap

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-18993
https://mdh.diva-portal.org/smash/get/diva2:621628/FULLTEXT02.pdf

A Deep Learning Architecture Based Dimensionality Reduction and Online Signature Verification

Autoren: Chandra Sekhar Vorugunti Viswanath Pulabaigari

Quelle: Communications in Computer and Information Science ISBN: 9789811393600

Zugangs-URL: https://link.springer.com/chapter/10.1007%2F978-981-13-9361-7_10
https://dblp.uni-trier.de/db/conf/icvgip/dar2018.html#VoruguntiP18

Experimental verification of scan-architecture-based evaluation technique of SET and SEU soft-error rates at each flip-flop in logic VLSI systems.

Autoren: Yanagawa, Y. Kobayashi, Daisuke Hirose, Kazuyuki et al.

Index Begriffe: Journal Article., NA.

URL: http://id.nii.ac.jp/1696/00024111/
https://doi.org/10.1109/TNS.2009.2020166

A proposal and verification of a software architecture based on LabVIEW for a multifunctional robotic end-effector

Autoren: Guilherme Kisseloff Coracini Emilia Villani José Marcos Silva Anjos

Quelle: Advances in Engineering Software. 55:32-44

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://dl.acm.org/doi/10.1016/j.advengsoft.2012.09.004
https://dblp.uni-trier.de/db/journals/aes/aes55.html#AnjosCV13
http://www.sciencedirect.com/science/article/pii/S0965997812001317
https://www.sciencedirect.com/science/article/pii/S0965997812001317

Verification of Dependable Architecture Based on Prototype Verification System

Autoren: Ling Yuan Ping Fan

Quelle: Advanced Materials Research. :4188-4192

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: http://atlantis-press.com/php/download_paper.php?id%3D4171
https://www.atlantis-press.com/proceedings/iccia-12/4171
https://www.scientific.net/AMR.756-759.4188

Functional Verification of Future Higher Class UHF RFID Tag Architectures based on Cosimulation

Autoren: Reinhold Weiss Alex Janek Markus Pistauer et al.

Quelle: 2008 IEEE International Conference on RFID. :336-343

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 7. Clean energy

Zugangs-URL: https://ieeexplore.ieee.org/document/4519352/
https://graz.pure.elsevier.com/en/publications/functional-verification-of-future-higher-class-uhf-rfid-architect
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004519352

Experimental Verification of Scan-Architecture-Based Evaluation Technique of SET and SEU Soft-Error Rates at Each Flip-Flop in Logic VLSI Systems

Autoren: Takahiro Makino Daisuke Kobayashi H. Saito et al.

Quelle: IEEE Transactions on Nuclear Science. 56:1958-1963

Schlagwörter: 0103 physical sciences, 01 natural sciences

Zugangs-URL: http://ui.adsabs.harvard.edu/abs/2009ITNS...56.1958Y/abstract
https://www.infona.pl/resource/bwmeta1.element.ieee-art-000005204655
https://ieeexplore.ieee.org/document/5204655/
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005204655

Toward architecture-based test-vector generation for timing verification of fast parallel multipliers

Autoren: Daniel Eckerbert Henrik Eriksson Per Larsson-Edefors

Quelle: IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 14:370-379

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://research.chalmers.se/en/publication/12209
https://ieeexplore.ieee.org/document/1637467/
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000001637467
https://dblp.uni-trier.de/db/journals/tvlsi/tvlsi14.html#ErikssonLE06

An architecture-based comparison of verification and statistical reliability assessment methods for embedded software systems

Autoren: Ing-Ray Chen Farokh B. Bastani Sung Kim et al.

Quelle: Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002. :177-180

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://ieeexplore.ieee.org/document/1003691/
https://dblp.uni-trier.de/db/conf/isorc/isorc2002.html#BastaniKYC02
http://ieeexplore.ieee.org/document/1003691/

Service oriented architecture-based design of bank-ATM and its verification with Petri-net

Autoren: Amar Nath Santanu Kumar Rath

Quelle: International Journal of Simulation and Process Modelling. 16:343

Schlagwörter: 03 medical and health sciences, 0302 clinical medicine, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://www.inderscienceonline.com/doi/abs/10.1504/IJSPM.2021.118799
https://dblp.uni-trier.de/db/journals/ijspm/ijspm16.html#NathR21