Aktivitet: Foredrag og mundtlige bidrag › Foredrag 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
18. maj 2005
Conference on Computer Integrated Manufacturing: null