Model Based Software Timing Analysis Using Sequence Diagramfor Commercial Applications
Journal Title: IOSR Journals (IOSR Journal of Computer Engineering) - Year 2015, Vol 17, Issue 3
Abstract
Abstract: The verification of running time of a program is necessary in designing a system with real lifeconstrain. Verification defines lower and upper bounds which reflects control flow that depends on data as wellas instruction times execution. In previous days, the bounds were very wide due to a lack of efficient controlflow analysis and architectural modeling techniques. But in present days, significant progress have beenoccurred in both areas in a way such that execution cost of formal software analysis has become morepractical. In previous days various work has been done on code based complexity analysis for embeddedsoftware. This type of analysis is called as worst case execution time analysis(WCET). In our research we areapplying the concept of timing analysis for UML model based timing analysis, by which we can minimize theeffort of calculating timing from code snippet and it will also help the developer to identify the timingrequirement since requirement stage
Authors and Affiliations
Hrishikesh Mukherjee , Shrimann Upadhyay , Arup Abhinaa Achariya
Keywords
Related Articles
- EP ID EP142818
- DOI -
- Views 89
- Downloads 0
Development of Virtual Computing Lab Using Private Cloud
Abstract: Virtual Computing Lab (VCL) is a very effective answer for the educational institution to meet the increasing demand of physical machines, different computational laboratories and large number of users in alimi...
Performance Evaluation of Soft RoCE over 1 Gigabit Ethernet
Ethernet is most influential & widely used technology in the world. With the growing demand of low latency & high throughput technologies like InfiniBand and RoCE have evolved with unique features viz. RD...
Comparative study of two methods for Handwritten Devanagari Numeral Recognition
In this paper two different methods for Numeral Recognition are proposed and their results are compared. The objective of this paper is to provide an efficient and reliable method for recognition of handwritten...
A Survey and Study of Image Compression Methods
Abstract: This paper focuses on the area of Image Compression which is used in various Image Processing Applications. This paper presents a survey and study of various image compression techniques primarily, The Pr...
http://publishers.indexcopernicus.com/edit_journal_listissues.php
Abstract : The emerging ultra wideband (UWB) system offers a great potential for the design of high speed short-range wireless communications. In order to satisfy the growing demand for higher data rates, one possi...