Výsledky vyhledávání - Architecture-based verification

Towards Digital Twin-enabled DevOps for CPS providing Architecture-Based Service Adaptation & Verification at Runtime Autor Dobaj, Jurgen, Riel, Andreas, Krug, Thomas, Seidl, Matthias, Macher, Georg, Egretzberger, Markus

“…Background: Industrial Product-Service Systems (IPSS) denote a service-oriented way of providing access to cyber-physical systems' (CPS) capabilities. The…”
Získat plný text

A proposal and verification of a software architecture based on LabVIEW for a multifunctional robotic end-effector Autor Anjos, José Marcos Silva, Coracini, Guilherme Kisseloff, Villani, Emília

“… ► The architecture successfully deals with integration of multiple functionalities. This paper proposes a software architecture based on LabVIEW for controlling discrete event systems…”
Získat plný text

Boreholes Data Analysis Architecture Based on Clustering and Prediction Models for Enhancing Underground Safety Verification Autor Iqbal, Naeem, Rizwan, Atif, Khan, Anam Nawaz, Ahmad, Rashid, Kim, Bong Wan, Kim, Kwangsoo, Kim, Do-Hyeun

“… This research study presents a boreholes data analysis architecture based on data and predictive analysis models to improve borehole efficiency, underground safety verification, and risk evaluation…”
Získat plný text

Automated Verification of AADL-Specifications Using UPPAAL Autor Johnsen, A., Lundqvist, K., Pettersson, P., Jaradat, O.

“… To provide means for automated fault avoidance when developing systems specified in AADL, a formal verification technique has been developed to ensure completeness and consistency of an AADL…”
Získat plný text

Detection of Ladder Logic Bombs in PLC Control Programs: an Architecture based on Formal Verification Autor Iacobelli, Antonio, Rinieri, Lorenzo, Melis, Andrea, Sadi, Amir Al, Prandini, Marco, Callegati, Franco

“… (in addition to safety) concerns are of paramount importance. In this work, we present a formal verification architecture for the detection of Ladder Logic Bombs, a class…”
Získat plný text

Experimental Verification of Scan-Architecture-Based Evaluation Technique of SET and SEU Soft-Error Rates at Each Flip-Flop in Logic VLSI Systems Autor Yanagawa, Y., Kobayashi, D., Hirose, K., Makino, T., Saito, H., Ikeda, H., Onoda, S., Hirao, T., Ohshima, T.

“…Irradiation test results demonstrate the validity of a scan FF technology for separately evaluating SET and SEU soft error rates (SERs) in logic VLSI systems…”
Získat plný text

Architecture-Based Synthesis of 1D-3D Models for Verification and Validation Autor Allegaert, Elias, Lemmens, Yves, Dutre, Stefan, Garro, Alfredo, Inzillo, Marco

“…An architecture-based model-driven design approach, enabled by tools for system synthesis, simulation, and simulation content management, is exploited to efficiently explore design variants at a system level…”
Získat plný text

DESIGN AND VERIFICATION OF REMOTE SENSING IMAGE DATA CENTER STORAGE ARCHITECTURE BASED ON HADOOP Autor Tang, D., Zhou, X., Jing, Y., Cong, W., Li, C.

“…The data center is a new concept of data processing and application proposed in recent years. It is a new method of processing technologies based on data,…”
Získat plný text

Towards Digital Twin-enabled DevOps for CPS providing Architecture-Based Service Adaptation & Verification at Runtime Autor Dobaj, Jürgen, Riel, Andreas, Krug, Thomas, Seidl, Matthias, Macher, Georg, Egretzberger, Markus

“…Industrial Product-Service Systems (IPSS) denote a service-oriented (SO) way of providing access to CPS capabilities. The design of such systems bears high…”
Získat plný text

Modeling and verification of Industrial Microservice Architecture Based on Formal Methods Autor Meng, Xiangxi, Duan, Xiangyu, Tao, Wei, Luan, Yan, Zhang, Juanjuan, Wu, Donghan

“… The test and verification of microservice architecture is the guarantee of industrial application credibility…”
Získat plný text

Toward architecture-based test-vector generation for timing verification of fast parallel multipliers Autor Eriksson, H., Larsson-Edefors, P., Eckerbert, D.

“…Fast parallel multipliers that contain logarithmic partial-product reduction trees pose a challenge to simulation-based high-accuracy timing verification, since the reduction tree has many reconvergent signal branches…”
Získat plný text

A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL Autor Eun-Young, Kang

“… In this paper, we propose an architecture-based verification technique which enhances the model-based development process supported by EAST-ADL by adapting model-checking to EAST-ADL specifications…”
Získat plný text

Verification of Conceptual Architecture Based on Component Autor Chao Ji, Qi Chen, Xin He, Guanglei Qi

“…At present, few methods of creating conceptual architecture have been proposed. What's more, they can't meet the requirements of dynamic Internet environment…”
Získat plný text

Synopsys Enables First-Pass Silicon Success for Early Adopters of Next-Generation Armv9 Architecture-based SoCs: Design, Verification, and IP Solutions Combine to Deliver a Total-Compute-centric Solution That Enables Maximum Performance-Per-Watt for High-End Consumer Devices

Získat plný text

AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL Autor Johnsen, Andreas, Lundqvist, Kristina, Hanninen, Kaj, Pettersson, Paul, Torelm, Martin

“… There is consequently little room for faults, which may cause substantial costs and devastating harm. Verification in architecture engineering should therefore be holistically…”
Získat plný text

Modular verification and validation for NATO generic vehicle architecture-based land platforms Autor Ota, Daniel, Pradhan, Manas

“…) and specifies how Verification and Validation (V&V) of entire NGVA systems can be conducted. In case of a configuration…”
Získat plný text

A Formal Verification Methodology for Cache Architectures Based on Noninterference Hyperproperties Autor Zhang, Yusha, Zhu, Ziyuan, Liu, Yuxin, Tong, Zhongkai, Cai, Wenjing, Meng, Dan

“… Therefore, it is imperative to establish a universal and comprehensive formal verification methodology to evaluate the security of cache designs…”
Získat plný text

Generation and validation of traces between requirements and architecture based on formal trace semantics Autor Goknil, Arda, Kurtev, Ivan, Van Den Berg, Klaas

“…•Requirements relations and architecture verification techniques are used.•A trace metamodel is defined with commonly used trace types between requirements and architecture…”
Získat plný text

Design, development and testing of a 16-bit reduced instruction set computer architecture based processor Autor Jain, Manan, Kanzariya, Het, Joshi, Neel, Masharu, Yesha, Gajjar, Sachin, Shah, Dhaval

“…) architecture using a multicycle data path. The design, development, and verification were carried-out using Xilinx Vivado, Xilinx Power Estimator, and Modelsim tools…”
Získat plný text

An architecture-based comparison of verification and statistical reliability assessment methods for embedded software systems Autor Bastani, F.B., Sung Kim, I-Ling Yen, Ing-Ray Chen

“… for certifying the system based on the certification of the independent aspects and the system architecture…”
Získat plný text