Verified email at
Cited by
Cited by
A model for requirements traceability in a heterogeneous model-based design process: Application to automotive embedded systems
H Dubois, MA Peraldi-Frati, F Lakhal
2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010
Marte CCSL to execute East-ADL timing requirements
F Mallet, MA Peraldi-Frati, C André
2009 IEEE International Symposium on Object/Component/Service-Oriented Real …, 2009
The MeMVaTEx methodology: from requirements to models in automotive application design
A Albinet, S Begoc, JL Boulanger, O Casse, I Dal, H Dubois, F Lakhal, ...
Embedded Real Time Software and Systems (ERTS2008), 2008
A multiform time approach to real-time system modeling; application to an automotive system
C André, F Mallet, MA Peraldi-Frati
2007 International Symposium on Industrial Embedded Systems, 234-241, 2007
Model-based methodology for requirements traceability in embedded systems
A Albinet, JL Boulanger, H Dubois, MA Peraldi-Frati, Y Sorel, QD Van
Proceedings of 3rd European Conference on Model Driven Architecture …, 2007
From high-level modelling of time in MARTE to real-time scheduling analysis
MA Peraldi-Frati, Y Sorel
ACESMB 2008, 129, 2008
Analysis support for TADL2 timing constraints on EAST-ADL models
A Goknil, J Suryadevara, MA Peraldi-Frati, F Mallet
European Conference on Software Architecture, 89-105, 2013
A timing model for specifying multi clock automotive systems: The timing augmented description language v2
MA Peraldi-Frati, A Goknil, J DeAntoni, J Nordlander
2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012
Scheduling multi clock real time systems: From requirements to implementation
MA Peraldi-Frati, J DeAntoni
2011 14th IEEE International Symposium on Object/Component/Service-Oriented …, 2011
Requirement traceability in safety critical systems
MA Peraldi-Frati, A Albinet
Proceedings of the 1st Workshop on Critical Automotive applications …, 2010
Combining real-time features of local area networks FIP and CAN
MA Peraldi, JD Decotignie
Proceedings of the 2nd Int. CAN Conference (ICC’95), CiA–CAN in Automation, 1995
Objects and synchronous programming
C André, F Boulanger, MA Péraldi, JP Rigault, G Vidal-Naquet
RAIRO-APII-JESA-Journal Europeen des Systemes Automatises 31 (3), 417-432, 1997
Effective implementation of ESTEREL programs
C Andre, MA Péraldi
Fifth Euromicro Workshop on Real-Time Systems, 262,263,264,265,266,267-262 …, 1993
Integrating the synchronous paradigm into UML: Application to control-dominated systems
C André, MA Peraldi-Frati, JP Rigault
International Conference on the Unified Modeling Language, 163-178, 2002
Timing modeling with autosar-current state and future directions
MA Peraldi-Frati, H Blom, D Karlsson, S Kuntz
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 805-809, 2012
Grafcet and synchronous languages
C André, MA Péraldi
Université de Nice. Laboratoire Informatique Signaux et Systèmes de Sophia …, 1992
From uml to petri nets for non functional property verification
F Mallet, MA Peraldi-Frati, C André
2006 International Symposium on Industrial Embedded Systems, 1-9, 2006
Tool support for the analysis of TADL2 timing constraints using TimeSquare
A Goknil, J DeAntoni, MA Peraldi-Frati, F Mallet
2013 18th International Conference on Engineering of Complex Computer …, 2013
Distributing PLC control
T Kouthon, MA Peraldi, JD Decotignie
Proceedings of IECON'95-21st Annual Conference on IEEE Industrial …, 1995
Producer-Distributor-Consumer Model on Controller Area Network
JD Decotignie, MA Peraldi
IFAC Proceedings Volumes 29 (6), 35-42, 1996
The system can't perform the operation now. Try again later.
Articles 1–20