The ARIES Simulation Component (ASC)

Author

Benner, Kevin M.

Author_Institution

Inf. Sci. Inst., Univ. of Southern California, Marina del Rey, CA, USA

fYear

1993

fDate

20-23 Sep 1993

Firstpage

40

Lastpage

49

Abstract

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

Keywords

computer aided software engineering; formal specification; program verification; ARIES Simulation Component; ASC; abstraction; behavior space; behavior validation; dynamic analysis techniques; evolving specification; real-world sized problems; small behavior spaces; validation techniques; Analytical models; Contracts; Discrete event simulation; Laboratories; Milling machines; Prototypes; Software prototyping; Specification languages;

fLanguage

English

Publisher

ieee

Conference_Titel

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

Conference_Location

Chicago, IL

ISSN

1068-3062

Print_ISBN

0-8186-4100-2

Type

conf

DOI

10.1109/KBSE.1993.341199

Filename

341199