409 research outputs found
ΠΠ»Π΅ΠΊΡΡΠΎΡ ΠΈΠΌΠΈΡΠ΅ΡΠΊΠ°Ρ ΠΌΠΈΠ³ΡΠ°ΡΠΈΡ: ΡΡΠ°ΠΏΡ ΠΈ ΠΏΡΠΎΡΠΈΠ»Π°ΠΊΡΠΈΠΊΠ°
The modern trend of miniaturization of electronics has also affected the aviation industry. With each new generation of aviation electronics (avionics), the layout of electronic components becomes smaller and smaller. This led to a significant complication of all electronic components of avionics in general, as well as compaction topology of printed circuit board (PCB) used in avionics, in particular. Any complication of electronic equipment, and especially important facilities, leads to increased requirements for reliability. Given that the aircraft equipment is operated almost constantly in extreme conditions, even the slightest probability of failure is unacceptable. That is why the physical reliability of avionics is so important. One of the factors significantly reducing the physical reliability of aviation electronics is electrochemical migration.Electrochemical migration can lead to failures in the operation of aviation electronics, to its complete failure, and even to a fire outbreak on the aircraft. Now the electrochemical migration is explored badly. Only the factors causing it and the consequences of electrochemical migration are determined, and the existing way of struggle it is either ineffective or significantly increase the weight and cost of aircraft equipment set, so that their use becomes impractical.This article presents experimental studies of the kinematics of electrochemical migration, the consequences of its occurrence, as well as, the way of struggle of the occurrence of electrochemical migration with the analysis of experimental data.Π‘ΠΎΠ²ΡΠ΅ΠΌΠ΅Π½Π½Π°Ρ ΡΠ΅Π½Π΄Π΅Π½ΡΠΈΡ ΠΌΠΈΠ½ΠΈΠ°ΡΡΡΠΈΠ·Π°ΡΠΈΠΈ ΡΠ»Π΅ΠΊΡΡΠΎΠ½ΠΈΠΊΠΈ Π·Π°ΡΡΠΎΠ½ΡΠ»Π° ΠΈ Π°Π²ΠΈΠ°ΡΠΈΠΎΠ½Π½ΡΡ ΠΏΡΠΎΠΌΡΡΠ»Π΅Π½Π½ΠΎΡΡΡ. Π‘ ΠΊΠ°ΠΆΠ΄ΡΠΌ Π½ΠΎΠ²ΡΠΌ ΠΏΠΎΠΊΠΎΠ»Π΅Π½ΠΈΠ΅ΠΌ Π°Π²ΠΈΠ°ΡΠΈΠΎΠ½Π½ΠΎΠΉ ΡΠ»Π΅ΠΊΡΡΠΎΠ½ΠΈΠΊΠΈ (Π°Π²ΠΈΠΎΠ½ΠΈΠΊΠΈ) ΠΊΠΎΠΌΠΏΠΎΠ½ΠΎΠ²ΠΊΠ° ΡΠ»Π΅ΠΊΡΡΠΎΠ½Π½ΡΡ
ΡΠ·Π»ΠΎΠ² ΡΡΠ°Π½ΠΎΠ²ΠΈΡΡΡ Π²ΡΠ΅ ΠΌΠ΅Π½ΡΡΠ΅ ΠΈ ΠΌΠ΅Π½ΡΡΠ΅. ΠΡΠΎ ΠΏΡΠΈΠ²Π΅Π»ΠΎ ΠΊ Π·Π½Π°ΡΠΈΡΠ΅Π»ΡΠ½ΠΎΠΌΡ ΡΡΠ»ΠΎΠΆΠ½Π΅Π½ΠΈΡ Π²ΡΠ΅Ρ
ΡΠ»Π΅ΠΊΡΡΠΎΠ½Π½ΡΡ
ΡΠ·Π»ΠΎΠ² Π°Π²ΠΈΠΎΠ½ΠΈΠΊΠΈ Π² ΡΠ΅Π»ΠΎΠΌ, Π° ΡΠ°ΠΊΠΆΠ΅ ΡΠΏΠ»ΠΎΡΠ½Π΅Π½ΠΈΡ ΡΠΎΠΏΠΎΠ»ΠΎΠ³ΠΈΠΈ ΠΏΠ΅ΡΠ°ΡΠ½ΡΡ
ΠΏΠ»Π°Ρ, ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡΡΠΈΡ
ΡΡ Π² Π°Π²ΠΈΠΎΠ½ΠΈΠΊΠ΅ Π² ΡΠ°ΡΡΠ½ΠΎΡΡΠΈ. ΠΡΠ±ΠΎΠ΅ ΡΡΠ»ΠΎΠΆΠ½Π΅Π½ΠΈΠ΅ ΡΠ»Π΅ΠΊΡΡΠΎΠ½Π½ΠΎΠΉ Π°ΠΏΠΏΠ°ΡΠ°ΡΡΡΡ, Π° ΠΎΡΠΎΠ±Π΅Π½Π½ΠΎ Π°ΠΏΠΏΠ°ΡΠ°ΡΡΡΡ ΠΎΡΠ²Π΅ΡΡΡΠ²Π΅Π½Π½ΠΎΠ³ΠΎ Π½Π°Π·Π½Π°ΡΠ΅Π½ΠΈΡ, ΠΏΡΠΈΠ²ΠΎΠ΄ΠΈΡ ΠΊ ΠΏΠΎΠ²ΡΡΠ΅Π½ΠΈΡ ΡΡΠ΅Π±ΠΎΠ²Π°Π½ΠΈΠΉ ΠΊ Π½Π°Π΄Π΅ΠΆΠ½ΠΎΡΡΠΈ. Π£ΡΠΈΡΡΠ²Π°Ρ, ΡΡΠΎ Π°Π²ΠΈΠ°ΡΠΈΠΎΠ½Π½Π°Ρ Π°ΠΏΠΏΠ°ΡΠ°ΡΡΡΠ° ΡΠΊΡΠΏΠ»ΡΠ°ΡΠΈΡΡΠ΅ΡΡΡ ΠΏΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΈ ΠΏΠΎΡΡΠΎΡΠ½Π½ΠΎ, Π² ΡΠΊΡΡΡΠ΅ΠΌΠ°Π»ΡΠ½ΡΡ
ΡΡΠ»ΠΎΠ²ΠΈΡΡ
, Π΄Π°ΠΆΠ΅ ΠΌΠ°Π»Π΅ΠΉΡΠ°Ρ Π²Π΅ΡΠΎΡΡΠ½ΠΎΡΡΡ Π²ΠΎΠ·Π½ΠΈΠΊΠ½ΠΎΠ²Π΅Π½ΠΈΡ ΡΠ±ΠΎΡ ΠΈΠ»ΠΈ ΠΎΡΠΊΠ°Π·Π° Π½Π΅Π΄ΠΎΠΏΡΡΡΠΈΠΌΠ°. ΠΠΌΠ΅Π½Π½ΠΎ ΠΏΠΎΡΡΠΎΠΌΡ ΡΠΈΠ·ΠΈΡΠ΅ΡΠΊΠ°Ρ Π½Π°Π΄Π΅ΠΆΠ½ΠΎΡΡΡ Π°Π²ΠΈΠΎΠ½ΠΈΠΊΠΈ Π½Π°ΡΡΠΎΠ»ΡΠΊΠΎ Π²Π°ΠΆΠ½Π°. ΠΠ΄Π½ΠΈΠΌ ΠΈΠ· ΡΠ°ΠΊΡΠΎΡΠΎΠ², ΡΡΡΠ΅ΡΡΠ²Π΅Π½Π½ΠΎ ΡΠ½ΠΈΠΆΠ°ΡΡΠΈΠΌ ΡΠΈΠ·ΠΈΡΠ΅ΡΠΊΡΡ Π½Π°Π΄Π΅ΠΆΠ½ΠΎΡΡΡ Π°Π²ΠΈΠ°ΡΠΈΠΎΠ½Π½ΠΎΠΉ ΡΠ»Π΅ΠΊΡΡΠΎΠ½ΠΈΠΊΠΈ, ΡΠ²Π»ΡΠ΅ΡΡΡ Π²ΠΎΠ·Π½ΠΈΠΊΠ½ΠΎΠ²Π΅Π½ΠΈΠ΅ ΡΠ»Π΅ΠΊΡΡΠΎΡ
ΠΈΠΌΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΌΠΈΠ³ΡΠ°ΡΠΈΠΈ.ΠΠ»Π΅ΠΊΡΡΠΎΡ
ΠΈΠΌΠΈΡΠ΅ΡΠΊΠ°Ρ ΠΌΠΈΠ³ΡΠ°ΡΠΈΡ ΡΠΏΠΎΡΠΎΠ±Π½Π° ΠΏΡΠΈΠ²Π΅ΡΡΠΈ ΠΊ ΡΠ±ΠΎΡΠΌ Π² ΡΠ°Π±ΠΎΡΠ΅ Π°Π²ΠΈΠ°ΡΠΈΠΎΠ½Π½ΠΎΠΉ ΡΠ»Π΅ΠΊΡΡΠΎΠ½ΠΈΠΊΠΈ, ΠΊ Π΅Π΅ ΠΏΠΎΠ»Π½ΠΎΠΌΡ ΠΎΡΠΊΠ°Π·Ρ, Π° ΡΠ°ΠΊΠΆΠ΅ Π΄Π°ΠΆΠ΅ ΠΊ Π²ΠΎΠ·Π³ΠΎΡΠ°Π½ΠΈΡ Π½Π° Π±ΠΎΡΡΡ Π»Π΅ΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠ³ΠΎ Π°ΠΏΠΏΠ°ΡΠ°ΡΠ°. ΠΠ° ΡΠ΅Π³ΠΎΠ΄Π½ΡΡΠ½ΠΈΠΉ Π΄Π΅Π½Ρ ΡΠ²Π»Π΅Π½ΠΈΠ΅ ΡΠ»Π΅ΠΊΡΡΠΎΡ
ΠΈΠΌΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΌΠΈΠ³ΡΠ°ΡΠΈΠΈ ΠΈΠ·ΡΡΠ΅Π½ΠΎ Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎ ΠΏΠ»ΠΎΡ
ΠΎ. ΠΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Ρ Π»ΠΈΡΡ ΡΠ°ΠΊΡΠΎΡΡ, Π²ΡΠ·ΡΠ²Π°ΡΡΠΈΠ΅ Π΅Π΅, ΠΈ ΠΏΠΎΡΠ»Π΅Π΄ΡΡΠ²ΠΈΡ ΡΠ»Π΅ΠΊΡΡΠΎΡ
ΠΈΠΌΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΌΠΈΠ³ΡΠ°ΡΠΈΠΈ, Π° ΡΡΡΠ΅ΡΡΠ²ΡΡΡΠΈΠ΅ ΡΠΏΠΎΡΠΎΠ±Ρ Π±ΠΎΡΡΠ±Ρ Ρ ΡΡΠΈΠΌ ΡΠ²Π»Π΅Π½ΠΈΠ΅ΠΌ Π»ΠΈΠ±ΠΎ Π½Π΅ΡΡΡΠ΅ΠΊΡΠΈΠ²Π½Ρ, Π»ΠΈΠ±ΠΎ Π·Π½Π°ΡΠΈΡΠ΅Π»ΡΠ½ΠΎ ΡΠ²Π΅Π»ΠΈΡΠΈΠ²Π°ΡΡ Π²Π΅Ρ ΠΈ ΡΡΠΎΠΈΠΌΠΎΡΡΡ Π±ΠΎΡΡΠΎΠ²ΠΎΠΉ Π°ΠΏΠΏΠ°ΡΠ°ΡΡΡΡ Π½Π°ΡΡΠΎΠ»ΡΠΊΠΎ, ΡΡΠΎ ΠΈΡ
ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ΠΈΠ΅ ΡΡΠ°Π½ΠΎΠ²ΠΈΡΡΡ Π½Π΅ΡΠ΅Π»Π΅ΡΠΎΠΎΠ±ΡΠ°Π·Π½ΡΠΌ.Π Π΄Π°Π½Π½ΠΎΠΉ ΡΡΠ°ΡΡΠ΅ ΠΏΡΠΈΠ²ΠΎΠ΄ΡΡΡΡ ΡΠΊΡΠΏΠ΅ΡΠΈΠΌΠ΅Π½ΡΠ°Π»ΡΠ½ΡΠ΅ ΠΈΡΡΠ»Π΅Π΄ΠΎΠ²Π°Π½ΠΈΡ ΠΊΠΈΠ½Π΅ΠΌΠ°ΡΠΈΠΊΠΈ ΡΠ²Π»Π΅Π½ΠΈΡ ΡΠ»Π΅ΠΊΡΡΠΎΡ
ΠΈΠΌΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΌΠΈΠ³ΡΠ°ΡΠΈΠΈ, ΠΏΠΎΡΠ»Π΅Π΄ΡΡΠ²ΠΈΠΉ Π΅Π΅ Π²ΠΎΠ·Π½ΠΈΠΊΠ½ΠΎΠ²Π΅Π½ΠΈΡ, Π° ΡΠ°ΠΊΠΆΠ΅ Ρ ΡΡΠ΅ΡΠΎΠΌ ΠΏΡΠΎΠ²Π΅Π΄Π΅Π½Π½ΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π° ΡΠΊΡΠΏΠ΅ΡΠΈΠΌΠ΅Π½ΡΠ°Π»ΡΠ½ΡΡ
Π΄Π°Π½Π½ΡΡ
ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ ΡΠΏΠΎΡΠΎΠ± Π±ΠΎΡΡΠ±Ρ Ρ Π²ΠΎΠ·Π½ΠΈΠΊΠ½ΠΎΠ²Π΅Π½ΠΈΠ΅ΠΌ ΡΠ²Π»Π΅Π½ΠΈΡ ΡΠ»Π΅ΠΊΡΡΠΎΡ
ΠΈΠΌΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΌΠΈΠ³ΡΠ°ΡΠΈΠΈ
Evidence for a high-energy cosmic-ray spectrum cutoff
Journal ArticleWe report a measurement of the ultrahigh-energy cosmic-ray spectrum using an atmospheric fluorescence technique for extensive-air-shower detection. The differential spectrum between 0.1 and 10 EeV (1 EeV = 10^18 eV) is well fitted by a power law with slope 2.94 Β±0.02. Above 10 EeV evidence is presented for the development of a spectral " bump " followed by a cutoff at 70 EeV
Limits on deeply penetrating particles in the >10^17 eV cosmic-ray flux
Journal ArticleWe report on a search for deeply penetrating particles in the > 10^17 eV cosmic-ray flux using the University of Utah Fly's Eye detector. No such events have been found in 6 x 106 sec of running time. We consequently set limits on the following: quark matter in the primary cosmic-ray flux, high-energy long-lived weakly interacting particles produced in proton-air interactions, such as Ο's; astrophysical neutrino flux; and other hypothetical high-energy weakly interacting components of the cosmic-ray flux such as photinos
Extremely high energy cosmic rays and the Auger Observatory
Over the last 30 years or so, a handful of events observed in ground-based
cosmic ray detectors seem to have opened a new window in the field of
high-energy astrophysics. These events have energies exceeding 5x10**19 eV (the
region of the so-called Greisen-Zatsepin-Kuzmin spectral cutoff); they seem to
come from no known astrophysical source; their chemical composition is mostly
unknown; no conventional accelerating mechanism is considered as being able to
explain their production and propagation to earth. Only a dedicated detector
can bring in the high-quality and statistically significant data needed to
solve this long-lasting puzzle: this is the aim of the Auger Observatory
project around which a world-wide collaboration is being mobilized.Comment: 14 pages, no figures, Latex, to be published in Proc. of the 7th Int.
Workshop on Neutrino Telescopes (Venice 27/2-1/3 1996
Disappointing model for ultrahigh-energy cosmic rays
Data of Pierre Auger Observatory show a proton-dominated chemical composition
of ultrahigh-energy cosmic rays spectrum at (1 - 3) EeV and a steadily heavier
composition with energy increasing. In order to explain this feature we assume
that (1 - 3) EeV protons are extragalactic and derive their maximum
acceleration energy, E_p^{max} \simeq 4 EeV, compatible with both the spectrum
and the composition. We also assume the rigidity-dependent acceleration
mechanism of heavier nuclei, E_A^{max} = Z x E_p^{max}. The proposed model has
rather disappointing consequences: i) no pion photo-production on CMB photons
in extragalactic space and hence ii) no high-energy cosmogenic neutrino fluxes;
iii) no GZK-cutoff in the spectrum; iv) no correlation with nearby sources due
to nuclei deflection in the galactic magnetic fields up to highest energies.Comment: 4 pages, 7 figures, the talk presented by A. Gazizov at NPA5
Conference, April 3-8, 2011, Eilat, Israe
Π’Π΅ΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΡΠΊΡΡΡΡΡ Π΄Π΅ΡΠ΅ΠΊΡΠΎΠ² Π² ΡΠΎΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΡΡ
Electronic instrumentation has a constant growth density layout and functionality. This entails an increase in the density of interconnection elements by increasing their number and reducing the size of it. The growing cost of interconnection structures (printed circuit boards, printing and wired mounting) associated with their complexity and increase of their reliability requirements, result in the search of new and improved non-destructive diagnostic methods and means of control. However, the existing methods do not allow control interconnects with sufficient certainty to identify a significant number of hidden defects. This class of defects can be diagnosed by means of non-destructive testing of interconnections, based on the detection of controlled circuit reaction to a current. The paper describes the principles for calculating the current to exercise that control.ΠΠ»Π΅ΠΊΡΡΠΎΠ½Π½ΠΎΠ΅ ΠΏΡΠΈΠ±ΠΎΡΠΎΡΡΡΠΎΠ΅Π½ΠΈΠ΅ Π½Π°Ρ
ΠΎΠ΄ΠΈΡΡΡ Π² ΡΠΎΡΡΠΎΡΠ½ΠΈΠΈ ΠΏΠΎΡΡΠΎΡΠ½Π½ΠΎΠ³ΠΎ ΡΠΎΡΡΠ° ΠΏΠ»ΠΎΡΠ½ΠΎΡΡΠΈ ΠΊΠΎΠΌΠΏΠΎΠ½ΠΎΠ²ΠΊΠΈ ΠΈ ΡΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»ΡΠ½ΠΎΡΡΠΈ. ΠΡΠΎ Π²Π»Π΅ΡΠ΅Ρ Π·Π° ΡΠΎΠ±ΠΎΠΉ ΡΠΎΡΡ ΠΏΠ»ΠΎΡΠ½ΠΎΡΡΠΈ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠ² ΠΌΠ΅ΠΆΡΠΎΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠΉ Π·Π° ΡΡΠ΅Ρ ΡΠ²Π΅Π»ΠΈΡΠ΅Π½ΠΈΡ ΠΈΡ
ΠΊΠΎΠ»ΠΈΡΠ΅ΡΡΠ²Π° ΠΈ ΡΠΌΠ΅Π½ΡΡΠ΅Π½ΠΈΡ ΡΠ°Π·ΠΌΠ΅ΡΠΎΠ². ΠΠΎΠ·ΡΠ°ΡΡΠ°Π½ΠΈΠ΅ ΡΡΠΎΠΈΠΌΠΎΡΡΠΈ ΠΊΠΎΠ½ΡΡΡΡΠΊΡΠΈΠΉ ΠΌΠ΅ΠΆΡΠΎΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠΉ (ΠΏΠ΅ΡΠ°ΡΠ½ΡΡ
ΠΏΠ»Π°Ρ, ΠΏΠ΅ΡΠ°ΡΠ½ΠΎΠ³ΠΎ ΠΈ ΠΏΡΠΎΠ²ΠΎΠ΄Π½ΠΎΠ³ΠΎ ΠΌΠΎΠ½ΡΠ°ΠΆΠ°), ΡΠ²ΡΠ·Π°Π½Π½ΠΎΠ΅ Ρ ΠΈΡ
ΡΡΠ»ΠΎΠΆΠ½Π΅Π½ΠΈΠ΅ΠΌ ΠΈ Π²ΠΎΠ·ΡΠ°ΡΡΠ°Π½ΠΈΠ΅ΠΌ ΡΡΠ΅Π±ΠΎΠ²Π°Π½ΠΈΠΉ ΠΊ Π½Π°Π΄Π΅ΠΆΠ½ΠΎΡΡΠΈ, ΠΎΠ±ΡΡΠ»Π°Π²Π»ΠΈΠ²Π°Π΅Ρ ΠΏΠΎΠΈΡΠΊ Π½ΠΎΠ²ΡΡ
ΠΈ ΡΠΎΠ²Π΅ΡΡΠ΅Π½ΡΡΠ²ΠΎΠ²Π°Π½ΠΈΠ΅ ΡΡΡΠ΅ΡΡΠ²ΡΡΡΠΈΡ
Π½Π΅ΡΠ°Π·ΡΡΡΠ°ΡΡΠΈΡ
Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠ΅ΡΠΊΠΈΡ
ΠΌΠ΅ΡΠΎΠ΄ΠΎΠ² ΠΈ ΡΡΠ΅Π΄ΡΡΠ² ΠΊΠΎΠ½ΡΡΠΎΠ»Ρ. ΠΠ΄Π½Π°ΠΊΠΎ, ΡΡΡΠ΅ΡΡΠ²ΡΡΡΠΈΠ΅ ΠΌΠ΅ΡΠΎΠ΄Ρ ΠΊΠΎΠ½ΡΡΠΎΠ»Ρ ΠΌΠ΅ΠΆΡΠΎΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠΉ Π½Π΅ ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡΡ Ρ Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎΠΉ Π΄ΠΎΡΡΠΎΠ²Π΅ΡΠ½ΠΎΡΡΡΡ Π²ΡΡΠ²ΠΈΡΡ Π·Π½Π°ΡΠΈΡΠ΅Π»ΡΠ½ΡΡ ΡΠ°ΡΡΡ ΡΠΊΡΡΡΡΡ
Π΄Π΅ΡΠ΅ΠΊΡΠΎΠ². Π’Π°ΠΊΠΈΠ΅ Π΄Π΅ΡΠ΅ΠΊΡΡ ΠΌΠΎΠ³ΡΡ Π±ΡΡΡ Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠΎΠ²Π°Π½Ρ ΠΏΡΠΈ ΠΏΠΎΠΌΠΎΡΠΈ Π½Π΅ΡΠ°Π·ΡΡΡΠ°ΡΡΠ΅Π³ΠΎ ΠΊΠΎΠ½ΡΡΠΎΠ»Ρ ΡΠΎΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠΉ, ΠΎΡΠ½ΠΎΠ²Π°Π½Π½ΠΎΠ³ΠΎ Π½Π° ΡΠ΅Π³ΠΈΡΡΡΠ°ΡΠΈΠΈ ΡΠ΅Π°ΠΊΡΠΈΠΈ ΠΊΠΎΠ½ΡΡΠΎΠ»ΠΈΡΡΠ΅ΠΌΡΡ
ΡΠ΅ΠΏΠ΅ΠΉ Π½Π° Π²ΠΎΠ·Π΄Π΅ΠΉΡΡΠ²ΠΈΠ΅ ΠΈΠΌΠΏΡΠ»ΡΡΠ° ΡΠΎΠΊΠ°. Π ΡΡΠ°ΡΡΠ΅ ΠΎΠΏΠΈΡΡΠ²Π°ΡΡΡΡ ΠΏΡΠΈΠ½ΡΠΈΠΏΡ ΡΠ°ΡΡΠ΅ΡΠ° ΠΏΠ°ΡΠ°ΠΌΠ΅ΡΡΠΎΠ² ΠΈΠΌΠΏΡΠ»ΡΡΠ° ΡΠΎΠΊΠ° ΠΈ ΡΠΏΠΎΡΠΎΠ± ΡΠ΅Π°Π»ΠΈΠ·Π°ΡΠΈΠΈ ΡΠ°ΠΊΠΎΠ³ΠΎ ΠΊΠΎΠ½ΡΡΠΎΠ»Ρ
Java-MaC A Run-time Assurance Tool for Java Programs
AbstractWe describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance about the correct execution of target programs at run-time. Monitoring and checking is performed based on a formal specification of system requirements. MaC bridges the gap between formal verification, which ensures the correctness of a design rather than an implementation, and testing, which only partially validates an implementation. Java-MaC provides a lightweight formal method solution as a viable complement to the current heavyweight formal methods. An important aspect of the architecture is the clear separation between monitoring implementation-dependent low-level behaviors and checking high-level behaviors against a formal requirements specification. Another salient feature is automatic instrumentation of executable codes. The paper presents an overview of the MaC architecture and a prototype implementation Java-MaC
- β¦