Abstract
Conference Title: 2017 First International Conference on Latest trends in Electrical Engineering and Computing Technologies (INTELLECT) Conference Start Date: 2017, Nov. 15 Conference End Date: 2017, Nov. 16 Conference Location: Karachi, Pakistan The increasing use of software in Embedded Real-Time Systems (ERTS) has allowed the application of software engineering methods and techniques in their development. In this regard, Service-Oriented Computing (SOC) has previously been used to reduce the development complexity of ERTS. However, the concepts of SOC are mostly used at the implementation level without any focus on system design. To fill this gap, the author has previously developed a meta-model for service-oriented development of ERTS. Although the proposed meta-model allows the high-level modeling of ERTS in terms of service-oriented concepts, it covers only the structural requirements. Therefore, the meta-model is further extended in this paper to include the behavior modeling of the system. The effectiveness of the proposed mechanism is demonstrated with the help of Traffic Light Controller and Arbiter case studies. Following the model-based system engineering process, the high-level models can be transformed into the low-level models.