Stochastic hybrid systems meet software components for well-founded cyber-physical systems software architectures - Sorbonne Université Access content directly
Conference Papers Year : 2019

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

Jacques Malenfant

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
38 View
83 Download

Altmetric

Share

Gmail Facebook X LinkedIn More