Hochschulschrift
Static analysis of embedded software with priority scheduling and interrupts
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783843919562
3843919569
- Maße
-
21 cm, 301 g
- Umfang
-
120 S.
- Ausgabe
-
1. Aufl.
- Sprache
-
Deutsch
- Anmerkungen
-
Ill., graph. Darst.
Zugl.: München, Techn. Univ., Diss., 2014
- Schlagwort
-
OSEK
Statische Analyse
Scheduling
Prioritätsregel
Interrupt
Synchronisierung
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:05 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Schwarz, Martin D.
- Verl. Dr. Hut
Entstanden
- 2015
Ähnliche Objekte (12)
Aspects of online routing and scheduling
Static flow instabilities in plate-fin heat exchangers
Interactive acquisition scheduling for low earth orbiting satellites
Synthesis of online diagnostic techniques for embedded systems
Software performance estimation methods for system level design of embedded systems
Integrating formal verification into the model-based development of adaptive embedded systems
Strukturdynamische Fehlermodellierung mikromechanischer Drehratensensoren für den Einsatz in der inertialen Navigation
PORTNEUF - a framework for continuous user involvement
Transdisziplinäre Planung und Synchronisation mechatronischer Produktentwicklungsprozesse
Regioselektive, Pd(0)-katalysierte Kreuzkupplungen und deren Anwendung in der Totalsynthese von (+)-Rubifolid
Dynamic thermal modeling for moving objects on the moon
Analyse des Depositionsverhaltens bei staubförmiger Kohleverbrennung unter Berücksichtigung der Partikelfragmentation
Aspects of online routing and scheduling
Static flow instabilities in plate-fin heat exchangers
Interactive acquisition scheduling for low earth orbiting satellites
Synthesis of online diagnostic techniques for embedded systems
Software performance estimation methods for system level design of embedded systems
Integrating formal verification into the model-based development of adaptive embedded systems
Strukturdynamische Fehlermodellierung mikromechanischer Drehratensensoren für den Einsatz in der inertialen Navigation
PORTNEUF - a framework for continuous user involvement
Transdisziplinäre Planung und Synchronisation mechatronischer Produktentwicklungsprozesse
Regioselektive, Pd(0)-katalysierte Kreuzkupplungen und deren Anwendung in der Totalsynthese von (+)-Rubifolid
Dynamic thermal modeling for moving objects on the moon
Analyse des Depositionsverhaltens bei staubförmiger Kohleverbrennung unter Berücksichtigung der Partikelfragmentation
Aspects of online routing and scheduling
Static flow instabilities in plate-fin heat exchangers
Interactive acquisition scheduling for low earth orbiting satellites
Synthesis of online diagnostic techniques for embedded systems
Software performance estimation methods for system level design of embedded systems
Integrating formal verification into the model-based development of adaptive embedded systems
Strukturdynamische Fehlermodellierung mikromechanischer Drehratensensoren für den Einsatz in der inertialen Navigation
PORTNEUF - a framework for continuous user involvement
Transdisziplinäre Planung und Synchronisation mechatronischer Produktentwicklungsprozesse
Regioselektive, Pd(0)-katalysierte Kreuzkupplungen und deren Anwendung in der Totalsynthese von (+)-Rubifolid
Dynamic thermal modeling for moving objects on the moon