From Design to Implementation: An Automated Credible Autocoding Chain for Control Systems - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2015

From Design to Implementation: An Automated Credible Autocoding Chain for Control Systems

Résumé

In a context of heightened safety requirements for safety-critical embedded systems and ever-increasing costs of verification and validation, we describe a fully automated, credible autocoding chain for control systems. This chain generates code, along with guarantees of high level functional properties, which cans be independently verified. The platform relies on domain specific knowledge and formal analysis methods to bridge the semantic gap between domain experts and code verification experts. First, a graphical dataflow language is extended with annotation symbols, enabling the control engineer to express high level properties of its control law within the framework of a familiar block-diagram language. A public-domain autocoder is enhanced not only to generate the code implementing the initial design, but also to carry high level properties down to annotations at the level of the code. Finally, using customized code analysis tools, certificates are generated, which guarantee the correctness of the annotations with respect to the code, and can be verified using existing static analysis tools. For now, we limit the conclusions to the bounded-input bounded-output characteristic of linear controllers, however the approach appears readily extendable to a broader array of properties and systems.
Fichier principal
Vignette du fichier
1307.2641.pdf (6 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03155036 , version 1 (23-01-2024)

Identifiants

Citer

Timothy Wang, Romain Jobredeaux, Heber Henrencia, Pierre-Loïc Garoche, Eric Feron, et al.. From Design to Implementation: An Automated Credible Autocoding Chain for Control Systems. Féron, Eric. Advances in Control System Technology for Aerospace Applications, Springer-Verlag, pp.137--180, 2015, 978-3-662-47693-2. ⟨10.1007/978-3-662-47694-9_5⟩. ⟨hal-03155036⟩
33 Consultations
2 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More