Esterel is a system-design language that can be used to generate complex state machines automatically. This article offers an overview of the syntax and usage.
This language is billed as a a "Synchronous Reactive Programming Language". I don't do much with embedded systems these days, but I thought the language was kind of interesting in it's approach to real time control and the complexity involved with handling events and synchronization.
Posted to general by Chris Rathman on 11/1/01; 2:04:33 PM