.:: Columbus ::. Design of Embedded Controllers for Safety Critical Systems

Cover Welcome to Columbus Table of Contents Contact

Table of Contents

	Welcome
	Introduction and overview
r
	Modeling techniques, design toolsets and interchange formats for hybrid systems
	Platform-Based Design
	Heterogeneous synchronous/asynchronous systems and correct-by-construction deployment
	Stochastic control and analysis of hybrid systems
f
	Overview of the consortium and management structure
	Dissemination and documentation
s

	Actions
	Browse the latest version of COLUMBUS web site on line (internet access required)
	Browse printable version of the final report documents