Implementing real-time Linux - Linux is designed to work in general use with a round-robin process scheduling. For embedded systems, a real-time response becomes critically important. Wescon employs interrupt-driven HAL to give Linux real-time performance.

2

Implementing real-time network - real-time operating system without a real-time network in modern embedded systems is almost unheard of. Wescon employs TDMA to achieve sub-millisecond time precision data delivery.

3

A well-designed system provably meets its design requirement employing "logic model checking" - A system is correct if it meets its design requirements. There are fundamental problems, related to both the limited controllability of events in distributed system executions and to the limited observability of those events. Wescon uses logic model checking methods to check the correctness of software designs. The design models are verified.

4

Run-time emulation of legacy code - There are many existing important applications that cannot run because their original hardware environments are obsolete. Building an emulation environment under new hardware enable these applications continue to produce results.

5

Fault-tolerant computing - in electrical power substations, continuing operations of controllers are directly tied to human lives and state economy. Wescon applies fault-tolerant computing architecture to embedded controllers to allow non-stop operations.