Model Based Software Development of Non-preemptive Multi-tasking System

A method of modeling, simulation and auto-coding of OSEK compliant software for embedded application with non-preemptive multitasking is presented in this paper. The system services and the application programming interfaces (APIs) of the operating system (OS) has been modeled in Matlabreg environment. The application layer model uses the OS interfaces and simulates the functionality along with interaction with operating system so that the design can be verified before the implementation. The paper discusses the challenges of modeling and simulating the OS interactions and demonstrates the example models developed and the experiences. Also, an overview of the model based software development process is portrayed