 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-01094542v1
Direction d'ouvrage, Proceedings
Marie-Agnès Peraldi-Frati, Christelle Urtado. CIEL 2014 : Conférence en IngénieriE du Logiciel Marie-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, <http://ciel2014.i3s.unice.fr/> |
||
|
hal-00839963v1
Communication dans un congrès
Arda Goknil, Jagadish Suryadevara, Marie-Agnès Peraldi-Frati, Frédéric Mallet. Analysis Support for TADL2 Timing Constraints on EAST-ADL Models Khalil Drira. ECSA 2013 - European Conference on Software Architecture, Jul 2013, Montpellier, France. Springer, 7957, pp.89-105, 2013, LNCS; Software Architecture. <10.1007/978-3-642-39031-9_8> |
||
|
hal-00687562v1
Communication dans un congrès
Marie-Agnès Peraldi-Frati, Arda Goknil, Julien Deantoni, Johan Nordlander. A timing model for specifying multi clock automotive systems. The Timing Augmented Description Language V2 ICECCS 2012 : International Conference on Engineering of Complex Computer Systems, Jul 2012, Paris, France. IEEE, 10 p., 2012, Proceeding of the 17th ICECCS conference |
||
|
hal-00687550v1
Communication dans un congrès
Marie-Agnès Peraldi-Frati, Arnaud Albinet. Requirement traceability in safety critical systems Jean-Charles Fabre and Olivier Guetta and Mario Trapp. EDCC2010 - Workshop on Critical Automotive applications: Robustness and Safety (CARS'2010), Apr 2010, Valencia, Spain. ACM, pp.11-14, 2010, ACM International Conference Proceeding Series; Proceeding of the 1st Workshop on Critical Automotive applications: Robustness & Safety. <10.1145/1772643.1772647> |
||
|
inria-00483970v1
Rapport
Hubert Dubois, Marie-Agnès Peraldi-Frati, Fadoi Lakhal. 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 |
||
|
inria-00586851v1
Communication dans un congrès
Marie-Agnès Peraldi-Frati, Julien Deantoni. Scheduling Multi Clock Real Time Systems: From Requirements to Implementation International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, Mar 2011, Newport Beach, United States. IEEE computer society, pp.50; 57, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing. <10.1109/ISORC.2011.16> |
||
|
inria-00383262v1
Communication dans un congrès
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André. Marte CCSL to execute East-ADL Timing Requirements Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. IEEE, pp.249-253, 2009, <10.1109/ISORC.2009.18> |
||
|
hal-01079039v1
Chapitre d'ouvrage
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Julien Deantoni, Robert De Simone. UML MARTE Time Model and Its Clock Constraint Specification Language Alessandra 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>. <http://www.igi-global.com/book/handbook-research-embedded-systems-design/102212> |
||
|
hal-00757185v1
Communication dans un congrès
Marie-Agnès Peraldi-Frati, Arda Goknil, Morayo Adedjouma, Pierre-Yves Gueguen. Modeling a BSG-E Automotive System with the Timing Augmented Description language. Tiziana Margaria and Bernhard Steffen. ISOLA 2012 -5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2012, Amirandes, Héraklion, Greece. Springer, 7610, pp.111-125, 2012, Lecture Notes in Computer Science; Isola 2012 Proceedings. <10.1007/978-3-642-34032-1_14> |
||
|
hal-00757168v1
Communication dans un congrès
Arda Goknil, Marie-Agnès Peraldi-Frati. A DSL for Specifying Timing Requirements MoDRE- 2sd International Model-Driven Requirements Engineering (MoDRE) Workshop, Sep 2012, Chicago, United States. IEEE, pp.49-57, 2012, <http://cserg0.site.uottawa.ca/modre2012/proceedings.htm>. <10.1109/MoDRE.2012.6360074> |
||
|
hal-00974276v1
Communication dans un congrès
Ch. André, D. Gaffé, Marie-Agnès Peraldi-Frati. Apports récents de la programmation synchrone en surveillance Journées Surveillance, Sûreté, Supervision, GR Automatique, Dec 1994, Paris, France. pp.126-144 |
||
|
hal-00850673v1
Communication dans un congrès
Arda Goknil, Julien Deantoni, Marie-Agnès Peraldi-Frati, Frédéric Mallet. Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquare ICECCS'2013 - 18th International Conference on Engineering of Complex Computer Systems, Jul 2013, Singapore, Singapore. 2013 |
||
|
inria-00371277v1
Communication dans un congrès
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André. From UML to Petri Nets for non functional Property Verification IEEE International Symposium on Industrial Embedded Systems, 2006. IES '06., Oct 2006, Sophia antipolis, France. IEEE, 2006, <10.1109/IES.2006.357475> |
||
|
hal-00973441v1
Communication dans un congrès
Ch. André, Marie-Agnès Peraldi-Frati, D. Gaffé. Plate-forme de conception de systèmes automatisés Technologies de l'Information et de la Communication dans l'Enseignement - TICE 2000, Oct 2000, Troyes, France. pp.121-126, 2000 |
||
|
inria-00348134v1
Rapport
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André. Marte CCSL and East-ADL2 Timing Requirements [Research Report] RR-6781, INRIA. 2008 |
||
|
hal-00667070v1
Communication dans un congrès
Stefan Kuntz, Marie-Agnès Peraldi-Frati, Hans Blom, Karlsson Daniel. Timing Modeling with AUTOSAR. Current State and Future Directions DATE 2012. Design Automation & Test in Europe, Mar 2012, Dresden, Germany. 2012 |
||
|
inria-00413488v1
Communication dans un congrès
Arnaud Albinet, Jean-Louis Boulanger, Hubert Dubois, Marie-Agnès Peraldi-Frati, Yves Sorel et al. Model-Based Methodology for Requirements Traceability in Embedded Systems Proceedings of 3rd European Conference on Model Driven Architecture® Foundations and Applications, ECMDA'07, 2007, Haifa, Israel. 2007 |
||
|
hal-00924390v1
Communication dans un congrès
Marie-Agnès Peraldi-Frati, Yves Sorel. From high-level modelling of time in MARTE to real-time scheduling analysis. Stefan van Baelen and Iulian Ober and Susanne Grafand and Mamoun Filali and Thomas Weige. Int. Workshop of MODEL'S 2008 - Int. Workshop on Model Based Architecting and Construction of Embedded Systems, Sep 2008, Toulouse, France. http://ceur-ws.org, 503, pp.129-144, 2008, First International Workshop on Model Based Architecting and Construction of Embedded Systems |
||
|
hal-00649781v1
Communication dans un congrès
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 |
||
|
inria-00204508v1
Communication dans un congrès
Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati. A multiform time approach to real-time system modeling: Application to an automotive system IEEE Int. Symp. on Industrial Embedded Systems (SIES), Jul 2007, Lisbon, Portugal. IEEE, pp.234-241, 2007, <10.1109/SIES.2007.4297340> |
||
|
inria-00204503v1
Communication dans un congrès
Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati. Multiform Time in UML for Real-time Embedded Applications IEEE Int. Conf. on Real-Time Computing Systems and Applications (RTCSA), Aug 2007, Daegu, South Korea. IEEE, pp.232-237, 2007, <10.1109/RTCSA.2007.51> |
||
|
inria-00124874v1
Rapport
Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati. Non-functional property analysis using UML2.0 and model transformations [Research Report] RR-5913, INRIA. 2006, pp.18 |
||
|
hal-01186019v2
Communication dans un congrès
Christophe Boudjennah, Benoit Combemale, Daniel Exertier, Stéphane Lacrampe, Marie-Agnès Peraldi-Frati. CLARITY: Open-Sourcing the Model-Based Systems Engineering Solution Capella Second Workshop on Open Source Software for Model Driven Engineering (OSS4MDE’15), 2015, Ottawa, Canada. CEUR, 2015, <http://flux.cs.queensu.ca/oss4mde/> |
||
|
inria-00484073v1
Communication dans un congrès
Hubert Dubois, Marie-Agnès Peraldi-Frati, Lakhal Fadoi. A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systems R. Calinescu and R. paige and M. Kwiatkowska. ICECCS'10, Mar 2010, Oxford, United Kingdom. IEEE Computer Society, ISBN:978-0-7695-4015-3, pp.233-242, 2010, 15th IEEE International Conference on Engineering of Complex Computer Systems. <10.1109/ICECCS.2010.13> |
||
|
|
||