Les travaux présentés dans ce document portent sur la vérification<br />de modèles de systèmes sur puce, au niveau transactionnel (TLM).<br />Nous présentons le niveau transactionnel et ses variantes, et<br />rappelons en quoi ce nouveau niveau d'abstraction est aujourd'hui<br />nécessaire en plus du niveau de transfert de registre (RTL) pour<br />répondre aux contraintes de productivités et de qualités de plus en<br />plus fortes, et comment il s'intègre dans le flot de conception.<br /><br />Nous présentons un nouvel outil, LusSy, permettant la vérification<br />formelle de modèles transactionnels écrits en SystemC. Sa structure<br />interne s'apparente à celle d'un compilateur: Une partie frontale,<br />Pinapa, qui lit le programme source, une extraction de la<br />sémantique, Bise, dans notre formalisme intermédiaire \hpiom, une<br />série d'optimisations dans le composant Birth, et des générateurs<br />de code pour les outils de preuves pour Lustre et SMV.<br /><br />Lussy est conçu et écrit de manière à avoir aussi peu de limitation<br />que possible sur la forme du code SystemC accepté en entrée. \pinapa<br />utilise une approche innovante qui lui permet de s'affranchir de la<br />plupart des limitations dont souffrent les outils similaires.<br />L'extraction de la sémantique implémente plusieurs constructions TLM<br />qu'aucun autre outil disponible aujourd'hui ne gère. Il ne demande<br />pas d'annotation manuelle du code source, toute la chaîne étant<br />entièrement automatisée.<br /><br />Lussy est capable de prouver formellement des propriétés sur des<br />modèles de petites taille, et ses composants sont réutilisables pour<br />des outils de preuve compositionnelle, ou d'analyse de code autre<br />que le model-checking qui passeront mieux à l'échelle que l'approche<br />actuelle.<br /><br />Nous présentons les principes de chaque étape de la transformation,<br />ainsi que notre implémentation. Les résultats sont donnés pour des<br />exemples simples et petits, et pour une étude de cas de taille<br />moyenne, EASY. Les expérimentations avec Lussy nous ont permis de<br />comparer les différents outils de preuves que nous avons utilisés,<br />et d'évaluer l'efficacité des optimisations que nous avons<br />implémentées.

This work deals with problematic of standard IEC61850, mainly with chapter IEC 61850-9-2 LE which is commonly known as Process bus communication. There are described advanced tools of the control system COM600 with detail description of their configuration in this work. It also deals with configuration of IEC 61850-9-2 LE with Relion family protection relays and its implementation to the control system COM600. The main aim of this work is focused on configuration of IEC 61850-9-2 standard with protection relays, configuration and detail description of COM600 advanced tools, description of Logic processor, further custom design and appliaction configuration global reset of Logic procesor in control system COM600.

Cette thèse reconstruit la participation des jeunes et les articulations culturelles des jeunes dans les écoles ouest-allemandes à travers une collection de plus de 7 500 journaux scolaires archivés à la Bibliothek für Bildungsgeschichtliche Forschung (BBF) de Berlin. Afin d'aider à façonner la communauté scolaire et d'apprendre à agir de manière démocratique, les journaux scolaires ont été introduits après 1945 par les Alliés en collaboration avec le conseil des élèves, en particulier dans les écoles secondaires. Ce faisant, certaines préformes réussies du passé ont été poursuivies. Pour la première fois, cet ouvrage retrace l'évolution des journaux scolaires dans la première moitié du XXe siècle, puis se concentre sur les développements des années 1950 et 1960. A partir du milieu des années 1950, les rédacteurs en chef des journaux de l'école ont revendiqué avec succès leur indépendance vis-à-vis du conseil des élèves, dont les possibilités de codécision ont été désillusionnées à un stade précoce. Contrairement au conseil des élèves, les journaux scolaires ont témoigné de possibilités de co-design et d'articulation à établir nettement moins problématiques et plus fructueuses et ont ainsi contribué au développement de cultures scolaires plus fortement influencées par la libéralisation et la participation. Il est présenté dans le présent document pour les thèmes de formation au cours de la période couverte : en vue (1) de la discussion sur la technologie et les développements scientifiques et techniques pendant la Guerre froide, (2) de l'occupation avec les Etats-Unis et son influence culturelle, et (3) des confrontations avec les développements culturels des jeunes. L'ouverture croissante de l'école aux expressions culturelles des jeunes est examinée tant au niveau de la thématisation que sur le plan matériel sous la forme d'une analyse des artefacts. A cet effet, la communication symbolique sur les pages de titre des journaux scolaires sera analysée. Les efforts productifs présentés pour la liberté d'opinion dans les écoles illustrent également l'importance des journaux étudiants pour la relation enseignant-élève et le développement de structures participatives dans les écoles. Les travaux confirment la pertinence des journaux scolaires pour la reconstruction des cultures des jeunes ou des cultures des pairs dans les écoles et en tant que source productive pour les jeunes et la recherche scolaire. Les journaux scolaires sont également un phénomène international et transnational. Pour des recherches plus approfondies, ce document fournit un premier rapport de recherche complet pour l'Europe occidentale ainsi qu'une présentation pour la RDA et les Etats-Unis. / Die Arbeit rekonstruiert jugendliche Mitgestaltung und jugendkulturelle Artikulationen in westdeutschen Schulen entlang eines umfassenden Bestandes an Schülerzeitungen. Zur Mitgestaltung der Schulgemeinschaft und zum Erlernen demokratischer Handlungsweisen wurden Schülerzeitungen von den Alliierten zusammen mit der Schülermitverantwortung (SMV) insbesondere an Gymnasien eingeführt. Erstmals wird hier auch die Entwicklung der Schülerzeitungen in der ersten Hälfte des 20. Jahrhunderts nachgezeichnet. Schülerzeitungen zeugten gegenüber der Schülermitverantwortung (SMV) von deutlich unproblematischer und erfolgreicher zu etablierenden Mitgestaltungs- und Artikulationsmöglichkeiten und trugen zur Entwicklung von stärker durch Liberalisierung und Partizipation geprägte Schulkulturen bei. Dies wird für prägende Themen in der behandelten Zeit dargestellt: mit Blick auf (1) die Diskussion von Technik und naturwissenschaftlich-technischen Entwicklungen während des Kalten Krieges, (2) auf die Beschäftigung mit den USA und ihrem kulturellen Einfluss sowie (3) auf die Auseinandersetzungen mit jugendkulturellen Entwicklungen. Die zunehmende Öffnung der Schule für jugendkulturelle Ausdrucksweisen wird sowohl thematisch als auch auf materieller Ebene untersucht. Dazu wird u. a. die symbolische Kommunikation auf Titelblättern von Schülerzeitungen analysiert. Die dargestellten produktiven Bemühungen um Meinungsfreiheit in der Schule verdeutlichen auch die Bedeutung von Schülerzeitungen für das Lehrer-Schüler-Verhältnis. Die Arbeit bekräftigt die Relevanz von Schülerzeitungen für die Rekonstruktion von Jugendkulturen bzw. peer cultures im schulischen Raum sowie als ertragreiche Quelle für die Jugend- und Schulforschung. Schülerzeitungen sind darüber hinaus ein internationales und auch transnationales Phänomen. Für weitere Forschungen wird daher zudem ein erster umfassender Forschungsbericht zu Schülerzeitungen in Westeuropa, in der DDR und in den USA gegeben. / This doctoral thesis reconstructs youth participation and youth-cultural articulations at West German secondary schools. After 1945, the Allies introduced student newspapers along with student councils in order to foster the acquisition of democratic behaviors and codetermination of the school community. This project first offers a thorough documentation of the development of student newspapers in the first half of the 20th century, and then focuses on their development in the 1950s and 1960s. By the mid-1950s, the editors of the student newspapers had claimed independence vis-a-vis student councils. Student newspapers, meanwhile, bespoke far less problematic, and more successful, potentials for participation and youth-cultural articulation. They thereby contributed to school cultures more strongly influenced by liberalization and participation. The following defining themes from the era are presented in these articles: (1) the discussion of technology and natural science/technical developments during the cold war, (2) engagement with the USA and its cultural influence, and (3) involvement with youth-cultural developments. The increasing opening of schools for youth-cultural forms of expression is examined on both thematic and material levels. In addition, newspaper elements such as the symbolic communication in title pages will be analyzed. The productive efforts toward freedom of opinion in schools show the importance of school newspapers in terms of the teacher-student relationship and the development of participatory structures in schools. This project underlines the relevance of school newspapers for the reconstruction of youth cultures and peer cultures in schools in addition to being sources for youth research and school research. Moreover, school newspapers are an international and transnational phenomenon. Areas for further research are indicated in a literature review for Western Europe a consideration of the GDR and the USA.