No description available.

La gestion des suites chirurgicales joue un rôle central pour permettre aux hôpitaux d’offrir l’accès aux soins à des coûts raisonnables. L'informatisation et l'automatisation sont des évolutions conventionnelles pour améliorer l’efficacité. Toutefois, un soutien inadapté ne peut améliorer l'activité de gestion et peut nuire à son action. Notre hypothèse est que des fonctionnalités interactives, utilisables, flexibles et adaptée aux spécificités des activités locales peuvent créer un environnement de travail dans lequel le personnel médical est capable de réagir à des événements inattendus et de s’approprier la technologie. Nos contributions comprennent en une analyse de l'activité de l'équipe chirurgicale, basée sur des entretiens, observations, une revue de la littérature et une analogie avec l'aviation civile. Nous avons participé à la construction d'un modèle mathématique du flux chirurgical et d'une visualisation de ce modèle. Nous avons identifié les exigences et principes de conception nécessaires au développement, à l'intégration et à l'appropriation d'un outil pour soutenir la gestion du flux chirurgical. Nous avons conçu des interactions multi-utilisateurs sur une grande surface et développé un prototype de tableau blanc électronique, OnBoard, qui démontre l'intégration des spécifications et des défis techniques. OnBoard appartient à un système cyber-physique comprenant des capteurs dans les salles d'opération. Enfin, nous avons déployé et évalué OnBoard dans une suite chirurgicale. L'expérience de OnBoard suggère que la conception des interactions est primordiale pour offrir un environnement collaboratif efficace au personnel médical. / Surgical suite management plays a key role in the endeavor of hospitals: patients’ health at sustainable cost. Computerization and automation of processes are conventional solutions to support resource management and efficiency. However, unsuitable support might not improve the management activity, and can even be detrimental to it. Our hypothesis is that usable and flexible interactivity tuned to local particularities can create a working environment in which the medical staff can cope with unexpected surgery events and appropriate the technology. Our contributions comprise an analysis of the activity of the surgical team, based on interviews, observations, review of the literature and an analogy with civil aviation. We participated in the construction of a mathematical model of the surgical workflow and a visualization of the mathematical model. We conducted an experimentation to identify bottlenecks of workflow inefficiencies and delays. We identified scenarios, requirements and design principles necessary to the development, integration and acceptation of a tool to support surgical workflow activities. We designed multi-users interactions on a large surface and made a prototype of electronic whiteboard, OnBoard, for the surgical suite which demonstrates the integration of the specifications and technical challenges. OnBoard belongs to a larger cyber physical system including activity sensors in every operating room of the surgical suite. Finally, we deployed the prototype in a surgical suite and evaluated it. The OnBoard experience suggests that the design of interactions is paramount to provide the medical staff an efficient collaborative environment.

Ce travail avait pour objectif de répondre à trois questions de recherche relatives au bullying en milieu scolaire. Dans un premier temps, la validité d’un questionnaire d’évaluation du bullying scolaire a été explorée. En second lieu, il s’agissait d’identifier si le cyber-bullying présente les mêmes caractéristiques que le bullying scolaire. Enfin, l’importance de la relation entre le bullying scolaire et le sommeil a été analysée.Des entretiens individuels ont été menés auprès de 1422 collégiens et lycéens (Filles = 47%, Garçons = 53%, âge moyen = 14,3±2,7 ans). Notre première étude montre que l’adaptation française du Bully/Victim Questionnaire révisé d’Olweus (1996) est un outil valide pour évaluer le bullying auprès d’adolescents (α= 0,75 ; χ²/ddl= 7 ; RMSEA=0,064 ; GFI=0,95 ; AGFI=0,93 ; validité de construit satisfaisante). Plus d’un adolescent sur quatre est concerné par le bullying : 18% des élèves ont un profil « victime », 9% sont « agresseurs » et 3% sont « agresseurs/victimes ». Les résultats de notre deuxième étude invitent à distinguer le cyber-bullying du bullying scolaire : les élèves impliqués dans l’une et l’autre de ces formes de bullying ne sont pas les mêmes et ils ne présentent pas les mêmes difficultés psychosociales. Notre troisième étude montre que le sommeil est associé aux profils du bullying scolaire. Les victimes se plaignent davantage de problèmes relatifs à la qualité subjective de leur sommeil ; les agresseurs ont un rythme veille/sommeil plus irrégulier que leurs camarades et présentent une quantité de sommeil plus faible. Enfin, le sommeil a un effet modérateur sur les problèmes psychosociaux rencontrés par les élèves impliqués dans le bullying scolaire.Ces résultats amènent à considérer que le bullying constitue tant une réalité scolaire qu’un problème de santé publique. Il est important de continuer d’explorer ce phénomène pour nourrir les réflexions sur les modes de prévention à mettre en place dans les établissements scolaires. / The aim of this study was to investigate bullying in schools. At first, we assessed the validity of a widespread questionnaire devoted to evaluate school-bullying. Second, we investigated the overlap between school-bullying and cyber-bullying. At least, we examined the relation between school-bullying and sleep. Individual interviews were conducted with 1422 middle- and high-school students (Girls = 47%, Boys=53%, Mean age=14.3±2.7 y.o).Results of our first study show that the French adaptation of the revised Olweus Bully/Victim Questionnaire (1996) is a valid instrument for measuring bullying in adolescents (α= 0.75 ; χ²/ddl= 7 ; RMSEA=0.064 ; GFI=0.95 ; AGFI=0.93 ; construct validity). More than one adolescent in four is involved in bullying: 18% as “victim”, 9% as “bully” and 3% as “bully/victim”. Results of our second study show that cyber-bullying and bullying do not overlap: students involved in each of these forms of Bullying are not the same and they do not experienced the same psychosocial problems.Our third study shows that sleep is associated with profiles in school-bullying. Victims have higher complains related to subjective sleep quality. Bullies’ sleep/wake patterns are more irregular and their sleep duration is lower than their schoolmates. Then, there is a moderator effect of sleep on psychosocial problems related to bullying.Given the sizable proportion of adolescents involved in bullying and its significant relationship with health criterion, the issue warrants serious school and public health attention. More studies should be conducted in order to implement relevant school-based intervention programs.

Le contrat à distance a connu un véritable essor avec l'intrusion des nouvelles technologies de l'information et de la communication qui ont suscité un passage accéléré du catalogue à l'écran et une révolution commerciale dont la vente à distance et essentiellement la cyber-vente constitue son point d'observation privilégié. L'initiative législative européenne, française et libanaise existante n'a pas été, malheureusement, à la hauteur du progrès technologique. D'une part, elle délimite le contrat à distance en tant qu'un contrat de droit de la consommation et non en tant qu'un contrat de droit commun. D'autre part, elle relie le rapport de force économique déséquilibré entre les parties contractantes à leurs qualités respectives (consommateur et professionnel) et non au défaut de négociation qui précède la conclusion du contrat à distance. Il convient, dès lors, de proposer une étude comparative simultanée qui permet de reconsidérer le contrat à distance à la lumière de la période qui précède sa conclusion en fournissant des solutions pour les lacunes et disparités juridiques existantes dans les droits positifs français et libanais et dans les directives européennes, afin de démontrer que le contrat à distance en tant qu'un contrat d'adhésion ou de gré à gré est un contrat de droit commun qui bénéficie d'un régime propre. En mettant en jeu diverses branches du droit, cette étude comparative permet ainsi de cerner ce régime juridique propre du contrat à distance afin de dégager sa notion. / The distance contract knew a real development with the intervention of the new information and communication technologies which aroused an accelerated passage from the catalog to the screen and a commercial revolution of which the remote sale and essentially the e-commerce establish its privileged point of observation. The existing European, French and Lebanese legislative initiative was not, unfortunately, as high as the technological progress. On one hand, it bounds the distance contract as a contract of consumer law and not as a contract of common law. On the other hand, it connects the economic balance of power unbalanced between the contracting parties to their respective qualities (consumer and professional) and not to the defect of negotiation which precedes the conclusion of the distance contract. It is advisable, from then on, to propose a simultaneous comparative study which allows to reconsider the distance contract in the light of the period which precedes its conclusion by supplying solutions for the gaps and the existing legal disparities in the French and Lebanese substantive laws and in the European directives, to demonstrate that the distance contract as a contract of membership or by mutual agreement is a contract of common law which benefits from a appropriate regime. By involving diverse branches of the law, this comparative study allows to encircle this appropriate legal regime of the distance contract to release its notion.

Les systèmes cyber-physiques mélangent des comportements physiques continus, tel la vitesse d'un véhicule, et des comportement discrets, tel que le régulateur de vitesse d'un véhicule. Ils sont désormais omniprésents dans notre société. Un grand nombre de ces systèmes sont dits critiques, i.e. une mauvaise conception entraînant un comportement non prévu, un bug, peut mettre en danger des êtres humains. Il est nécessaire de développer des méthodes pour garantir le bon fonctionnement de tels systèmes. Les méthodes formelles regroupent des procédés mathématiques pour garantir qu'un système se comporte comme attendu, par exemple que le régulateur de vitesse n'autorise pas de dépasser la vitesse maximale autorisée. De récents travaux ont permis des progrès significatifs dans ce domaine, mais l'approche adoptée est encore monolithique, i.e. que le système est modélisé d'un seul tenant et est ensuite soumis à la preuve. Notre problématique est comment modéliser efficacement des systèmes cyber-physiques dont la complexité réside dans une répétition de morceaux élémentaires. Et une fois que l'on a obtenu une modélisation, comment garantir le bon fonctionnement de tels systèmes. Notre approche consiste à modéliser le système de manière compositionnelle. Plutôt que de vouloir le modéliser d'un seul tenant, il faut le faire morceaux par morceaux, appelés composants. Chaque composant correspond à un sous-système du système final qu'il est simple de modéliser. On obtient le système complet en assemblant les composants ensembles. Ainsi une usine de traitement des eaux est obtenue en assemblant différentes cuves. L'intérêt de cette méthode est qu'elle correspond à l'approche des ingénieurs dans l'industrie : considérer des éléments séparés que l'on compose ensuite. Mais cette approche seule ne résout pas le problème de la preuve de bon fonctionnement du système. Il faut aussi rendre la preuve compositionnelle. Pour cela, on associe à chaque composant des propriétés sur ses entrées et sortie, et on prouve qu'elles sont respectées. Cette preuve peut être effectué par un expert, mais aussi par un ordinateur si les composants sont de tailles raisonnables. Il faut ensuite nous assurer que lors de l'assemblage des composants, les propriétés continuent à être respectées. Ainsi, la charge de la preuve est reportée sur les composants élémentaires, l'assurance du respect des propriétés désirées est conservée lors des étapes de composition. On peut alors obtenir une preuve du bon fonctionnement de systèmes industriels avec un coût de preuve réduit. Notre contribution majeure est de proposer une telle approche compositionnelle à la fois pour modéliser des systèmes cyber-physiques, mais aussi pour prouver qu'ils respectent les propriétés voulues. Ainsi, à chaque étape de la conception, on s'assure que les propriétés sont conservées, si possible à l'aide d'un ordinateur. Le système résultant est correct par construction. De ce résultat, nous avons proposé plusieurs outils pour aider à la conception de systèmes cyber-physiques de manière modulaire. On peut raisonner sur les propriétés temporelles de tels systèmes, par exemple est-ce que le temps de réaction d'un contrôleur est suffisamment court pour garantir le bon fonctionnement. On peut aussi raisonner sur des systèmes où un mode nominal cohabite avec un mode d'urgence. / Cyber-physical systems mix continuous physical behaviors, e.g. the velocity of a vehicle, and discrete behaviors, e.g. the cruise-controller of the vehicle. They are pervasive in our society. Numerous of such systems are safety-critical, i.e. a design error which leads to an unexpected behavior can harm humans. It is mandatory to develop methods to ensure the correct functioning of such systems. Formal methods is a set of mathematical methods that are used to guarantee that a system behaves as expected, e.g. that the cruise-controller does not allow the vehicle to exceed the speed limit. Recent works have allowed significant progress in the domain of the verification of cyber-physical systems, but the approach is still monolithic. The system under consideration is modeled in one block. Our problematic is how to efficiently model cyber-physical systems where the complexity lies in a repetition of elementary blocks. And once this modeling done, how guaranteeing the correct functioning of such systems. Our approach is to model the system in a compositional manner. Rather than modeling it in one block, we model it pieces by pieces, called components. Each component correspond to a subsystem of the final system and are easier to model due to their reasonable size. We obtain the complete system by assembling the different components. A water-plant will thus be obtained by the composition of several water-tanks. The main advantage of this method is that it corresponds to the work-flow in the industry : consider each elements separately and compose them later. But this approach does not solve the problem of the proof of correct functioning of the system. We have to make the proof compositional too. To achieve it, we associate to each component properties on its inputs and outputs, then prove that they are satisfied. This step can be done by a domain expert, but also by a computer program if the component is of a reasonable size. We have then to ensure that the properties are preserved through the composition. Thus, the proof effort is reported to elementary components. It is possible to obtain a proof of the correct functioning of industrial systems with a reduced proof effort. Our main contribution is the development of such approach in Differential Dynamic Logic. We are able to modularly model cyber-physical systems, but also prove their correct functioning. Then, at each stage of the design, we can verify that the desired properties are still guaranteed. The resulting system is correct-by-construction. From this result, we have developed several tools to help for the modular reasoning on cyber-physical systems. We have proposed a methodology to reason on temporal properties, e.g. if the execution period of a controller is small enough to effectively regulate the continuous behavior. We have also showed how we can reason on functioning modes in our framework.

Made available in DSpace on 2016-07-27T13:54:09Z (GMT). No. of bitstreams: 1 MARIA APARECIDA CANDINE DE BRITO.pdf: 729592 bytes, checksum: 6b0a0f1382f8ba641d484b55eafc2c9e (MD5) Previous issue date: 2008-06-27 / Computer science is present in all the spheres of the social life. Having been white of official speeches, academic works and scientific productions in that it says respect to its potential in the education and, in special way, in the educative process. All this speech sends to the ways of appropriation and incorporation, for the professors, of the computer in its practical pedagogical, of form to restore qualitative differences in the activities to teach and to learn. This work approaches the use of the computer in the school, focusing it of the point of view of practical the pedagogical ones used in the LIE (Educative Laboratory of Computer science) of the State Net of Goiânia. The objective is to understand as it comes being a refugee the use of the computers in the LIE of schools of the State Net of Goiânia, being identified the dynamics of the pedagogical action in the educative process. The qualitative boarding was used, for allowing the investigator to apprehend the problematic one in the context where it also places itself and to detect elements that, increased the estimated theoreticians, will be able to contribute better to understand it in its dynamics and its contradictions. The research was carried through in seven public schools of Average Education of the State Net of Education of Goiânia, Goiás. Those possess Laboratories of Educative Computer science with Cyber Environment. The following instruments of collection of data had been used: informal comment, questionnaires, colloquies and daily of field. The main theoreticians who base the inquiry are: Schaff (1993), Oliveira; Líbâneo; e Toschi (2003), Castells (1999), Silveira (2001), Bonilla and Pretto (2000), Fonseca (1999), Moraes (1997, 1995, 1993), Levy (1993), Valente (1991, 1993, 1997 e 1998), Moran (2000), Oliveira (2002), Sacristan (1999), among others. / A informática está presente em todas as esferas da vida social. Tendo sido alvo de discursos oficiais, trabalhos acadêmicos e produções científicas no que diz respeito ao seu potencial na educação e, de modo especial, no processo educativo. Todo esse discurso remete aos modos de apropriação e incorporação, pelos professores, do computador em suas práticas pedagógicas, de forma a instaurar diferenças qualitativas nas atividades de ensinar e aprender. Este trabalho aborda o uso do computador na escola, focalizando-o do ponto de vista das práticas pedagógicas utilizadas no LIE (Laboratório de Informática Educativa) da Rede Estadual de Goiânia. O objetivo é compreender como vem acorrendo o uso dos computadores nos LIE de escolas da Rede Estadual de Goiânia, identificando a dinâmica da ação pedagógica no processo educativo. Foi utilizada a abordagem qualitativa, por permitir ao investigador apreender a problemática no contexto em que ela se situa e também detectar elementos que, acrescidos aos pressupostos teóricos, poderão contribuir para melhor compreendê-la em sua dinâmica e em suas contradições. A pesquisa foi realizada em sete escolas públicas de Ensino Médio da Rede Estadual de Educação de Goiânia, Goiás, que possuem Laboratórios de Informática Educativa com Ambiente Cyber. Foram utilizados os seguintes instrumentos de coleta de dados: observação, questionários, conversas informais e diários de campo. Os principais teóricos que embasam a investigação são: Schaff (1993), Oliveira; Líbâneo; e Toschi (2003), Castells (1999), Silveira (2001), Bonilla e Pretto (2000), Fonseca (1999), Moraes (1997, 1995,1993), Levy (1993), Valente (1991, 1993,1997 e 1998), Moran (2000), Oliveira (2002), Sacristán (1999), entre outros.

Cyber-physical systems achieve sophisticated system behavior exploring the tight interconnection of physical coupling present in classical engineering systems and information technology based coupling. A particular challenging case are systems where these cyber-physical systems are formed ad hoc according to the specific local topology, the available networking capabilities, and the goals and constraints of the subsystems captured by the information processing part. In this paper we present a formalism that permits to model the sketched class of cyber-physical systems. The ad hoc formation of tightly coupled subsystems of arbitrary size are specified using a UML-based graph transformation system approach. Differential equations are employed to define the resulting tightly coupled behavior. Together, both form hybrid graph transformation systems where the graph transformation rules define the discrete steps where the topology or modes may change, while the differential equations capture the continuous behavior in between such discrete changes. In addition, we demonstrate that automated analysis techniques known for timed graph transformation systems for inductive invariants can be extended to also cover the hybrid case for an expressive case of hybrid models where the formed tightly coupled subsystems are restricted to smaller local networks. / Cyber-physical Systeme erzielen ihr ausgefeiltes Systemverhalten durch die enge Verschränkung von physikalischer Kopplung, wie sie in Systemen der klassichen Igenieurs-Disziplinen vorkommt, und der Kopplung durch Informationstechnologie. Eine besondere Herausforderung stellen in diesem Zusammenhang Systeme dar, die durch die spontane Vernetzung einzelner Cyber-Physical-Systeme entsprechend der lokalen, topologischen Gegebenheiten, verfügbarer Netzwerkfähigkeiten und der Anforderungen und Beschränkungen der Teilsysteme, die durch den informationsverabeitenden Teil vorgegeben sind, entstehen. In diesem Bericht stellen wir einen Formalismus vor, der die Modellierung der eingangs skizzierten Systeme erlaubt. Ein auf UML aufbauender Graph-Transformations-Ansatz wird genutzt, um die spontane Bildung eng kooperierender Teilsysteme beliebiger Größe zu spezifizieren. Differentialgleichungen beschreiben das kombinierte Verhalten auf physikalischer Ebene. In Kombination ergeben diese beiden Formalismen hybride Graph-Transformations-Systeme, in denen die Graph-Transformationen diskrete Schritte und die Differentialgleichungen das kontinuierliche, physikalische Verhalten des Systems beschreiben. Zusätzlich, präsentieren wir die Erweiterung einer automatischen Analysetechnik zur Verifikation induktiver Invarianten, die bereits für zeitbehaftete Systeme bekannt ist, auf den ausdrucksstärkeren Fall der hybriden Modelle.

In ”goda influenser utifrån” (positive effects from abroad) the purpose is to explore how ideas about feminism and nationality is created within the commentarys on Newsmill (swedish websight for debate). The questions which is directed on the basis of my purpose is drafted to enable my enquiry. On intersectional premisses, and with the help of a textanalysis, i will dress the data which i collected from one field of commentarys. The analysis is divided into themes in which and everyone i tend to immerse on that particular theme.

Dès la loi NRE de 2001, le législateur français s’est intéressé à l’utilisation de la voie électroniqueen période d’assemblée générale des actionnaires. Il laisse au pouvoir réglementaire la liberté deposer les modalités de toute forme d’interaction à distance entre la société anonyme et sesactionnaires. Le régime juridique allemand relatif aux assemblées générales a quant à lui étémodernisé en profondeur par la seule ARUG de 2009. Cette loi transpose la directiveeuropéenne 2007/36/CE du 11 juillet 2007 concernant l’exercice de certains droits desactionnaires de sociétés cotées. Ces textes ont conçu un actionnaire qui utiliserait la voieélectronique pour faciliter l’exercice de ses droits, un « cyber-actionnaire ». Si les textes françaisont bien pour objectif de faciliter l’exercice des droits de l’actionnaire, un nouveau cadre juridiquesemble s’être greffé sur la réglementation connue jusqu’alors. À trop chercher à s’en distinguer,notamment pour marquer la nouveauté, un régime juridique spécial semble s’être constitué, alorsque le droit allemand paraît aisément assimiler la voie électronique aux modes traditionnels decommunication. Or l’on ne fait pas face à une nouvelle catégorie d’actionnaires qui justifierait untraitement particulier. Le cyber-actionnaire n’est qu’un actionnaire exerçant par voie électroniqueses droits relatifs à l’information, à la communication et à la prise de décision collective enpériode d’assemblée générale. Pour s’en convaincre, la présente étude tire le bilan del’implication de la voie électronique en droit des sociétés par actions français et allemand. / This study looks into the introduction of electronic means in French and German company law.The French legislator already introduced the possibility of participating in shareholders annualgeneral meetings via electronic means in 2001. The law on New Economic Regulations led thegovernment to set the conditions of all the electronic communication between companies andtheir shareholders. In Germany, mainly the ARUG from 2009 modernized the law related to theAGM, by transposing the European directive from 11th July 2007 on the exercise of certain rightsof shareholders in listed companies. The new laws have a shareholder in mind, who would useelectronic means to facilitate the exercise of his rights before and during the AGM, a “cybershareholder”.While the German law seeks to assimilate the electronic communication with thetraditional correspondence, the varying French decrees seem to distinguish between a new legalregime and a traditional one. However, there is no need for a new category of shareholders,which could justify a special legal foundation. The cyber-shareholder is just a shareholderexercising his rights related to information, communication and collective decision-making in theAGM via electronic means.

Il s'agit d'une étude menée sur les systèmes cyber-physiques sur trois aspects principaux: la vérification de la stabilité, l'ordonnancement et la synthèse des paramètres. Les systèmes de contrôle embarqués (ECS) agissant dans le cadre de contrats temporels sont la classe considérée de systèmes cyber-physiques dans la thèse. ECS fait référence à des intégrations d'un dispositif informatique avec le système physique. En ce qui concerne les contrats temporels, ils sont des contraintes de temps sur les instants où se produisent certains événements tels que l'échantillonnage, l'actionnement et le calcul. Ces contrats sont utilisés pour modéliser les problèmes qui se posent dans les systèmes de contrôle modernes: incertitudes sur les retards d'actionnement, les périodes d'échantillonnage incertaines et l'interaction de plusieurs systèmes physiques avec des ressources informatiques partagées (CPUs). Maintenant, compte tenu d'un ECS et d'un contrat temporel, nous reformulons le système de manière impulsionnelle et vérifions la stabilité du système, sous toutes les incertitudes bornées et données par le contrat, en utilisant des techniques d'approximation convexe et de nouveaux résultats généralisés pour le problème sur une classe de systèmes modélisés dans le cadre des inclusions différentielles. Deuxièmement, compte tenu d'un ensemble de contrôleurs implémentés sur une plate-forme de calcul commune (CPUs), dont chacun est soumis à un contrat de synchronisation, et à son meilleur et son plus mauvais cas d'exécution dans chaque CPU, nous synthétisons une politique d’ordonnancement dynamique qui garantit que chaque contrat temporel est satisfait et que chacun des CPU partagés est attribué à au plus un contrôleur à tout moment. L'approche est basée sur une reformulation qui nous permet d'écrire le problème d’ordonnancement comme un jeu temporelle avec spécification de sureté. Ensuite, en utilisant l'outil UPPAAL-TIGA, une solution au jeu fournit une politique d’ordonnancement appropriée. En outre, nous fournissons une nouvelle condition nécessaire et suffisante pour l’ordonnancement des tâches de contrôle en fonction d’un jeu temporisé simplifiés. Enfin, nous résolvons un problème de synthèse de paramètres qui consiste à synthétiser une sous-approximation de l'ensemble des contrats de synchronisation qui garantissent en même temps l’ordonnancement et la stabilité des contrôleurs intégrés. La synthèse est basée sur un nouveau paramétrage du contrat temporel pour les rendre monotones, puis sur un échantillonnage à plusieurs reprises de l'espace des paramètres jusqu'à atteindre une précision d'approximation prédéfinie. / This is a study conducted on cyber-physical systems on three main aspects: stability verification, scheduling, and parameter synthesis. Embedded control systems (ECS) acting under timing contracts are the considered class of cyber-physical systems in the thesis. ECS refers to integrations of a computing device with the physical system. As for timing contracts they are time constraints on the instants where some events happen such as sampling, actuation, and computation. These contracts are used to model issues that arise in modern embedded control systems: uncertain sampling to actuation delays, uncertain sampling periods, and interaction of several physical systems with shared computational resources (CPUs). Now given an ECS and a timing contract we reformulate the system into an impulsive one and verifies stability of the system, under all possible bounded uncertainties given by the contract, using safe convex approximation techniques and new generalized results for the problem on a class of systems modeled in the framework of difference inclusions. Second given a set of controllers implemented on a common computational platform (CPUs), each of which is subject to a timing contract, and best and worst case execution times on each CPU, we synthesize a dynamic scheduling policy, which guarantees that each timing contract is satisfied and that each of the shared CPUs are allocated to at most one embedded controller at any time. The approach is based on a timed game formulation that allows us to write the scheduling problem as a timed safety game. Then using the tool UPPAAL-TIGA, a solution to the safety game provides a suitable scheduling policy. In addition, we provide a novel necessary and sufficient condition for schedulability of the control tasks based on a simplified timed game automaton. Last, we solve a parameter synthesis problem which consists of synthesizing an under-approximation of the set of timing contracts that guarantee at the same time the schedulability and stability of the embedded controllers. The synthesis is based on a re-parameterization of the timing contract to make them monotonic, and then on a repeatedly sampling of the parameter space until reaching a predefined precision of approximation.