WorldCat Identities

Simonot-Lion, Françoise

Overview
Works: 38 works in 53 publications in 4 languages and 520 library holdings
Genres: Maps  Conference papers and proceedings 
Roles: Thesis advisor, Opponent, Author, Editor, Publisher
Publication Timeline
.
Most widely held works by Françoise Simonot-Lion
Automotive embedded systems handbook by Nicolas Navet( )

12 editions published between 2008 and 2017 in English and held by 277 WorldCat member libraries worldwide

"Highlighting requirements, technologies, and business models, the Automotive Embedded Systems Handbook provides a comprehensive overview of existing and future automotive electronic systems. It presents state-of-the-art methodological and technical solutions in the areas of in-vehicle architectures, multipartner development processes, software engineering methods, embedded communications, and safety and dependability assessment." "Providing domain-specific solutions to various technical challenges, this handbook serves as a reliable, complete, and well-documented source of information on automotive embedded systems."--Jacket
WFCS 2008 : 2008 IEEE International Workshop on Factory Communication Systems : proceedings : May 21st-23rd, 2008, Steigenberger Hotel de Saxe, Dresden, Germany by IEEE International Workshop on Factory Communication Systems( )

2 editions published in 2008 in English and held by 192 WorldCat member libraries worldwide

Vérification des contraintes temporelles de bout-en-bout dans le contexte AutoSar by Aurélien Monot( )

1 edition published in 2012 in French and held by 3 WorldCat member libraries worldwide

The complexity of electronic embedded systems in cars is continuously growing. Hence, mastering the temporal behavior of such systems is paramount in order to ensure the safety and comfort of the passengers. As a consequence, the verification of end-to-end real-time constraints is a major challenge during the design phase of a car. The AUTOSAR software architecture drives us to address the verification of end-to-end real-time constraints as two independent scheduling problems respectively for electronic control units and communication buses. First, we introduce an approach, which optimizes the utilization of controllers scheduling numerous software components that is compatible with the upcoming multicore architectures. We describe fast and efficient algorithms in order to balance the periodic load over time on multicore controllers by adapting and improving an existing approach used for the CAN networks. We provide theoretical result on the efficiency of the algorithms in some specific cases. Moreover, we describe how to use these algorithms in conjunction with other tasks scheduled on the controller. The remaining part of this research work addresses the problem of obtaining the response time distributions of the messages sent on a CAN network. First, we present a simulation approach based on the modelisation of clock drifts on the communicating nodes connected on the CAN network. We show that we obtain similar results with a single simulation using our approach in comparison with the legacy approach consisting in numerous short simulation runs without clock drifts. Then, we present an analytical approach in order to compute the response time distributions of the CAN frames. We introduce several approximation parameters to cope with the very high computational complexity of this approach while limiting the loss of accuracy. Finally, we compare experimentally the simulation and analytical approaches in order to discuss the relative advantages of each of the two approaches
Plan géomètrique de Tournai( )

1 edition published in 1838 in French and held by 3 WorldCat member libraries worldwide

Le dictionnaire des lettres by Jérôme Peignot( Book )

1 edition published in 1981 in French and held by 3 WorldCat member libraries worldwide

Performances and quality of service of PLC networks for MV and LV distribution systems by Liping Lu( )

2 editions published in 2006 in English and held by 3 WorldCat member libraries worldwide

In this thesis, we are interested in a wide-area PLC (Power Line Communication) network to provide a communication infrastructure for monitoring and control of energy distribution and consumption. This work has been carried out as a part of REMPLI (Real-time Energy Management via Power Line and Internet) European project and resulted in the definition of REMPLI PLC. For achieving high network performance and real-time data transfer using medium voltage and low voltage electricity grids, major problems such as dynamic packet routing, quality of service management and real-time event reporting are addressed. We designed an efficient routing protocol to cope with dynamic electricity grid topology changes and to relay packets to reach the destination. REMPLI PLC performance is evaluated using simulations and complemented by analytic studies. It is proved that most of the application requirements can be satisfied by REMPLI PLC. We proposed and implemented a new traffic dispatcher providing differentiated quality of service for applications. Based on ALOHA protocol, some variants have been designed and evaluated for enabling efficient real-time event notification
La modernité ou l'esprit du temps( Book )

1 edition published in 1982 in English and held by 3 WorldCat member libraries worldwide

Stabilité et performance des systèmes distribués de contrôle-commande by Flavia Felicioni( Book )

2 editions published in 2011 in Spanish and held by 2 WorldCat member libraries worldwide

The main contributions of this thesis are related to the analysis, synthesis and design of control systems sharing communication and computational resources. The research focuses on control systems where the feedback loops are closed over communication networks which transmit the information provided to its nodes by sensors, actuators and controllers. The shared resource in this scenario is the network. Some of the results are valid when the resource is a processor locally placed respect to several controller executing their algorithms on it. In any of the preceding scenarios, the control loops must contend for the shared resource. The limited capacity of the resource can cause delays and packet losses when information is transmitted. These effects can degrade the control system performance and even destabilize it.The first part of this thesis contributes to the performance analysis of specific classes of systems and to the design of robust controllers for network characteristics modeled by Quality of Service parameters. A series of methods to assist the control systems engineer are provided.In the second part, a contribution to the CoDesign approach is made via the integration of control system synthesis and design techniques with rules allowing to define the communication policy to manage real-time tasks sharing a limited resource. Putting in correspondence a scheduling of instances of the controller tasks with their sampling periods, the proposed policy results in discrete-time varying systems. The stabilization problem of these systems is solved with methods based on the solvability of Lie-algebras. Specifically, the proposed methodology provides adaptive controllers
Influence des fautes transitoires et des performances temps réel sur la sûreté des systèmes X-by-Wire by Cédric Wilwert( Book )

1 edition published in 2005 in French and held by 2 WorldCat member libraries worldwide

L'introduction des systèmes embarquès dans l'automobile à commandes èlectriques (X-by-Wire) pose des problèmes nouveaux et spècifiques pour la tenue des exigences de sûreté de fonctionnement. En effet, ils sont dépourvus de la redondance mécanique (barre de direction, circuit hydraulique...) capable d'offrir un service minimum en cas de dysfonctionnement important de l'électronique. Ces systèmes largement distribués sont particulièrement sensibles aux perturbations d'ordre électromagnétique, et chaque faute transitoire peut éventuellement être la cause d'une défaillance catastrophique. Dans ce contexte, le travail présenté ici est d'ordre méthodologique. En particulier, nous proposons une méthode de vérification des contraintes temps réel en mode nominal (mode non perturbé), et une méthode de prévision quantitative de fautes (mode perturbé) dont l'objectif est de mesurer l'influence des fautes transitoires liées à l'environnement et des performances temps réel du système sur la sûreté (probabilité d'occurrences de défaillances catastrophiques par zone perturbée) de ce même système. Nos travaux ont été appliqués sur les systèmes de direction Steer-by-Wire, mais les méthodes d'évaluation proposées sont génériques. Pour l'instant, seule des préconisations internes aux entreprises sont ciblées. Ainsi, une exigence dont la garantie devrait être prouvée est, par exemple: la probabilité de défaillance catastrophique doit être inférieure à 1.10-9 par heure de fonctionnement. Grâce à la méthode que nous avons développée, cette garantie sera alors complétée par l'évaluation de la fiabilité comportementale du système. Fournissant des résultats quantitatifs, cette technique permet de réaliser plusieurs études de sensitivité, comme, par exemple, l'influence de la durée du cycle de communication sur un protocole de communication de type TDMA (Time Division Multiple Access), l'influence de la diversification dans la redondance des sous-systèmes, ou encore l'influence d'un mécanisme de tolérance aux fautes proposé par TTP/C et FlexRay
Conception conjointe optimisée de lois de contrôle et d'ordonnancement by Ning Jia( Book )

2 editions published in 2009 in French and held by 2 WorldCat member libraries worldwide

Le cadre de ce travail est l'étude coordonnée de lois de contrôle et d'ordonnancement. Le premier objectif est de proposer et évaluer une approche de contrôle de la dégradation de la Qualité de Contrôle (QdC) par rejet sélectif d'instances de tâches ou de messages selon le modèle (m,k)-firm. Plus particulièrement, nous avons étudié l'impact de distribution de rejets sur la QdC d'une boucle de contrôle et, sur la base des résultats obtenus, nous avons spécifié une méthode de co-conception permettant de déterminer les paramètres (gain) optimaux de la loi de contrôle et les paramètres de la contrainte (m,k)-firm spécifiant le rejet sélectif d'instances. Cette proposition a été validée sur modèles à l'aide de techniques analytiques, par simulation ainsi que grâce à des expérimentations. Notre deuxième objectif est d'étudier le problème de l'ordonnancement d'un ensemble de tâches temps réel réalisant chacune les algorithmes de contrôle dans une application centralisée évolutive. Nous proposons un mécanisme d'ordonnancement qui ajuste en ligne les contraintes (m,k)-firm des tâches suivant la configuration courante de l'application de manière à ce qu'un critère reflétant la performance globale de l'application soit optimal à tout instant
Automotive embedded systems handbook( )

1 edition published in 2009 in English and held by 2 WorldCat member libraries worldwide

Qi che qian ru shi xi tong shou ce by Nicolas Navet( Book )

1 edition published in 2016 in Chinese and held by 2 WorldCat member libraries worldwide

Specification and validation of time constraints with the HMS machines model by C Philippe( Book )

1 edition published in 1993 in English and held by 1 WorldCat member library worldwide

Queueing analysis of message exchange in field bus FIP by Françoise Simonot-Lion( Book )

1 edition published in 1991 in English and held by 1 WorldCat member library worldwide

Automotive Embedded Systems Handbook. Industrial Information Technology Series( )

1 edition published in 2008 in English and held by 1 WorldCat member library worldwide

This title presents a clear outline of current methods for designing and implementing automotive systems. Highlighting requirements, technologies, and business models, the "Automotive Embedded Systems Handbook" provides a comprehensive overview of existing and future automotive electronic systems. It presents state-of-the-art methodological and technical solutions in the areas of in-vehicle architectures, multipartner development processes, software engineering methods, embedded communications, and safety and dependability assessment. Divided into four parts, the book begins with an introduction to the design constraints of automotive-embedded systems. It also examines AUTOSAR as the emerging de facto standard and looks at how key technologies, such as sensors and wireless networks, will facilitate the conception of partially and fully autonomous vehicles. The next section focuses on networks and protocols, including CAN, LIN, FlexRay, and TTCAN. The third part explores the design processes of electronic embedded systems, along with new design methodologies, such as the virtual platform. The final section presents validation and verification techniques relating to safety issues. Providing domain-specific solutions to various technical challenges, this handbook serves as a reliable, complete, and well-documented source of information on automotive embedded systems
Interface multimodale d'accès à un ordinateur pour une personne I.M.C. (Infirme Moteur Cérébral) by Fabien Berger( Book )

1 edition published in 1996 in French and held by 1 WorldCat member library worldwide

Définition et gestion d'une qualité de service pour les applications temps réel by Fabrice Jumel( Book )

1 edition published in 2003 in French and held by 1 WorldCat member library worldwide

The aim of this thesis is to provide some helps for the design of real time control system. The main contribution is to link the quality of the controlled system with the different parts of the control application's implementation. Both analytical analysis and simulation have been studied, using different models for the architecture of the control application. Those models allow a direct study of the nominal mode and have been adapted in order to propose some evaluation techniques for the safety of the control system in presence of transient faults. Finally, different scheduling techniques, especially based on "real time" resource reservation algorithms, have been presented in order to increase the quality of those applications
Méthodologie de développement des services de communication temps-réel d'un intergiciel embarqué dans l'automobile by Ricardo Santos Marques( )

1 edition published in 2006 in French and held by 1 WorldCat member library worldwide

Our objective is to propose a methodology for the development of an automotive embedded middleware that provides communication services to the applicative level software. This work is focused on the design of automotive functions, where the nowadays context demands a middleware capable of offering standard communication services, hiding the localization of the participants in the exchanges, masking the heterogeneity of communication platforms, and ensuring that the timing constraints imposed on the exchanges and on the execution of the participants are met. The proposed methodology is aimed for the design of an optimised middleware. For this purpose, it deals with two topics: the specification of an implementation architecture, and the construction of a feasible configuration. The implementation architecture is optimised because the middleware is well adapted to its execution environment (operating system OSEK/VDX OS), and minimizes the utilization of the available resources. It contributes, on the one hand, to a specification of a software architecture (built using design patterns), and, on the other hand, to mechanisms allowing to deploy this software architecture onto a concrete platform (under the form of a set of tasks). The algorithm proposed for the construction of a configuration determines feasible timing characteristics for the middleware and for the frames exchanged over a CAN bus. It covers also the calculation of a feasible set of priorities for the applicative tasks executing on each station of the bus. The correctness of the configuration is achieved by ensuring that the timing constraints imposed on the exchanges and on the execution of the applicative and middleware tasks are met
DAMeSI un profil pour l'évaluation de performances des systèmes d'automatisation distribués by Domenico Cavaliere( Book )

1 edition published in 2002 in French and held by 1 WorldCat member library worldwide

L'augmentation de la complexité de projets de conception/rénovation des architectures des systèmes d'information des lignes de production nécessite la mise en œuvre de méthodes/outils assurant leur validation avant de l'implantation. Le profil UML, nommé DAMeSI (Description d'Architectures Manufacturières et de Systèmes d'Information), formalise une méthode de modélisation modulaire permettant la validation par des techniques de simulation. L'originalité de DAMeSI est d'identifier deux classes d'utilisateurs: l'architecte et l'expert de modélisation. Cette distinction permet d'identifier toujours la meilleure synthèse afin de mieux répondre à la contrainte d'applicabilité en milieu industriel. DAMeSI et également le nom de l'environnement logiciel supportant le profil proposé. Cet environnement est ouvert est paramétrable ce qui permet l'extension de ses fonctionnalités actuelles. Une passerelle vers l'outil de simulation Opnet (Opnet Technologies) garantie la simulation de modèles
Validation temporelle et déploiement d'une application de contrôle industriel à base de composants by Mohamed Khalgui( Book )

1 edition published in 2007 in French and held by 1 WorldCat member library worldwide

This thesis deals with the temporal validation and the deployment of component-based industrial control applications. We are interested in the Function Blocks approach, defined in the IEC 61499 standard, as a well known component based technology in the industry. A Function Block is an event triggered component owning data to support the application functionalities. The advantage of this technology is the taking into account of the application and also its execution support. The first thesis contribution deals with the interpretation of the different concepts defined in the standard. In particular, we propose a policy defining a deterministic behavior of a FB. To apply an exhaustive temporal validation of the application, we propose a behavioral model of a Block as Timed Automata. On the other hand, we propose a semantic for the concept of FBs networks to develop industrial control applications. The second thesis contribution deals with the deployment of FBs networks in a distributed multi-tasking architecture. Such deployment has to respect classical End to End Response Time Bounds as temporal constraints. To validate the temporal behavior of an application, we propose an approach transforming its blocks into an actions system with precedence constraints. The purpose is to exploit previous theories on the scheduling of real-time systems. To deploy FBs networks in feasible OS tasks, we propose a Hybrid scheduling approach combining an off-line non-preemptive scheduling and an on-line preemptive one. The off-line scheduling allows to construct OS tasks from FBs, whereas the on-line one allows to schedule these tasks according to the classical EDF policy. A constructed OS task is an actions sequence defining an execution scenario of the application. Thanks to this approach, we reduce the context switching at run-time by merging application actions in OS tasks. In addition, the system feasibility is increased by applying an on-line preemptive policy. Finally, the last thesis contribution is an extension of the previous one. We propose an approach allocating FBs networks in a distributed architecture. Based on a heuristic, such approach uses the hybrid method to construct feasible OS tasks in calculators. The allocation problem of a particular application FB is to look for a corresponding calculator while respecting functional, temporal and execution support constraints. We note that the proposed heuristic is based on a back-tracking technic to increase the solutions space
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.57 (from 0.51 for WFCS 2008 ... to 0.97 for Vérificat ...)

Automotive embedded systems handbook Automotive embedded systems handbook
Covers
Automotive embedded systems handbook
Alternative Names
Lion, Françoise

Lion, Françoise Simonot-.

Lion, Françoise Simonot 1947-

Simonot, F. 1947-

Simonot, F. (Françoise), 1947-

Simonot, Françoise

Simont, F.

Simont, F. (Françoise)

Languages
English (21)

French (11)

Spanish (2)

Chinese (1)