A Novel Architecture Prototyping Framework With Generic Properties Verification for Sub-architectures - Université de Lorraine Accéder directement au contenu
Article Dans Une Revue Engineering Letters Année : 2021

A Novel Architecture Prototyping Framework With Generic Properties Verification for Sub-architectures

Ismail Assayad
  • Fonction : Auteur
  • PersonId : 1099576
Lamia Eljadiri
  • Fonction : Auteur
  • PersonId : 1099575
Tarik Nahhal
  • Fonction : Auteur
  • PersonId : 853672

Résumé

Formal verification has become very useful and popular in last decade in area of embedded systems design and in analysis of critical systems. It can reveal common errors, check system invariants, but also verify more complex properties defined by temporal logic formulas. To reduce the time-to-market for embedded architectures and assist SystemC designers in the complexity of verification process at design time, we advocate a novel approach where (a) generic safety properties are used for sub-architecture verification during architecture prototyping, and (b) sub-architecture models are built according to the presented (Behavior, Interactions, and Priority) framework, in order to ensure that models verification results still hold for subsequent architecture prototype candidates. This approach best helps the designer at two levels. At the prototype dimensioning level, it introduces a sets of predefined properties for common sub-architecture classes. At the verification level, it enables to check safety properties of a subarchitecture without the need to redo the verification process for next prototypes comprising it. We present the framework and show its feasibility on several examples.
Fichier principal
Vignette du fichier
EL_29_2_31.pdf (1.03 Mo) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03591898 , version 1 (28-02-2022)

Identifiants

  • HAL Id : hal-03591898 , version 1

Citer

Ismail Assayad, Lamia Eljadiri, Moez Krichen, Abdelouahed Zakari, Wilfried Adoni, et al.. A Novel Architecture Prototyping Framework With Generic Properties Verification for Sub-architectures. Engineering Letters, 2021, 29 (2), pp.634-644. ⟨hal-03591898⟩
39 Consultations
32 Téléchargements

Partager

Gmail Facebook X LinkedIn More