Performance Modelling for Avionics Systems

  • Authors:

  • Visar Januzaj;Ralf Mauersberger;Florian Biechele

  • Affiliations:

  • FG Formal Methods in Systems Engineering - FORSYTE, Technische Universität Darmstadt, Fachbereich Informatik, Darmstadt, Germany 64289;EADS Innovation Works, Ottobrunn, Germany 85521;EADS Defence & Security, Manching, Germany 85077

  • Venue:
  • Computer Aided Systems Theory - EUROCAST 2009
  • Year:
  • 2009

  • Timely time estimates

    ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I

  • A configuration approach for IMA systems

    SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods

Quantified Score

Hi-index 0.00

Visualization

Abstract

The new paradigm of Integrated Modular Avionics (IMA) [1] necessitates the analysis and validation of non-functional requirements for IMA systems. This includes the analysis of their performability. In this paper we present an initial approach of a performance modelling framework, based on the SAE standardised modelling and analysis language AADL [2,3], to integrate performance analysis in the toolchain of this practical context. The proposed framework is a hybrid of static and dynamic systems analysis and includes aspects of performance evaluation.