OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Naija, Mohamed and Ben Ahmed, Samir and Bruel, Jean-Michel New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages. (2015) In: 10th International Conference on Software Technologies (ICSOFT 2015), 20 July 2015 - 22 July 2015 (Colmar, France).

[img] (Document in English)

PDF (Publisher version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
1MB

Official URL: http://dx.doi.org/10.5220/0005514003300338

Abstract

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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:ISBN: 978-989-758-114-4
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:17 May 2016 09:14

Repository Staff Only: item control page