Papers by Marie-agnès Peraldi-frati
Plate-forme de conception de systèmes automatisés
HAL (Le Centre pour la Communication Scientifique Directe), Oct 18, 2000
International audienc
HAL (Le Centre pour la Communication Scientifique Directe), 2015
The central concern of the CLARITY project is to support open innovation for Model-Based Systems ... more The central concern of the CLARITY project is to support open innovation for Model-Based Systems Engineering by structuring an ecosystem of major actors of the domain and providing an open-source environment, Capella, and its underlying methodology, Arcadia. In this experience report, we relate the Capella story from the initial development by Thales down to the open-sourcing strategy. The rationale for adopting the open-source model is detailed with commercial, competitive and strategic arguments. The global roadmap of Capella is then presented. One year after the start of the CLARITY project, a first feedback is shared.
HAL (Le Centre pour la Communication Scientifique Directe), May 1, 2018
The design of services based on a network of connected objects requires the integration of multip... more The design of services based on a network of connected objects requires the integration of multiple constraints from different domains (electronics, communication, software) interacting throughout the value chain. When these services are applied to monitoring the activities of daily living (ADLs) of the elderly, additional constraints related to respect for private and family life must also be taken into consideration. The paper presents the IoT infrastructure that supports the corresponding service. A software and hardware architecture is proposed; as well as the various technical choices; all being guided by these requirements. Experimental results developed in a real environment are presented and provide us with feedback to improve the solution.
New Results - Executable Timed Requirements for automotiveapplications
HAL (Le Centre pour la Communication Scientifique Directe), Jul 2, 2020
No part may be reproduced or utilized in any form or by any means, electronic or mechanical, incl... more No part may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying and microfilm except as authorized by written permission of ETSI. The content of the PDF version shall not be modified without the written authorization of ETSI. The copyright and the foregoing restriction extend to reproduction in all media.
Model Transformations
apport de recherche ISSN 0249-6399Non-functional Property Analysis using UML2.0 and
From high-level modelling of time in MARTE to realtime
New Results - Logical time in Model-Based embedded design
The design of services based on a network of connected objects requires the integration of multip... more The design of services based on a network of connected objects requires the integration of multiple constraints from different domains (electronics, communication, software) interacting throughout the value chain. When these services are applied to monitoring the activities of daily living (ADLs) of the elderly, additional constraints related to respect for private and family life must also be taken into consideration. The paper presents the IoT infrastructure that supports the corresponding service. A software and hardware architecture is proposed; as well as the various technical choices; all being guided by these requirements. Experimental results developed in a real environment are presented and provide us with feedback to improve the solution.
The central concern of the CLARITY project is to support open innovation for Model-Based Systems ... more The central concern of the CLARITY project is to support open innovation for Model-Based Systems Engineering by structuring an ecosystem of major actors of the domain and providing an open-source environment, Capella, and its underlying methodology, Arcadia. In this experience report, we relate the Capella story from the initial development by Thales down to the open-sourcing strategy. The rationale for adopting the open-source model is detailed with commercial, competitive and strategic arguments. The global roadmap of Capella is then presented. One year after the start of the CLARITY project, a first feedback is shared.
Plate-forme de conception de systèmes automatisés
International audienc
Scientific Foundations - Logical Time in Model-Driven Embedded System Design
Proceedings of IECON '95 - 21st Annual Conference on IEEE Industrial Electronics, 1995
In this paper we address the problem of distributing PLC control over an industrial network. We c... more In this paper we address the problem of distributing PLC control over an industrial network. We consider a synchronous industrial network, where data transmission delays can be computed and known in advance. We consider a particular class of PLC control applications, namely applications that support periodic input acquisition. It is shown how control specified with the Grafcet language can be achieved in a distributed PLC control system, when data delivery delays are not negligible, and how the input acquisition period can be by minimized. A technique is introduced to transform the Grafcet diagram of a PLC application into one that can be executed in a distributed environment.
Conception et validation d'architectures distribuées temps réel
Ce document presente les travaux realises au cours de la deuxieme annee du projet COVADIS ainsi q... more Ce document presente les travaux realises au cours de la deuxieme annee du projet COVADIS ainsi que les resultats obtenus. Le langage Ardeco est specifie formellement. La modelisation et la validation (proprietes logiques) des composants specifies en Ardeco est presente grâce a un traducteur Ardeco- Esterel. Afin de verifier des proprietes temps reel de l'architecture, d'une part, une traduction des composants sous forme d'automates temporises est developpee et, d'autre part, la construction de modeles elementaires de composants materiels est abordee. Enfin, le principe de construction d'un modele complet d'architecture operationnelle est etabli.
ralyx.inrialpes.fr
laboratory. Aoste is also spread between the two INRIA sites of Sophia-Antipolis and Rocquencourt... more laboratory. Aoste is also spread between the two INRIA sites of Sophia-Antipolis and Rocquencourt. Aoste is a follow-up of the former INRIA Tick and Ostre teams, and of the I3S Sports team.
Combining real-time features of local area networks FIP and CAN
Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future, 2000
In this paper we propose a high-level description of the behavior of digital systems. Behaviors a... more In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: "SyncCharts". SyncCharts supports hierarchical descriptions, concurrency and preemption. It is fully compatible with the programming environment of the Esterel synchronous language and can generate output formats understandable by synthesis tools. Thanks to the mathematical semantics of the model, the correctness of the design can be formally established. Taking the example of a non-trivial binary encoder/decoder, we show how our approach makes the design easier, without loss of rigour or efficiency.
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012
In the automotive industry, the Automotive Open System Architecture AUTOSAR is established as a d... more In the automotive industry, the Automotive Open System Architecture AUTOSAR is established as a de-facto standard and is applied in a steadily increasing number of development projects. In addition, AUTOSAR attracted the attention of other non-automotive industries, like railway, agriculture and construction machines, power generation and marine technology. The first versions of the standard successfully achieved the objective of integrating in a common framework various components from different suppliers and ensuring their interfaces interoperability. In actual and future versions of the standard, the objective becomes even more ambitious as it considers behavioral and timing characteristics of these components. Therefore, this paper presents the current status of AUTOSAR Release 4.0 concerning the behavioral modeling and timing characterization of components and opens several research and development directions for future extensions of the standard.
Intelligent control for safety-critical applications
1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century, 1995
In this paper, we present a method for dealing with faulty control in real-time applications. We ... more In this paper, we present a method for dealing with faulty control in real-time applications. We consider a system (this can be a simple centralized control or an application site on a local area network) as a finite state machine (FSM). The behavior of this FSM is expressed by way of hierarchical reactive synchronous boxes (HRSB). HRSB provides a framework
This paper addresses the design of control-dominated systems using a synchronous approach and the... more This paper addresses the design of control-dominated systems using a synchronous approach and the UML. The work aims at formally checking the design: scenarios/controller consistency, safety properties. For this, a strengthening of UML behavioral models is necessary: SyncCharts are used instead of Statecharts, and Sequence Diagrams are extended with synchronously sound constructs akin to Message Sequence Charts. The formal foundations of the approach and the associated tools are briefly presented.
Uploads
Papers by Marie-agnès Peraldi-frati