research-article

Optimum: a MARTE-based methodology for schedulability analysis at early design stages

Authors:

Chokri Mraidha,

Sara Tucci-Piergiovanni,

Sebastien GerardAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 36, Issue 1

Pages 1 - 8

https://doi.org/10.1145/1921532.1921555

Published: 24 January 2011 Publication History

Abstract

The construction of a design model is a critical phase in RTS development as the choices made have a direct impact on timing aspects. In traditional model-based approaches, the design relies largely on the designer experience. Once the design model is constructed, a convenient schedulability test has to be found in order to ensure that the design allows the respect of the timing constraints. This late analysis does not guarantee the existence of a test for the given design and does not allow early detection of unfeasible designs. In order to enhance reliability of RTS, this paper proposes a two step methodology for schedulability-aware real-time software design models construction. Having a high-level functional model as entry, the first methodology step consists in the workload model specification. The workload model represents the system end-to-end workload of critical scenarios triggered by an external stimulus and subject to hard-real time constraints. The second step is the refinement of the workload model towards a Schedulability Analysis Model defining an appropriate and analyzable threading strategy model. The threading strategy defines the set of units of execution taken into account by the scheduler of the system and their scheduling parameters. Different threading strategies can be then evaluated from a schedulability point of view in order to guide the designer towards the choice of the most appropriate one

References

[1]

Chen, R., Sgroi, M., Lavagno, L., Martin, G. and Sangiovanni-Vincentelli, A. UML and Platform-Based Design. Kluwer Academic Publishers, 2003.

[2]

Gomaa, H. Designing Concurrent, Distributed and Real-Time Applications with UML. Addison-Wesley, 2000.

Digital Library

[3]

Phan, T., Gerard, S. and Terrier, F. Real-time system modeling with ACCORD/UML methodology: illustration through an automotive case study. In Proceedings of the Forum on specification and Design Languages (FDL) (2003).

[4]

Douglass, B. P. Real Time UML: Advances in the UML for Real-Time Systems (3rd Edition) 2004.

Digital Library

[5]

Bartolini, C., Lipari, G. and Natale, M. D. From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications. In Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005) (San Francisco, CA, USA, 2005). IEEE Computer Society.

Digital Library

[6]

OMG UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE), 2009.

[7]

Bartolini, C., Bertolino, A., Angelis, G. D. and Lipari, G. A UML Profile and a Methodology for Real-Time Systems Design. In Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006) (Cavtat/Dubrovnik, Croatia, 2006).

Digital Library

[8]

K.Tindell, Burns, A. and Wellings, A. An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks. Real-time systems, 6, 2 1994), 133--151.

Digital Library

[9]

Lehoczky, J. P. Fixed Priority Scheduling of Periodic Task Sets with Arbitrary Deadlines. In Proceedings of the IEEE Real-Time Systems Symposium (RTSS) (Lake Buena Vista, Florida, USA, 1990). IEEE.

[10]

Liu, C. L. and Layland, J. Scheduling Algorithms for Multiprogram in a Hard-Real-Time Environment. Journal of the Association for Computing Machinery, 20, 1 1973), 46--61.

Digital Library

[11]

Spuri, M. Analysis of deadline scheduled real-time systems. INRIA, 1996.

[12]

Tindell, K. and Clark, J. Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming, 40, 2-3 1994), 117--134.

Digital Library

[13]

Masse, J., Kim, S. and Hong, S. Tool Set Implementation for Scenario-based Multithreading of UML-RT Models and Experimental Validation. In Proceedings of the the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003) (Toronto, Canada, 2003). IEEE Computer Society.

Digital Library

[14]

Saksena, M. and Karvelas, P. Designing for Schedulability Integrating Schedulability Analysis with Object-Oriented Design. In Proceedings of the the 12th Euromicro Conference on Real-time Systems (ECRTS 2000) (Stockholm, Sweden, 2000). IEEE Computer Society.

Digital Library

[15]

Wang, S. and Shin, K. G. Task Construction for Model-Based Design of Embedded Control Software. IEEE Trans. Software Eng., 32, 4 2006), 254--264.

Digital Library

[16]

Gu, Z. and He, Z. Real-time scheduling techniques for implementation synthesis from Component-based Software Model. In Proceedings of the the 8th International Symposium on Component Based Software Engineering (CBSE 2005) (2005). Springer.

Digital Library

[17]

Klein, M. H., Rayla, T., Pollak, B., Obenza, R. and Harbour, M. G. A Practioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, Boston, 1993.

Digital Library

[18]

Balsamo, S., Marco, A. D., Inverardi, P. and Simeoni, M. Model-based Software Prediction in Software Development: a survey. IEEE Transactions on Software Engineering, 30, 5 2004), 295--310.

Digital Library

[19]

Jin, D. and Levy, D. An approach to schedulability analysis of UML-based real-time systems design. In Proceedings of the the 3rd international Workshop on Software and Performance (WOSP'02) (2002).

Digital Library

[20]

Jensen, K. E. A. Schedulability analysis of embedded applications modelled using MARTE. Technical University of Denmark, 2009.

Cited By

Mzid RAbid M(2025)Software architecture design for real-time control systems: how design patterns could help?Innovations in Systems and Software Engineering10.1007/s11334-025-00600-wOnline publication date: 6-Mar-2025
https://doi.org/10.1007/s11334-025-00600-w
Mzid R(2024)Real-time design patterns for the verification of safety-critical embedded systems in model-based approachThe Journal of Supercomputing10.1007/s11227-023-05866-080:8(11431-11473)Online publication date: 1-May-2024
https://dl.acm.org/doi/10.1007/s11227-023-05866-0
Xu RZhang LGe N(2019)Modeling and Timing Analysis for Microkernel-Based Real-Time Embedded SystemIEEE Access10.1109/ACCESS.2019.29060117(39547-39563)Online publication date: 2019
https://doi.org/10.1109/ACCESS.2019.2906011
Show More Cited By

Optimum: a MARTE-based methodology for schedulability analysis at early design stages
1. Computer systems organization
  1. Embedded and cyber-physical systems
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
  2. Software organization and properties
    1. Software system structures

Recommendations

Making DRAM refresh predictable

Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Schedulability theory can assure deadlines for a given task set when periods ...
An Execution Framework for MARTE-Based Models
ICECCS '08: Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems

The UML is now the most widespread language for systems modeling. However, this language has been designed as a general purpose modeling language that may lack for modeling constructs for specific domain, as for the real-time embedded (RTE) domain. In ...
Parametric timing analysis and its application to dynamic voltage scaling

Embedded systems with real-time constraints depend on a priori knowledge of worst-case execution times (WCETs) to determine if tasks meet deadlines. Static timing analysis derives bounds on WCETs but requires statically known loop bounds.

This work ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 36, Issue 1

January 2011

210 pages

ISSN:0163-5948

DOI:10.1145/1921532

Issue’s Table of Contents

Copyright © 2011 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 January 2011

Published in SIGSOFT Volume 36, Issue 1

Check for updates

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

34
Total Citations
View Citations
269
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)1

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Mzid RAbid M(2025)Software architecture design for real-time control systems: how design patterns could help?Innovations in Systems and Software Engineering10.1007/s11334-025-00600-wOnline publication date: 6-Mar-2025
https://doi.org/10.1007/s11334-025-00600-w
Mzid R(2024)Real-time design patterns for the verification of safety-critical embedded systems in model-based approachThe Journal of Supercomputing10.1007/s11227-023-05866-080:8(11431-11473)Online publication date: 1-May-2024
https://dl.acm.org/doi/10.1007/s11227-023-05866-0
Xu RZhang LGe N(2019)Modeling and Timing Analysis for Microkernel-Based Real-Time Embedded SystemIEEE Access10.1109/ACCESS.2019.29060117(39547-39563)Online publication date: 2019
https://doi.org/10.1109/ACCESS.2019.2906011
Bouaziz RLemarchand LSinghoff FZalila BJmaiel M(2018)Multi-objective design exploration approach for Ravenscar real-time systemsReal-Time Systems10.1007/s11241-018-9299-654:2(424-483)Online publication date: 28-Dec-2018
https://dl.acm.org/doi/10.1007/s11241-018-9299-6
Noyer AIyenghar PEngelhardt JPulvermueller EBikker G(2018)A model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systemsSoftware Quality Journal10.1007/s11219-016-9323-925:3(671-701)Online publication date: 24-Dec-2018
https://dl.acm.org/doi/10.1007/s11219-016-9323-9
Di Alesio SSen S(2018)Using UML/MARTE to support performance tuning and stress testing in real-time systemsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0585-x17:2(479-508)Online publication date: 1-May-2018
https://dl.acm.org/doi/10.1007/s10270-017-0585-x
Long AOuhammou YGrolleau EFejoz LRioux LBini EPagetti C(2017)Bridging the gap between practical cases and temporal performance analysisProceedings of the 25th International Conference on Real-Time Networks and Systems10.1145/3139258.3139286(178-187)Online publication date: 4-Oct-2017
https://dl.acm.org/doi/10.1145/3139258.3139286
Lakhdhar WMzid RKhalgui MTreves N(2017)A New Approach for Automatic Development of Reconfigurable Real-Time SystemsSoftware Technologies10.1007/978-3-319-62569-0_2(22-44)Online publication date: 12-Jul-2017
https://doi.org/10.1007/978-3-319-62569-0_2
Naija MAhmed S(2017)A New MARTE Extension to Address Adaptation Mechanisms in Scheduling ViewEvaluation of Novel Approaches to Software Engineering10.1007/978-3-319-56390-9_2(27-43)Online publication date: 7-Apr-2017
https://doi.org/10.1007/978-3-319-56390-9_2
Mzid RAbid M(2016)UML-based reconfigurable middleware for design-level timing verification in model-based approach2016 11th International Design & Test Symposium (IDT)10.1109/IDT.2016.7843037(181-186)Online publication date: Dec-2016
https://doi.org/10.1109/IDT.2016.7843037
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Issue’s Table of Contents