Certification of software for real-time safety-critical systems: state of the art

This paper presents an overview and discusses the role of certification in safety-critical computer systems focusing on software, and partially hardware, used in the civil aviation domain. It discusses certification activities according to RTCA DO-178B “Software Considerations in Airborne Systems and Equipment Certification” and touches on tool qualification according to RTCA DO-254 “Design Assurance Guidance for Airborne Electronic Hardware.” Specifically, certification issues as related to real-time operating systems and programming languages are reviewed, as well as software development tools and complex electronic hardware tool qualification processes are discussed. Results of an independent industry survey done by the authors are also presented.     

Finite rotations in the description of continuum deformation

Finite rotations in continuum mechanics are described by means of either a proper orthogonal tensor or finite rotation vectors. Some algebraic relations concerning the finite rotations are reviewed. Formulae expressing them in terms of displacements are given. Along each of the curvilinear coordinate lines the finite rotations are shown to satisfy some systems of the linear first-order differential equations. Each system of the equations is presented in four different but equivalent forms associated with an intermediate stretched basis or with an intermediate rotated basis. Integrability conditions of the system of equations provide various alternative forms of compatibility conditions in continuum mechanics. The displacement field is expressed through the stretch and rotation fields in the form of three successive line integrals. The formula describes the displacements to within a constant finite translation and a constant finite rotation. The procedure proposed here generalizes the formula derived by Cesàro (1906) within the classical linear theory of elasticity.     

Motion planning in velocity affine mechanical systems

We address the motion planning problem in specific mechanical systems whose linear and angular velocities depend affinely on control. The configuration space of these systems encompasses the rotation group, and the motion planning involves the system orientation. Derivation of the motion planning algorithm for velocity affine systems has been inspired by the continuation method. Performance of this algorithm is illustrated with examples of the kinematics of a serial nonholonomic manipulator, the plate-ball kinematics and the attitude control of a rigid body.     

Suspension flow in crystallizers with and without hydraulic classification

The main goal of this paper is to model a multiphase flow of a monodispersed suspensions in various types of crystallizers: Draft Tube Magma (DTM), Double Draft Tube (DDT) and Fluidized bed (FL). To do this, the CFD (Computational Fluid Dynamics) methods were used. The geometry of model apparatus was similar to those applied in industry. The composition of suspensions and their physical properties were the same as in practical cases.     

Emulsion Properties and Phase Equilibrium and of New Asymmetric Gemini Surfactants Consisting of Fatty Acid Esters of Polyethoxylated Alcohol or Phenol

The emulsion and phase properties of water-surfactant systems are reported for nonionic surface active compounds of the asymmetrical gemini type resulting from the esterification of a polyethoxylated alcohol and a fatty acid. These products exhibit typical gemini surfactant properties, in particular, low critical micelle concentration (CMC) and good emulsifying properties, and they often form a gel depending on the temperature and concentration.     

Selected elements of rock burst state assessment in case studies from the Silesian hard coal mines

Exploitation of coal seams in the Upper Silesian Coal Basin is conducted in complex and difficult conditions. These difficulties are connected with the occurrence of many natural mining hazards and limitations resulting from the existing in this area surface infrastructure. One of the most important problems of Polish mining is the rock burst hazard and reliable evaluation of its condition. During long-years' mining practice in Poland a comprehensive system of evaluation and control of this hazard was de-veloped. In the paper the main aspects of rock burst hazard state evaluation will be presented, comprising: 1) rock mass inclination for rock bursts, I.e., rock strength properties investigation, comprehensive parametric evaluation of rock mass inclination for rock bursts, prognosis of seismic events induced by mining operations, methods of computer-aided modelling of stress and rock mass deformation parameters distribution, strategic rock mass classification under rock burst degrees; 2) immediate seismic and rock burst hazard state evaluation, I.e., low diameter test drilling method, seismologic and seismoacoustic method, comprehensive method of rock burst hazard state evaluation, non-standard methods of evaluation; 3) legal aspects of rock burst hazard state evaluation. Selected elements of the hazard state evaluation system are illustrated with specific practical examples of their applica-tion.     

Numerical modelling of radiative heat transfer in an internal indirect reforming-type SOFC

The present paper describes numerical modelling of the radiative heat transfer process in the module chamber of an internal indirect reforming-type SOFC. The ability to do internal reforming is one of the characteristics of high-temperature fuel cells, SOFC. As in any high-temperature system, radiative heat transfer is important. In this article, heat transfer between the fuel reformer surface and all other surfaces facing the reformer surfaces is modelled. Governing equations for radiative heat transfer are described using Hottel's zone method. The resulting radiation–conduction conjugate heat transfer problems are numerically solved with a combination of Gauss–Seidel and Newton–Raphson methods. The steam reforming reaction occurring inside the fuel reformer is described using Achenbach model. The obtained results indicate that, for the development of effective indirect internal reforming, the position of the reformer in the module chamber and emissivity of the surfaces of the reformer, cell and other elements in the SOFC module all play a key role.     

Solid-state spun fibers and yarns from 1-mm long carbon nanotube forests synthesized by water-assisted chemical vapor deposition

We report continuous carbon nanotube (CNT) fibers and yarns dry-drawn directly from water-assisted chemical vapor deposition (CVD) grown forests with about 1-mm height. As-drawn CNT fibers exist as aerogel and can be transformed into more compact fibers through twisting or densification with a volatile organic liquid. CNT fibers are characterized by scanning electron microscopy, X-ray photoelectron spectroscopy, Raman microscopy, and wide-angle X-ray diffraction. Mechanical properties and electrical conductivity of the post-treated CNT fibers are investigated. The resulting fibers show the work of rupture of 30 J/g and DC electrical conductivity of 5.0 × 10⁴ S/m.     

Synthesis and characterization of carbonaceous replicas of multilayered vesicular siliceous materials

Synthesis of novel, carbon porous replicas of vesicular siliceous materials has been described. The original siliceous materials consist of small, spherical structures resembling onions, known in the literature as multilamellar vesicles (MLVs). They have been characterized with a number of analytical methods that allow one to determine its 3-D structure and basic parameters of the pore system. Carbonaceous materials, made similarly of onion-like porous structures, have been obtained using a standard procedure to form replicas. They have been characterized by the same methods as those applied to the parent materials.     

Clonal variation in reproductive response to temperature by a potential bulking control agent, Lecane inermis (Rotifera)

The novel idea of using rotifers Lecane inermis (Rotifera, Monogononta) as a tool to overcome activated sludge bulking generates an on-going need to study rotifer biology. The results of biological research on rotifers can serve to improve the method so that it can be most effective when applied in treatment plants. The aim of this study was to test the effect of temperature on four selected rotifer clones originating from different treatment plants. The rate of population development from a single individual (parthenogenetic female) during a 10-day experiment was measured at three temperatures: 8, 15 and 20 degrees C. The temperatures used reflect the annual temperature distribution in the majority of municipal wastewater treatment plants in the temperate zone. The growth rate coefficient (r) and doubling time (tD) were calculated for each clone. Under the most favourable conditions (20 degrees C), rvalues varied between 0.41 and 0.47 d and doubling time between 1.5 and 1.7 d. At a temperature of 15 degrees C, the doubling time was approximately two times longer (2.5-3.4 d). The strongest intraspecific variations were observed at the lowest temperature of 8 degrees C. At this temperature, one of the clones almost failed to proliferate, and another exhibited a doubling time of 7.9 d. The doubling times were a few times greater for the remaining two clones (60 d for Lk1, 33.3 d for Lk4). These results could be very useful in predicting the chances that the rotifers would survive in a biological reactor in a wastewater treatment plant at the temperatures used in these reactors.