• Aucun résultat trouvé

Interplay of Security&Dependability and Resource using Model-driven and Pattern-based Development

N/A
N/A
Protected

Academic year: 2021

Partager "Interplay of Security&Dependability and Resource using Model-driven and Pattern-based Development"

Copied!
11
0
0

Texte intégral

Loading

Figure

Figure 1. Pattern-based System and software Engineering
Figure 2. The (simplified) GPRM Metamodel
Figure 6. Overview of the framework’s transformations
Figure 8. Safe4Rail platform description

Références

Documents relatifs

The DEVS simulation model allows bridging the gap between the BPMN model, which is commonly a static view of the process, and the execution over time of the

In this work, we present a framework for trusted Resource Constrained Embedded Systems (RCES) development by design, by defining both a model to represent S&D pattern language and

i) a model-driven trace checking procedure, which relies on a mapping of temporal requirements written in TemPsy into Ob- ject Constraint Language (OCL) constraints on a meta-model

Aphanomyces euteiches cell wall fractions containing novel glucan-chitosaccharides induce defense genes and nuclear calcium oscillations in the plant host Medicago truncatula...

In our study, ClustMMRA was applied to search for oncogenic / tumour suppressor polycistronic miRNAs driv- ing breast cancer subtypes, pointing out five novel miRNA clusters

The induced intrinsic microporosity and molecular architecture of the polyimide containing Tröger’s base units has merits for accessing a variety of novel functional polyimides

/ La version de cette publication peut être l’une des suivantes : la version prépublication de l’auteur, la version acceptée du manuscrit ou la version de l’éditeur. Access

Mahloojifar, “A low-complexity adaptive beamformer for ultrasound imaging using structured covariance matrix,” IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control