Steps Towards Proven Secure Embedded Systems


International Conference on Advances in Infrastructure for Electronic Business, Science and Education on the Internet (SSGRR 2001)
L'Aquila, Italy, August 6-12, 2001


Ewald von Puttkamer


An architecture for embedded systems is introduced using functional units with encapsulated functions on board. These units are strung together via busses in a multiprocessor system governed by black board units for the control of data exchange. The black board units each control a bus. The semantics of data on a bus are standardized. Data exchange between functions at the same bus occurs via a black board inside the controlling unit. The software in the units is copy and tamper proof and part of the computer.

Paper (pdf)



Back to Publications