ANN: WhatOs + AutoState embedded system solution

Mircea Hossu
Mon, 10 May 2004 03:18:52 -0400 (EDT)

WhatOS embedded system solution now incorporates AutoState, a
general-purpose state machine source-code generator based on binary
decision diagrams.

New in 1.1

* AutoState state machine C source code generation and verification
  (graphical simulation provided by WhatOS)

* Much easier installation and usage

* Two graphical demos (can be used as starter applications)


WhatOS is a free open source embedded system development solution. It
provides a complete set of tools for creating high-quality, reliable
embedded systems. These include: a real-time operating system (RTOS)
generator, a graphical simulator for testing and debugging generated
systems, and tools for interacting with systems remotely after they
have been embedded.

WhatOS generates a finite-state machine (FSM) operating system that is
architecture independent and can run on processors as small as
resource-limited 8-bit microcontrollers.

Key features

* User friendly thanks to Python (primary API).

* Automated testing thanks to Python's doctest and unit test.

* Modular -- plug and play tasks without breaking the whole system;
  easily share device drivers, network protocols, etc.

* Write tasks in C (C API).

* Graphical simulator.

* Uses friendly a-a-p recipes instead of make files. (

* Host platform independence (currently Linux and Windows-Cygwin).

* Target architecture independence. Change the target processor late
  in the design cycle with minimum penalty.

* Do anything else you want -- use Python's comprehensive libraries
  and Python community software.