Stochastic hybrid systems meet software components for well-founded cyber-physical systems software architectures - Sorbonne Université
Communication Dans Un Congrès Année : 2019

Stochastic hybrid systems meet software components for well-founded cyber-physical systems software architectures

Jacques Malenfant

Résumé

Cyber-physical control systems (CPCS) are notoriously difficult to specify, implement, test, validate and verify. In this paper, we propose to integrate hybrid systems, and their declensions as hybrid automata and DEVS simulation models, within a full-fledged and well-founded software component model tailored for CPCS. The key concept is to attach to components modular, composable and reusable behavioural and simulation models. The goal is to seamlessly support the software development process, from model-in-the-loop initial validation, until deployment time actual system verification. The resulting comprehensive modeling and software implementation tool aims at fully supporting the different phases of the software life cycle to provide more reliable, robust, reusable and adaptable CPCS using less resources.
Fichier principal
Vignette du fichier
Malenfant.pdf (1.13 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02296533 , version 1 (25-09-2019)

Identifiants

Citer

Jacques Malenfant. Stochastic hybrid systems meet software components for well-founded cyber-physical systems software architectures. 13th European Conference on Software Architecture (ECSA), Sep 2019, Paris, France. pp.132-138, ⟨10.1145/3344948.3344989⟩. ⟨hal-02296533⟩
80 Consultations
115 Téléchargements

Altmetric

Partager

More