A design environment for developing and testing concurrent software for embedded control systems

In the context of a trajectory for analysis and design of embedded control systems (ECS), the main focus is put on an approach to concurrent programming in the light of process orientation, in a way which is transparent for the designer - typically a system engineer with a background in control engineering. Due to the nature of real-time applications of ECS's, developers resort to concurrent implementations by the means of multithreaded programming, which leads to unavoidable complexity. The approach presented here relies on a paradigm of compositional programming - in essence, an object-oriented philosophy based on properties of encapsulated, reusable building-blocks applicable not only for software engineering, but as well as for modeling controlled plant and hardware design, actually supporting hardware-software co-design. The building-blocks approach is believed to be capable to manage complexity inherent to ECS's