Model-driven development of critical perception components using Simulink - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Model-driven development of critical perception components using Simulink

Résumé

Modern sensor-actuator applications combine a large number of components (sensing devices, processing nodes, networks) and implementing complex interactions between them. Due to failures and other sensor inherent insu ciencies the intended control function is adversely a ected. This cannot be tolerated in safety critical applications. In some cases replication and voting may be possible. But this is no general solution. Many sensors cannot be replicated because of cost or their operating principles. This demands other failure detection and handling mechanisms to meet application requirements. Model-driven development techniques can be exploited here to adjust the failure handling to the needs of the application. In this paper, we propose a Simulink framework that supports the entire development chain. This includes a new description technique, design veri cation using regular expressions in combination with a model generator. In contrast to existing approaches, our scheme applies one modeling concept and one development environment throughout the entire process.

Mots clés

Fichier principal
Vignette du fichier
00010109.pdf (824.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00848091 , version 1 (25-07-2013)

Identifiants

  • HAL Id : hal-00848091 , version 1

Citer

Tino Brade, Sebastian Zug, Jörg Kaiser. Model-driven development of critical perception components using Simulink. SAFECOMP 2013 - Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. ⟨hal-00848091⟩
202 Consultations
161 Téléchargements

Partager

Gmail Facebook X LinkedIn More