Dissertations / Theses on the topic 'Eingebettete Systeme'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Eingebettete Systeme.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Hardt, Wolfram. "Wissenschaftliche Schriftenreihe EINGEBETTETE, SELBSTORGANISIERENDE SYSTEME." Universitätsverlag Chemnitz, 2013. https://monarch.qucosa.de/id/qucosa%3A19874.
Full textThis newly launched book series addresses a very current subject of computer engineering, embedded selforganising systems (ESS). For years, embedded systems permeate our everyday lives in almost all areas of life. Ranging from automated door opening systems through complex controlled service machines, e.g. Washing machines, to mobile, personally associated systems such as mobile phones and handheld computers, embedded systems have become for granted. New requirements by the customer, who expected changes in shorter time intervals and rising fixed costs of setting up a product line have brought a new aspect in the design and operation of embedded systems: selforganisation. Individual aspects of selforganisation may be self-diagnosis, self-test, self-healing or static as well as dynamic reconfiguration of systems. The aspects of the functionality of communication are distinguished. Both have great influence on the performance and reliability of an embedded system. In the field of the communication interfaces of the embedded system are of particular interest.
Wawersich, Christian Walter Alois. "KESO: Konstruktiver Speicherschutz für Eingebettete Systeme." kostenfrei, 2009. http://d-nb.info/999753150/34.
Full textGunzert, Michael. "Komponentenbasierte Softwareentwicklung für sicherheitskritische eingebettete Systeme." Aachen : Shaker, 2003. http://deposit.ddb.de/cgi-bin/dokserv?idn=969342667.
Full textJazdi, Nasser. "Universelle Fernservice-Infrastruktur für eingebettete Systeme." Aachen : Shaker, 2003. http://deposit.d-nb.de/cgi-bin/dokserv?idn=969068980.
Full textRenner, Josef. "Mobile Agenten für den Fernzugriff auf eingebettete Systeme." Doctoral thesis, Universitätsbibliothek Chemnitz, 2006. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200601097.
Full textIn automation technology remote access to single devices or plants is already a significant application for teleautomation today. Systems of teleservice by use of analog or digital switched line and lately web links are applied for these purposes. Common to all these conventional systems is an online link to the destination system. Mobile agents that also belong to web technologies can explicitly improve the techniques of remote access within automation in the very near future. Especially for applications of mobile agents in automation in this scientific treatise a so called „Remote Access Agent“ is defined. The major part of automation devices and systems belongs to the group of embedded systems. The ability of embedded systems to deal and operate with mobile agents is treated in detail also the network link and the integration of an agent operation platform. An agent system for remote access is defined and its design, development and test surrounding are described. Such an agent system is defined to consist of a user interface, an agent control unit and especially equipped destination systems. As a programming language for the agent itself Java and for its execution surrounding a Java Virtual Machine were selected to be suitable best for this agent system. A great problem is to have a suitable Java Virtual Machine available for a given specific embedded system. In practice normally a conversion of an existing JVM is necessary. For the investigations during this work the Kertasarie Java Virtual Machine was selected and converted for the 16 bit microcontroller Infineon C167 and the EUROS® real time operating system. Finally four potential applications in automation technology for a remote access agent are described in detail
Münnich, Alexander. "Realzeitfähiges Datenmanagement für eingebettete Systeme mit aktiven Realzeitdatenbanken." [S.l.] : [s.n.], 2001. http://deposit.ddb.de/cgi-bin/dokserv?idn=963701304.
Full textGunzert, Michael [Verfasser]. "Komponentenbasierte Softwareentwicklung für sicherheitskritische eingebettete Systeme / Michael Gunzert." Aachen : Shaker, 2003. http://d-nb.info/969342667/34.
Full textJazdi, Nasser [Verfasser]. "Universelle Fernservice-Infrastruktur für eingebettete Systeme / Nasser Jazdi." Aachen : Shaker, 2003. http://d-nb.info/969068980/34.
Full textMeisel, Andre. "Design Flow für IP basierte, dynamisch rekonfigurierbare, eingebettete Systeme." Doctoral thesis, Universitätsbibliothek Chemnitz, 2010. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-201000890.
Full textVolume 8 of scientific series EINGEBETTETE, SELBSTORGANISIERENDE SYSTEME (Embedded Self-Organized Systems) addresses the synthesis of partially dynamically reconfigurable embedded systems. With the ability to configure hardware blocks during run-time, more flexibility can be integrated in embedded systems. At the same time, these systems have better performance than functions implemented in software. Through this flexibility it is possible to use smaller circuits without limiting the functionality. For the integration of reconfiguration into embedded systems, additional design steps are required. Mr. Meisel presents a design methodology for the design flow and primarily concerns the problem of partitioning, placement, and reconfiguration control in dynamically reconfigurable embedded systems. The implemented partitioning of the system is based on the adapted memory management concept of Overlaying. For the placement method the configurations are modeled as Markov chain, in order to minimize the average reconfiguration time. The presented reconfiguration control unit focuses on a resource-saving hardware implementation. The benefits and results of the approach are clearly illustrated with a design sample. The reader can understand the power of developed approach and is motivated to transfer the developed methodology to more use cases
Irrgang, Kai-Uwe. "Modellierung von On-Chip-Trace-Architekturen für eingebettete Systeme." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-170562.
Full textAchatz, Reinhold. "Prozessoptimierung bei der Entwicklung von Software für eingebettete Systeme." Göttingen Sierke, 2009. http://d-nb.info/997098945/04.
Full textMeisel, André. "Design Flow für IP basierte, dynamisch rekonfigurierbare, eingebettete Systeme." Universitätsverlag Chemnitz, 2010. https://monarch.qucosa.de/id/qucosa%3A19340.
Full textVolume 8 of scientific series EINGEBETTETE, SELBSTORGANISIERENDE SYSTEME (Embedded Self-Organized Systems) addresses the synthesis of partially dynamically reconfigurable embedded systems. With the ability to configure hardware blocks during run-time, more flexibility can be integrated in embedded systems. At the same time, these systems have better performance than functions implemented in software. Through this flexibility it is possible to use smaller circuits without limiting the functionality. For the integration of reconfiguration into embedded systems, additional design steps are required. Mr. Meisel presents a design methodology for the design flow and primarily concerns the problem of partitioning, placement, and reconfiguration control in dynamically reconfigurable embedded systems. The implemented partitioning of the system is based on the adapted memory management concept of Overlaying. For the placement method the configurations are modeled as Markov chain, in order to minimize the average reconfiguration time. The presented reconfiguration control unit focuses on a resource-saving hardware implementation. The benefits and results of the approach are clearly illustrated with a design sample. The reader can understand the power of developed approach and is motivated to transfer the developed methodology to more use cases.
Schreier-Alt, Thomas. "Polymerverkapselung mechatronischer Systeme Charakterisierung durch eingebettete Faser-Bragg-Gitter-Sensoren /." [S.l.] : [s.n.], 2006. http://opus.kobv.de/tuberlin/volltexte/2007/1540.
Full textBieser, Carsten. "Konzept einer bibliotheksbasiert konfigurierbaren Hardware-Testeinrichtung für eingebettete elektronische Systeme." Karlsruhe : E&B, 2007. http://digbib.ubka.uni-karlsruhe.de/volltexte/1000007013.
Full textFleischmann, Andreas. "Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich." München Ravensburg GRIN-Verl, 2008. http://d-nb.info/992714028/04.
Full textLankes, Stefan [Verfasser]. "Konzeption und Umsetzung einer echtzeitfähigen Verteilungsplattform für eingebettete Systeme / Stefan Lankes." Aachen : Shaker, 2003. http://d-nb.info/1170543081/34.
Full textPreußer, Thomas. "Increasing the Performance and Predictability of the Code Execution on an Embedded Java Platform." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-77425.
Full textSaadat, Huzaifa. "Design and development of an automated regression test suite for UEFI." Master's thesis, Universitätsbibliothek Chemnitz, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-159277.
Full textFleischmann, Andreas [Verfasser]. "Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich / Andreas Fleischmann." München : GRIN Verlag, 2008. http://d-nb.info/1187519634/34.
Full textSchönwald, Timo [Verfasser]. "Applikationsspezifische Optimierung der Kommunikation in Mehrkern-Architekturen für eingebettete Systeme / Timo Schönwald." München : Verlag Dr. Hut, 2013. http://d-nb.info/1045126063/34.
Full textLeich, Thomas [Verfasser], Gunther [Akademischer Betreuer] Saake, and Klaus [Akademischer Betreuer] Turowski. "Variables Nanodatenmanagement für eingebettete Systeme / Thomas Leich. Betreuer: Gunther Saake ; Klaus Turowski." Magdeburg : Universitätsbibliothek, 2012. http://d-nb.info/105391444X/34.
Full textBieser, Carsten [Verfasser]. "Konzept einer bibliotheksbasiert konfigurierbaren Hardware-Testeinrichtung für eingebettete elektronische Systeme / von Carsten Bieser." Karlsruhe : Engelhardt und Bauer, 2007. http://d-nb.info/1003716644/34.
Full textSporer, Mathias. "Konsistenzerhaltende Techniken für generierbare Wissensbasen zum Entwurf eingebetteter Systeme." Doctoral thesis, Universitätsbibliothek Chemnitz, 2008. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-200800149.
Full textThe design process of data processing systems is characterized by the description of storing, processing and transmitting components on different levels of abstraction. In the past tools have been developed for specific application domains as well as for the respective abstraction levels. They support the system designer from the stage of the requirements specification down to implementation and functional test. During the sketch of complex systems in general and embedded systems in particular, problems occur in the following areas: reusing the components from former drafts; transforming the design knowledge across the boundaries of abstraction levels; integrating a variable number of domain specific tools in the design process. The precondition for a correct design is the integrity preservation of all involved draft data no matter which sources such as databases, XML files or conventional HOST file systems provide them. After discussing the integrity term regarding conventional information systems and the extensions necessary for embedded systems, approaches for modelling the design process are presented. They help to generate a knowledge base which is optimally adjusted to a particular design task and can be continuously adapted to new requests coming from external tools and design processes. The user does not need detailed knowledge about the knowledge base's underlying data model. The capability of generating the knowledge base and its tools is based on a meta model. First, this model is based on an extensible object algebra applied when describing the structure and behaviour of data processing systems and second, the model is transformable into domain specific target systems
Meisel, André [Verfasser]. "Design Flow für IP basierte, dynamisch rekonfigurierbare, eingebettete Systeme / André Meisel. Technische Universität Chemnitz." Chemnitz : Univ.-Verl, 2010. http://d-nb.info/1007651849/34.
Full textGatzka, Stephan. "Java in eingebetteten Systemen." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2009. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-20616.
Full textModern, object oriented languages do not play an important role when developing software for embedded systems. There are many reasons for it, most often an inadequate performance and a greater memory demand are mentioned. In spite of the fact that Java has many features suitable for embedded systems, Java often faces the prejudice to consume too much resources in systems with limited processing power and memory. This work is a contribution to diminish this prejudices. It presents techniques to limit the memory demands of a Java Virtual Machine and to effectively cope with limited computing power. Many of the presented methods and algorithms are implemented in the Kertasarie VM, a JVM designed to run in embedded systems.Due to the fact of increasing network capabilities embedded systems often face the problem of a modern, abstract and efficient communication. Therefore the second emphasis of this work is put on the comparison of object oriented middleware architectures, especially Java-RMI. An own implementation for embedded systems is also presented
Vodel, Matthias. "Energieeffiziente Kommunikation in verteilten, eingebetteten Systemen." Doctoral thesis, Universitätsbibliothek Chemnitz, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-131891.
Full textEmbedded systems are used in almost every domain of our daily lives. Actual research and development activities focus on wireless connected and mobile system architectures. The resulting network topologies represent embedded, distributed systems, which are able to process complex tasks in a collaborative way. Most of the respective hardware platforms are energy self-sufficient with strongly limited resources for data processing, data storage and communication. With focus on the energy resources, communication tasks have a huge impact on the systems power consumption. In order to optimise the energy efficiency of these communication tasks, one key challenge for engineers is the application-specific integration of adapted communication concepts, radio technologies, and protocol stacks into an all-embracing communication architecture. This book critically discusses energy efficiency in distributed, embedded systems with focus on the communication aspects. The first part introduces basic definitions as well as a novel estimation model for quantifying energy efficiency on both local (system) and global (network) layer. In the second part, this book proposes several optimisation approaches for energy-efficient, resource-limited communication systems. This include hardware approaches as well as software approaches to optimise the runtime environment and the data processing tasks. Each approach operates on different abstraction layers within the system architecture. The last part of the book deals with the evaluation of specific optimisation strategies under real-world conditions. The test cases includes simulation scenarios as well as hardware test benches within a heterogeneous network environment. The respective results and analyses represent important guidelines for future developments in field of distributed, embedded communication platforms
Vodel, Matthias. "Energieeffiziente Kommunikation in verteilten, eingebetteten Systemen." Doctoral thesis, Universitätsbibliothek Chemnitz, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-133410.
Full textEmbedded systems are used in almost every domain of our daily lives. Actual research and development activities focus on wireless connected and mobile system architectures. The resulting network topologies represent embedded, distributed systems, which are able to process complex tasks in a collaborative way. Most of the respective hardware platforms are energy self-sufficient with strongly limited resources for data processing, data storage and communication. With focus on the energy resources, communication tasks have a huge impact on the systems power consumption. In order to optimise the energy efficiency of these communication tasks, one key challenge for engineers is the application-specific integration of adapted communication concepts, radio technologies, and protocol stacks into an all-embracing communication architecture. This book critically discusses energy efficiency in distributed, embedded systems with focus on the communication aspects. The first part introduces basic definitions as well as a novel estimation model for quantifying energy efficiency on both local (system) and global (network) layer. In the second part, this book proposes several optimisation approaches for energy-efficient, resource-limited communication systems. This include hardware approaches as well as software approaches to optimise the runtime environment and the data processing tasks. Each approach operates on different abstraction layers within the system architecture. The last part of the book deals with the evaluation of specific optimisation strategies under real-world conditions. The test cases includes simulation scenarios as well as hardware test benches within a heterogeneous network environment. The respective results and analyses represent important guidelines for future developments in field of distributed, embedded communication platforms
Gerhard, Detlef. "Cyber-Physical Production Systems - Herausforderungen bei Modellierung und Informationsmanagement [Präsentationsfolien]." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-213997.
Full textKriesten, Daniel. "Systementwurf eingebetteter heterogener rekonfigurierbarer Systeme mit Linux-Betriebssystem am Beispiel einer modularen Plattform zur Erfassung und Verarbeitung von Sensordaten." Doctoral thesis, Universitätsbibliothek Chemnitz, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-154966.
Full textBased on a modular platform for recording and processing of sensor data the present thesis enriches the field of system design of embedded systems with new facets. Its particular focus is on reconfigurable architectures and Linux-based systems. A major contribution is the presentation and discussion of concepts and architectures of aforementioned systems by investigating them on a high level of abstraction. To achieve this, the work creates a comprehensive understanding of communication and configuration in heterogeneous reconfigurable systems. This knowledge is transferred on the Linux operating system. In addition, a systematic presentation of the established relationships and processes in software, package and version management in the Linux environment takes place. To improve the design flow of Linux systems, the thesis presents appropriate concepts as well as a tool for high-level specification of embedded Linux systems. The gained scientific findings are evaluated in terms of practical relevance and verified by prototype implementations
Irrgang, Kai-Uwe [Verfasser], Rainer G. [Akademischer Betreuer] Spallek, and Lutz [Akademischer Betreuer] Göhler. "Modellierung von On-Chip-Trace-Architekturen für eingebettete Systeme / Kai-Uwe Irrgang. Gutachter: Lutz Göhler. Betreuer: Rainer G. Spallek." Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015. http://d-nb.info/1074350049/34.
Full textSieber, André [Verfasser], and Jörg [Akademischer Betreuer] Nolte. "Energiemanagement für drahtlose tief eingebettete Systeme : Feingranulares, faires Management zum Erreichen von Lebenszeitzielen bei knappen Energieressourcen / André Sieber ; Betreuer: Jörg Nolte." Cottbus : BTU Cottbus - Senftenberg, 2016. http://d-nb.info/1114666866/34.
Full textKriesten, Daniel. "Systementwurf eingebetteter heterogener rekonfigurierbarer Systeme mit Linux-Betriebssystem am Beispiel einer modularen Plattform zur Erfassung und Verarbeitung von Sensordaten." Doctoral thesis, Universitätsverlag der Technischen Universität Chemnitz, 2013. https://monarch.qucosa.de/id/qucosa%3A20141.
Full textBased on a modular platform for recording and processing of sensor data the present thesis enriches the field of system design of embedded systems with new facets. Its particular focus is on reconfigurable architectures and Linux-based systems. A major contribution is the presentation and discussion of concepts and architectures of aforementioned systems by investigating them on a high level of abstraction. To achieve this, the work creates a comprehensive understanding of communication and configuration in heterogeneous reconfigurable systems. This knowledge is transferred on the Linux operating system. In addition, a systematic presentation of the established relationships and processes in software, package and version management in the Linux environment takes place. To improve the design flow of Linux systems, the thesis presents appropriate concepts as well as a tool for high-level specification of embedded Linux systems. The gained scientific findings are evaluated in terms of practical relevance and verified by prototype implementations.
Freier, Robert [Verfasser], and Andreas [Akademischer Betreuer] König. "Ein universelles und dynamisch rekonfigurierbares Interface für eingebettete und intelligente Multi-Sensor-Systeme mit Self-x Eigenschaften / Robert Freier. Betreuer: Andreas König." Kaiserslautern : Technische Universität Kaiserslautern, 2015. http://d-nb.info/1065233191/34.
Full textFreier, Robert Klemens [Verfasser], and Andreas [Akademischer Betreuer] König. "Ein universelles und dynamisch rekonfigurierbares Interface für eingebettete und intelligente Multi-Sensor-Systeme mit Self-x Eigenschaften / Robert Freier. Betreuer: Andreas König." Kaiserslautern : Technische Universität Kaiserslautern, 2015. http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-39669.
Full textNeumann, Stefan, and Holger Giese. "Scalable compatibility for embedded real-time components via language progressive timed automata." Universität Potsdam, 2013. http://opus.kobv.de/ubp/volltexte/2013/6385/.
Full textDie korrekte Komposition individuell entwickelter Komponenten von eingebetteten Realzeitsystemen ist eine Herausforderung, da neben funktionalen Eigenschaften auch nicht funktionale Eigenschaften berücksichtigt werden müssen. Ein Beispiel hierfür ist die Kompatibilität von Realzeiteigenschaften, welche eine entscheidende Rolle in eingebetteten Systemen spielen. Heutzutage wird die Kompatibilität derartiger Eigenschaften in einer aufwändigen Integrations- und Konfigurationstests am Ende des Entwicklungsprozesses geprüft, wobei diese Tests im schlechtesten Fall fehlschlagen. Aus diesem Grund wurde eine Zahl an formalen Verfahren Entwickelt, welche eine frühzeitige Analyse von Realzeiteigenschaften von Komponenten erlauben, sodass Inkompatibilitäten von Realzeiteigenschaften in späteren Phasen ausgeschlossen werden können. Existierenden Verfahren verlangen jedoch, dass eine Reihe von Bedingungen erfüllt sein muss, welche von realen Systemen nur schwer zu erfüllen sind, oder aber, die verwendeten Analyseverfahren skalieren nicht für größere Systeme. In dieser Arbeit wird ein Ansatz vorgestellt, welcher auf dem formalen Modell des Timed Automaton basiert und der keine Bedingungen verlangt, die von einem realen System nur schwer erfüllt werden können. Der in dieser Arbeit vorgestellte Ansatz enthält ein Framework, welches eine modulare Analyse erlaubt, bei der ausschließlich miteinender kommunizierende Komponenten paarweise überprüft werden müssen. Somit wird eine skalierbare Analyse von Realzeiteigenschaften ermöglicht, die keine Bedingungen verlangt, welche nur bedingt von realen Systemen erfüllt werden können.
Ihmor, Stefan, and Marcel Flade. "Rekonfigurierbare Schnittstellen." Universitätsbibliothek Chemnitz, 2006. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200600261.
Full textVodel, Matthias. "Energieeffiziente Kommunikation in verteilten, eingebetteten Systemen." Universitätsverlag Chemnitz, 2013. https://monarch.qucosa.de/id/qucosa%3A18957.
Full textEmbedded systems are used in almost every domain of our daily lives. Actual research and development activities focus on wireless connected and mobile system architectures. The resulting network topologies represent embedded, distributed systems, which are able to process complex tasks in a collaborative way. Most of the respective hardware platforms are energy self-sufficient with strongly limited resources for data processing, data storage and communication. With focus on the energy resources, communication tasks have a huge impact on the systems power consumption. In order to optimise the energy efficiency of these communication tasks, one key challenge for engineers is the application-specific integration of adapted communication concepts, radio technologies, and protocol stacks into an all-embracing communication architecture. This book critically discusses energy efficiency in distributed, embedded systems with focus on the communication aspects. The first part introduces basic definitions as well as a novel estimation model for quantifying energy efficiency on both local (system) and global (network) layer. In the second part, this book proposes several optimisation approaches for energy-efficient, resource-limited communication systems. This include hardware approaches as well as software approaches to optimise the runtime environment and the data processing tasks. Each approach operates on different abstraction layers within the system architecture. The last part of the book deals with the evaluation of specific optimisation strategies under real-world conditions. The test cases includes simulation scenarios as well as hardware test benches within a heterogeneous network environment. The respective results and analyses represent important guidelines for future developments in field of distributed, embedded communication platforms.
Förster, Stefan. "A Formal Framework for Modelling Component Extension and Layers in Distributed Embedded Systems." Doctoral thesis, Universitätsbibliothek Chemnitz, 2007. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200700638.
Full textThis volume of the scientific series Eingebettete, selbstorganisierende Systeme (Embedded Self-Organized Systems) gives an outline of the design of distributed embedded systems. Fields of application for such systems are, amongst others, mission systems and control systems of airplanes (aeronautic applications) and - with increasing level of integration - also the automotive area. In this area it is essential to meet highest safety standards and to ensure the maximum of availability. Mr Förster addresses these problems in an early state of the design process, namely the specification. Implementation versions like hardware and software are differentiated as well as system components like computation components and communication components. For a general specification Mr Förster develops a formal framework based on the pi-calculus, which supports a standardised modelling of modules in different design steps. The main focus of Mr Förster's research is the extension of system specifications. Therefore it will be possible to modify or substitute modules and to check automatically the correctness and consistency of the total specification. Mr Förster can prove the correctness of his approach and demonstrates impressively the complexity by clearly defined extension relations and formally verifiable embedding in the pi-calculus formalism. A detailed example shows the practical relevance of this research. I am glad that Mr Förster publishes his important research in this scientific series. So I hope you will enjoy reading it and benefit from it
Klaus, Stephan. "System-Level-Entwurfsmethodik eingebetteter Systeme /." Aachen : Shaker, 2006. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=014914784&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
Full textMeier, Tobias, Michael Ernst, Andreas Frey, and Wolfram Hardt. "Enhancing Task Assignment in Many-Core Systems by a Situation Aware Scheduler." Universitätsbibliothek Chemnitz, 2017. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-227009.
Full textFörster, Stefan. "A Formal Framework for Modelling Component Extension and Layers in Distributed Embedded Systems." TUDpress, 2006. https://monarch.qucosa.de/id/qucosa%3A18707.
Full textThis volume of the scientific series Eingebettete, selbstorganisierende Systeme (Embedded Self-Organized Systems) gives an outline of the design of distributed embedded systems. Fields of application for such systems are, amongst others, mission systems and control systems of airplanes (aeronautic applications) and - with increasing level of integration - also the automotive area. In this area it is essential to meet highest safety standards and to ensure the maximum of availability. Mr Förster addresses these problems in an early state of the design process, namely the specification. Implementation versions like hardware and software are differentiated as well as system components like computation components and communication components. For a general specification Mr Förster develops a formal framework based on the pi-calculus, which supports a standardised modelling of modules in different design steps. The main focus of Mr Förster's research is the extension of system specifications. Therefore it will be possible to modify or substitute modules and to check automatically the correctness and consistency of the total specification. Mr Förster can prove the correctness of his approach and demonstrates impressively the complexity by clearly defined extension relations and formally verifiable embedding in the pi-calculus formalism. A detailed example shows the practical relevance of this research. I am glad that Mr Förster publishes his important research in this scientific series. So I hope you will enjoy reading it and benefit from it.
Kouamo, Sime Michel Carmel, Christian Behler, Tobias Loke, and Gilles Bertrand Gnokam Defo. "Schnittstellensynthese -Modellierung, Optimierung, Codegenerierung." Universitätsbibliothek Chemnitz, 2006. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200601085.
Full textKlaus, Stephan [Verfasser]. "System-Level-Entwurfsmethodik eingebetteter Systeme / Stephan Klaus." Aachen : Shaker, 2006. http://d-nb.info/1186584165/34.
Full textHardt, Wolfram. "Chemnitzer Informatik-Berichte." Technische Universität Chemnitz, 2017. https://monarch.qucosa.de/id/qucosa%3A20770.
Full textComputer science, as a key technology of the 21th century, has an exceptional impact on our everyday life and living standards. The Faculty of Computer Science represents this scientific field in a comprehensive and proficient manner with an application-orientated choice of topics. In the fields of - Embedded and self-organizing systems - Intelligent multimedia systems - Parallel and distributed systems we offer research and development for current problems and challenges on an internationally competitive level. The guiding principle of our education is the continuous innovation through advances in research. Consequently, we are able to provide modern Bachelor and Master programs with excellent academic conditions. The faculty strives to provide a maximally personal interaction between students and staff. With the series of publications „Chemnitz Computer Science Reports“ we give insigths into the reasearch practice of the faculty. We present different subjects of research from the tree research fields and all of the professorships of the Faculty of Computer Science.
Mattmann, Rudolf E. Mattmann Rudolf Mattmann Rudolf Mattmann Rudolf. "Rapid-Prototyping eingebetteter Systeme /." Zürich : vdf, Hochschulverlag AG an der ETH Zürich, 1997. http://opac.nebis.ch/cgi-bin/showAbstract.pl?u20=3728125091.
Full textMattmann, Rudolf Mattmann Rudolf Mattmann Rudolf. "Rapid-Prototyping eingebetteter Systeme /." Zürich, 1996. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=11916.
Full textBehler, Christian, Bertrand Defo, Sime Michel Kouamo, and Tobias Loke. "Schnittstellensynthese: Modellierung - Optimierung - Codegenerierung." TUDpress, 2006. https://monarch.qucosa.de/id/qucosa%3A18547.
Full textBashford, Steven. "Constraintbasierte Codegenerierung für eingebettete Prozessoren." [S.l.] : [s.n.], 2000. http://deposit.ddb.de/cgi-bin/dokserv?idn=963473840.
Full textPorrmann, Mario. "Leistungsbewertung eingebetteter Neurocomputersysteme /." Paderborn : Heinz-Nixdorf-Inst, 2002. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=009689860&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
Full textRößler, Marko. "Linux auf eingebetteten Systemen." Universitätsbibliothek Chemnitz, 2004. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200400327.
Full textVortrag zum 123. Unix Stammtisch der TU-Chemnitz. Befasst sich mit dem Entwurf und Betrieb von eingebetteten Systemen mit dem Betriebssystem Linux. Von der D-Box bis zur Linux-Armbanduhr, der Linux-Boot Prozess, Aufbau einer Linuxumgebung undminimalistisches Bibiotheken