Suchergebnisse - Architecture-based verification

Towards Digital Twin-enabled DevOps for CPS providing Architecture-Based Service Adaptation & Verification at Runtime von 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 …”
Volltext

A proposal and verification of a software architecture based on LabVIEW for a multifunctional robotic end-effector von 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 …”
Volltext

Boreholes Data Analysis Architecture Based on Clustering and Prediction Models for Enhancing Underground Safety Verification von 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 …”
Volltext

Automated Verification of AADL-Specifications Using UPPAAL von 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 …”
Volltext

Detection of Ladder Logic Bombs in PLC Control Programs: an Architecture based on Formal Verification von 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 …”
Volltext

Experimental Verification of Scan-Architecture-Based Evaluation Technique of SET and SEU Soft-Error Rates at Each Flip-Flop in Logic VLSI Systems von 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 …”
Volltext

Architecture-Based Synthesis of 1D-3D Models for Verification and Validation von 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 …”
Volltext

DESIGN AND VERIFICATION OF REMOTE SENSING IMAGE DATA CENTER STORAGE ARCHITECTURE BASED ON HADOOP von 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, …”
Volltext

Towards Digital Twin-enabled DevOps for CPS providing Architecture-Based Service Adaptation & Verification at Runtime von 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 …”
Volltext

Modeling and verification of Industrial Microservice Architecture Based on Formal Methods von 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 …”
Volltext

Toward architecture-based test-vector generation for timing verification of fast parallel multipliers von 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 …”
Volltext

A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL von 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 …”
Volltext

Verification of Conceptual Architecture Based on Component von 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 …”
Volltext

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

Volltext

AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL von 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 …”
Volltext

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

“… ) and specifies how Verification and Validation (V&V) of entire NGVA systems can be conducted. In case of a configuration …”
Volltext

A Formal Verification Methodology for Cache Architectures Based on Noninterference Hyperproperties von 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 …”
Volltext

Generation and validation of traces between requirements and architecture based on formal trace semantics von 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 …”
Volltext

Design, development and testing of a 16-bit reduced instruction set computer architecture based processor von 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 …”
Volltext

An architecture-based comparison of verification and statistical reliability assessment methods for embedded software systems von 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 …”
Volltext