By Topic

The ARIES Simulation Component (ASC)

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

1 Author(s)
Benner, K.M. ; Inf. Sci. Inst., Univ. of Southern California, Marina del Rey, CA, USA

The ARIES Simulation Component (ASC) is a tool for the validation of behaviors described by an evolving specification which may be incomplete, inconsistent, and/or ambiguous. ASC does this by the formalization of an analyst's focus, the introduction of approximations to abstract away parts of the specification unrelated to the current focus, and the automated execution of a specification of various levels of abstraction with respect to this focus. This paper describes how ASC is able to bound a large and potentially incomplete behavior space of a specification under development in a well disciplined manner such that validation techniques (in this case simulation) which are most effective on small behavior spaces are tractable. This work is a step along a path toward the scaling of dynamic analysis techniques to real-world sized problems

Published in:

Knowledge-Based Software Engineering Conference, 1993. Proceedings., Eighth

Date of Conference:

20-23 Sep 1993