Analysis Support for TADL2 Timing Constraints on EAST-ADL Models

International audience

Data and Resources

Additional Info

Field Value
Source LNCS
Author Goknil, Arda, Suryadevara, Jagadish, Peraldi-Frati, Marie-Agnès, Mallet, Frédéric
Maintainer CCSD
Last Updated May 10, 2026, 12:35 (UTC)
Created May 10, 2026, 12:35 (UTC)
Identifier hal-00839963
Language en
contributor Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE) ; Centre Inria d'Université Côte d'Azur ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Paris-Rocquencourt ; Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED) ; Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)
coverage Montpellier, France
creator Goknil, Arda
date 2013-07-01T00:00:00
harvest_object_id 2a52d909-eb7d-47e2-89f0-6f02806ed9da
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-10-07T00:00:00
relation info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-39031-9_8
set_spec type:COMM