Real-time computing | EPFL Graph Search

Real-time computing (RTC) is the computer science term for hardware and software systems subject to a "real-time constraint", for example from event to system response. Real-time programs must guarantee response within specified time constraints, often referred to as "deadlines". Real-time responses are often understood to be in the order of milliseconds, and sometimes microseconds. A system not specified as operating in real time cannot usually guarantee a response within any timeframe, although typical or expected response times may be given. Real-time processing fails if not completed within a specified deadline relative to an event; deadlines must always be met, regardless of system load. A real-time system has been described as one which "controls an environment by receiving data, processing them, and returning the results sufficiently quickly to affect the environment at that time". The term "real-time" is also used in simulation to mean that the simulation's clock runs at the

Contracts for Real-Time, Safety Critical Systems

Chandrakana Nandi

Verifying real-time systems goes beyond the verification of functional properties: it also requires the checking of real-time properties. This makes traditional contract-frameworks partially inept for checking real-time programs. This is a major problem because the failure of real-time and safety critical systems can have serious consequences. This thesis presents a solution to this problem by incorporating Design by Contract (annotating programs with function pre and post conditions) to such systems. The main contribution of this thesis is the development of a contract framework for cyclic real-time control applications written in C++. The contract framework allows the users to specify both functional and temporal properties for the applications. A novel approach of empirical cumulative distribution function (cdf ) based statistical inference is used for dynamically estimating temporal constraints and incorporating them in future contracts. The thesis also illustrates the use of Real-time Logic (RTL) for formal specification of the temporal properties. For evaluating our methodology, we have integrated it to a component-based framework called FASA (Future Automation System Architecture) developed at ABB Corporate Research for writing hard real time control applications. Experiments show that this contract framework can be smoothly integrated to existing control applications thereby increasing their reliability while having a acceptable overhead (less than 10%) on the performance.

2014

Ergonomic Simulation Revisited Using Parametric Virtual Humans in the Biomechanical Framework

Hareesh Puthiya Veettil

The conventional CAD/CAM approach to design does not show the essential spatial relationships between user and product that are crucial for intuitive design analysis. As populations age and the home appliance market stagnates, Universal Design principles implemented with computerized virtual worlds become more important for meeting the ergonomic problems of heterogeneous populations that are increasingly difficult to adequately test with real-world subjects. Digital Human Modelling (DHM) is an emerging area that bridges computer-aided engineering design, human factors engineering and applied ergonomics. The most advanced forms of this technology are being used by many researchers for practical applications, including ergonomic analysis. However, a state of the art model of this technology has never been conceived for the conceptual design stage of a product development cycle as most conventional DHM techniques lack real time interaction, require considerable user intervention, and have inefficient control facilities and non-adequate validation techniques, all contributing to slow production pipelines. They have also not addressed the needs of the growing ageing population in many societies across the globe. The focus of this dissertation is to introduce a complete framework for ergonomic simulation at the conceptual design stage of a product development cycle based on parametric virtual humans in a prioritized inverse kinematics framework while taking biomechanical knowledge in to account. Using an intuitive control facility, design engineers can input a simple CAD model, design variables and human factors in to the system. The evaluation engine generates the required simulation in real-time by making use of an Anthropometric Database, Physical Characteristic Database and Prioritized Inverse Kinematics architecture. The key components of the total system are described and the results are demonstrated with a few applications such as kitchen, wash-basin and bath-tub. By introducing a quantitative estimation of ageing algorithm for anthropometric digital human models, products can be designed from the start to suit the ergonomic needs of the user rather than the biases and assumptions of the designer. Also, by creating a tool that can be used intuitively by non-specialists in a dynamic, real-time environment, designers can stop relying on specialists to test the safety of their ideas and start to effectively use data about populations to discover designs that can be used more easily by more people. Results have been validated with real human subjects indicating the practical implication of the total system as an ergonomic design tool for the conceptual design stage of a product development cycle.

EPFL2011

Ergonomic Simulation Revisited Using Parametric Virtual Humans in the Biomechanical Framework

Hareesh Puthiya Veettil

EPFL2011