Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.

Specification of schedulability assumptions to leverage multiprocessor Analysis

Stéphane Rubini,Valérie-Anne Nicolas,Frank Singhoff,Alain Plantec,Hai Nam Tran,Pierre Dissaux

Journal of Systems Architecture（2022）

Cited 3|Views12
No score
Abstract
In order to ease the early verification of uniprocessor real-time systems, the tool Cheddar provides a service that guarantees the applicability of a schedulability analysis method for a given architecture model. This verification service uses a catalog of design patterns.
More
Translated text
Key words
Schedulability analysis,Design pattern,Real-time system,Logic programming,Multiprocessor
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined