loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Mohamed Naija 1 ; Samir Ben Ahmed 1 and Jean-Michel Bruel 2

Affiliations: 1 INSAT, Tunisia ; 2 IRIT, France

Keyword(s): Real-Time Embedded Systems, Concurrency Model, MARTE, Schedulability Analysis, Petri Nets, Design.

Related Ontology Subjects/Areas/Topics: Cross-Feeding between Data and Software Engineering ; Formal Methods ; Model-Driven Engineering ; Requirements Elicitation and Specification ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

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 opt imized 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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.163.200.109

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Naija, M.; Ben Ahmed, S. and Bruel, J. (2015). New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages. In Proceedings of the 10th International Conference on Software Engineering and Applications (ICSOFT 2015) - ICSOFT-EA; ISBN 978-989-758-114-4, SciTePress, pages 330-338. DOI: 10.5220/0005514003300338

@conference{icsoft-ea15,
author={Mohamed Naija. and Samir {Ben Ahmed}. and Jean{-}Michel Bruel.},
title={New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages},
booktitle={Proceedings of the 10th International Conference on Software Engineering and Applications (ICSOFT 2015) - ICSOFT-EA},
year={2015},
pages={330-338},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005514003300338},
isbn={978-989-758-114-4},
}

TY - CONF

JO - Proceedings of the 10th International Conference on Software Engineering and Applications (ICSOFT 2015) - ICSOFT-EA
TI - New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages
SN - 978-989-758-114-4
AU - Naija, M.
AU - Ben Ahmed, S.
AU - Bruel, J.
PY - 2015
SP - 330
EP - 338
DO - 10.5220/0005514003300338
PB - SciTePress