Système temps réel

Résumé

En informatique, on parle d'un système temps réel lorsque ce système est capable de contrôler (ou piloter) un procédé physique à une vitesse adaptée à l'évolution du procédé contrôlé. Les systèmes informatiques temps réel se différencient des autres systèmes informatiques par la prise en compte de contraintes temporelles dont le respect est aussi important que l'exactitude du résultat, autrement dit le système ne doit pas simplement délivrer des résultats exacts, il doit les délivrer dans des délais imposés. Domaines d’applications Les systèmes informatiques temps réel sont aujourd'hui présents dans de nombreux secteurs d'activités :

l'industrie de production par exemple, au travers des systèmes de contrôle de procédé (usines, centrales nucléaires) ;
les salles de marché au travers du traitement des données boursières en « temps réel » ;
l'aéronautique au travers des systèmes de pilotage embarqués (avions, satellites) ;
l’automobile avec le contrôle de plus en plu

Source officielle

https://fr.wikipedia.org/wiki/Syst%C3%A8me_temps_r%C3%A9el

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (100)

Publications associées

Chargement

Personnes associées (92)

Personnes associées

Chargement

Unités associées (60)

Unités associées

Chargement

Concepts associés (35)

Concepts associés

Chargement

Cours associés (60)

Cours associés

Chargement

Séances de cours associées (110)

Afficher plus

Séances de cours associées

Chargement

Real Time Discussions ("chats") for a Social Network

Florian Alonso Seisdedos

2014

Chargement

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

Chargement

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

Chargement

Ergonomic Simulation Revisited Using Parametric Virtual Humans in the Biomechanical Framework

Hareesh Puthiya Veettil

EPFL2011