|
Depot Institutionnel de l'UMBB >
Publications Scientifiques >
Publications Internationales >
Veuillez utiliser cette adresse pour citer ce document :
http://dlibrary.univ-boumerdes.dz:8080/handle/123456789/7410
|
| Titre: | Towards compositional verification of synchronous reactive systems |
| Auteur(s): | Chabane, Sarah
Ameur-Boulifa, Rabéa
Mezghiche, Mohamed |
| Mots-clés: | Rigorous system design
Component-based design
Formal verification
Correctness-by-construction |
| Date de publication: | 2021 |
| Collection/Numéro: | Int. J. Critical Computer-Based Systems /Vol. 10, N°. 2 (2021);pp. 120-142 |
| Résumé: | We present work towards a compositional design approach that
will lead designers to develop safe reactive systems. To this end, we extend
the theory of I/O-automata that is widely used for modelling reactive systems
with composition operator required for dealing with a specific assembly of
such systems: systems that consist of a chain of components arranged so
that the output of each component is the input of the next, and behave like
pipelines. We show that the proposed composition operator ensures semantics
preserving of reactive components models. The paper presents a general result
on correct-by-construction approach for reactive systems design |
| URI/URL: | http://dlibrary.univ-boumerdes.dz:8080/handle/123456789/7410 |
| Collection(s) : | Publications Internationales
|
Fichier(s) constituant ce document :
|
Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.
|
