Cargando…

Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems

In modern computer systems, distributed systems play an increasingly important role, and modeling and verification are crucial in their development. The specificity of many systems requires taking this into account in real time, as time dependencies significantly affect the system’s behavior, when a...

Descripción completa

Detalles Bibliográficos
Autor principal:	Daszczuk, Wiktor B.
Formato:	Online Artículo Texto
Lenguaje:	English
Publicado:	MDPI 2022
Materias:	Article
Acceso en línea:	https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8915185/ https://www.ncbi.nlm.nih.gov/pubmed/35161901 http://dx.doi.org/10.3390/s22031157

Ejemplares similares

Static and Dynamic Verification of Space Systems Using Asynchronous Observer Agents
por: Daszczuk, Wiktor B.
Publicado: (2021)

Integrated model of distributed systems
por: Daszczuk, Wiktor B
Publicado: (2019)

Modeling and asynchronous distributed simulation: analyzing complex systems
por: Ghosh, Sumit, et al.
Publicado: (2000)

Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems
por: Raynal, Michel
Publicado: (2010)

Analytical Model of ALOHA and Time- and Frequency-Asynchronous ALOHA with Forward Error Correction for IoT Systems
por: Clazzer, Federico, et al.
Publicado: (2022)

Modeling and partially coordinated diagnosis of asynchronous discrete-event systems
por: üppel, Sebastian
Publicado: (2012)

Distance Error Correction in Time-of-Flight Cameras Using Asynchronous Integration Time
por: Baek, Eu-Tteum, et al.
Publicado: (2020)

Implementation and verification of distributed control systems
por: Gerber, Christian
Publicado: (2011)

On the Modeling and Verification of Collective and Cooperative Systems
por: Aldini, Alessandro
Publicado: (2022)

Asynchronous control for networked systems
por: Losada, María, et al.
Publicado: (2015)

Asynchronous system-on-chip interconnect
por: Bainbridge, John
Publicado: (2002)

Localization algorithms for asynchronous time difference of arrival positioning systems
por: He, Shuai, et al.
Publicado: (2017)

The Asynchronous Bounded-Cycle model()
por: Robinson, Peter, et al.
Publicado: (2011)

Asynchronous adaptive time step in quantitative cellular automata modeling
por: Zhu, Hao, et al.
Publicado: (2004)

Modelling and verification of reconfigurable multi-agent systems
por: Abd Alrahman, Yehia, et al.
Publicado: (2021)

Asynchronous Remote Assessment for Cognitive Impairment: Reliability Verification of the Neurotrack Cognitive Battery
por: Myers, Jennifer Rae, et al.
Publicado: (2022)

Analysis of integrated UWB MIMO and CR antenna system using transmission line model with functional verification
por: Prabhu, P., et al.
Publicado: (2022)

Entropy as a Measure of Consistency in Software Architecture
por: Niepostyn, Stanislaw Jerzy, et al.
Publicado: (2023)

Systems and Software Verification: Model-Checking Techniques and Tools
por: Bérard, B, et al.
Publicado: (2001)

A ROMULUS compatible asynchronous time and amplitude pad acquisition system
por: Darbo, G, et al.
Publicado: (1984)

Integrity Verification of Distributed Nodes in Critical Infrastructures
por: Sisinni, Silvia, et al.
Publicado: (2022)

Verification of the CNGS timing system using fast diamond detectors
por: Jansen, H, et al.
Publicado: (2013)

A detection system for the verification of 3D dose distributions
por: Brusasco, C, et al.
Publicado: (1997)

Runtime verification of embedded real-time systems
por: Reinbacher, Thomas, et al.
Publicado: (2013)

Improved scheduling algorithm for signal processing in asynchronous distributed ultrasonic total-focusing-method system
por: Li, Yuzhong, et al.
Publicado: (2019)

Distributed embedded controller development with petri nets: application to globally-asynchronous locally-synchronous systems
por: Moutinho, Filipe de Carvalho, et al.
Publicado: (2016)

Verification of the CNGS Timing System using Ultra-Fast Diamond Detectors
por: Jansen, H, et al.
Publicado: (2012)

Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains
por: Athaiya, Snigdha, et al.
Publicado: (2021)

Asynchronous Federated Learning System Based on Permissioned Blockchains
por: Wang, Rong, et al.
Publicado: (2022)

Asynchronous variational integration using continuous assumed gradient elements
por: Wolff, Sebastian, et al.
Publicado: (2013)

Estimating Attractor Reachability in Asynchronous Logical Models
por: Mendes, Nuno D., et al.
Publicado: (2018)

Use of the commercial serial asynchronous system "Satan" for remote-controlled apparatus
por: Nanni, F
Publicado: (1977)

Experimental verification of generalized eigenstate thermalization hypothesis in an integrable system
por: Wang, Qin-Qin, et al.
Publicado: (2022)

Design, Analysis, and Verification of an Electro- Hydrostatic Actuator for Distributed Actuation System
por: Li, Yang, et al.
Publicado: (2020)

A fully asynchronous multifrontal solver using distributed dynamic scheduling
por: Amestoy, P R, et al.
Publicado: (1999)

Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models
por: Donatelli, Susanna, et al.
Publicado: (2020)

Distributed Data Integrity Verification Scheme in Multi-Cloud Environment
por: Witanto, Elizabeth Nathania, et al.
Publicado: (2023)

Asynchronous generation of oil droplets using a microfluidic flow focusing system
por: Thurgood, Peter, et al.
Publicado: (2019)

Pilot Decontamination Using Asynchronous Fractional Pilot Scheduling in Massive MIMO Systems
por: Zahoor, Muhammad Irshad, et al.
Publicado: (2020)

Task scheduling in an asynchronous distributed memory multifrontal solver
por: Amestoy, P R, et al.
Publicado: (2002)

Cannot write session to /tmp/vufind_sessions/sess_6tijl5iupaebjsl38elf7fta1s