Fault-Tolerant Embedded Software Development Based on Components

Nicolae Marian (Foredragsholder)

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed


The growing complexity makes more complicated the development of embedded software for control systems if a rigorous engineering approach towards embedded software development is not used, i.e. component-based design and verification of embedded software. Exhaustively checking of real-time behavior in embedded systems is computationally intractable, therefore assurance of services and safe system operation requires a combination of methods such as formal verification and fault-tolerant techniques, to statically check properties such as safety and temporal, or provide mechanisms for run-time monitoring and healing, by automatically examination of some possible failure scenarios.
Emneord: embedded systems, component-based design, frameworks, fault-tolerant, verification
Periode18. maj 2005
BegivenhedstitelConference on Computer Integrated Manufacturing: null
PlaceringGliwice, Polen