Safety critical systems are those systems whose failure could result in loss of life, significant properityda mage, or damage to the environment. Brake-by-wire (BBW) technology in automotive industry is the ability to contr ol brakes through electrical means. It can be designed to supplement ordinary service brakes or it can be a standalone brake system. The increasing usage of brake-by-wire sy...

Removing a clamp force sensor from brake-by-wire (BBW) system designs has been driven by the need to reduce costs and design complexities. In this paper an improved method is presented to estimate clamp force using other sensory information. The proposed estimator is based on the Kalman filter where the actuator resolver is used in a dynamic stiffness model and the actuator current sensors as w...

This paper reflects the MBA case study scenario strand of the MOBIlearn project in respect of the coming user trials and evaluations in autumn and winter 2004. It specifies the added value expected by integrating the MOBIlearn system into a traditional MBA course lecture. This paper tries to argue and give indications what kind of results might be gained from the user trials and its evaluations...

Since object-oriented programming is usually associated with iterative development, reverse engineering must be considered an essential facet of the object-oriented paradigm. The reverse engineering pattern language presented here summarises the reverse engineering experience gathered as part of the FAMOOS project, a project with the explicit goal of investigating reverse and reengineering tech...

Reengineering is an inherent aspect of modern software development, with its emphasis on iterative and incremental development. The reengineering pattern presented in this paper shows how you can support your understanding during system reengineering by linking your questions or information about the code in the code itself. This work has been funded by the Swiss Government under Project no. NF...

Thermal analysis represents a key factor in electrical machine design due to the impact of temperature increase on insulation lifetime. In this context, there has been wide investigation thermal modeling, particularly for machines used harsh working conditions. perspective, brake-by-wire (BBW) systems represent one most challenging applications automotive smart actuators. Indeed, electro-actuat...

Internet is increasingly seeing the emergence of very fast propagating worms capable of infecting significant part of the Internet in short few hours. Predators – a type of good-will self-replicating codes has been proposed as a class of anti-worm defense which can potentially counter formidable speed of these newer worms. In this paper we expand our pervious study of predator's effectiveness b...

We investigate the prospects for the discovery at the CERN Large Hadron Collider (LHC) of a neutral Higgs boson produced with one bottom quark followed by Higgs decay into a muon pair. We work within the framework of the minimal supersymmetric model. The dominant physics background from the production of b mu(+)mu(-), j mu(+)mu(-), j=g,u,d,s,c, and bbW+W- is calculated with realistic acceptance...

The matrix elements for K → ππlν decays are described by four form factors F,G,H and R. We complete previous calculations by evaluating R at next-to-leading order in the low-energy expansion. We then estimate higher order contributions using dispersion relations and determine the low-energy constants L1, L2 and L3 from data on Ke4 decays and on elastic pion scattering. Finally, we present predi...

The convergence of a two-scale FEM for elliptic problems in divergence form with coefficients and geometries oscillating at length scale ε " 1 is analyzed. Full elliptic regularity independent of ε is shown when the solution is viewed as mapping from the slow into the fast scale. Two-scale FE spaces which are able to resolve the ε scale of the solution with work independent of ε and without ana...