Performance analysis tool for cache-based real-time systems with preemptions

2002 ◽  
Author(s):  
J. Simonson ◽  
J.H. Patel
Keyword(s):  
Performance Analysis ◽  
Real Time ◽  
Analysis Tool ◽  
Real Time Systems ◽  
Time Systems

scholarly journals An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri Net

Computers ◽  
2020 ◽  
Vol 9 (4) ◽  
pp. 94
Author(s):  
Tanuja Shailesh ◽  
Ashalatha Nayak ◽  
Devi Prasad
Keyword(s):  
Performance Evaluation ◽  
Performance Analysis ◽  
Real Time ◽  
Petri Net ◽  
Early Stage ◽  
Sequence Diagram ◽  
Real Time Systems ◽  
Transformation Rules ◽  
Uml Sequence Diagram ◽  
Time Systems

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.

scholarly journals Influence of different abstractions on the performance analysis of distributed hard real-time systems

2008 ◽  
Vol 13 (1-2) ◽  
pp. 27-49 ◽  
Author(s):  
Simon Perathoner ◽  
Ernesto Wandeler ◽  
Lothar Thiele ◽  
Arne Hamann ◽  
Simon Schliecker ◽  
...  
Keyword(s):  
Performance Analysis ◽  
Real Time ◽  
Real Time Systems ◽  
Hard Real Time ◽  
Time Systems

Formal Analysis of Real-Time Systems

2011 ◽  
pp. 342-375
Author(s):  
Osman Hasan ◽  
Sofiène Tahar
Keyword(s):  
Performance Analysis ◽  
Real Time ◽  
Formal Analysis ◽  
Higher Order ◽  
Order Logic ◽  
Real Time Systems ◽  
Higher Order Logic ◽  
Distributed Components ◽  
And Performance ◽  
Time Systems

Real-time systems usually involve a subtle interaction of a number of distributed components and have a high degree of parallelism, which makes their performance analysis quite complex. Thus, traditional techniques, such as simulation, or state-based formal methods usually fail to produce reasonable results. The main limitation of these approaches may be overcome by conducting the performance analysis of real-time systems using higher-order-logic theorem proving. This chapter is mainly oriented towards this emerging trend and it provides the details about analyzing both functional and performance related properties of real-time systems using a higher-order-logic theorem prover (HOL). For illustration purposes, the Stop-and-Wait protocol, which is a classical example of real-time systems, has been considered as a case-study.

Performance Analysis of Preemptive Based Uniprocessor Scheduling

2016 ◽  
Vol 6 (4) ◽  
pp. 1489 ◽  
Author(s):  
M Shanmugasundaram ◽  
R Kumar ◽  
Harish M Kittur
Keyword(s):  
Performance Analysis ◽  
Response Time ◽  
Real Time ◽  
Time Constraints ◽  
Real Time Systems ◽  
Real Time Scheduling ◽  
Analysis Methodology ◽  
Time Scheduling ◽  
Time Systems ◽  
Uniprocessor Scheduling

All the real-time systems are bound with response time constraints, or else, there is a risk of  severe consequences, which includes failure. The System will fail when not able to meet the requirements according to the specifications. The problem of real-time scheduling is very vast, ranging from uni-processor to complicated-multiprocessor. In this paper, we have compared the performance of real-time tasks that should be scheduled properly, to get optimum performance. Analysis methodology and the concept of optimization leads to the design of appropriate scheduling. We have done  the analysis among RM and EDF algorithm that are important for scheduling in uni-processor.

Sign in / Sign up

Export Citation Format

Share Document