Abstract
This study is concerned with using Unified Modeling Language (UML) model and the UML profile for Modeling and Analysis of Real-Time and Embedded (MARTE) systems to depict a Time-Constrained System (TCS). To perform system formal analysis, TCS models are transformed to Timed Communicating Object Z (TCOZ) specifications. The mapping rules for the modeling elements especially time-related issues are given at meta-model level. Static model, dynamic model and MARTE stereotypes in TCS models can be transformed to TCOZ models respectively. These models are composed together to complete specifications according to some rules. Hence the dependability of the TCS can be checked through the reasoning mechanism in TCOZ. A case study shows the applicability and feasibility of our approach.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Research Journal of Applied Sciences, Engineering and Technology
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
