Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Logiciel Star Aware pour systèmes cyber-physiques

Description

Cette séance de cours par l'instructeur plonge dans le concept de systèmes cyber-physiques, en soulignant la nécessité pour le logiciel d'être physiquement conscient pour assurer la fonctionnalité du système. La discussion couvre les défis de la communication sans fil, de la fusion de capteurs et des impacts environnementaux sur la conception de logiciels, soulignant l'importance d'aborder les propriétés du monde réel dans le développement du système.

Source officielle

Concepts associés (24)

Cahier des charges fonctionnel

Le cahier des charges fonctionnel (CdCF) est un document formalisant un besoin, en détaillant les fonctionnalités attendues d'un système, d'un produit ou d'un service ainsi que les contraintes (techniques, réglementaires, budgétaires, etc.) auxquelles il est soumis. Pour la bonne compréhension de ces trois mots, une forme d'écriture peut être d'écrire fonctionnelles pour qualifier les charges en termes de fonctions qui seront formulées en utilisant des verbes à l'infinitif pour confirmer qu'il s'agit d'actions.

Non-functional requirement

In systems engineering and requirements engineering, a non-functional requirement (NFR) is a requirement that specifies criteria that can be used to judge the operation of a system, rather than specific behaviours. They are contrasted with functional requirements that define specific behavior or functions. The plan for implementing functional requirements is detailed in the system design. The plan for implementing non-functional requirements is detailed in the system architecture, because they are usually architecturally significant requirements.

Ingénierie de fiabilité

L'ingénierie de fiabilité est un domaine de l'ingénierie, qui traite de l'étude, de l'évaluation et du Product Lifecycle Management de la fiabilité : l'habilité d'un système ou d'un composant à remplir ses fonctions exigées dans des conditions déterminées pour une période de temps déterminé. L'ingénierie de fiabilité est une sous-discipline au sein de l'ingénierie des systèmes. La fiabilité est souvent mesurée en probabilité de défaillance, fréquence de défaillance, ou en termes de disponibilité, une probabilité dérivée de la fiabilité et de la maintenabilité.

Spécification fonctionnelle

La spécification fonctionnelle est la description des fonctions d'un logiciel en vue de sa réalisation. La spécification fonctionnelle décrit dans le détail la façon dont les exigences seront prises en compte. Un exemple d'exigence est l'adaptation d'un progiciel à l'utilisateur en ce qui concerne la langue (le français dans les pays francophones). Une spécification fonctionnelle est indépendante de la façon dont sera réalisé le logiciel en question. Elle doit être exprimée en termes de fonctions et non pas en termes de solutions.

Qualité logicielle

En informatique et en particulier en génie logiciel, la qualité logicielle est une appréciation globale d'un logiciel, basée sur de nombreux indicateurs. La complétude des fonctionnalités, la correction et précision des résultats, la fiabilité, la tolérance de pannes, la facilité et la flexibilité de son utilisation, la simplicité, l'extensibilité, la compatibilité et la portabilité, la facilité de correction et de transformation, la performance, la cohérence et l'intégrité des informations qu'il contient sont tous des facteurs de qualité.

Afficher plus

Séances de cours associées (21)

Ingénierie logicielle: Méthodes et outils

Explore la complexité de l'ingénierie logicielle, UML, DSL, les modèles de conception, le développement agile, et introduit l'outil Arcimboldo.

Bugs de programmation : Compréhension, réparation et prévention

Explore les défis de programmation, les techniques de débogage, les tests de logiciels et les pratiques de sécurité dans le développement de logiciels.

Conception robuste: Gestion de compromis dans le développement mécanique

Souligne l'importance de la gestion des compromis pour la robustesse des produits dans la conception mécanique, en utilisant l'analyse multi-objectifs de monotonicité pour l'analyse quantitative et les efforts de refonte systématique.

Logiciels validés

Explore les logiciels validés pour la validation continue du système dans des environnements critiques pour la sécurité, en soulignant l'importance de l'assurance en temps réel anticipée et de la validation au niveau sémantique.

Des tests à la preuve

Explore les concepts d'ingénierie logicielle, en soulignant l'importance des tests et des spécifications claires pour assurer l'exactitude du logiciel.

Afficher plus

Concepts associés (24)

Cahier des charges fonctionnel

Non-functional requirement

Ingénierie de fiabilité

Spécification fonctionnelle

Qualité logicielle

Afficher plus