作者: 較早 時(shí)間: 2025-3-21 23:39 作者: sphincter 時(shí)間: 2025-3-22 00:42 作者: Vo2-Max 時(shí)間: 2025-3-22 04:33
A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitorings during the runtime, safeguarding measures can be triggered in order to keep the system and its environment in a safe state, as well as potentially attempting to recover from the fault that caused the misbehaviour. Most of the state-of-the-art on RV essentially focused on the monitor generation, co作者: 催眠藥 時(shí)間: 2025-3-22 12:03 作者: 招致 時(shí)間: 2025-3-22 15:58
Challenges in the Implementation of MrsP to date as to its viability and effectiveness for industrial-size real-time operating systems. In this paper we bridge this gap, focusing on the challenges posed by the implementation of MrsP on top of two representative real-time operating systems, RTEMS and LITMUS.. In doing so, we provide a usef作者: 容易懂得 時(shí)間: 2025-3-22 21:01 作者: pus840 時(shí)間: 2025-3-22 22:37 作者: 關(guān)節(jié)炎 時(shí)間: 2025-3-23 04:54
he case of the wheel of a rail braking, we must first look at the forces acting on the wheel. In pure rolling motion friction is required to start, stop, and change the motion of a wheel. Given below is the frictional force necessary to begin motion, and get the wheel moving at a velocity “..”作者: altruism 時(shí)間: 2025-3-23 08:16 作者: 不愛(ài)防注射 時(shí)間: 2025-3-23 12:28
Husni Khanfar,Bj?rn Lisper,Abu Naser Masudsynthesized in a green way using green products like lycopodium, spirulina phantasies, wheatgrass, spinach, turmeric, cellulose, broccoli, anthocyanin, etc., which are very beneficial for the environment, eco-friendly, non-hazardous, cost-effective, non-toxic, which can help in the development of la作者: 光明正大 時(shí)間: 2025-3-23 16:18
Juan Zamorano,Jorge Garridoct of joining techniques on the workpiece is an important consideration. Figure 1.2 shows an overview of metallic material joining and its association with microstructural changes and reliability. The inset in figure is a classic example of liberty ship failure because of improper joining procedure.作者: 令人苦惱 時(shí)間: 2025-3-23 18:58
Santiago Urue?a,Nuria Pérez,Bruno N. Calvo,Carlos Flores,Andreas Jung). This is due to the increase in magnesium production in China as well as a change in methodology of data collection by the International Magnesium Association from year 2000 onward. Overall, a recent surge in interest in Mg alloys is observed. The main driver for such renewed interest is the trans作者: ingestion 時(shí)間: 2025-3-23 23:05
Manuel Díaz,Daniel Garridoe most important parameter as different geometries can enhance the strength by mechanical means and by optimizing the volume and shape of the material extruded. Successful joints were created by the FSE process and can be used as a viable alternative for joining aluminum to titanium.作者: 可觸知 時(shí)間: 2025-3-24 03:17
d, power consumption of the FSW machine, tool wear, and improved weld productivity and joint properties through a thermal balance along the thickness of the weld. The present approach can also be extended to the thicker plates of the high strength materials.作者: COM 時(shí)間: 2025-3-24 09:03 作者: 精密 時(shí)間: 2025-3-24 13:51
Hana Mkaouar,Bechir Zalila,Jér?me Hugues,Mohamed Jmaield, power consumption of the FSW machine, tool wear, and improved weld productivity and joint properties through a thermal balance along the thickness of the weld. The present approach can also be extended to the thicker plates of the high strength materials.作者: 里程碑 時(shí)間: 2025-3-24 15:54
Omar Jaradat,Iain Bate,Sasikumar Punnekkate most important parameter as different geometries can enhance the strength by mechanical means and by optimizing the volume and shape of the material extruded. Successful joints were created by the FSE process and can be used as a viable alternative for joining aluminum to titanium.作者: 安心地散步 時(shí)間: 2025-3-24 21:32 作者: incontinence 時(shí)間: 2025-3-25 03:11 作者: Concerto 時(shí)間: 2025-3-25 04:23
Luís Miguel Pinho,Brad Moore,Stephen Michell,S. Tucker Taftook defect produced. Controlling depth is challenging for several reasons, including deflection in the welding machine and thermal expansion of the weld material, and also results in cross-coupling between axial force and spindle torque. The cross-coupling was handled by another feedforward compensa作者: Pageant 時(shí)間: 2025-3-25 07:59
Jesús Fernández,Héctor Pérez,J. Javier Gutiérrez,Michael González Harbourook defect produced. Controlling depth is challenging for several reasons, including deflection in the welding machine and thermal expansion of the weld material, and also results in cross-coupling between axial force and spindle torque. The cross-coupling was handled by another feedforward compensa作者: 整理 時(shí)間: 2025-3-25 12:10
AFDX Emulator for an ARINC-Based Training Platformsearch purposes. We also propose the integration of the emulator within an ARINC-653 platform to allow the development of real-time Ada applications. Finally, a performance evaluation has been done in order to show the usability of the emulator.作者: 噴出 時(shí)間: 2025-3-25 17:02
0302-9743 36 submissions. They are organized in topical sections on language technology, real-time applications, critical systems, and multicore and distributed systems.978-3-319-19583-4978-3-319-19584-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Aids209 時(shí)間: 2025-3-25 21:24
A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Mrtification standards. This research paper describes a safety concept for a fail-safe wind turbine mixed-criticality control system based on multicore partitioning that meets IEC-61508 and ISO-13849 industrial safety standards. The safety concept has been positively assessed by a certification body.作者: 拉開(kāi)這車(chē)床 時(shí)間: 2025-3-26 03:24 作者: extinguish 時(shí)間: 2025-3-26 06:51
Guaranteeing Timing Requirements in the IXV On-Board Softwarebility over RTEMS, and quantify the overhead of different mechanisms for measuring computation times. We provide the timing measurements of each task during the different modes of the mission, including the Guidance, Navigation, and Control (GNC) tasks, to aid in the development of future OBSW projects.作者: 招待 時(shí)間: 2025-3-26 11:46
Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later applications are developed using a component model for real-time applications implemented on top of the middleware. Improvements for software reliability have been detected during this time. We present them and how they can be applied to applications using TAO.作者: chassis 時(shí)間: 2025-3-26 14:22 作者: Employee 時(shí)間: 2025-3-26 18:34 作者: Boycott 時(shí)間: 2025-3-26 22:23
Conference proceedings 2015d in Madrid, Spain, in June 2015..The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 36 submissions. They are organized in topical sections on language technology, real-time applications, critical systems, and multicore and distributed systems.作者: HAWK 時(shí)間: 2025-3-27 04:54
A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Me) in a single embedded system can provide multiple benefits such as product cost-size-weight reduction, reliability increase and scalability. However, the integration of applications of different levels of criticality in a single embedded system leads to several challenges with respect to safety ce作者: 預(yù)兆好 時(shí)間: 2025-3-27 05:53
The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Missionsetta spacecraft smoothly approached a small (2-4 km in diameter) celestial body, comet CG/67P. Furthermore, the spacecraft executed additional fine manoeuvres to fly a multitude of low and high altitude orbits around the comet, mapping its shape and surface in detail never seen before, and has cont作者: clarify 時(shí)間: 2025-3-27 11:09
Extensible Debugger Framework for Extensible Languagesd more reliable software by using proper domain-specific abstractions. Language workbenches significantly reduce the effort for building such extensible languages by synthesizing a fully-fledged IDE from language definitions. However, in contemporary tools, this synthesis does not include interactiv作者: 滋養(yǎng) 時(shí)間: 2025-3-27 13:55
Static Backward Program Slicing for Safety-Critical Systems for analysing safety-critical software, since it can identify the program parts that may affect various safety properties. Verification efforts can then be directed towards those parts, leading to a more efficient verification process..We have developed a novel method for static backward program sl作者: Leisureliness 時(shí)間: 2025-3-27 17:48
A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoringand sometimes partially unpredictable computing architectures such as multicore commercial-of-the-shelf platforms, together with the composable development approach adopted in multiple industrial domains such as avionics and automotive, rendered the exhaustive testing of all situations that could po作者: Arb853 時(shí)間: 2025-3-27 23:50
Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCSMSat-2 case study is used to discuss the scheduling approach of the task set of the Attitude Determination and Control System (ADCS). The Ravenscar profile is a key element of the project in order to ensure temporal predictatibilty and analysability. However, the task population must be maintained l作者: molest 時(shí)間: 2025-3-28 04:37 作者: Soliloquy 時(shí)間: 2025-3-28 10:03 作者: spondylosis 時(shí)間: 2025-3-28 11:42 作者: athlete’s-foot 時(shí)間: 2025-3-28 15:36
From AADL Model to LNT Specificationsearch challenge. These systems are often used in safety-critical domains where one mistake can result in physical damages and even life loss. In such domains, formal methods are a suitable solution for rigorous analysis. This paper studies the formal verification of distributed real-time systems mo作者: 旁觀者 時(shí)間: 2025-3-28 22:19 作者: 不能強(qiáng)迫我 時(shí)間: 2025-3-29 02:57
Challenges in the Implementation of MrsPfor sharing logical resources. In fact, consolidated solutions for single processor systems are not immediately applicable to multiprocessor platforms and new paradigms and solutions have to be devised. The Multiprocessor resource sharing Protocol (MrsP) is a particularly elegant approach for partit作者: cunning 時(shí)間: 2025-3-29 06:58
An Execution Model for Fine-Grained Parallelism in Adapt of abstract executors, detailing the progress guarantees that these executors must provide and how these can be assured even in the presence of potentially blocking operations. The paper also describes how this execution model can be applied to real-time systems.作者: 灰姑娘 時(shí)間: 2025-3-29 10:53
AFDX Emulator for an ARINC-Based Training Platformhis paper proposes an AFDX emulator based on standard Ethernet hardware (cards and switches) to build a low cost AFDX network for training or basic research purposes. We also propose the integration of the emulator within an ARINC-653 platform to allow the development of real-time Ada applications. 作者: airborne 時(shí)間: 2025-3-29 14:30
Using Sensitivity Analysis to Facilitate the Maintenance of Safety Caseswe propose a sensitivity analysis approach to derive contracts from Fault Tree Analyses and use them to trace changes in the safety argument, thus facilitating easier maintenance of the safety argument.作者: 有毒 時(shí)間: 2025-3-29 17:43 作者: Entirety 時(shí)間: 2025-3-29 22:04
A. Balázs,A. Baksa,H. Bitterlich,I. Hernyes,O. Küchemann,Z. Pálos,J. Rustenbach,W. Schmidt,P. Spányir parameters of the press are given in this chapter. Operational sequence for one cycle to demonstrate and to understand the possible issues in a hydraulic press are explained..Predesign plan with PFMEA with significant characteristics with detailed control plan with complete manufacturing inputs in作者: occurrence 時(shí)間: 2025-3-30 00:17
. Details based on theoretical considerations of circular motion are given in this chapter which would provide the required stimulus for a better understanding of the rolling contact conditions. An account of dynamics of uniform and nonuniform motion is also explained. Primary cause of rolling frict作者: arthroscopy 時(shí)間: 2025-3-30 05:22
Domenik Pavletic,Markus Voelter,Syed Aoun Raza,Bernd Kolb,Timo Kehrer. Details based on theoretical considerations of circular motion are given in this chapter which would provide the required stimulus for a better understanding of the rolling contact conditions. An account of dynamics of uniform and nonuniform motion is also explained. Primary cause of rolling frict作者: 反感 時(shí)間: 2025-3-30 10:02 作者: wall-stress 時(shí)間: 2025-3-30 14:19 作者: 的’ 時(shí)間: 2025-3-30 20:08
