Safety Licensing and Formal Correctness of High Integrity Embedded Systems.

Published in: NATO ASI RTC (1992)

Keyphrases

embedded systems
safety critical
low cost
computing power
embedded devices
resource limited
real time systems
embedded software
processing power
hardware software
field programmable gate array
real time image processing
software systems
embedded real time systems
formal methods
integrity constraints
petri net