Towards a well-founded software component model for cyber-physical control systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Towards a well-founded software component model for cyber-physical control systems

Jacques Malenfant

Résumé

Cyber-physical control systems (CPCS), and their instantiation as autonomous robotic control architectures, are notoriously difficult to specify, implement, test, validate and verify. In this paper, we propose to integrate hybrid systems and their declension as hybrid automata and DEVS simulation models within a full-fledged and well-founded software component model tailored for CPCS. We present how the resulting comprehensive modeling tool can support the different phases of the software development to provide more reliable, more robust and more adaptable CPCS. The key concept is to provide components with a modeling and simulation capability that seamlessly support the software development process, from model-in-the-loop initial validations, until deployment time actual system verification.
Fichier principal
Vignette du fichier
Malenfant.pdf (231.91 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01666652 , version 1 (02-09-2019)

Identifiants

  • HAL Id : hal-01666652 , version 1

Citer

Jacques Malenfant. Towards a well-founded software component model for cyber-physical control systems. Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills, California, United States. ⟨hal-01666652⟩
181 Consultations
126 Téléchargements

Partager

More