Hochschulschrift
Static analysis of embedded software with priority scheduling and interrupts
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783843919562
3843919569
- Dimensions
-
21 cm, 301 g
- Extent
-
120 S.
- Edition
-
1. Aufl.
- Language
-
Deutsch
- Notes
-
Ill., graph. Darst.
Zugl.: München, Techn. Univ., Diss., 2014
- Keyword
-
OSEK
Statische Analyse
Scheduling
Prioritätsregel
Interrupt
Synchronisierung
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:05 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Schwarz, Martin D.
- Verl. Dr. Hut
Time of origin
- 2015
Other Objects (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