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

被引:0
|
作者
Henia, Rafik [1 ]
Rioux, Laurent [1 ]
Sordon, Nicolas [1 ]
Garcia, Gerald-Emmanuel [2 ]
Panunzio, Marco [2 ]
机构
[1] Thales Res & Technol, 1 Ave Augustin Fresenl, F-91767 Palaiseau, France
[2] Thales Alenia Space, F-06156 Cannes La Bocca, France
关键词
Real-time Embedded Systems; Satellite On-Board Software Architecture; Model-based Formal Timing Analysis; Industrial Development Process; Component-based Design; Model-based Engineering;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
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.
引用
收藏
页码:619 / 625
页数:7
相关论文
共 50 条
  • [1] Integration of formal analysis into a model-based software development process
    Whalen, Michael
    Cofer, Darren
    Miller, Steven
    Krogh, Bruce H.
    Storm, Walter
    [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2008, 4916 : 68 - +
  • [2] Model Based Testing of Satellite On-Board Software - an Industrial Use Case
    Herpel, H. J.
    Kerep, M.
    Li, J.
    Xie, J.
    Johansen, B.
    Kvinnesland, K.
    Krueger, S.
    Barrios, P.
    [J]. 2016 IEEE AEROSPACE CONFERENCE, 2016,
  • [3] Software Development of On-board Power Electronics Equipment Using Model-Based Design Methodology
    Liu, Xiaofei
    Cui, Shumei
    Gao, Weifeng
    Li, Jintang
    Xu, Shiming
    [J]. CURRENT DEVELOPMENT OF MECHANICAL ENGINEERING AND ENERGY, PTS 1 AND 2, 2014, 494-495 : 1524 - +
  • [4] Schedulability Analysis of On-board Satellite Software Based on Model-Driven and Compositionality Techniques
    Fernandez, Javier
    Parra, Pablo
    Nilas, Bogdan
    Garcia, Ignacio
    Sanchez, Sebastian
    Polo, Oscar R.
    [J]. 2013 8TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2013, : 178 - 187
  • [5] Integrating Usability Methods into Model-Based Software Development
    Propp, Stefan
    Buchholz, Gregor
    Forbrig, Peter
    [J]. COMPUTER-AIDED DESIGN OF USER INTERFACES VI, 2009, : 125 - 136
  • [6] Research on on-board embedded software testing process model
    Chen, Jia-Yu
    Xing, Zhong-Bao
    Liu, Jin-Guo
    Kong, De-Zhu
    Xu, Dong
    [J]. Guangxue Jingmi Gongcheng/Optics and Precision Engineering, 2008, 16 (09): : 1654 - 1659
  • [7] Model-based on-board turbofan thrust estimation
    Henriksson, Mattias
    Gronstedt, Tomas
    Breitholtz, Claes
    [J]. CONTROL ENGINEERING PRACTICE, 2011, 19 (06) : 602 - 610
  • [8] Formal Model-Based Development in Industrial Automation with Reactive Blocks
    Herrmann, Peter
    Blech, Jan Olaf
    [J]. SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS (STAF 2016), 2016, 9946 : 253 - 261
  • [9] Development strategies for the satellite flight software on-board Meteosat Third Generation
    Tipaldi, Massimo
    Legendre, Cedric
    Koopmann, Iver
    Ferraguto, Massimo
    Wenker, Ralf
    D'Angelo, Gianni
    [J]. ACTA ASTRONAUTICA, 2018, 145 : 482 - 491
  • [10] Integrating model checking and model based testing for industrial software development
    Villani, Emilia
    Pontes, Rodrigo Pastl
    Coracini, Guilherme Kisselofl
    Ambrosio, Ana Maria
    [J]. COMPUTERS IN INDUSTRY, 2019, 104 : 88 - 102