More Web Proxy on the site http://driver.im/

research-article

Bridging the gap between practical cases and temporal performance analysis: a models repository-based approach

Authors:

Anh-Toan Bui Long,

Yassine Ouhammou,

Emmanuel Grolleau,

Laurent RiouxAuthors Info & Claims

RTNS '17: Proceedings of the 25th International Conference on Real-Time Networks and Systems

Pages 178 - 187

https://doi.org/10.1145/3139258.3139286

Published: 04 October 2017 Publication History

Abstract

Despite various analysis models and tests proposed by the real-time community to validate the temporal performance of hard real-time systems, several cases derived from industrial practices do not find their corresponding tests in standard schedulability analysis tools. They need to be transformed and adapted in terms of qualitative and quantitative information while remaining conservative. The current state-of-practice of transformation relies solely on designers expertise. As a result, the adaptation/transformation task tends to be time- and effort-intensive.

This paper proposes to capitalize adaptation efforts by storing them in a repository, hence designers can be helped to automatically transform and adapt their practical designs to analyzable models while staying conservative. Thanks to model-driven engineering settings the capitalization is illustrated by the implementation of a repository as a decision support and the automatic adaptation relies on model-based transformations. Also, a case study is presented to stress the importance of our contribution.

References

[1]

RealTime at Work. 2017. RTaW-Pegase. http://www.realtimeatwork.com/softtware/rtaw-pegase/. (2017). Accessed: 2017-07-17.

[2]

S. K. Baruah, A. K. Mok, and L. E. Rosier. 1990. Preemptively scheduling hard-real-time sporadic tasks on one processor. In {1990} Proceedings 11th Real-Time Systems Symposium. 182--190.

[3]

Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, and Dario Varano. 2017. Modeling and generation of secure component communications in AUTOSAR. In Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3--7, 2017. 1473--1480.

Digital Library

[4]

Peter H. Feiler and David P. Gluch. 2012. Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language (1st ed.). Addison-Wesley Professional.

Digital Library

[5]

Joël Goossens. 2003. Scheduling of offset free systems. Real-Time Systems 24, 2 (2003), 239--258.

Digital Library

[6]

M. González Harbour, J. J. Gutiérrez García, J. C. Palencia Gutiérrez, and J. M. Drake Moyano. 2001. MAST: Modeling and Analysis Suite for Real Time Applications. In Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS '01). IEEE Computer Society, Washington, DC, USA, 125--. http://dl.acm.org/citation.cfm?id=871910.871923

Digital Library

[7]

R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst. 2005. System level performance analysis - the SymTA/S approach. IEEE Proceedings - Computers and Digital Techniques 152, 2 (Mar 2005), 148--166.

[8]

Rafik Henia, Laurent Rioux, and Nicolas Sordon. 2013. TEMPO: Performance Viewpoint for Component-based Design of Real-time Systems. SIGBED Rev. 10, 2 (July 2013), 12--12.

Digital Library

[9]

Frédéric Jouault, Freddy Allilaire, Jean Bézivin, and Ivan Kurtev. 2008. ATL: A model transformation tool. Science of Computer Programming 72, 1 (2008), 31 -- 39. Special Issue on Second issue of experimental software and toolkits (EST).

Digital Library

[10]

Brendan P Mahony and Ian J Hayes. 1992. A case-study in timed refinement: A mine pump. IEEE transactions on Software Engineering 18, 9 (1992), 817--826.

Digital Library

[11]

Chokri Mraidha, Sara Tucci-Piergiovanni, and Sebastien Gerard. 2011. Optimum: A MARTE-based Methodology for Schedulability Analysis at Early Design Stages. SIGSOFT Softw. Eng. Notes 36, 1 (Jan. 2011), 1--8.

Digital Library

[12]

OMG. 2006. Object Constraint Language, OMG Available Specification, Version 2.0. (2006).

[13]

OMG. 2015. UML profile for MARTE: modeling and analysis of real-time embedded systems. (2015).

[14]

OMG. 2015. Unified Modeling Language (UML) version 2.5. OMG Specification (2015).

[15]

OMG. 2017. Query/view/transformation QVT. http://www.omg.org/spec/QVT/. (2017). Accessed: 2017-07-17.

[16]

Yassine Ouhammou. 2013. Model-based Framework for Using Advanced Scheduling Theory in Real-Time Systems Design. Ph.D. Dissertation. ENSMA.

[17]

Yassine Ouhammou, Emmanuel Grolleau, Michael Richard, and Pascal Richard. 2012. Reducing the gap between Design and Scheduling. In 20th International Conference on Real-Time and Network Systems, ACM (Ed.). ACM, Nancy, France, 10.

Digital Library

[18]

Yassine Ouhammou, Emmanuel Grolleau, Michael Richard, and Pascal Richard. 2014. Towards a model-based approach guiding the scheduling analysis of real-time systems design. In International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2014). 19--24.

[19]

Luca Santinelli and Liliana Cucu-Grosjean. 2015. A Probabilistic Calculus for Probabilistic Real-Time Systems. ACM Trans. Embed. Comput. Syst. 14, 3, Article 52 (April 2015), 30 pages.

Digital Library

[20]

Douglas C Schmidt. 2006. Model-driven engineering. COMPUTER-IEEE COMPUTER SOCIETY -- 39, 2 (2006), 25.

Digital Library

[21]

Lui Sha, Tarek Abdelzaher, Karl-Erik Årzén, Anton Cervin, Theodore Baker, Alan Burns, Giorgio Buttazzo, Marco Caccamo, John Lehoczky, and Aloysius K Mok. 2004. Real time scheduling theory: A historical perspective. Real-time systems 28, 2--3 (2004), 101--155.

Digital Library

[22]

F. Singhoff, J. Legrand, L. Nana, and L. Marcé. 2004. Cheddar: A Flexible Real Time Scheduling Framework. In Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-time & Distributed Systems Using Ada and Related Technologies (SIGAda '04). ACM, New York, NY, USA, 1--8.

Digital Library

[23]

Dave Steinberg, Frank Budinsky, Marcelo Paternostro, and Ed Merks. 2008. EMF: Eclipse Modeling Framework. Pearson Education.

Digital Library

Cited By

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: 27-Jan-2024
https://doi.org/10.1007/s11227-023-05866-0
Quinton S(2018)Evaluation and Comparison of Real-Time Systems Analysis Methods and ToolsFormal Methods for Industrial Critical Systems10.1007/978-3-030-00244-2_19(284-290)Online publication date: 30-Aug-2018
https://doi.org/10.1007/978-3-030-00244-2_19

Index Terms

Bridging the gap between practical cases and temporal performance analysis: a models repository-based approach
1. Computer systems organization
  1. Real-time systems
    1. Real-time system architecture
    2. Real-time system specification
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Process validation
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        Process management
        Scheduling

Recommendations

ArchMDE approach for the development of embedded real time systems
Ada-Europe'07: Proceedings of the 12th international conference on Reliable software technologies

The development of Embedded Real Time Systems (ERTS) is generally a complex task that requires high costs and long delays. New development tools should be elaborated in order to improve ERTS developers productivity. Model Driven Engineering (MDE) is an ...
A Contribution to the Specification of Model Transformations with Metamodel Matching Approach

Model-driven engineering MDE is a paradigm based on the intensive use of models throughout the life cycle of an application, where model transformation plays an important role. Various model transformation approaches have been proposed, but developers ...
Design pattern modeling and implementation based on MDA
WISM'11: Proceedings of the 2011 international conference on Web information systems and mining - Volume Part II

Model Driven Architecture (MDA) stresses on the model-centric. It defines the framework of the system by using various models. Aiming to increase not only the modeling granularity but also the reusability of model transformation rule we apply the design ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

RTNS '17: Proceedings of the 25th International Conference on Real-Time Networks and Systems

October 2017

318 pages

ISBN:9781450352864

DOI:10.1145/3139258

Program Chairs:
Enrico Bini
University of Turin, Italy
,
Claire Pagetti
ONERA/ENSEEIHT/TUHH, Toulouse, France

Copyright © 2017 ACM.

© 2017 Association for Computing Machinery. ACM acknowledges that this contribution was authored or co-authored by an employee, contractor or affiliate of a national government. As such, the Government retains a nonexclusive, royalty-free right to publish or reproduce this article, or to allow others to do so, for Government purposes only.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 October 2017

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

French Ministry of the Economy, Finances and Industry
European Union

Conference

RTNS '17

RTNS '17: 25th International Conference on Real-Time Networks and Systems

October 4 - 6, 2017

Grenoble, France

Acceptance Rates

Overall Acceptance Rate 119 of 255 submissions, 47%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
44
Total Downloads

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

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

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: 27-Jan-2024
https://doi.org/10.1007/s11227-023-05866-0
Quinton S(2018)Evaluation and Comparison of Real-Time Systems Analysis Methods and ToolsFormal Methods for Industrial Critical Systems10.1007/978-3-030-00244-2_19(284-290)Online publication date: 30-Aug-2018
https://doi.org/10.1007/978-3-030-00244-2_19

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.

Media

Figures

Other

Tables

View Table of Contents