Séance de cours

Conception système rigoureuse

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Description

Cette séance de cours de l'instructeur explore les défis de la conception de systèmes réactifs, en soulignant l'importance de l'exactitude et de la productivité. La discussion couvre l'évolution de l'informatique, le passage de la programmation à la conception de systèmes et les difficultés posées par des interactions imprévisibles. La séance de cours explore le concept de systèmes réactifs, les défis de la programmation de systèmes multicœurs et la nécessité d'un processus de conception formalisé. Il aborde également les principes de séparation des concepts, de cohérence et de justesse par construction. L'instructeur explique l'importance des architectures, des opérateurs de colle et des règles de composabilité dans la conception correcte du système, soulignant l'importance de la cohérence sémantique et de l'expressivité. La séance de cours se termine par un accent sur les relations de raffinement et le concept de l'exactitude par construction.

Source officielle

Concepts associés (18)

Multi-chip module

A multi-chip module (MCM) is generically an electronic assembly (such as a package with a number of conductor terminals or "pins") where multiple integrated circuits (ICs or "chips"), semiconductor dies and/or other discrete components are integrated, usually onto a unifying substrate, so that in use it can be treated as if it were a larger IC. Other terms for MCM packaging include "heterogeneous integration" or "hybrid integrated circuit".

Microprocesseur multi-cœur

vignette|Un processeur quad-core AMD Opteron. vignette|L’Intel Core 2 Duo E6300 est un processeur double cœur. Un microprocesseur multi-cœur (multi-core en anglais) est un microprocesseur possédant plusieurs cœurs physiques fonctionnant simultanément. Il se distingue d'architectures plus anciennes (360/91) où un processeur unique commandait plusieurs circuits de calcul simultanés. Un cœur (en anglais, core) est un ensemble de circuits capables d’exécuter des programmes de façon autonome.

Intel Core

Intel Core is a line of streamlined midrange consumer, workstation and enthusiast computer central processing units (CPUs) marketed by Intel Corporation. These processors displaced the existing mid- to high-end Pentium processors at the time of their introduction, moving the Pentium to the entry level. Identical or more capable versions of Core processors are also sold as Xeon processors for the server and workstation markets. The lineup of Core processors includes the Intel Core i3, Intel Core i5, Intel Core i7, and Intel Core i9, along with the X-series of Intel Core CPUs.

Core (microarchitecture)

La microarchitecture Core est une microarchitecture x86 d'Intel, qui succède en 2006 aux architectures P6 et NetBurst. Elle fut utilisée par tous les processeurs x86 produits par Intel à l'époque, depuis le processeur pour ordinateur portable jusqu'au processeur Xeon pour serveur, d'abord gravés en puis en . Les processeurs de marque Core 2 utilisent exclusivement l'architecture Core. « Core » est en anglais un nom commun signifiant « noyau » ou « cœur », et désignant en informatique l'ensemble des structures constituant un seul microprocesseur : unités de décodages, de prédiction, d'exécution, cache L1, etc.

Système sur une puce

thumb|Puce ARM Exynos sur le smartphone Nexus S de Samsung. Un système sur une puce, souvent désigné dans la littérature scientifique par le terme anglais (d'où son abréviation SoC), est un système complet embarqué sur un seul circuit intégré (« puce »), pouvant comprendre de la mémoire, un ou plusieurs microprocesseurs, des périphériques d'interface, ou tout autre composant nécessaire à la réalisation de la fonction attendue.

Afficher plus

Séances de cours associées (64)

Architecture et société: Innovations, Critique et Autonomie

S'insère dans la relation complexe entre l'architecture et la société, explorant les possibilités de créer des designs architecturaux autonomes et critiques.

Mémoire transactionnelle : verrouillage en deux phases et lectures invisibles

Explore les perspectives historiques et les mécanismes de la mémoire transactionnelle, en soulignant l'importance et les défis de sa mise en œuvre dans les systèmes informatiques modernes.

Internes de planification: métriques et politiques

Discute de la planification des internes, des métriques et des politiques dans les systèmes informatiques, en mettant l'accent sur l'efficacité et les complexités des architectures multi-cœurs modernes.

Cohérence de Cache : Principes et protocoles

Explore les défis de cohérence du cache, les protocoles et les solutions basées sur les répertoires dans les systèmes multi-cœurs.

Architecture moderne et climat

Explore la relation entre l'architecture moderne et la science du climat, en mettant l'accent sur l'optimisation de l'environnement bâti pour les conditions climatiques.

Afficher plus

Concepts associés (18)

Multi-chip module

Microprocesseur multi-cœur

Intel Core

Core (microarchitecture)

Système sur une puce

Afficher plus