This PROGRESS project (TES.5224) traces a design framework for implementing embedded real-time software for control applications by exploiting its natural concurrency. The paper illustrates the stage of yielded automation in the process of structuring complex control software architectures, modeling controlled mechatronic systems and designing corresponding control laws, simulating them, generating control code out of simulated control strategy and implementing the software system on a (embedded) computer. The gap between the development of control strategies and the procedures of implementing them on chosen hardware targets is going to be overcome.
|Title of host publication||Proceedings of the 4th PROGRESS Symposium on Embedded Systems 2003|
|Place of Publication||Nieuwegein, The Netherlands|
|Number of pages||8|
|Publication status||Published - 22 Oct 2003|
|Event||4th PROGRESS Symposium on Embedded Systems 2003 - Nieuwegein, Netherlands|
Duration: 22 Oct 2003 → 22 Oct 2003
Conference number: 4
|Conference||4th PROGRESS Symposium on Embedded Systems 2003|
|Period||22/10/03 → 22/10/03|
- Embedded control systems design
- Design tools
- Software specification
- Mode switching
Jovanovic, D. S., Hilderink, G. H., & Broenink, J. F. (2003). On properties of modeling control software for embedded control applications with CSP/CT framework. In Proceedings of the 4th PROGRESS Symposium on Embedded Systems 2003 (pp. 122-129). Nieuwegein, The Netherlands: STW.