Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Test sequences generation from lustre descriptions: Gatel
B Marre, A Arnould - Proceedings ASE 2000. Fifteenth IEEE …, 2000 - ieeexplore.ieee.org
We describe a test sequence generation method from LUSTRE descriptions and its
companion tool, GATEL. The LUSTRE language is declarative and describes synchronous …
companion tool, GATEL. The LUSTRE language is declarative and describes synchronous …
Code-dependent and architecture-dependent reliability behaviors
The increased need for computing capabilities and higher efficiency have stimulated
industries to make available in the market novel architectures with increased complexity …
industries to make available in the market novel architectures with increased complexity …
Driver performance in the presence of adaptive cruise control related failures: Implications for safety analysis and fault tolerance
This study explored how failures related to an adaptive cruise control (ACC) were handled
by drivers and what the effects on safety can be. The experimental study included forty-eight …
by drivers and what the effects on safety can be. The experimental study included forty-eight …
Software implemented detection and recovery of soft errors in a brake-by-wire system
This paper presents an experimental study of the impact of soft errors in a prototype brake-
by-wire system. To emulate the effects of soft errors, we injected single bit-flips into" live" …
by-wire system. To emulate the effects of soft errors, we injected single bit-flips into" live" …
Cybersecurity through real-time distributed control systems
RA Kisner, WW Manges, LP MacIntyre, JJ Nutaro… - 2010 - osti.gov
Critical infrastructure sites and facilities are becoming increasingly dependent on
interconnected physical and cyber-based real-time distributed control systems (RTDCSs). A …
interconnected physical and cyber-based real-time distributed control systems (RTDCSs). A …
Wireless technology in industry-applications and user scenarios
We draw a map of the wireless technology landscape, and place different industrial
applications in this context. It is clear that in order to implement wireless communication in …
applications in this context. It is clear that in order to implement wireless communication in …
[ספר][B] A middleware framework for networked control systems
GB Baliga - 2005 - search.proquest.com
Networked control systems could possibly constitute the next logical step in the evolution of
control, leading to the convergence of control with communication and computing. A central …
control, leading to the convergence of control with communication and computing. A central …
On the design of robust integrators for fail-bounded control systems
This paper describes the design and evaluation of a robust integrator for software-
implemented control systems. The integrator is constructed as a generic component in the …
implemented control systems. The integrator is constructed as a generic component in the …
Experimental dependability evaluation of a fail-bounded jet engine control system for unmanned aerial vehicles
J Vinter, O Hannius, T Norlander… - … and Networks (DSN' …, 2005 - ieeexplore.ieee.org
This paper presents an experimental evaluation of a prototype jet engine controller intended
for unmanned aerial vehicles (UAVs). The controller is implemented with commercial off-the …
for unmanned aerial vehicles (UAVs). The controller is implemented with commercial off-the …
Reset-driven fault tolerance
A common approach in embedded systems to achieve faulttolerance is to reboot the
computer whenever some non-permanent error is detected. All the system code and data …
computer whenever some non-permanent error is detected. All the system code and data …