Marie-Agnès Peraldi-Frati

发表

The MeMVaTEx methodology: from requirements to models in automotive application design

J.-L. Boulanger, Yves Sorel, Arnaud Albinet, 2008 .

Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare

Julien DeAntoni, Arda Goknil, Marie-Agnès Peraldi-Frati, 2013, 2013 18th International Conference on Engineering of Complex Computer Systems.

A multiform time approach to real-time system modeling; Application to an automotive system

Charles André, Marie-Agnès Peraldi-Frati, Frédéric Mallet, 2007, 2007 International Symposium on Industrial Embedded Systems.

Modeling a BSG-E Automotive System with the Timing Augmented Description Language

Morayo Adedjouma, Arda Goknil, Marie-Agnès Peraldi-Frati, 2012, ISoLA.

Requirement traceability in safety critical systems

Arnaud Albinet, Marie-Agnès Peraldi-Frati, 2010, EDCC-CARS.

Model-Based Methodology for Requirements Traceability in Embedded Systems

Yves Sorel, Jean-Louis Boulanger, Arnaud Albinet, 2007 .

NON-FUNCTIONAL PROPERTY ANALYSIS USING UML2.0 AND MODEL TRANSFORMATIONS

Charles André, Marie-Agnès Peraldi-Frati, Frédéric Mallet, 2006 .

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

Stefan Kuntz, Arne Hamann, Marie-Agnès Peraldi-Frati, 2012 .

CLARITY: Open-Sourcing the Model-Based Systems Engineering Solution Capella

Benoît Combemale, Marie-Agnès Peraldi-Frati, Daniel Exertier, 2015, OSS4MDE@MoDELS.

A DSL for specifying timing requirements

Arda Goknil, Marie-Agnès Peraldi-Frati, Arda Goknil, 2012, 2012 Second IEEE International Workshop on Model-Driven Requirements Engineering (MoDRE).

Predictability of a RTX2000-based implementation

Charles André, Marie-Agnès Peraldi-Frati, 2004, Real-Time Systems.

Marte CCSL to Execute East-ADL Timing Requirements

Charles André, Marie-Agnès Peraldi-Frati, Frédéric Mallet, 2009, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

Effective Implementation of ESTEREL programs

Charles André, Marie-Agnès Peraldi-Frati, 1993, Fifth Euromicro Workshop on Real-Time Systems.

Timing Modeling with AUTOSAR - Current state and future directions

Stefan Kuntz, Hans Blom, Marie-Agnès Peraldi-Frati, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Scenario and property checking of real-time systems using a synchronous approach

Jean-Paul Rigault, Charles André, Marie-Agnès Peraldi-Frati, 2001, Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001.

Scheduling Multi Clock Real Time Systems: From Requirements to Implementation

Julien DeAntoni, Marie-Agnès Peraldi-Frati, Julien Deantoni, 2011, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

Models and Methods for the Analysis and Optimization of Systems with Real-time and Embedded Constraints

Mickaël Raulet, Julien Boucaron, Robert de Simone, 2006 .

New Results - Executable Timed Requirements for automotiveapplications

Charles André, Marie-Agnès Peraldi-Frati, Frédéric Mallet, 2009 .

Multiform Time in UML for Real-time Embedded Applications

Charles André, Marie-Agnès Peraldi-Frati, Frédéric Mallet, 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007).

Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems

Jean-Paul Rigault, Charles André, Marie-Agnès Peraldi-Frati, 2002, UML.

Simulation of temporal behaviour based on a synchronous language

Charles André, Marie-Agnès Peraldi-Frati, 1994, Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.

Analysis Support for TADL2 Timing Constraints on EAST-ADL Models

Arda Goknil, Marie-Agnès Peraldi-Frati, Jagadish Suryadevara, 2013, ECSA.

Behavioral specification of a circuit using SyncCharts: a case study

Charles André, Marie-Agnès Peraldi-Frati, C. André, 2000, Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future.

From UML to Petri Nets for non functional Property Verification

Charles André, Marie-Agnès Peraldi-Frati, Frédéric Mallet, 2006, 2006 International Symposium on Industrial Embedded Systems.

A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2

Julien DeAntoni, Arda Goknil, Marie-Agnès Peraldi-Frati, 2012, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.

Marte CCSL and East-ADL2 Timing Requirements

Charles André, Marie-Agnès Peraldi-Frati, Frédéric Mallet, 2008 .

A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems

Hubert Dubois, Fadoi Lakhal, Marie-Agnès Peraldi-Frati, 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.

From high-level modelling of time in MARTE to real- time scheduling analysis

Yves Sorel, Marie-Agnès Peraldi-Frati, Y. Sorel, 2008 .

Synchronous programming of a real-time microcontroller

Charles André, Marie-Agnès Peraldi-Frati, C. André, 1992, Fourth Euromicro workshop on Real-Time Systems.

UML MARTE Time Model and Its Clock Constraint Specification Language

Robert de Simone, Julien Deantoni, Marie-Agnès Peraldi-Frati, 2014 .