• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 57
  • 25
  • 8
  • 1
  • 1
  • Tagged with
  • 92
  • 39
  • 37
  • 31
  • 24
  • 19
  • 16
  • 16
  • 16
  • 16
  • 13
  • 13
  • 13
  • 13
  • 13
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

System verification tools based on monadic logics

Ayari, Abdelwaheb. January 1900 (has links) (PDF)
Freiburg (Breisgau), University, Diss., 2003. / Erscheinungsjahr an der Haupttitelstelle: 2003.
2

Efficient system traversal and property checking by exploiting circuit locality

Peranandam, Prakash Mohan. January 2006 (has links)
Tübingen, Univ., Diss., 2006.
3

Abstract state machines verification problems and complexity /

Spielmann, Marc. Unknown Date (has links) (PDF)
Techn. Hochsch., Diss., 2000--Aachen.
4

Analysis and verification of systems with dynamically evolving structure

König, Barbara. January 2004 (has links)
Stuttgart, Univ., Habil.-Schr., 2004.
5

Decentralized and Pulse-based Clock Synchronization in SpaceWire Networks for Time-triggered Data Transfers / Dezentralisierte und Puls-basierte Uhrensynchronisation in SpaceWire Netzwerken für zeitgesteuerten Datentransfer

Borchers, Kai January 2020 (has links) (PDF)
Time-triggered communication is widely used throughout several industry do- mains, primarily for reliable and real-time capable data transfers. However, existing time-triggered technologies are designed for terrestrial usage and not directly applicable to space applications due to the harsh environment. In- stead, specific hardware must be developed to deal with thermal, mechanical, and especially radiation effects. SpaceWire, as an event-triggered communication technology, has been used for years in a large number of space missions. Its moderate complexity, her- itage, and transmission rates up to 400 MBits/s are one of the main ad- vantages and often without alternatives for on-board computing systems of spacecraft. At present, real-time data transfers are either achieved by prior- itization inside SpaceWire routers or by applying a simplified time-triggered approach. These solutions either imply problems if they are used inside dis- tributed on-board computing systems or in case of networks with more than a single router are required. This work provides a solution for the real-time problem by developing a novel clock synchronization approach. This approach is focused on being compatible with distributed system structures and allows time-triggered data transfers. A significant difference to existing technologies is the remote clock estimation by the use of pulses. They are transferred over the network and remove the need for latency accumulation, which allows the incorporation of standardized SpaceWire equipment. Additionally, local clocks are controlled decentralized and provide different correction capabilities in order to handle oscillator induced uncertainties. All these functionalities are provided by a developed Network Controller (NC), able to isolate the attached network and to control accesses. / Zeitgesteuerte Datenübertragung ist in vielen Industriezweigen weit verbreitet, primär für zuverlässige und echtzeitfähige Kommunikation. Bestehende Technologien sind jedoch für den terrestrischen Gebrauch konzipiert und aufgrund der rauen Umgebung nicht direkt auf Weltraumanwendungen anwendbar. Stattdessen wird spezielle Hardware entwickelt, um Strahlungseffekten zu widerstehen sowie thermischen und mechanischen Belastungen standzuhalten. SpaceWire wurde als ereignisgesteuerte Kommunikationstechnologie entwickelt und wird seit Jahren in einer Vielzahl von Weltraummissionen verwendet. Dessen erfolgreiche Verwendung, überschaubare Komplexität, und Übertragungsraten bis zu 400 MBit/s sind einige seiner Hauptvorteile. Derzeit werden Datenübertragungen in Echtzeit entweder durch Priorisierung innerhalb von SpaceWire Router erreicht, oder durch Anwendung von vereinfachten zeitgesteuerten Ansätzen. Diese Lösungen implizieren entweder Probleme in verteilten Systemarchitekturen oder in SpaceWire Netzwerken mit mehreren Routern. Diese Arbeit beschreibt eine Uhrensynchronisation, die bestimmte Eigenschaften von SpaceWire ausnutzt, um das Echtzeitproblem zu lösen. Der Ansatz ist dabei kompatibel mit verteilten Systemstrukturen und ermöglicht eine zeitgesteuerte Datenübertragung.
6

Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata /

Beyer, Dirk. January 2002 (has links)
Cottbus, Techn. Univ., Diss., 2002. / Cottbus, Techn. Univ., Diss., 2002.
7

Verification of sequential imperative programs in Isabelle-HOL

Schirmer, Norbert. Unknown Date (has links)
Techn. University, Diss., 2006--München.
8

Constraint integer programming /

Achterberg, Tobias. January 2008 (has links)
Zugl.: Berlin, Techn. University, Diss., 2007.
9

WoLFram - a word level framework for formal verification and its application

Sülflow, André January 2010 (has links)
Zugl.: Bremen, Univ., Diss., 2010
10

Untersuchung von HCI-Nebeln in technischen Gasreinigungsanlagen

Brosig, Gerd January 2008 (has links)
Zugl.: Duisburg, Essen, Univ., Diss., 2008

Page generated in 0.1125 seconds