A Novel Architecture Prototyping Framework With Generic Properties Verification for Sub-architectures - Université de Lorraine Access content directly
Journal Articles Engineering Letters Year : 2021

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

Ismail Assayad
  • Function : Author
  • PersonId : 1099576
Lamia Eljadiri
  • Function : Author
  • PersonId : 1099575
Tarik Nahhal
  • Function : Author
  • PersonId : 853672

Abstract

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
Origin : Publisher files allowed on an open archive

Dates and versions

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

Identifiers

  • HAL Id : hal-03591898 , version 1

Cite

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 View
32 Download

Share

Gmail Facebook X LinkedIn More