Výsledky vyhľadávania - "Modelling and verification"

Modelling and Verification of CoAP over Routing Layer Using SPIN Model Checker Autor Vattakunnel, Anchal J., Kumar, N. Suresh, Kumar, G Santhosh

“… the system. The formal model is subject to verification by inserting correctness and safety properties of the protocol and validating logical correctness using a model checking tool…”
Získať plný text

Modelling and verification for dna nanotechnology Autor Dannenberg, Frits Gerrit Willem

“… These devices function at physiological conditions and, owing to their molecular scale, are subject to thermal fluctuations during both preparation and operation of the device…”
Získať plný text

Modelling and verification of security rules in an OpenFlow environment with Coloured Petri Nets Autor Torrez Rojas, Marco Antonio, Takeo Ueda, Eduardo, Melo de Brito Carvalho, Tereza Cristina

“…The discussion of alternatives to the Internet architecture has been the subject of research for several years, resulting in a number of solutions and mechanisms that can help even the current approach…”
Získať plný text

Formal Modeling and Verification of Safety-Critical Software Autor Yoo, Junbeom, Jee, Eunkyoung, Cha, Sungdeok (Steve)

“…) for a nuclear power plant. Although using formal methods such as formal modeling and verification is strongly recommended, domain experts often reject formal methods for four reasons…”
Získať plný text

Theoretical modeling and verification of storage time of cold box based on network method of radiation heat transfer Autor Fu, Zhiqiang, Liu, Haozhe, Duan, Liying, Huang, Liqiang, Wang, Yan

“…The storage time of cold box is an important subject. At present, the research method of the storage time is mainly an experiment, and the theoretical research is incomplete…”
Získať plný text

Stress fusion evaluation modeling and verification based on non-invasive blood glucose biosensors for live fish waterless transportation Autor Zhang, Yongjun, Xiao, Xinqing, Feng, Huanhuan, Nikitina, Marina A., Zhang, Xiaoshuan, Zhao, Qinan

“…Non-invasive blood glucose level (BGL) evaluation technology in skin mucus is a wearable stress-detection means to indicate the health status of live fish for…”
Získať plný text

EasyModel: A Refinement-Based Modeling and Verification Approach for Self-Adaptive Software Autor Han, De-Shuai, Yang, Qi-Liang, Xing, Jian-Chun, Ma, Guang-Lian

“… To tackle the modeling difficulty of SAS systems, we present a refinement-based modeling and verification approach called EasyModel…”
Získať plný text

Modeling and Verification of the Length of the Entrance and Exit Sections of an Undersea Tunnel Autor Zhang, Lixia, Yang, Yongzheng, Pan, Fuquan, Wang, Zheng, Ma, Changxi, Zhu, Shengxue, Yang, Jinshun

“… Considering the Qingdao Jiaozhou Bay undersea tunnel as an experimental subject, the accuracy of the model of the entrance and exit section lengths was verified using two methods…”
Získať plný text

Modeling and Verification of a Bimanual-Coordinated Training System Autor Li, Chunguang, Inoue, Yoshio, Liu, Tao, Shibata, Kyoko, Sun, Lining

“… limb. Two upper limbs accomplish symmetric movements in each training mode. Motion tracking training in active-resisted and active-assisted modes was performed on 11 healthy subjects…”
Získať plný text

Formal Modeling and Verification of Justification and Finalization of Checkpoints in Ethereum 2.0 Beacon Chain Autor Rashid, Muhammad, Rasool, Imran, Zafar, Nazir Ahmad, Afzaal, Hamra

“… Due of its novelty (launched in 2020), there is little any literature on the subject…”
Získať plný text

Formal Modeling and Verification of IoT-based Smart Transport System using SPIN Model Checker Autor Rashid, Muhammad, Qadeer, Muhammad, Raza, Husnain, Shabbir, Ifra, Rasool, Imran, Zafar, Nazir Ahmad

“… IOT-based smart transport systems have been the subject of much study, but formal verification to guarantee the accuracy of these systems has received less attention…”
Získať plný text

DT-Stark: a tool for evaluating the effectiveness of digital twins through feedback and perturbations Autor Castiglioni, Valentina, Lanotte, Ruggero, Loreti, Michele, Tini, Simone

“… . Specifically, we present the DT-Stark tool, that extends Stark , a tool for modelling and verification of systems operating under uncertainty, with feedback , a special…”
Získať plný text

Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2 Autor Jahid Chowdhury Choton, Gupta, Lipsy, Prabhakar, Pavithra

“…The Robot Operating System (ROS) is one of the most popular middleware for developing robot applications, but it is subject to major shortcomings when applied to real-time robotic systems in safety-critical environments…”
Získať plný text

High-level formal modeling and verification of mandatory access control policies across multiple security-enhanced linux devices Autor Zook, Jared Thomas

“…The evolution of technological progress continually presents new information security challenges for large enterprises. Organizations must actively implement…”
Získať plný text

Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers Autor Yonghui Li, Akesson, Benny, Lampka, Kai, Goossens, Kees

“…, transactions have variable sizes. RT memory controllers with dynamic command scheduling can efficiently address the diversity by issuing appropriate commands subject to the SDRAM timing constraints…”
Získať plný text

A conceptual framework for automatic modelling and conflict detection of 3D land-use regulation restrictions to support issuing planning permits Autor Emamgholian, Saeid, Pouliot, Jacynthe, Shojaei, Davood

“…There are a wide variety of Land-use Regulation (LuR) restrictions, ranging from those that need simple 2D spatial analyses to be verified (e.g., area…”
Získať plný text

Formal Modeling and Verification of Dynamic Reconfiguration of Autonomous Robotics Systems Autor Fu, Yujian, Drabo, Mebougna

“… The aim of this work is the modeling and verification of autonomous robotics systems (ARMs) subject to dynamic changes using extensions of Petri nets…”
Získať plný text

Consistency verification in modeling of real-time systems Autor Yi Deng, Jiacun Wang, Zhou, MengChu

“… To ensure these system-wide constraints are satisfied, each of the constituent components is subject to a set of derived intermediate constraints…”
Získať plný text

Construction and Validation of a Predictive Model for the Risk of Ventilator-Associated Pneumonia in Elderly ICU Patients Autor Li, Shuhua, Shang, Linping, Yuan, Lirong, Li, Wei, Kang, Hongyun, Zhao, Wenting, Han, Xiaojuan, Su, Danxia

“… Study subjects were divided into a model group (n = 1219) and a validation group (n = 632). Two groups of patients were divided into a VAP group and a non-VAP group and compared…”
Získať plný text

Proactive self-adaptation and assurance of explainable Human–Machine Teaming Autor Lestingi, Livia, Bersani, Marcello M., Camilli, Matteo, Mirandola, Raffaela, Rossi, Matteo, Scandurra, Patrizia

“… We present AdaptEASE, a framework that leverages formal modeling and verification to model HMT missions offline and predict the mission outcome at runtime through Machine Learning (ML…”
Získať plný text