MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded Systems

Wang Yi, Chengzi Huang, Behnam Khodabandeloo +1

Despite decades of progress in model-based methods and tools for embedded real-time systems, there is still no integrated environment that supports the entire development lifecycle…