English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Transforming a software functional model that describes the underlying application to a concurrency model is considered as a critical issue in the model-based approaches for Real-Time Embedded Systems (RTES) development process. The formal methods have proven to be useful for making the development process reliable at a high abstraction level. Based on this approach, this current research proposes a generic approach to task construction that allows early detection of unfeasible design. Having a component-oriented specification as entry, the first stage of the methodology consists in the workload model specification. The workload model represents the system end-to-end computations triggered by an external stimulus and subject to hard real-time constraints. This model is then mapped into a Petri Nets formalism to perform P-invariant method and generate all transactions in an optimized way. The refinement of the transaction set in a Schedulability Analysis Model defining an optimized threading strategy model. The latter presents the set of units of execution taken into account by the scheduler of the system and their scheduling parameters. We illustrate the advantages and effectiveness of the proposed method by constructing a concurrency model for a combined Cruise Control System and Anti-lock Braking System

New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages