Article dans une revue
- titre
- Les modèles de temps de MARTE et CCSL
- auteur
- Charles André, Frédéric Mallet
- article
- Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009, 89, pp.44-49
- Resume_court
- UML est un langage de modélisation largement utilisé mais qui offre peu de possibilités pour repr .....
- Accès au bibtex
-
- titre
- Modèle de contraintes temporelles pour systèmes polychrones
- auteur
- Charles André, Frédéric Mallet
- article
- Journal Européen des Systèmes Automatisés (JESA), 2009, 7-9 (43), pp.725-739
- Resume_court
- La modélisation des systèmes répartis et des systèmes électroniques modernes nécessite des ré .....
- Accès au texte intégral et bibtex
-
- titre
- Salvage intracerebrospinal fluid thiotepa in breast cancer-related leptomeningeal metastases
- auteur
- Emilie Le Rhun, Sophie Taillibert, Patrick Devos, Fahed Zairi, Anthony Turpin, Isabelle Rodrigues, Jean Louis Cazin, Matthieu Faivre Pierret, Charles André, François Dubois, Jacques Bonneterre, Marc Chamberlain
- article
- Anti-Cancer Drugs, 2013, 24 (10), pp.1093-1097. ⟨10.1097/CAD.0000000000000010⟩
- Accès au bibtex
-
- titre
- Logical Time: observation vs. implementation
- auteur
- Frédéric Mallet, Charles André, Robert de Simone
- article
- Software Engineering Notes, 2011, 36 (1), pp.1--8. ⟨10.1145/1921532.1921554⟩
- Resume_court
- MARTE/CCSL specifications express chronological and causal relations on UML models. In a previous wo .....
- Accès au bibtex
-
- titre
- Un processus automatique pour concevoir les profils UML
- auteur
- Frédéric Mallet, Charles André, François Lagarde
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2010, 29 (5), pp.391-419
- Resume_court
- Construire un profil UML peut s'avérer fastidieux et sujet à erreurs. La nécessité de commencer .....
- Accès au bibtex
-
- titre
- The Clock Constraint Specification Language for building timed causality models
- auteur
- Frédéric Mallet, Julien Deantoni, Charles André, Robert de Simone
- article
- Innovations in Systems and Software Engineering, 2010, 6 (1-2), pp.99-106. ⟨10.1007/s11334-009-0109-0⟩
- Resume_court
- The UML Profile for Modeling and Analysis of Real-Time and Embedded (RTE) systems has recently been .....
- Accès au bibtex
-
- titre
- Detection of genetic variation and base modifications at base-pair resolution on both DNA and RNA
- auteur
- Zhen Wang, Jérôme Maluenda, Laurène Giraut, Thibault Vieille, Andréas Lefevre, David Salthouse, Gaël Radou, Rémi Moulinas, Sandra Astete, Pol d'Avezac, Geoff Smith, Charles André, Jean-François Allemand, David Bensimon, Vincent Croquette, Jimmy Ouellet, Gordon Hamilton
- article
- Communications Biology, 2021, 4 (1), pp.128. ⟨10.1038/s42003-021-01648-7⟩
- Resume_court
- Accurate decoding of nucleic acid variation is critical to understand the complexity and regulation .....
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- VHDL Observers for Clock Constraint Checking
- auteur
- Charles André, Frédéric Mallet, Julien Deantoni
- article
- Symposium on Industrial Embedded Systems, Jul 2010, trento, Italy. ⟨10.1109/SIES.2010.5551372⟩
- Resume_court
- Abstract--Logical time has proved very useful to model heterogeneous and concurrent systems at vario .....
- Accès au texte intégral et bibtex
-
- titre
- Présentation des résultats du projet OpenEmbeDD
- auteur
- Charles André, Mariano Belaunde, Bernard Berthomieu, Christian Brunette, Agusti Canals, Hubert Garavel, Susanne Graf, Frederic Lang, Vincent Mahé, Michel Nakhlé, Rémi Schnekenburger, Robert de Simone, Jean-Pierre Talpin, François Vernadat
- article
- Neptune, May 2009, Paris, France
- Resume_court
- OpenEmbeDD est une plate-forme générique, reposant sur les technologies d'Ingénierie Dirigée par .....
- Accès au texte intégral et bibtex
-
- titre
- Specification and Verification of Time Requirements with CCSL and Esterel
- auteur
- Charles André, Frédéric Mallet
- article
- Languages, Compilers, and Tools for Embedded Systems, Jun 2009, Dublin, Ireland. pp.167-176, ⟨10.1145/1543136.1542475⟩
- Resume_court
- The UML Profile for Modeling and Analysis of Real-Time and Embedded (RTE) systems has recently been .....
- Accès au bibtex
-
- titre
- Time Modeling in MARTE
- auteur
- Charles André, Frédéric Mallet, Robert de Simone
- article
- ECSI Forum on specification & Design Languages (FDL), ECSI, Sep 2007, Barcelona, Spain. pp.268-273
- Resume_court
- This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Mod .....
- Accès au texte intégral et bibtex
-
- titre
- A multiform time approach to real-time system modeling: Application to an automotive system
- auteur
- Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati
- article
- IEEE Int. Symp. on Industrial Embedded Systems (SIES), Jul 2007, Lisbon, Portugal. pp.234-241, ⟨10.1109/SIES.2007.4297340⟩
- Resume_court
- In the context of an effort to answer the OMG RFP for Modeling and Analysis of Real-Time Embedded sy .....
- Accès au texte intégral et bibtex
-
- titre
- Modeling Time(s)
- auteur
- Charles André, Frédéric Mallet, Robert de Simone
- article
- ACM/IEEE Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS/UML), Oct 2007, Nashville, TN, United States. pp. 559-573, ⟨10.1007/978-3-540-75209-7_38⟩
- Resume_court
- Time and timing features are an important aspect of modern electronic systems, often of embedded nat .....
- Accès au texte intégral et bibtex
-
- titre
- Modeling of Immediate vs. Delayed Data Communications: from AADL to UML MARTE
- auteur
- Charles André, Frédéric Mallet, Robert de Simone
- article
- ECSI Forum on specification & Design Languages (FDL), ECSI, Sep 2007, Barcelona, Spain. pp.249-254
- Resume_court
- The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aim .....
- Accès au texte intégral et bibtex
-
- titre
- Multiform Time in UML for Real-time Embedded Applications
- auteur
- Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati
- article
- IEEE Int. Conf. on Real-Time Computing Systems and Applications (RTCSA), Aug 2007, Daegu, South Korea. pp.232-237, ⟨10.1109/RTCSA.2007.51⟩
- Resume_court
- Each domain has its own interpretation of time. We propose to extend UML, which is more and more use .....
- Accès au texte intégral et bibtex
-
- titre
- MARTE: a new OMG profile RFP for the Modeling and Analysis of Real-Time Embedded Systems
- auteur
- Charles André, Arnaud Cuccuru, Jean-Luc Dekeyser, Robert de Simone, Cédric Dumoulin, Julien Forget, Thierry Gautier, Sébastien Gérard, Frédéric Mallet, Ansgar Radermacher, Laurent Rioux, Thierry Saunier, Yves Sorel
- article
- DAC 2005 Workshop - UML for SoC Design, Jun 2005, Anaheim California, United States
- Resume_court
- A new RFP invitation for an UMLTM profile on Real-Time and Embedded systems modeling and analysis (c .....
- Accès au bibtex
-
- titre
- Logical time @ work: the RT-Simex project
- auteur
- Julien Deantoni, Frédéric Mallet, Charles André, Frédéric Thomas
- article
- Sophia Antipolis Formal Approach, Apr 2011, Sophia, France
- Resume_court
- This paper overviews the benefits of using logical time in the context of the RT-Simex project. We f .....
- Accès au texte intégral et bibtex
-
- titre
- Marte: A new profile rfp for the modeling and analysis of real-time embedded systems
- auteur
- Cedric Dumoulin, Laurent Rioux, Thierry Saunier, Sébastien Gérard, Ansgar Radermacher, Robert de Simone, Thierry Gautier, Yves Sorel, Julien Forget, Jean-Luc Dekeyser, Arnaud Cuccuru, Charles André
- article
- Dac Workshop - UML-SoC05, Jun 2005, Anaheim CA, United States
- Accès au bibtex
-
- titre
- An Automated Process for Implementing Multilevel Domain Models
- auteur
- Frédéric Mallet, François Lagarde, Charles André, Sébastien Gérard, François Terrier
- article
- Software Language Engineering, Oct 2009, Denver, Colorado, United States. pp.314-333, ⟨10.1007/978-3-642-12107-4_22⟩
- Resume_court
- Building a UML profile is tedious and error-prone. There is no precise methodology to guide the proc .....
- Accès au texte intégral et bibtex
-
- titre
- Executing AADL models with UML/Marte
- auteur
- Frédéric Mallet, Charles André, Julien Deantoni
- article
- Int. Conf. Engineering of Complex Computer Systems - ICECCS'09, Jun 2009, Potsdam, Germany. pp. 371-376, ⟨10.1109/ICECCS.2009.10⟩
- Resume_court
- AADL and MARTE are two modeling formalisms supporting the analysis of real-time embedded systems. Si .....
- Accès au texte intégral et bibtex
-
- titre
- Marte CCSL to execute East-ADL Timing Requirements
- auteur
- Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André
- article
- Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. pp.249-253, ⟨10.1109/ISORC.2009.18⟩
- Resume_court
- In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete .....
- Accès au texte intégral et bibtex
-
- titre
- On the semantics of UML/Marte Clock Constraints
- auteur
- Frédéric Mallet, Charles André
- article
- Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. pp.301-312, ⟨10.1109/ISORC.2009.27⟩
- Resume_court
- UML goal of being a general-purpose modeling language discards the possibility to adopt too precise .....
- Accès au texte intégral et bibtex
-
- titre
- From UML to Petri Nets for non functional Property Verification
- auteur
- Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André
- article
- IEEE International Symposium on Industrial Embedded Systems, 2006. IES '06., Oct 2006, Sophia antipolis, France. ⟨10.1109/IES.2006.357475⟩
- Resume_court
- Real-time embedded architectures consist of software and hardware parts. Meeting non-functional cons .....
- Accès au texte intégral et bibtex
-
- titre
- Polychronous Analysis of Timing Constraints in UML MARTE
- auteur
- Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone
- article
- IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design, May 2010, Parador of Carmona, Spain. 7 p
- Resume_court
- The UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) defines a broa .....
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- The Time Model of Logical Clocks available in the OMG MARTE profile
- auteur
- Charles André, Julien Deantoni, Frédéric Mallet, Robert de Simone
- article
- Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Springer Science+Business Media, LLC 2010, pp.28, 2010, 978-1-4419-6399-4
- Resume_court
- Multiform logical time, introduced and made popular through its central role in Synchronous Language .....
- Accès au texte intégral et bibtex
-
- titre
- Modeling AADL data-communications with UML MARTE
- auteur
- Charles André, Frédéric Mallet, Robert de Simone
- article
- Eugenio villar. Embedded Systems Specification and Design Languages, 10, Springer, pp.150-170, 2008, Lecture Notes in Electrical Engineering, 978-1-4020-8296-2. ⟨10.1007/978-1-4020-8297-9_11⟩
- Resume_court
- The emerging OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, a .....
- Accès au bibtex
-
Brevet
- titre
- TimeSquare
- auteur
- Nicolas Chleq, Benoît Ferrero, Julien Deantoni, Frédéric Mallet, Charles André
- article
- France, Patent n° : IDDN.FR.001.430002.000.S.A.2012.000.10600. 2012
- Resume_court
- TimeSquare is a software environment for the modeling, simulation and analysis of timing constraints .....
- Accès au bibtex
-
Document associé à des manifestations scientifiques
- titre
- On the Formal Execution of UML and DSL Models
- auteur
- Julien Deantoni, Frédéric Mallet, Charles André
- article
- WIP of the 4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems, Apr 2009, Aussois, France
- Resume_court
- Model-Driven Engineering intensively uses models and model transformations. Transformation tools ens .....
- Accès au texte intégral et bibtex
-
Rapport
- titre
- Modèles de temps et de contraintes temporelles de MARTE et leurs applications
- auteur
- Charles André
- article
- [Rapport de recherche] RR-7788, INRIA. 2011, pp.22
- Resume_court
- Le profil UML MARTE a été créé pour la modélisation et l'analyse des systèmes temps réel emba .....
- Accès au texte intégral et bibtex
-
- titre
- Verification of clock constraints: CCSL Observers in Esterel
- auteur
- Charles André
- article
- [Research Report] RR-7211, INRIA. 2010, pp.59
- Resume_court
- The Clock Constraint Specification Language (CCSL) has been informally introduced in the specificati .....
- Accès au texte intégral et bibtex
-
- titre
- Combining CCSL and Esterel to specify and verify time requirements
- auteur
- Charles André, Frédéric Mallet
- article
- [Research Report] RR-6839, INRIA. 2009
- Resume_court
- The UML Profile for Modeling and Analysis of Real-Time and Embedded (RTE) systems has recently been .....
- Accès au texte intégral et bibtex
-
- titre
- Syntax and Semantics of the Clock Constraint Specification Language (CCSL)
- auteur
- Charles André
- article
- [Research Report] RR-6925, INRIA. 2009, pp.37
- Resume_court
- The UML Profile for Modeling and Analysis of Real-Time and Embedded (MARTE) systems has recently bee .....
- Accès au texte intégral et bibtex
-
- titre
- Clock Constraints in UML/MARTE CCSL
- auteur
- Charles André, Frédéric Mallet
- article
- [Research Report] RR-6540, INRIA. 2008
- Resume_court
- The UML Profile for Modeling and Analysis of Real-Time and Embedded (RTE) systems has recently been .....
- Accès au texte intégral et bibtex
-
- titre
- Non-functional property analysis using UML2.0 and model transformations
- auteur
- Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati
- article
- [Research Report] RR-5913, INRIA. 2006, pp.18
- Resume_court
- Real-time embedded architectures consist of software and hardware parts. Meeting non-functional cons .....
- Accès au texte intégral et bibtex
-
- titre
- Modeling with logical time in UML for real-time embedded system design
- auteur
- Charles André, Arnaud Cuccuru, Robert de Simone, Jean-Pierre Talpin
- article
- [Research Report] RR-5895, INRIA. 2006
- Resume_court
- Design of real-time embedded systems requires particular attention to the careful scheduling of appl .....
- Accès au texte intégral et bibtex
-
- titre
- Construction et Validation d'Architectures Distribuées Temps Réel (Consortium COVADIS)
- auteur
- Charles André, Mireille Bayart, Anne-Marie Déplanche, Jean Jourdan, Marie-Agnès Peraldi-Frati, Françoise Simonot-Lion, Laurent Thomas, Joël Toussaint, Yvon Trinquet
- article
- [Contrat] 98-R-318 || andre98a, 1998, 140 p
- Resume_court
- Ce rapport presente les travaux realises de janvier 1998 a' juin 1998. Il fait suite au rapport inte .....
- Accès au bibtex
-
- titre
- CCSL denotational semantics
- auteur
- Julien Deantoni, Charles André, Régis Gascon
- article
- [Research Report] RR-8628, Inria. 2014, pp.29
- Resume_court
- The Clock Constraint Specification Language (CCSL) has been informally introduced in the specificati .....
- Accès au texte intégral et bibtex
-
- titre
- Multilevel Modeling Paradigm in Profile Definition
- auteur
- François Lagarde, Frédéric Mallet, Charles André, Sébastien Gérard, François Terrier
- article
- [Research Report] RR-6525, INRIA. 2008, pp.17
- Resume_court
- Building a UML profile entails defining concepts required to cover a specific domain, and then, usin .....
- Accès au texte intégral et bibtex
-
- titre
- An Automated Process for Designing UML Profiles
- auteur
- François Lagarde, Frédéric Mallet, Charles André, Sébastien Gérard, François Terrier
- article
- [Research Report] RR-6599, INRIA. 2008
- Resume_court
- Building a UML profile may be a tedious and error-prone process. There is no precise methodology to .....
- Accès au texte intégral et bibtex
-
- titre
- Un profil UML pour la modélisation multiniveau
- auteur
- Frédéric Mallet, Charles André, François Lagarde
- article
- [Rapport de recherche] RR-7287, INRIA. 2010
- Resume_court
- Building a UML profile is tedious and error-prone. There is no precise methodology to guide the proc .....
- Accès au texte intégral et bibtex
-
- titre
- UML/MARTE CCSL, Signal and Petri nets
- auteur
- Frédéric Mallet, Charles André
- article
- [Research Report] RR-6545, INRIA. 2008
- Resume_court
- UML goal of being a general-purpose modeling language discards the possibility to adopt too precise .....
- Accès au texte intégral et bibtex
-
- titre
- Marte CCSL and East-ADL2 Timing Requirements
- auteur
- Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André
- article
- [Research Report] RR-6781, INRIA. 2008
- Resume_court
- In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete .....
- Accès au texte intégral et bibtex
-
- titre
- Marte Timing Requirement and Spirit IP-XACT
- auteur
- Aamir Mehmood Khan, Frédéric Mallet, Charles André, Robert de Simone
- article
- [Research Report] RR-6647, INRIA. 2008
- Resume_court
- Large System-on-Chips are built by assembly of existing components modeled at different representati .....
- Accès au texte intégral et bibtex
-
- titre
- Conception et validation d'architectures distribuées temps réel
- auteur
- Françoise Simonot-Lion, Laurent Thomas, Thomas Lambolais, Anne-Marie Déplanche, Yvon Trinquet, Charles André, Marie-Agnès Peraldi-Frati, Chris Choukair, Mireille Bayart
- article
- [Contrat] 99-R-316 || simonot-lion99b, 1999, 295 p
- Resume_court
- Ce document présente les travaux réalisés au cours de la deuxième année du projet COVADIS ainsi .....
- Accès au bibtex
-
Pré-publication, Document de travail
- titre
- Detecting genetic variation and base modifications together in the same single molecules of DNA and RNA at base pair resolution using a magnetic tweezer platform
- auteur
- Zhen Wang, Jérôme Maluenda, Laurène Giraut, Thibault Vieille, Andréas Lefevre, David Salthouse, Gaël Radou, Rémi Moulinas, Sandra Astete-Morales, Pol D’avezac, Geoff Smith, Charles André, Jean-François Allemand, David Bensimon, V. Croquette, Jimmy Ouellet, Gordon Hamilton
- article
- 2021
- Resume_court
- Accurate decoding of nucleic acid variation is important to understand the complexity and regulation .....
- Accès au bibtex
-