ASADAL/SIM: An incremental multi-level simulation and analysis tool for real-time software specifications

Kyo C. Kang, Kwan W. Lee, Ji Y. Lee, Jeonghyun Kim

Research output: Contribution to journalArticle

5 Citations (Scopus)

Abstract

Despite considerable advancement in software engineering methods during the past three decades, requirements engineering of large and complex software systems still remains a difficult and active research problem. One such difficulty lies in developing correct and useful methods for the validation and verification of real-time software specifications. One way of analyzing and validating/verifying software specifications is to mathematically derive or prove desired system properties based on formal specification languages. A full scale system analysis using such formal methods is limited in practice because of the required mathematical skills and computational costs. Formal methods are often used to check only a few very critical real-time properties. Simulation is a complementary approach to testing various system characteristics and validating user requirements. It is especially good for providing a rough picture of final system behavior. This paper presents ASADAL/SIM, a tool for multi-level simulation and analysis of real-time software specifications. It is a subsystem of a larger computer-aided real-time software development environment called ASADAL, and complements ASADAL/PROVER, another subsystem of ASA-DAL which is a formal verification module. 1 With ASADAL/SIM, simulation primitives can be added to evolving specifications in order to assign stochastic behaviors to external entities and internal processes, and to build a simulation model. ASADAL/SIM can execute the model and, at the same time, demonstrate the final system behavior by graphically showing internal workings of the system; catch undesirable system behaviors with breakpoints; and present various analytical results and system statistics. ASADAL/SIM, following ASADAL's philosophies of hierarchical system modeling and early system validation, allows users to simulate 'evolving' specifications at different, mixed, and wide levels of detail. In particular, algorithmic details may be specified for low level behavioral blocks, and simulated with abstract entities yet to be refined to such a level. This facilitates the tracking of critical data values at the specification level, and eases the next transformation into code level implementation. With ASADAL/SIM, ASADAL becomes an effective and comprehensive supporting tool for various existing software engineering approaches, particularly top-down refinement and incremental development practices.

Original languageEnglish
Pages (from-to)445-462
Number of pages18
JournalSoftware - Practice and Experience
Volume28
Issue number4
Publication statusPublished - 1998 Apr 10
Externally publishedYes

Fingerprint

Specifications
Software engineering
Formal methods
Hierarchical systems
Specification languages
Requirements engineering
Systems analysis
Statistics
Testing
Costs

Keywords

  • Incremental development
  • Real-time systems
  • Requirements analysis
  • Specification execution
  • Statechart
  • Validation and verification

ASJC Scopus subject areas

  • Computer Graphics and Computer-Aided Design
  • Software

Cite this

ASADAL/SIM : An incremental multi-level simulation and analysis tool for real-time software specifications. / Kang, Kyo C.; Lee, Kwan W.; Lee, Ji Y.; Kim, Jeonghyun.

In: Software - Practice and Experience, Vol. 28, No. 4, 10.04.1998, p. 445-462.

Research output: Contribution to journalArticle

@article{97ad36a3ebe34bb5ba169fb59be4a7c0,
title = "ASADAL/SIM: An incremental multi-level simulation and analysis tool for real-time software specifications",
abstract = "Despite considerable advancement in software engineering methods during the past three decades, requirements engineering of large and complex software systems still remains a difficult and active research problem. One such difficulty lies in developing correct and useful methods for the validation and verification of real-time software specifications. One way of analyzing and validating/verifying software specifications is to mathematically derive or prove desired system properties based on formal specification languages. A full scale system analysis using such formal methods is limited in practice because of the required mathematical skills and computational costs. Formal methods are often used to check only a few very critical real-time properties. Simulation is a complementary approach to testing various system characteristics and validating user requirements. It is especially good for providing a rough picture of final system behavior. This paper presents ASADAL/SIM, a tool for multi-level simulation and analysis of real-time software specifications. It is a subsystem of a larger computer-aided real-time software development environment called ASADAL, and complements ASADAL/PROVER, another subsystem of ASA-DAL which is a formal verification module. 1 With ASADAL/SIM, simulation primitives can be added to evolving specifications in order to assign stochastic behaviors to external entities and internal processes, and to build a simulation model. ASADAL/SIM can execute the model and, at the same time, demonstrate the final system behavior by graphically showing internal workings of the system; catch undesirable system behaviors with breakpoints; and present various analytical results and system statistics. ASADAL/SIM, following ASADAL's philosophies of hierarchical system modeling and early system validation, allows users to simulate 'evolving' specifications at different, mixed, and wide levels of detail. In particular, algorithmic details may be specified for low level behavioral blocks, and simulated with abstract entities yet to be refined to such a level. This facilitates the tracking of critical data values at the specification level, and eases the next transformation into code level implementation. With ASADAL/SIM, ASADAL becomes an effective and comprehensive supporting tool for various existing software engineering approaches, particularly top-down refinement and incremental development practices.",
keywords = "Incremental development, Real-time systems, Requirements analysis, Specification execution, Statechart, Validation and verification",
author = "Kang, {Kyo C.} and Lee, {Kwan W.} and Lee, {Ji Y.} and Jeonghyun Kim",
year = "1998",
month = "4",
day = "10",
language = "English",
volume = "28",
pages = "445--462",
journal = "Software - Practice and Experience",
issn = "0038-0644",
publisher = "John Wiley and Sons Ltd",
number = "4",

}

TY - JOUR

T1 - ASADAL/SIM

T2 - An incremental multi-level simulation and analysis tool for real-time software specifications

AU - Kang, Kyo C.

AU - Lee, Kwan W.

AU - Lee, Ji Y.

AU - Kim, Jeonghyun

PY - 1998/4/10

Y1 - 1998/4/10

N2 - Despite considerable advancement in software engineering methods during the past three decades, requirements engineering of large and complex software systems still remains a difficult and active research problem. One such difficulty lies in developing correct and useful methods for the validation and verification of real-time software specifications. One way of analyzing and validating/verifying software specifications is to mathematically derive or prove desired system properties based on formal specification languages. A full scale system analysis using such formal methods is limited in practice because of the required mathematical skills and computational costs. Formal methods are often used to check only a few very critical real-time properties. Simulation is a complementary approach to testing various system characteristics and validating user requirements. It is especially good for providing a rough picture of final system behavior. This paper presents ASADAL/SIM, a tool for multi-level simulation and analysis of real-time software specifications. It is a subsystem of a larger computer-aided real-time software development environment called ASADAL, and complements ASADAL/PROVER, another subsystem of ASA-DAL which is a formal verification module. 1 With ASADAL/SIM, simulation primitives can be added to evolving specifications in order to assign stochastic behaviors to external entities and internal processes, and to build a simulation model. ASADAL/SIM can execute the model and, at the same time, demonstrate the final system behavior by graphically showing internal workings of the system; catch undesirable system behaviors with breakpoints; and present various analytical results and system statistics. ASADAL/SIM, following ASADAL's philosophies of hierarchical system modeling and early system validation, allows users to simulate 'evolving' specifications at different, mixed, and wide levels of detail. In particular, algorithmic details may be specified for low level behavioral blocks, and simulated with abstract entities yet to be refined to such a level. This facilitates the tracking of critical data values at the specification level, and eases the next transformation into code level implementation. With ASADAL/SIM, ASADAL becomes an effective and comprehensive supporting tool for various existing software engineering approaches, particularly top-down refinement and incremental development practices.

AB - Despite considerable advancement in software engineering methods during the past three decades, requirements engineering of large and complex software systems still remains a difficult and active research problem. One such difficulty lies in developing correct and useful methods for the validation and verification of real-time software specifications. One way of analyzing and validating/verifying software specifications is to mathematically derive or prove desired system properties based on formal specification languages. A full scale system analysis using such formal methods is limited in practice because of the required mathematical skills and computational costs. Formal methods are often used to check only a few very critical real-time properties. Simulation is a complementary approach to testing various system characteristics and validating user requirements. It is especially good for providing a rough picture of final system behavior. This paper presents ASADAL/SIM, a tool for multi-level simulation and analysis of real-time software specifications. It is a subsystem of a larger computer-aided real-time software development environment called ASADAL, and complements ASADAL/PROVER, another subsystem of ASA-DAL which is a formal verification module. 1 With ASADAL/SIM, simulation primitives can be added to evolving specifications in order to assign stochastic behaviors to external entities and internal processes, and to build a simulation model. ASADAL/SIM can execute the model and, at the same time, demonstrate the final system behavior by graphically showing internal workings of the system; catch undesirable system behaviors with breakpoints; and present various analytical results and system statistics. ASADAL/SIM, following ASADAL's philosophies of hierarchical system modeling and early system validation, allows users to simulate 'evolving' specifications at different, mixed, and wide levels of detail. In particular, algorithmic details may be specified for low level behavioral blocks, and simulated with abstract entities yet to be refined to such a level. This facilitates the tracking of critical data values at the specification level, and eases the next transformation into code level implementation. With ASADAL/SIM, ASADAL becomes an effective and comprehensive supporting tool for various existing software engineering approaches, particularly top-down refinement and incremental development practices.

KW - Incremental development

KW - Real-time systems

KW - Requirements analysis

KW - Specification execution

KW - Statechart

KW - Validation and verification

UR - http://www.scopus.com/inward/record.url?scp=0032048808&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0032048808&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0032048808

VL - 28

SP - 445

EP - 462

JO - Software - Practice and Experience

JF - Software - Practice and Experience

SN - 0038-0644

IS - 4

ER -