The TIMMO-2-USE project: Time modeling and analysis to use

Marie-Agnès Peraldi-Frati 1 Daniel Karlsson Arne Hamann Stefan Kuntz Johan Nordlander
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : The paper presents the actual results of the TIMMO-2-USE project dedicated to time modeling and analysis in the domain of automotive embedded system design. A first result is the Timing Augmented Description Language (TADL2) that offers capabilities for symbolic time expressions modeling, probabilistic timing information and timing constraints applied on mode definitions. The syntax and semantic of such extensions are presented. These extensions are aligned with EAST-ADL and AUTOSAR timing models. Based on these extensions, new algorithms and tools are developed to analyze and validate TADL2 specifications. Conjointly with these aspects, a new methodology based on industrial use cases is proposed compatible with those of TIMMO, ATESST2 and AUTOSAR. This methodology solves specific issues related to timing in an automotive system design, such as time budgeting. The TIMMO-2-USE work and results are driven by industrial use cases. Use cases are the corner stone of the project as they are used as input for providing requirements for the language, the algorithm development, and the methodology development but also because the same are used for a validation of the results.
Type de document :
Communication dans un congrès
3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace * SEE: the French Society for Electricity Electronics and Information & Communication Technologies. ERTS2012 International Congres on Embedded Real Time Software and Systems, Feb 2012, Toulouse, France. 2012, 6th International Congres on Embedded Real Time Software and Systems
Liste complète des métadonnées

https://hal.inria.fr/hal-00649781
Contributeur : Team Aoste <>
Soumis le : jeudi 8 décembre 2011 - 16:00:14
Dernière modification le : mardi 30 août 2016 - 01:04:11

Identifiants

  • HAL Id : hal-00649781, version 1

Collections

Citation

Marie-Agnès Peraldi-Frati, Daniel Karlsson, Arne Hamann, Stefan Kuntz, Johan Nordlander. The TIMMO-2-USE project: Time modeling and analysis to use. 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace * SEE: the French Society for Electricity Electronics and Information & Communication Technologies. ERTS2012 International Congres on Embedded Real Time Software and Systems, Feb 2012, Toulouse, France. 2012, 6th International Congres on Embedded Real Time Software and Systems. 〈hal-00649781〉

Partager

Métriques

Consultations de la notice

424