Cart (Loading....) | Create Account
Close category search window

Formal Aspects of Specification and Validation of Dynamic Adaptive System by Analyzing Execution Traces

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Mishra, A. ; Comput. Sci. & Eng. Dept., Motilal Nehru Nat. Inst. of Technol. (MNNIT), Allahabad, India ; Misra, A.K.

Changes due to new upgrades in the software which is having several concurrently running components are certain to impact the existing system's execution and performance. The present paper defines a formal approach that can be applied for validation of the system after component integration in the dynamic adaptive environment. One important means of assuring the validation of such system is through analyzing interactions among different components in the multithreaded environment. A technique has been proposed and developed to capture the run-time components interactions using. NET CLR mechanism, which has been able to successfully capture the interactions among components across all application threads which are running concurrently. Captured components interactions are traced into formal method based on pi-calculus and pi-calculus specifications of the system have been validated by Mobility Workbench (MWB). A case study has been presented on multithreaded dynamic-adaptive system.

Published in:

Engineering of Autonomic and Autonomous Systems (EASe), 2011 8th IEEE International Conference and Workshops on

Date of Conference:

27-29 April 2011

Need Help?

IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.