Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software

Rafik Henia, Laurent Rioux, Nicolas Sordon, Gerald-Emmanuel Garcia, Marco Panunzio

2014

Abstract

As a consequence of the increasing complexity of modern real-time applications, the need for an efficient, reliable and automated performance estimation method throughout the whole development cycle becomes essential. Model-based formal timing analysis appears at first sight to be the adequate candidate for this purpose. However, its use in the industry is conditioned by a smooth and seamless integration in the development process. This is not an easy task due to the semantic mismatches between the design and timing analysis models but also due to the missing links to the testing phase after code implementation. In this paper, we present a model-based timing analysis framework we developed in the industrial context of satellite on-board software. The framework enables overcoming the above mentioned problems, thus allowing a fully integration and automation of model-based timing verification activities in the development process, as a mean to shorten the design time and reduce risks of timing failures.

References

  1. E. Borde, F.Gilliers, G. Haik, T. Vergnaud, J. Hugues, L. Pautet, 2009. MyCCM-HI, a component-based Framework Implementing a Model Driven Engineering Approach. Neptune 2009.
  2. MARTE 1.1, June 2011. OMG publication, 2011-06-02.
  3. UML superstructure 2.4.1, August 2011, OMG publication, formal/2011-08-06.
  4. Lehoczky, 1990. Fixed Priority Scheduling of Periodic Task Sets with Arbitrary Deadline. IEEE Real-Time System Symposium (RTSS 1990).
  5. SymTA/S https://www.symtavision.com/symtas.html K.W. Tindell, 1994. An extendible approach for analysing fixed priority hard real-time systems. Journal of RealTime Systems, 6(2):133-152, Mar 1994.
Download


Paper Citation


in Harvard Style

Henia R., Rioux L., Sordon N., Garcia G. and Panunzio M. (2014). Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MBAT, (MODELSWARD 2014) ISBN 978-989-758-007-9, pages 619-625. DOI: 10.5220/0004874306190625


in Bibtex Style

@conference{mbat14,
author={Rafik Henia and Laurent Rioux and Nicolas Sordon and Gerald-Emmanuel Garcia and Marco Panunzio},
title={Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MBAT, (MODELSWARD 2014)},
year={2014},
pages={619-625},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004874306190625},
isbn={978-989-758-007-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MBAT, (MODELSWARD 2014)
TI - Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software
SN - 978-989-758-007-9
AU - Henia R.
AU - Rioux L.
AU - Sordon N.
AU - Garcia G.
AU - Panunzio M.
PY - 2014
SP - 619
EP - 625
DO - 10.5220/0004874306190625