Relevant bibliographies by topics / Sicherheitskritisches System / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Sicherheitskritisches System.

Dissertations / Theses on the topic 'Sicherheitskritisches System'

Author: Grafiati
Published: 4 June 2021
Last updated: 27 January 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 29 dissertations / theses for your research on the topic 'Sicherheitskritisches System.'

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.

1

Hoenicke, Jochen. "Combination of processes, data, and time /." Oldenburg : Univ., Fak. II, Dep. für Informatik, 2006. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=014970023&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Denger, Christian. "SafeSpection - a framework for systematization and customization of software hazard identification by applying inspection concepts." Stuttgart Fraunhofer-IRB-Verl, 2009. http://d-nb.info/994920016/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Schöbel, Markus. "Soziale Beeinflussung des Sicherheitshandelns in Organisationen mit hohem Gefährdungspotenzial /." Hamburg : Kovač, 2005. http://www.verlagdrkovac.de/3-8300-1900-9.htm.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Limam, Mourad. "Conception and implementation of an agreement protocol for fault-tolerant automotive embedded systems." [S.l. : s.n.], 2005. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-25128.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Nenninger, Philipp. "Vernetzung verteilter sicherheitsrelevanter Systeme im Kraftfahrzeug." Karlsruhe : Univ.-Verl. Karlsruhe, 2007. http://www.uvka.de/univerlag/volltexte/2007/224/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Wolf, Marko. "Security engineering for vehicular IT systems improving the trustworthiness and dependability of automotive IT applications." Wiesbaden Vieweg + Teubner, 2008. http://d-nb.info/992395607/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Strengert, Stefan. "Methodik zur ganzheitlichen, dynamischen Analyse sicherheitsrelevanter, verteilter Kraftfahrzeugsysteme unter dem Aspekt des Fehlerverhaltens /." Göttingen : Cuvillier, 2008. http://d-nb.info/987899902/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Abele, Marcus. "Modellierung und Bewertung hochzuverlässiger Energiebordnetz-Architekturen für sicherheitsrelevante Verbraucher in Kraftfahrzeugen /." Kassel : Kassel Univ. Press, 2008. http://d-nb.info/987919199/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Hirsch, Martin. "Modell-basierte Verifikation von vernetzten mechatronischen Systemen." Berlin Logos-Verl, 2008. http://d-nb.info/991633024/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Brummund, Stefan. "Konfigurierung verteilter, sicherheitsrelevanter Echtzeitsysteme im Kraftfahrzeug /." Herzogenrath : Shaker, 2008. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=016999263&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

Lu, Shourong. "Engineering of safety-related and embedded real-time systems." Waabs GCA-Verl, 2009. http://d-nb.info/999846760/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Diergardt, Martin. "Modeling scenarios for analyzing the risks of complex computer based information systems." Berlin dissertation.de, 2006. http://www.dissertation.de/buch.php3?buch=5105.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Best, André. "Konzept zur Modellierung fehlertoleranter zyklischer Prozesse mit SDL /." Berlin : Logos-Verl, 2007. http://deposit.d-nb.de/cgi-bin/dokserv?id=2997432&prov=M&dok_var=1&dok_ext=htm.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

Ortmeier, Frank. "Formale Sicherheitsanalyse /." Berlin : Logos-Verl, 2006. http://deposit.ddb.de/cgi-bin/dokserv?id=2827574&prov=M&dok_var=1&dok_ext=htm.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Ortmeier, Frank. "Formale Sicherheitsanalyse." Berlin Logos-Verl, 2005. http://deposit.ddb.de/cgi-bin/dokserv?id=2827574&prov=M&dok_var=1&dok_ext=htm.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

Meier, Andreas. "Safety critical wireless sensor networks." Aachen Shaker, 2009. http://d-nb.info/997314435/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Schlosser, Joachim. "Architektursimulation von verteilten Steuergerätesystemen." Berlin Logos-Verl, 2005. http://deposit.ddb.de/cgi-bin/dokserv?id=2766742&prov=M&dok_var=1&dok_ext=htm.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

Johr, Sven. "Model checking compositional Markov systems." Aachen Shaker, 2007. http://d-nb.info/988568969/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

Kyas, Marcel. "Verifying OCL specifications of UML models tool support and compositionakity." Berlin Lehmanns Media, LOB.de, 2006. http://deposit.ddb.de/cgi-bin/dokserv?id=2790922&prov=M&dok_var=1&dok_ext=htm.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

Gunzert, Michael. "Komponentenbasierte Softwareentwicklung für sicherheitskritische eingebettete Systeme." Aachen : Shaker, 2003. http://deposit.ddb.de/cgi-bin/dokserv?idn=969342667.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Gunzert, Michael [Verfasser]. "Komponentenbasierte Softwareentwicklung für sicherheitskritische eingebettete Systeme / Michael Gunzert." Aachen : Shaker, 2003. http://d-nb.info/969342667/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Kuschnerus, Dirk [Verfasser]. "Modellierung und Verifikation sicherheitskritischer konfigurierbarer Systeme in der Prozessmesstechnik / Dirk Kuschnerus." München : Verlag Dr. Hut, 2017. http://d-nb.info/1140977490/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

Meletiadou, Anastasia [Verfasser]. "Moderne Instant-Messaging-Systeme als Plattform für sicherheitskritische kollaborative Anwendungen / Anastasia Meletiadou." Koblenz : Universitätsbibliothek Koblenz, 2010. http://d-nb.info/1005057710/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Wülfrath, Stefan. "Migration von Relaisschaltungen der Eisenbahnsicherungstechnik auf Programmierbare Schaltkreise." Master's thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-127754.

Full text
Abstract:
In der vorliegenden Arbeit werden eine sichere FPGA-Stellwerksplattform und ein Transformationsverfahren entwickelt, mit dem die Schaltungen bestehender Relaisstellwerke in eine FPGA-Logik überführt werden können. Die FPGA-Stellwerksplattform ersetzt die Innenanlage eines Relaisstellwerks. Ihre Schnittstellen entsprechen den bisherigen Schnittstellen am Kabelabschlussgestell und zur Bedien- und Meldeeinrichtung. Damit ist eine einfache Migration bestehender Stellwerke möglich. Das Sicherheitskonzept basiert auf einer zweikanaligen Struktur mit sicherem Vergleicher und zusätzlichen Selbsttests zur schnellen, datenflussunabhängigen Ausfalloffenbarung. Die erreichbare Gefährdungsrate liegt im Bereich von SIL 4 und entspricht damit dem Sicherheitsziel für Stellwerke der Deutschen Bahn. Die Transformation sieht eine Trennung der Stellwerkslogik in Logik- und Leistungsteil vor. Der Logikteil wird auf dem FPGA realisiert. Die im Leistungsteil verbliebenen Kontakte und Überwacherrelais werden durch sichere Stellteile ersetzt. Die logischen Ansteuerbedingungen der Relais werden in Schaltnetze überführt. Die gesteuerten Relais werden durch Instanzen generischer Zustandsmodelle ersetzt. Für jeden verwendeten Relaistyp wurde ein entsprechendes Modell entwickelt, das bei der Transformation als Baustein eingesetzt werden kann. Die generischen Zustandsmodelle berücksichtigen auch die sicherheitsrelevanten konstruktiven Eigenschaften der Relais. So wird bei der Auftrennung einer Schaltung in Logik- und Leistungsteil sichergestellt, dass die in getrennte Schaltungsteile überführten Öffner und Schließer eines Relais nie gleichzeitig geschlossen sein können (Zwangsführung der Kontakte). Dies ist eine Voraussetzung für die Beibehaltung der sicherheitsrelevanten Funktionsbedingungen der Originalschaltung. Das Transformationsverfahren und die implementierten Mechanismen zur Ausfalloffenbarung sind unabhängig von der Anwenderlogik und vom gewählten Schaltkreistyp. Damit kann der generierte VHDL-Code bei Obsoleszenz eines Schaltkreises auch auf andere FPGA-Typen portiert werden. In einer Ressourcenabschätzung wird gezeigt, dass der gewählte Lösungsansatz geeignet ist, die Schaltungen kleinerer Relaisstellwerke vollständig auf einem FPGA zu realisieren. Die Anwendung des vorgestellten Verfahrens wird am Beispiel der Weichengruppe des Stellwerkstyps GS II DR demonstriert. Das Transformationsverfahren ist aber auch für andere Stellwerksbauformen geeignet. Dabei ist es unerheblich, ob diese nach dem tabellarischen Verschlussplanprinzip oder dem Spurplanprinzip arbeiten.
APA, Harvard, Vancouver, ISO, and other styles
25

Lemke, Oliver [Verfasser], and Jörn [Akademischer Betreuer] Pachl. "Modellbasierte Anforderungsspezifikation sicherheitskritischer Systeme im Eisenbahnbereich - Beschreibungsmittel und ihre Anwendung / Oliver Lemke ; Betreuer: Jörn Pachl." Braunschweig : Technische Universität Braunschweig, 2010. http://d-nb.info/1175827150/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
26

Görke, Simon [Verfasser]. "Eine flexible Plattform für Fly-by-Wire-Systeme - Spezialisierbarkeit als Schlüssel zur effizienten Entwicklung sicherheitskritischer Avionik / Simon Görke." München : Verlag Dr. Hut, 2013. http://d-nb.info/1045987441/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
27

Stahlschmidt, Carsten [Verfasser]. "Realzeitfähige Umfelderfassung mittels 2.5D-Kameras für sicherheitskritische Applikationen : Konzeption und Entwicklung assistierender Systeme unter Berücksichtigung limitierender Faktoren der Kameratechnik / Carsten Stahlschmidt." Aachen : Shaker, 2017. http://d-nb.info/1159836183/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Baier, Christel, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, and Marcus Völp. "Waiting for Locks: How Long Does It Usually Take?" Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-121259.

Full text
Abstract:
Reliability of low-level operating-system (OS) code is an indispensable requirement. This includes functional properties from the safety-liveness spectrum, but also quantitative properties stating, e.g., that the average waiting time on locks is sufficiently small or that the energy requirement of a certain system call is below a given threshold with a high probability. This paper reports on our experiences made in a running project where the goal is to apply probabilistic model checking techniques and to align the results of the model checker with measurements to predict quantitative properties of low-level OS code.
APA, Harvard, Vancouver, ISO, and other styles
29

Baier, Christel, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, and Marcus Völp. "Waiting for Locks: How Long Does It Usually Take?" Technische Universität Dresden, 2012. https://tud.qucosa.de/id/qucosa%3A27128.

Full text
Abstract:
Reliability of low-level operating-system (OS) code is an indispensable requirement. This includes functional properties from the safety-liveness spectrum, but also quantitative properties stating, e.g., that the average waiting time on locks is sufficiently small or that the energy requirement of a certain system call is below a given threshold with a high probability. This paper reports on our experiences made in a running project where the goal is to apply probabilistic model checking techniques and to align the results of the model checker with measurements to predict quantitative properties of low-level OS code.
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography