Monografie
Establishing sufficient temporal independence efficiently : a monitoring approach
- Ausgabe
-
1. Aufl.
- Sprache
-
Englisch
- Umfang
-
202 S.
- Anmerkungen
-
Zugl.: Braunschweig, Techn. Univ., Diss., 2014
- ISBN
-
978-3-95404-801-4
- Identifier
-
1058193414
Thema
Sicherheitskritisches System ; Eingebettetes System ; Echtzeitsystem ; Systemanalyse ; Zeitverhalten ; Worst-Case-Laufzeit ; Fehleranalyse ; Fehlerverhütung ; Spezifikationstechnik ; Verifikation ; Hochschulschrift
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:48 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Performence characterization and sensitivity analysis of real-time embedded systems
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Iterative design space exploration and robustness optimization for embedded systems
Software performance estimation methods for system level design of embedded systems
Modular performance analysis of embedded real-time systems : improving modeling scope and accuracy
From low level to model based and constructive worst case execution time analysis
Advances in computing science - ASIAN '99 : proceedings
Timing model derivation : pipeline analyzer generation from hardware description languages
Eine Pr-T-Netz-basierte, durchgängige Entwurfsmethodik für eingebettete Realzeitsysteme
Heterogeneity in distributed embedded systems : from programming paradigms to testing
Efficiency and predictability in resource sharing multicore systems
Performence characterization and sensitivity analysis of real-time embedded systems
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Iterative design space exploration and robustness optimization for embedded systems
Software performance estimation methods for system level design of embedded systems
Modular performance analysis of embedded real-time systems : improving modeling scope and accuracy
From low level to model based and constructive worst case execution time analysis
Advances in computing science - ASIAN '99 : proceedings
Timing model derivation : pipeline analyzer generation from hardware description languages
Eine Pr-T-Netz-basierte, durchgängige Entwurfsmethodik für eingebettete Realzeitsysteme
Heterogeneity in distributed embedded systems : from programming paradigms to testing
Efficiency and predictability in resource sharing multicore systems
Performence characterization and sensitivity analysis of real-time embedded systems
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Iterative design space exploration and robustness optimization for embedded systems
Software performance estimation methods for system level design of embedded systems
Modular performance analysis of embedded real-time systems : improving modeling scope and accuracy
From low level to model based and constructive worst case execution time analysis
Advances in computing science - ASIAN '99 : proceedings
Timing model derivation : pipeline analyzer generation from hardware description languages
Eine Pr-T-Netz-basierte, durchgängige Entwurfsmethodik für eingebettete Realzeitsysteme
Heterogeneity in distributed embedded systems : from programming paradigms to testing