ISS9AF Modeling of Advanced Systems
| Duration : 21 hours | ECTS Credits : 2 | Semester : S9 | |
Person(s) in charge : Patrick HENAFF, Professor, patrick.henaff@univ-lorraine.fr | ||||
Keywords : synchronous languages, formal description techniques, timed automata, performance evaluation, network calculus, schedulability
| ||||
Prerequisites: Modeling of critical systems
| ||||
Objective : comprendre les enjeux de la robotique interactive et des systèmes cyber-physiques interactifs, imaginer ce que pourrait être la robotique du futur
| ||||
Program and contents : This module presents the available approaches for the design, the abstraction and the analysis of a system in order to guarantee its behavioral and real time properties. First we study several modeling techniques of a system (synchronous and asynchronous paradigms) according to both its expected reaction to an environment that it has to control or monitor and its component-based architecture requiring an assessment of the properties on the inter-component communications. Modeling and validation of system behavior
General principles of FDT SDL languages Analysis techniques Model simulation Case studies Schedulability analysis Performance evaluation through determinitic approach (r,b)-bounded traffic, Introduction to Network Calculus (Max/Min, +)
| ||||
Abilities: | ||||
Levels | Description and operational verbs | |||
Know |
| |||
Understand |
| |||
Apply |
| |||
Analyse |
| |||
Synthétise |
| |||
Assess |
| |||
Evaluations : | ||||
|
|
|
|
|
Cet espace sera supprimé le 31 janvier 2024 - Pour toutes questions, vous pouvez nous contacter sur la liste wikidocs-contact@univ-lorraine.fr
Vue d'ensemble
Gestion des contenus
Activité