HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

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

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.
Document type :
Journal articles
Complete list of metadata

https://hal.univ-lorraine.fr/hal-03591898
Contributor : Abdelouahed Zakari Connect in order to contact the contributor
Submitted on : Monday, February 28, 2022 - 9:24:28 PM
Last modification on : Wednesday, March 2, 2022 - 3:07:31 AM

File

EL_29_2_31.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-03591898, version 1

Collections

Citation

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, IAENG, 2021, 29 (2). ⟨hal-03591898⟩

Share

Metrics

Record views

13

Files downloads

7