Monografie
A formal fault model for component based models of embedded systems
- Sprache
-
Englisch
- Anmerkungen
-
Chemnitz, Techn. Univ., Diss., 2006
- Identifier
-
989524019
Thema
Mehrprozessorsystem ; Fehlermodell ; Model Checking ; Bisimulation ; Eingebettetes System; Fehlertoleranz; Informatik; Pi-Kalkül; Prozessalgebra; Systemmodell; Technische Informatik; Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:54 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
A formal framework for modelling component extension and layers in distributed embedded systems
Verification of software for Contiki-based low-power embedded systems using software model checking
Model checking compositional Markov systems
Design concepts for a virtualizable embedded MPSoC architecture : enabling virtualization in embedded multi-processor systems
Formal techniques in real time and fault tolerant systems : 7th international symposium ; proceedings
Efficiency and predictability in resource sharing multicore systems
A flexible multi-processor system-on-a-chip architecture for safety- and security-critical applications
Design and performance analysis of multiprocessor streaming applications
Dependability engineering
Integrating formal verification into the model-based development of adaptive embedded systems
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Formal methods for industrial critical systems : 14th international workshop ; proceedings
A formal framework for modelling component extension and layers in distributed embedded systems
Verification of software for Contiki-based low-power embedded systems using software model checking
Model checking compositional Markov systems
Design concepts for a virtualizable embedded MPSoC architecture : enabling virtualization in embedded multi-processor systems
Formal techniques in real time and fault tolerant systems : 7th international symposium ; proceedings
Efficiency and predictability in resource sharing multicore systems
A flexible multi-processor system-on-a-chip architecture for safety- and security-critical applications
Design and performance analysis of multiprocessor streaming applications
Dependability engineering
Integrating formal verification into the model-based development of adaptive embedded systems
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Formal methods for industrial critical systems : 14th international workshop ; proceedings
A formal framework for modelling component extension and layers in distributed embedded systems
Verification of software for Contiki-based low-power embedded systems using software model checking
Model checking compositional Markov systems
Design concepts for a virtualizable embedded MPSoC architecture : enabling virtualization in embedded multi-processor systems
Formal techniques in real time and fault tolerant systems : 7th international symposium ; proceedings
Efficiency and predictability in resource sharing multicore systems
A flexible multi-processor system-on-a-chip architecture for safety- and security-critical applications
Design and performance analysis of multiprocessor streaming applications
Dependability engineering
Integrating formal verification into the model-based development of adaptive embedded systems
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings