Filtrer vos résultats
- 17
- 14
- 19
- 5
- 5
- 1
- 1
- 3
- 2
- 29
- 2
- 1
- 4
- 1
- 2
- 2
- 5
- 1
- 3
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 26
- 5
- 31
- 29
- 24
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 31
- 9
- 8
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
31 résultats
|
|
triés par
|
Requirement traceability in safety critical systemsEDCC2010 - Workshop on Critical Automotive applications: Robustness and Safety (CARS'2010), Apr 2010, Valencia, Spain. pp.11-14, ⟨10.1145/1772643.1772647⟩
Communication dans un congrès
hal-00687550v1
|
|||
|
Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquareICECCS'2013 - 18th International Conference on Engineering of Complex Computer Systems, Jul 2013, Singapore, Singapore
Communication dans un congrès
hal-00850673v1
|
||
|
ETSI SmartM2M Technical Report 103716; oneM2M Discovery and Query solution(s) simulation and performance evaluation2021
Autre publication scientifique
hal-03261059v1
|
||
|
A multiform time approach to real-time system modeling: Application to an automotive systemIEEE Int. Symp. on Industrial Embedded Systems (SIES), Jul 2007, Lisbon, Portugal. pp.234-241, ⟨10.1109/SIES.2007.4297340⟩
Communication dans un congrès
inria-00204508v1
|
||
|
Scheduling Multi Clock Real Time Systems: From Requirements to ImplementationInternational Symposium on Object/Component/Service-oriented Real-time Distributed Computing, Mar 2011, Newport Beach, United States. pp.50; 57, ⟨10.1109/ISORC.2011.16⟩
Communication dans un congrès
inria-00586851v1
|
||
A timing model for specifying multi clock automotive systems. The Timing Augmented Description Language V2ICECCS 2012 - 17th International Conference on Engineering of Complex Computer Systems, Jul 2012, Paris, France. pp.230-239
Communication dans un congrès
hal-00687562v1
|
|||
A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systemsICECCS'10, IEEE, Mar 2010, Oxford, United Kingdom. pp.233-242, ⟨10.1109/ICECCS.2010.13⟩
Communication dans un congrès
inria-00484073v1
|
|||
|
Multiform Time in UML for Real-time Embedded ApplicationsIEEE Int. Conf. on Real-Time Computing Systems and Applications (RTCSA), Aug 2007, Daegu, South Korea. pp.232-237, ⟨10.1109/RTCSA.2007.51⟩
Communication dans un congrès
inria-00204503v1
|
||
From high-level modelling of time in MARTE to real-time scheduling analysis.Int. Workshop of MODEL'S 2008 - Int. Workshop on Model Based Architecting and Construction of Embedded Systems, IRIT, Sep 2008, Toulouse, France. pp.129-144
Communication dans un congrès
hal-00924390v1
|
|||
|
ETSI SmartM2M Technical Report 103715; Study for oneM2M; Discovery and Query solutions analysis & selection2021
Autre publication scientifique
hal-03115497v1
|
||
Construction et Validation d'Architectures Distribuées Temps Réel (Consortium COVADIS)[Contrat] 98-R-318 || andre98a, 1998, 140 p
Rapport
inria-00098509v1
|
|||
UML MARTE Time Model and Its Clock Constraint Specification LanguageAlessandra Bagnato; Leandro Soares Indrusiak; Imran Rafiq Quadri; Matteo Rossi. Embedded Systems Design, IGI Global, 2014, Handbook of Research on, 9781466661943. ⟨10.4018/978-1-4666-6194-3.ch002⟩
Chapitre d'ouvrage
hal-01079039v1
|
|||
|
Marte CCSL and East-ADL2 Timing Requirements[Research Report] RR-6781, INRIA. 2008
Rapport
inria-00348134v1
|
||
Modeling a BSG-E Automotive System with the Timing Augmented Description language.ISOLA 2012 - 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, TU Dortmund - EASST, Oct 2012, Amirandes, Héraklion, Greece. pp.111-125, ⟨10.1007/978-3-642-34032-1_14⟩
Communication dans un congrès
hal-00757185v1
|
|||
|
ETSI SmartM2M Technical Report 103714: Study for oneM2M Discovery and Query use cases and requirements2021
Autre publication scientifique
hal-03115482v1
|
||
|
Model-Based Methodology for Requirements Traceability in Embedded SystemsProceedings of 3rd European Conference on Model Driven Architecture® Foundations and Applications, ECMDA'07, 2007, Haifa, Israel
Communication dans un congrès
inria-00413488v1
|
||
|
A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systems[Research Report] RR-7292, INRIA. 2010, pp.19
Rapport
inria-00483970v1
|
||
|
From UML to Petri Nets for non functional Property VerificationIEEE International Symposium on Industrial Embedded Systems, 2006. IES '06., Oct 2006, Sophia antipolis, France. ⟨10.1109/IES.2006.357475⟩
Communication dans un congrès
inria-00371277v1
|
||
Timing Modeling with AUTOSAR. Current State and Future DirectionsDATE 2012 - Design Automation & Test in Europe, Mar 2012, Dresden, Germany. pp.1-5, ⟨10.1109/DATE.2012.6176604⟩
Communication dans un congrès
hal-00667070v1
|
|||
|
Marte CCSL to execute East-ADL Timing RequirementsInt. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. pp.249-253, ⟨10.1109/ISORC.2009.18⟩
Communication dans un congrès
inria-00383262v1
|
||
A DSL for Specifying Timing RequirementsMoDRE 2012 - 2nd IEEE International Workshop on Model-Driven Requirements Engineering, IEEE Requirement Engineering Conference, Sep 2012, Chicago, United States. pp.49-57, ⟨10.1109/MoDRE.2012.6360074⟩
Communication dans un congrès
hal-00757168v1
|
|||
Conception et validation d'architectures distribuées temps réel[Contrat] 99-R-316 || simonot-lion99b, 1999, 295 p
Rapport
inria-00098849v1
|
|||
|
SmartM2M; Model for oneM2M Performance EvaluationETSI Technical Specification 103840, 2023, pp.29
Autre publication scientifique
hal-04229478v1
|
||
|
CIEL 2014 : Conférence en IngénieriE du LogicielMarie-agnès Peraldi-Frati Christelle Urtado. Conférence en Ingénierie du logiciel, Jun 2014, Paris, France. , pp.158, 2014, Actes de la troisième édition de CIEL 2014
Proceedings/Recueil des communications
hal-01094542v1
|
||
Analysis Support for TADL2 Timing Constraints on EAST-ADL ModelsECSA 2013 - 7th European Conference on Software Architecture, Jul 2013, Montpellier, France. pp.89-105, ⟨10.1007/978-3-642-39031-9_8⟩
Communication dans un congrès
istex
hal-00839963v1
|
|||
|
Non-functional property analysis using UML2.0 and model transformations[Research Report] RR-5913, INRIA. 2006, pp.18
Rapport
inria-00124874v1
|
||
Apports récents de la programmation synchrone en surveillanceJournées Surveillance, Sûreté, Supervision, GR Automatique, Dec 1994, Paris, France. pp.126-144
Communication dans un congrès
hal-00974276v1
|
|||
The TIMMO-2-USE project: Time modeling and analysis to useERTS2 2012 - 6th International Congres on Embedded Real Time Software and Systems, Feb 2012, Toulouse, France. pp.1-10
Communication dans un congrès
hal-00649781v1
|
|||
|
CLARITY: Open-Sourcing the Model-Based Systems Engineering Solution CapellaSecond Workshop on Open Source Software for Model Driven Engineering (OSS4MDE’15), 2015, Ottawa, Canada
Communication dans un congrès
hal-01186019v2
|
||
Plate-forme de conception de systèmes automatisésTechnologies de l'Information et de la Communication dans l'Enseignement - TICE 2000, Oct 2000, Troyes, France. pp.121-126
Communication dans un congrès
hal-00973441v1
|
- 1
- 2