Set-based Simulation for Design and Verification of Simulink Models - ENSTA Paris - École nationale supérieure de techniques avancées Paris Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Set-based Simulation for Design and Verification of Simulink Models

Résumé

Model-based design is a widely used methodology for the development of embedded critical software, such as a discrete controller for a continuous plant. In this setting, numerical simulation of both the plant and the controller plays a crucial role, since it is used to validate the design choices in the early stages of development. However, classical numerical simulation has inherent limitations: it is of limited precision and cannot deal with the intrinsic non-determinism present in complex systems. In this article, we present a tool named HySon that overcomes these drawbacks. It takes as input a Simulink model of a control-command system with non-deterministic uncertainties and automatically computes flow-pipes that contain all possible trajectories of the system. We show on some examples how HySon can be used to improve the quality of model-based design.
Fichier principal
Vignette du fichier
bouissou_et_al_erts_14.pdf (398.16 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01290286 , version 1 (17-03-2016)

Identifiants

  • HAL Id : hal-01290286 , version 1

Citer

Olivier Bouissou, Samuel Mimram, Baptiste Strazzulla, Alexandre Chapoutot. Set-based Simulation for Design and Verification of Simulink Models. Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France. ⟨hal-01290286⟩
115 Consultations
154 Téléchargements

Partager

Gmail Facebook X LinkedIn More