Computer Science – Software Engineering
Scientific paper
Oct 1998
adsabs.harvard.edu/cgi-bin/nph-data_query?bibcode=1998stin...9921052s&link_type=abstract
Technical Report, Colorado Univ. Colorado Springs, CO United States Dept. of Computer Science
Computer Science
Software Engineering
Software Engineering, Computer Programming, Functional Design Specifications, Proving, Synchronism, Stochastic Processes, Refining, Exclusion
Scientific paper
This research has been conducted at the Computational Sciences Division of the Information Sciences Directorate at Ames Research Center (Automated Software Engineering Grp). The principle work this summer has been to review and refine the agenda that were carried forward from last summer. Formal specifications provide good support for designing a functionally correct system, however they are weak at incorporating non-functional performance requirements (like reliability). Techniques which utilize stochastic Petri nets (SPNs) are good for evaluating the performance and reliability for a system, but they may be too abstract and cumbersome from the stand point of specifying and evaluating functional behavior. Therefore, one major objective of this research is to provide an integrated approach to assist the user in specifying both functionality (qualitative: mutual exclusion and synchronization) and performance requirements (quantitative: reliability and execution deadlines). In this way, the merits of a powerful modeling technique for performability analysis (using SPNs) can be combined with a well-defined formal specification language. In doing so, we can come closer to providing a formal approach to designing a functionally correct system that meets reliability and performance goals.
No associations
LandOfFree
Composing, Analyzing and Validating Software Models does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Composing, Analyzing and Validating Software Models, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Composing, Analyzing and Validating Software Models will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-1101278