Les forages polaires profonds contiennent des enregistrements des conditions climatiques du passé et de l'air piégé qui témoignent des compositions atmosphériques du passé, notamment des gaz à effet de serre. Cette archive nous permet de décrypter le rôle des gaz à effet de serre dans les variations climatiques pendant huit cycles glaciaire-interglaciaires, soit l'équivalent de plus de 800 000 ans. Les carottes de glace, comme toute archive paléoclimatique, sont caractérisées par des incertitudes liées aux processus qui traduisent les variables climatiques en proxy, ainsi que par des incertitudes dues aux chronologies de la glace et des bulles d'air piégées. Nous développons un cadre méthodologique, basé sur la modélisation inverse dite Bayesienne et l'évaluation de fonctions complexes de densité de probabilité, pour traiter les incertitudes liées aux enregistrements paléoclimatiques des carottes de glace de manière précise. Nous proposons deux études dans ce cadre. Pour la première étude, nous identifions les probabilités de localisation des points de changement de pente de l'enregistrement du CO2 dans la carotte de WAIS Divide et d'un stack d'enregistrements de paléotempérature a partir de cinq carottes Antarctiques avec des fonctions linéaires par morceaux. Nous identifions aussi les probabilités pour chaque enregistrement individuel de température. Cela nous permet d'examiner les changements de pente à l'échelle millénaire dans chacune des séries, et de calculer les déphasages entre les changements cohérents. Nous trouvons que le déphasage entre la température en Antarctique et le CO2 à probablement varié (en restant inferieur, generalement, à 500 ans) lors de la déglaciation. L'âge des changements de temperature varie probablement entre les sites de carottage aussi. Ce résultat indique que les mécanismes qui reliaient la température en Antarctique et le CO2 lors de la déglaciation pouvaient être differents temporellement et spatialement. Dans la deuxième étude nous développons une méthode Bayesienne pour la synchronisation des carottes de glace dans le modèle inverse chronologique IceChrono. Nos simulations indiquent que cette méthode est capable de synchroniser des séries de CH4 avec précision, tout en prenant en compte des observations chronologiques externes et de l'information à priori sur les caractéristiques glaciologiques aux sites de forage. La méthode est continue et objective, apportant de la précision à la synchronisation des carottes de glace. / Deep polar ice cores contain records of both past climate and trapped air that reflects past atmospheric compositions, notably of greenhouse gases. This record allows us to investigate the role of greenhouse gases in climate variations over eight glacial-interglacial cycles. The ice core record, like all paleoclimate records, contains uncertainties associated both with the relationships between proxies and climate variables, and with the chronologies of the records contained in the ice and trapped air bubbles. In this thesis, we develop a framework, based on Bayesian inverse modeling and the evaluation of complex probability densities, to accurately treat uncertainty in the ice core paleoclimate record. Using this framework, we develop two studies, the first about Antarctic Temperature and CO2 during the last deglaciation, and the second developing a Bayesian synchronization method for ice cores. In the first study, we use inverse modeling to identify the probabilities of piecewise linear fits to CO2 and a stack of Antarctic Temperature records from five ice cores, along with the individual temperature records from each core, over the last deglacial warming, known as Termination 1. Using the nodes, or change points in the piecewise linear fits accepted during the stochastic sampling of the posterior probability density, we discuss the timings of millenial-scale changes in trend in the series, and calculate the phasings between coherent changes. We find that the phasing between Antarctic Temperature and CO2 likely varied, though the response times remain within a range of ~500 years from synchrony, both between events during the deglaciation and accross the individual ice core records. This result indicates both regional-scale complexity and modulations or variations in the mechanisms linking Antarctic temperature and CO2 accross the deglaciation. In the second study, we develop a Bayesian method to synchronize ice cores using corresponding time series in the IceChrono inverse chronological model. Tests show that this method is able to accurately synchronize CH4 series, and is capable of including external chronological observations and prior information about the glaciological characteristics at the coring site. The method is continuous and objective, bringing a new degree of accuracy and precision to the use of synchronization in ice core chronologies.

Syfte: Syftet med denna studie är att undersöka digitaliseringens institutionalisering i små redovisningsbyråer samt dess påverkan på redovisningsprocessen.  Metod: Vi har genomfört en kvalitativ studie och en deduktiv forskningsansats har använts. Data samlades in genom semistrukturerade telefonintervjuer och analyserades med hjälp av tematiska analys. Totalt intervjuades tio små redovisningsbyråer.  Resultat & slutsats: Digitaliseringens institutionalisering i små redovisningsbyråer kan delvis förklaras av den nyinstitutionella teorins isomorfismer. Dessa institutionella krafter har institutionaliserat digitaliseringen i byråerna i varierande utsträckning. Vi kan konstatera att den tvingande och härmande isomorfismen haft störst påverkan och att den normativa isomorfismen inte påverkat byråerna i lika hög utsträckning. Studien visar att digitaliseringen har påverkat redovisningsprocessens samtliga steg. Processen ser dock fortfarande likadan ut. Digitaliseringen har bara underlättat arbetet.  Examensarbetets bidrag: Studien lämnar ett teoretiskt bidrag till den befintliga litteraturen genom att visa att den nyinstitutionella teorins isomorfismer kan förklara hur digitaliseringen har institutionaliserats i små redovisningsbyråer. Studien lämnar ytterligare ett teoretiskt bidrag till den befintliga litteraturen genom att visa att redovisningsprocessens samtliga steg i små redovisningsbyråer har påverkats av digitaliseringen men att processen fortfarande är densamma, det vill säga att konsulten fortfarande utför samma tjänst men att arbetet underlättats. Studiens praktiska bidrag är att små redovisningsbyråer som inte har digitaliserat sin verksamhet bör göra det samt att studenter och nyexaminerade ekonomer bör ha en inblick i hur redovisningsarbetet har påverkats av digitaliseringen.  Förslag till fortsatt forskning: Vidare studier kan undersöka digitaliseringens institutionalisering i små företag som upprättar sin redovisning internt samt dess påverkan på redovisningsprocessen i dessa företag. / Aim: The purpose of this study is to investigate the institutionalisation of digitalisation in small accounting firms and the impact it has on the accounting process. Method: We have conducted a qualitative study and a deductive research approach has been used. Data were collected through semi-structured telephone interviews and analyzed using thematic analysis. A total of ten small accounting firms were interviewed. Result & Conclusions: The institutionalisation of digitalisation in small accounting firms can partly be explained by the isomorphisms of the new institutional theory. These institutional forces have institutionalized the digitalisation in the small accounting firms to varying extent. We can state that the coercive and mimetic isomorphism has had the greatest impact and that the normative isomorphism does not affect the small accounting firms to the same extent. The study shows that digitalisation has affected all the steps of the accounting process. However, the process still looks the same. Digitalisation has only facilitated the work. Contribution of the thesis: The study makes a theoretical contribution to the existing literature by showing that the isomorphisms of the new institutional theory can explain how digitalisation has been institutionalized in small accounting firms. The study makes another theoretical contribution to the existing literature by showing that all the steps in the accounting process in small accounting firms have been affected by the digitalisation but that the process continues to be the same, the accountant continues to provide the same service, but the work has been facilitated. The practical contribution of the study is that small accounting firms that have not digitized their business should do so, and that students and newly graduated economists should have an insight into how the accounting work has been affected by digitalisation. Suggestions for future research: Further studies can investigate the institutionalisation of digitalisation in small companies that employs in-house accountants and the impact it has on the accounting process in these companies.

La simulation multi-disciplinaire et multi-physique représente un enjeu scientifique et industriel majeur. La simulation a été essentiellement traitée par les physiciens (mécanique, électromagnétique, ...) comme un problème numérique sur des cas d'étude très précis mais n'a jamais été abordée d'un point de vue système. La problématique générale posée par la simulation de systèmes complexes inclut la composition des modèles, l'optimisation multi-objectifs, la sémantique et la vérification formelle des compositions et le cadre offert par l'ingénierie système. Cette thèse propose une démarche originale établissant les fondements théoriques et méthodologiques pour un processus sans rupture entre ingénierie système, optimisation multi-objectif et simulation multi-physique. Des cas d'études issus de l'automobile démontrent la validité de cette approche expérimentée sur la base du langage Modelica. / Multi-disciplinary and multi-physics simulation represents a major scientific and industrial challenge. The simulation has essentially been considered by physicists (mechanic domain, electromagnetic domain, ...) as a numerical problem on specific case studies but has never been adressed from a system perspective. The general problem induced by the numerical simulation of complex systems include model composition, multi-objective optimization, the semantics and formal verification of compositions and the frame of systems engineering. This thesis proposes an original approach establishing the theoretical and methodological foundations for a seamless process between systems engineering, multi-objective optimization and multi-physics simulation. Automotive case studies show the validity of such an approach based on Modelica langage.

In today's technological companies digital electronics and components are abundant. Many companies use these components to manufacture a wide variety of electronic products such as computers, tv’s, cars, etc. But after their use, these components are thrown away easily and are an additional contributor to our growing climate change. There is a need for a more effective way to deal with these components. Companies could save a lot of time and energy to have a system that could test these components.The goal of this study is to present a suitable method for testing digital components by developing a test program for testing the various integrated circuits and thus identifies which circuits are faulty and which ones are not. The economical and efficiency side of building such a program is discussed and If it is worth the time to produce such a system, or if it's much better to throw the components away. The intent is also to give companies a way of being more efficient and environmentally friendly.This program was made by using integrated circuits from the course IE1204 and IE1205, where students use these components for their labs. After the course has ended there is no certainty if the integrated circuits work properly or not. The goal of the program is then to test them and find out the faulty ones.An Arduino Uno and the Arduino programming language have been used to write the code for this project. The Arduino Uno was connected to a breadboard which then ran the program for testing. To that breadboard, various integrated circuits, such as logic gates, were connected. The Arduino program then tested their truth tables to see if they worked properly or not.Because of time restriction more complex components have not been included in this thesis. / I dagens tekniska industri finns det rikligt med digitala komponenter och elektronik. Många av dessa komponenter används för att bygga större elektronik såsom datorer, tv apparater, bilar, etc. Men efter deras användning slängs dessa komponenter tveklöst och är dessutom en orsakande faktor i vår växande klimatförändring. Det finns ett behov av en mer effektiv lösning för hanteringen av dessa komponenter. Företag kan spara mycket tid och energi med att inneha ett sådant system.Målet med detta projekt är att presentera en metod för att testa digitala komponenter. Att utveckla ett system som kan testa diverse integrerade kretsar och veta vilken som fungerar adekvat. Utvecklandet av ett sådant systemet ur ett ekonomisk och effektivitetsperspektiv diskuteras. Om det är värt att utveckla ett sådant system, eller om det är mycket bättre att bara slänga dessa komponenter. Målet med detta projekt är också att bana väg för företag att bli mer effektiva och miljövänliga.Tillvägagångssättet kring hur detta system har utvecklats är genom att använda integrerade kretsar från kurserna IE1204 och IE1205, där studenter använder dessa komponenter för deras labbar. Efter att kursens avslut finns det ingen garanti ifall dessa integrerade kretsar fungerar eller inte. Målet med programmet är då att testa dessa och hitta de trasiga komponenterna.En Arduino Uno och programmet Arduino har använts för att skriva koden till detta projekt. Arduinon har varit kopplad till en breadboard som har kört programmet för testing. Till denna breadboard har diverse integrerade kretsar, logiska grindar, varit kopplade.Arduino programmet har sedan testat de olika sanningstabellerna för att testa vilken logisk grind som är kopplad och fungerar.På grund av tidsbegränsning har mer komplexa integrerade kretsar blivit presenterade som en beskrivning av hur man kan fortsätta arbetet för att programmet skall inkludera mer komplexa komponenter.

Bien que le domaine de la construction au Québec soit en pleine expansion et qu'il joue un rôle clé dans l'économie du pays, le coût énergétique engendré par le chauffage et le refroidissement des bâtiments est un enjeu important de ce secteur. Avec la règlementation sur l'énergie qui devient de plus en plus contraignante, il devient difficile d'utiliser le mur-rideau dans les bâtiments en raison de leur faible performance énergétique, et ce, malgré le fait que ce système puisse permettre de valoriser l'aluminium produit au Québec. Le mur-rideau intelligent dont les propriétés sont modulées en fonction d'un contrôleur est une façon de résoudre cet enjeu. C'est dans cette optique que s'insère cette maitrise dont le but est d'étudier le mur-rideau intelligent intégrant l'aluminium de façon à comprendre son mode de conception, à cerner les points à améliorer, de même qu'à dégager des pratiques d'avenir afin de favoriser un déploiement plus large de ce produit dans l'industrie du bâtiment au Québec. Pour ce faire, une revue de littérature a été réalisée, afin d'investiguer les différents aspects du mur-rideau intelligent, notamment leur constitution et leur chaîne de valeur. Des entrevues semi-dirigées ont ensuite été réalisées avec des experts de la construction au Québec et aux États-Unis, pour mieux comprendre la situation actuelle du mur-rideau intelligent et bonifier ou ajuster les informations recueillies lors de la revue de la littérature. Cet exercice visait également à permettre l'élaboration de pistes de solutions pour guider le déploiement à plus grande échelle du produit sur le marché. Une analyse de contenu des entrevues a dès lors pu être conduite, ce qui a mené à l'élaboration d'une liste de recommandations et au dégagement de perspectives d'avenir en lien avec le mur-rideau intelligent. La forme de la chaîne de valeur du produit a de plus été repensée suite aux informations recueillies lors des entrevues. Les diverses analyses menées lors de la recherche ont entre autres permis de proposer une définition standardisée du mur-rideau intelligent, d'établir les critères qui devraient guider le choix du mur-rideau intelligent dans les projets de construction au Québec, de mettre l'accent sur les types de vitrage à incorporer dans ce produit, d'établir les différentes étapes de conception à mener pour favoriser la pérennité du mur, de même que de regrouper les problématiques à résoudre afin de permettre l'expansion de son marché. Ce travail peut donc être vu comme une avenue pour regrouper toute une série d'informations concernant le mur-rideau intelligent qui guident la conception du produit ainsi que la mise en place de la chaîne de valeur pour sa fabrication. / Quebec's construction industry is booming and plays a key role in the country's economy. Nevertheless, the energy costs involved in heating and cooling buildings is a major challenge. With current energy regulations becoming more stringent, it is becoming challenging to continue using curtain walls in buildings due to their typically low energy performance, even though this product can valorize the aluminum produced in Quebec. The aim of this master's thesis is to study smart curtain walls to understand how smart curtain walls are designed, to identify areas for improvement, and to identify future practices to encourage wider deployment of this product in the industry. To this end, a literature review was carried out, with the aim of investigating the various aspects of the intelligent curtain wall, including its constitution and value chain. Semi-structured interviews were then conducted with construction experts in Quebec, to gain a better understanding of the current situation of intelligent curtain walls and to be able to improve or adjust the information gathered during the literature review. This exercise was also aimed at developing possible solutions to guide the product's wider deployment on the market. A content analysis of the interviews was carried out, leading to a list of recommendations and future prospects for the intelligent curtain wall. The structure of the product's value chain was also rethought as a result of the information gathered during the interviews. Among other things, the various analyses carried out during the research enabled us to propose a standardized definition of the intelligent curtain wall, to establish the criteria that should guide the choice for intelligent curtain walls in construction projects in Quebec, to identify the types of glazing used for this product, to establish the various design stages to be carried out to promote the wall's durability, and to highlight issues that need to be resolved to enable market expansion. This work can therefore be seen as a compilation of a wide range of information concerning the intelligent curtain wall, guiding the design of the product as well as the establishment of its value chain.

Chaque année le feu brûle quelques dizaines de milliers d’hectares de forêts québécoises. Le coût annuel de prévention et de lutte contre les feux de forêts au Québec est de l’ordre de plusieurs dizaines de millions de dollars. Le présent travail contribue à la réduction de ces coûts à travers l’automatisation du processus de planification des opérations de suppression des feux de forêts majeurs. Pour ce faire, un modèle mathématique linéaire en nombres entiers a été élaboré, résolu et testé; introduisant un nouveau cas particulier à la littérature des Problèmes de Tournées de Véhicules (VRP). Ce modèle mathématique concerne le déploiement aérien des ressources disponibles pour l’extinction des incendies. Le modèle élaboré a été testé avec CPLEX sur des cas tirés de données réelles. Il a permis de réduire le temps de planification des opérations d’extinction des feux de forêts majeurs de 75% dans les situations courantes. / Each year, the fire burns large areas of forests in the province of Quebec. The annual costs of prevention and firefighting in Quebec may attain tens of millions of dollars. This project contributes to the decreasing of those costs through the computerization of the transportation planning process of material and human resources during major forest fires extinguishing. In order to achieve that, the resource transportation process was mathematically modeled. The integer linear mathematical model developed in this project has been resolved and tested; it introduces a new case to the literature of Vehicle Routing Problem (VRP). The model developed was tested with CPLEX based on data from real cases. It has reduced the planning time of extinguishing operations by 75%.

Thèse en cotutelle: Université Laval, Québec, Canada et Université de Paris Dauphine, Paris, France. / Le paiement par chèque par le biais de la chambre de compensation jouit d’une importance capitale pour tout pays, en ce sens qu’il favorise – s’il est généralisé à l’ensemble d’une société donnée – la «bancarisation» de la population, laquelle bancarisation conduit inéluctablement au développement économique du pays dans lequel un tel système est implanté. C’est autour de cette affirmation que se fera la démonstration de notre thèse de doctorat portant sur «le rôle de la chambre de compensation dans l’usage du chèque, au Canada, en France et dans l’UEMOA , au regard de la bancarisation». Il s’agit d’une étude de droit comparé qui, tout en mettant en exergue la place qu’occupe le paiement par chèque dans les pays visés par l’étude, démontrera que, quelles que soient les solutions adoptées par chacun de ces pays, ce postulat reste indéniable : selon que la population d’un pays donné l’accepte bien ou mal – à cause de la méfiance qu’il peut susciter et des incidents de paiement qui peuvent l’accompagner –, le paiement par chèque via la chambre de compensation conduit immanquablement, ou devient une entrave, à la bancarisation de cette population. Or, sans bancarisation, il ne saurait y avoir, dans un pays donné, de solutions durables d’implantation d’une telle chambre, et partant, d’un système bancaire efficient, sève nourricière de l’économie nationale. Car il est établi que la solidité et la fiabilité du système bancaire sont toujours à la racine de l’essor du développement économique du pays dans lequel la chambre de compensation est implantée.

Résumé : Au Canada, annuellement il y a près de 10 000 personnes disparues. Pour les retrouver chaque fois une alerte est donnée. La police et les groupes de recherche terrestre spécialisés travaillent pour la retrouver, mais, par où commencer? Dans quelles directions orienter les recherches? Combien du temps pour balayer les différents secteurs? C’est souvent une question d’heures ou même des minutes pour la retrouver vivante. La théorie de recherche a trois concepts essentiels; la probabilité d’aire, la probabilité de détection et la probabilité de succès. Notre travail a cherché à préciser la probabilité d’aire. L’objectif de ce travail de recherche a consisté à développer un algorithme pour élaborer des cartes d’isochrones automatiques de la vitesse de marche probable des disparus. Il tient compte des restrictions dues aux variables environnementales (relief, occupation du sol, météorologie) et anthropiques (âge, sexe, taille, poids et activité physique). Le travail est développé au tour d’un système d’information géographique. Sur ceci nous distinguons deux groupes des données. Le premier correspond aux données attributaires que servent à générer la zone tampon et les facteurs de vitesse de l’individu. Ces données sont attachées à la couche du point initial. Dans le deuxième groupe, nous trouvons les données à référence spatiale intérieures à la zone tampon. Les facteurs de vitesse de l’individu et la carte de pentes génèrent la carte de vitesses par superficie. Les données de couverture de sol, quant à elles, produisent la carte de coût de traversée de la superficie. Finalement, la multiplication des deux dernières cartes produit la carte de coût de voyage, laquelle est le résultat essentiel pour concevoir la carte des courbes isochrones. Un algorithme a été construit et développé en langage de programmation Python. Il a été exécuté avec des données saisies dans l’environnement d’ArcGis 10.2. Nous avons observé une tendance des disparus à rester dans un rayon d’une heure de marche à partir du point initial (Pl). De plus, des variables comme les routes, sentiers et lignes de transport d’énergie influencent la marche. Finalement nous avons trouvé que l’outil aide au confinement de la probabilité d’aire. L’outil se démarque par sa simplicité d’usage. À l’intégration des facteurs de marche qui sont reliés à l’individu. Ainsi qu’à l’inclusion des facteurs météorologiques. Il peut s’exécuter partout au Canada. / Abstract : In Canada, annually there are about 10 000 missing persons. To find them whenever a warning is given. Police and specialized ground search groups work to find her, but where to start? In what directions guide research? How much time to scan the different sectors? It is often a matter of hours or even minutes to find her alive. The search theory has three basic concepts; the probability of area, the probability of detection and probability of success. Our work has sought to precise the probability of area in land search. The aim of this research was to develop an algorithm to make automatic isochrone maps that show the probability walking time of the missing person. It takes account of restrictions due to environmental variables (topography, land use, meteorology) and anthropogenic (age, sex, height, weight and physical activity). The work was developed around a geographic information system. On top of this, we distinguish two groups of data. The first is the attribute data that are used to generate the buffer zone and the individual speed factors. These data are attached to the initial planning point layer. In the second group, we find the internal spatial data in the buffer zone. The individual factors of speed and slope map produced the speed map. Ground cover data generated the cost map of crossing the area. Finally, the multiplication of the last two maps produced the travel cost map, which is the last step to design the isochrone map. An algorithm has been built and developed in the Python programming language. It was performed with the data entered into the ArcGIS 10.2 environment. We observed a trend of lost persons to stay around an hour's walk from the initial planning point (IPP). In addition, variables such as roads, paths and power transmission lines affect the walking speed. We found that the tool aid to precise the containment of probability of area. The tool is distinguished by its ease of use. With the integration of walking factors that are connected to the lost persons. We include meteorological factors. It can run across Canada.

Les travaux exposés dans ce mémoire portent sur la conception préliminaire de la commande des systèmes automatisés de production, l'objectif étant d'en améliorer la productivité et la flexibilité. La stratégie retenue consiste à définir une commande idéale et spécifique pour chaque type de produit fabriqué par le système automatisé. Nous définissons un formalisme noté GMT (Graphe Marqué et Temporisé) dans lequel nous représentons la gamme opératoire de chaque production. Nous développons ensuite une métohde capable d'ordonnancer cycliquement des gammes non linéaires, prenant par exemple en compte des opérations d'assemblage ou de désassemblage. Cette méthode est basée sur un simulateur qui exécute le plan de production en arbitrant les conflits d'affectation selon le comportement social des colonies de fourmis. Il résulte de cette simulation un diagramme de GANTT duquel nous extrayons le graphe GMT de commande de l'application. Les outils conventionnels de la théorie de graphes permettent alors d'analyser l'architecture et de vérifier les propriétés de célérité et de vivacité du graphe obtenu. Finalement, une passerelle GMT/Grafcet produit le Grafcet de commande de façon systématique. Ces travaux se terminent par l'étude d'un cas de MPS variable (Minima Part Set), montrant ainsi le bien fondé de notre démarche.

La dynamique actuelle des marchés entraîne avec elle une complexité croissante des demandes du client et nécessairement des contraintes de production. Les méthodologies traditionnelles de conception de systèmes montrent leurs limites dans des contextes très changeants pour lesquels les spécifications sont amenées à évoluer rapidement, des éléments technologiques particuliers de réalisation étant souvent pris en compte trop tôt dans le travail d'étude, limitant la versabilité des développements. Les entreprises doivent alors capitaliser au maximum les efforts menés dans les phases amont de spécification pour optimiser les temps d'étude. Notre travail de recherche s'intéresse plus précisément au domaine des systèmes antomatisés et se propose de répondre à la problématique précédente en utilisant des techniques issues du monde de l'informatique pour la réalisation des sytèmes physiques, comme l'OOA (Approche Orienté Objet) et la modélisation objet UML (Langage de Modélisation Unifié) avec la perspective d'une spécialisation tardive et d'une génération automatique selon les cibles technologiques choisies, comme le préconise la logique IDM (Ingéniérie Dirigée par les Modèles). L'originalité de ce mémoire est de décrire une méthodologie et une organisation de travail pour la conception des systèmes automatisés, en s'appuyant sur le concept d'objet d'automatisme multi-facettes. De plus, nous proposons une utilisation de l'extension SysML (Langage de Modélisation des Systèmes) pour la représentation d'éléments d'automatismes particuliers, les blocs fonctions de la norme IEC 61131-3, à travers le stéréotype "block". Enfin nous montrons comment il est possible d'obtenir une première génération de code automate en passant par les spécifications PLCopen, définissant un lien entre une syntaxe XML (Langage de balisage eXtensible), se voulant standard, et les langages de la norme IEC 61131-3. Le passage par cette représentation standardisée permet de garder l'indépendance des implémentations vis-à-vis d'un environnement intégré de développement particulier. Le processus de conception décrit a été appliqué à un cas d'étude industriel réel appartenant au domaine de la palettisation robotisée.