ProMARTES: Performance Analysis Method and Toolkit for Real-Time Systems

Author(s):  
Konstantinos Triantafyllidis ◽  
Egor Bondarev ◽  
Peter H. N. de With
2018 ◽  
Vol 27 (10) ◽  
pp. 1850165
Author(s):  
Meiling Han ◽  
Tianyu Zhang ◽  
Yuhan Lin ◽  
Zhiwei Feng ◽  
Qingxu Deng

The increasing demands for processor performance are driving system designers to adopt multiprocessors. In this paper, we study global fixed priority scheduling in multiprocessor real-time systems and introduce a technique for improving the schedulability. The key idea is to construct execution dependency for selected tasks to leverage slack time and reduce the interference between high-priority and low-priority tasks. Thus, more lower-priority tasks are enabled to be scheduled. Further, we provide a response time analysis method which takes the execution constraint of tasks into consideration. Extensive simulation results indicate that the proposed approach outperforms existing work in terms of acceptance ratio.


Computers ◽  
2020 ◽  
Vol 9 (4) ◽  
pp. 94
Author(s):  
Tanuja Shailesh ◽  
Ashalatha Nayak ◽  
Devi Prasad

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.


1996 ◽  
Vol 29 (7) ◽  
pp. 295-300
Author(s):  
Blaž Zupan ◽  
Marko Bohanec ◽  
Albert Mo Kim Cheng

2008 ◽  
Vol 13 (1-2) ◽  
pp. 27-49 ◽  
Author(s):  
Simon Perathoner ◽  
Ernesto Wandeler ◽  
Lothar Thiele ◽  
Arne Hamann ◽  
Simon Schliecker ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document