An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri Net
Performance is a critical non-functional parameter for real-time systems and performance analysis is an important task making it more challenging for complex real-time systems. Mostly performance analysis is performed after the system development but an early stage analysis and validation of perform...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2020-11-01
|
| Series: | Computers |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2073-431X/9/4/94 |
| _version_ | 1797546527161319424 |
|---|---|
| author | Tanuja Shailesh Ashalatha Nayak Devi Prasad |
| author_facet | Tanuja Shailesh Ashalatha Nayak Devi Prasad |
| author_sort | Tanuja Shailesh |
| collection | DOAJ |
| description | Performance is a critical non-functional parameter for real-time systems and performance analysis is an important task making it more challenging for complex real-time systems. Mostly performance analysis is performed after the system development but an early stage analysis and validation of performance using system models can improve the system quality. In this paper, we present an early stage automated performance evaluation methodology to analyse system performance using the UML sequence diagram model annotated with modeling and analysis of real-time and embedded systems (MARTE) profile. MARTE offers a performance domain sub-profile that is used for representing real-time system properties essential for performance evaluation. In this paper, a transformation technique and transformation rules are proposed to map the UML sequence diagram model into a Generalized Stochastic Timed Petri net model. All the transformation rules are implemented using a metamodel based approach and Atlas Transformation Language (ATL). A case study from the manufacturing domain a Kanban system is used for validating the proposed technique. |
| first_indexed | 2024-03-10T14:31:04Z |
| format | Article |
| id | doaj.art-5fccf7e54e3a407c8cb83c4463e7426d |
| institution | Directory Open Access Journal |
| issn | 2073-431X |
| language | English |
| last_indexed | 2024-03-10T14:31:04Z |
| publishDate | 2020-11-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Computers |
| spelling | doaj.art-5fccf7e54e3a407c8cb83c4463e7426d2023-11-20T22:34:26ZengMDPI AGComputers2073-431X2020-11-01949410.3390/computers9040094An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri NetTanuja Shailesh0Ashalatha Nayak1Devi Prasad2Department of Computer Science and Engineering, Manipal Institute of Technology, Manipal Academy of Higher Education, Manipal 576104, IndiaDepartment of Computer Science and Engineering, Manipal Institute of Technology, Manipal Academy of Higher Education, Manipal 576104, IndiaSoftware Consultant, Manipal 576104, IndiaPerformance is a critical non-functional parameter for real-time systems and performance analysis is an important task making it more challenging for complex real-time systems. Mostly performance analysis is performed after the system development but an early stage analysis and validation of performance using system models can improve the system quality. In this paper, we present an early stage automated performance evaluation methodology to analyse system performance using the UML sequence diagram model annotated with modeling and analysis of real-time and embedded systems (MARTE) profile. MARTE offers a performance domain sub-profile that is used for representing real-time system properties essential for performance evaluation. In this paper, a transformation technique and transformation rules are proposed to map the UML sequence diagram model into a Generalized Stochastic Timed Petri net model. All the transformation rules are implemented using a metamodel based approach and Atlas Transformation Language (ATL). A case study from the manufacturing domain a Kanban system is used for validating the proposed technique.https://www.mdpi.com/2073-431X/9/4/94software engineeringtimed petri netsUMLmetamodelperformance evaluationPIPE |
| spellingShingle | Tanuja Shailesh Ashalatha Nayak Devi Prasad An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri Net Computers software engineering timed petri nets UML metamodel performance evaluation PIPE |
| title | An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri Net |
| title_full | An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri Net |
| title_fullStr | An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri Net |
| title_full_unstemmed | An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri Net |
| title_short | An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri Net |
| title_sort | uml based performance evaluation of real time systems using timed petri net |
| topic | software engineering timed petri nets UML metamodel performance evaluation PIPE |
| url | https://www.mdpi.com/2073-431X/9/4/94 |
| work_keys_str_mv | AT tanujashailesh anumlbasedperformanceevaluationofrealtimesystemsusingtimedpetrinet AT ashalathanayak anumlbasedperformanceevaluationofrealtimesystemsusingtimedpetrinet AT deviprasad anumlbasedperformanceevaluationofrealtimesystemsusingtimedpetrinet AT tanujashailesh umlbasedperformanceevaluationofrealtimesystemsusingtimedpetrinet AT ashalathanayak umlbasedperformanceevaluationofrealtimesystemsusingtimedpetrinet AT deviprasad umlbasedperformanceevaluationofrealtimesystemsusingtimedpetrinet |