The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The paper addresses the issue of testing programs written in the synchronous data flow language LUSTRE. We define a mixed strategy which combines statistical testing and deterministic extremal values testing. Statistical testing involves exercising a program with random inputs, the input distribution and the number of test data being determined according to test criteria. Three criteria based on the...
New airplanes must meet rigorous requirements of aviation safety, operational reliability, high performance and energy efficiency at a low cost. To meet this challenge, we should optimize current system and take advantage of available technology for the next decade. This work is aiming at proposing some evolutions for Flight Control System (FCS) and to build alternative FCS low-cost and safe architectures...
Over the years, technical improvements, such as digital computer and digital communication, are drastically changing avionics architecture designs. Airplane performance and business pressures related to cost have been the main drivers to change the flight control systems (FCS) from mechanical to digital fly-by-wire designs. In this context, there exists a great motivation to change current FCS architecture...
The paper proposes a solution to the problem posed by the inclusion of complex interstage nodes into communication networks. Thus nodes are prone to exhibit failure modes that may lead to repetitive errors that breach the usual set of assumptions considered for medium-level protection mechanisms. The specific class of application targeted (e.g., servomechanisms controlling flight control surfaces)...
Many previous studies have analyzed the issues of dependability in the physical layers of future nanoarchitectures. Here we consider the upper layers and especially the contribution of communications to reinforcing the dependability of general-purpose nanoarchitectures (GPN). We adhere to the idea that a GPN should be viewed as a single-chip massive multiprocessor system, consisting in immersing a...
This paper presents a dependability benchmark for general-purpose operating systems and its application to six versions of Windows operating system and four versions of Linux operating system. The benchmark measures are: operating system robustness (as regards possible erroneous inputs provided by the application software to the operating system via the application programming interface), reaction...
Summing up, we can say that the failures can be divided into three classes according to whether they induce single, unidirectional or multiple errors. Each of these three classes can also be divided into two groups : permanent and transient errors. The table of figure 2 gives for each class the main failures encountered.
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.