Adding form to real-time system specification and simulation

Ji Y. Lee, Kyo C. Kang, Jeonghyun Kim, Hye J. Kim

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

Specification and validation of a real-time system are often based on making simplistic predictions and assumptions about relevant behavior of the external environment and the controlled device interacting with it. However, in many cases, real-time systems physically interact with other external objects in a complex manner in a dynamically changing world and thus, their form (e.g. physical properties such as shape, mass, material, and configuration) can play a critical role in producing a correct specification and obtaining realistic simulation output. We present ASADAL/PROTO, a specification and simulation tool for real-time systems, that takes form into account in addition to the function and behavior handled by ASADAL/SIM, its predecessor. Simulation of the control system specification runs in conjunction with the environmental simulation, and the resulting interactive behavior of the controlled system is observed visually for analysis. Our vision is to incrementally model, simulate and analyze all three views (behavior, function, and form) of real-time system specification for its increased level of confidence at early prototyping stage.

Original languageEnglish
Pages (from-to)643-661
Number of pages19
JournalInternational Journal of Software Engineering and Knowledge Engineering
Volume9
Issue number5
Publication statusPublished - 1999 Oct 1
Externally publishedYes

Fingerprint

Real time systems
Specifications
Physical properties
Control systems

Keywords

  • Object-oriented specification
  • Real-time embedded systems
  • Requirement analysis
  • Simulation
  • Visualization

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Graphics and Computer-Aided Design
  • Software
  • Electrical and Electronic Engineering

Cite this

Adding form to real-time system specification and simulation. / Lee, Ji Y.; Kang, Kyo C.; Kim, Jeonghyun; Kim, Hye J.

In: International Journal of Software Engineering and Knowledge Engineering, Vol. 9, No. 5, 01.10.1999, p. 643-661.

Research output: Contribution to journalArticle

@article{57d9571b901f42eda14f7070864d0d36,
title = "Adding form to real-time system specification and simulation",
abstract = "Specification and validation of a real-time system are often based on making simplistic predictions and assumptions about relevant behavior of the external environment and the controlled device interacting with it. However, in many cases, real-time systems physically interact with other external objects in a complex manner in a dynamically changing world and thus, their form (e.g. physical properties such as shape, mass, material, and configuration) can play a critical role in producing a correct specification and obtaining realistic simulation output. We present ASADAL/PROTO, a specification and simulation tool for real-time systems, that takes form into account in addition to the function and behavior handled by ASADAL/SIM, its predecessor. Simulation of the control system specification runs in conjunction with the environmental simulation, and the resulting interactive behavior of the controlled system is observed visually for analysis. Our vision is to incrementally model, simulate and analyze all three views (behavior, function, and form) of real-time system specification for its increased level of confidence at early prototyping stage.",
keywords = "Object-oriented specification, Real-time embedded systems, Requirement analysis, Simulation, Visualization",
author = "Lee, {Ji Y.} and Kang, {Kyo C.} and Jeonghyun Kim and Kim, {Hye J.}",
year = "1999",
month = "10",
day = "1",
language = "English",
volume = "9",
pages = "643--661",
journal = "International Journal of Software Engineering and Knowledge Engineering",
issn = "0218-1940",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "5",

}

TY - JOUR

T1 - Adding form to real-time system specification and simulation

AU - Lee, Ji Y.

AU - Kang, Kyo C.

AU - Kim, Jeonghyun

AU - Kim, Hye J.

PY - 1999/10/1

Y1 - 1999/10/1

N2 - Specification and validation of a real-time system are often based on making simplistic predictions and assumptions about relevant behavior of the external environment and the controlled device interacting with it. However, in many cases, real-time systems physically interact with other external objects in a complex manner in a dynamically changing world and thus, their form (e.g. physical properties such as shape, mass, material, and configuration) can play a critical role in producing a correct specification and obtaining realistic simulation output. We present ASADAL/PROTO, a specification and simulation tool for real-time systems, that takes form into account in addition to the function and behavior handled by ASADAL/SIM, its predecessor. Simulation of the control system specification runs in conjunction with the environmental simulation, and the resulting interactive behavior of the controlled system is observed visually for analysis. Our vision is to incrementally model, simulate and analyze all three views (behavior, function, and form) of real-time system specification for its increased level of confidence at early prototyping stage.

AB - Specification and validation of a real-time system are often based on making simplistic predictions and assumptions about relevant behavior of the external environment and the controlled device interacting with it. However, in many cases, real-time systems physically interact with other external objects in a complex manner in a dynamically changing world and thus, their form (e.g. physical properties such as shape, mass, material, and configuration) can play a critical role in producing a correct specification and obtaining realistic simulation output. We present ASADAL/PROTO, a specification and simulation tool for real-time systems, that takes form into account in addition to the function and behavior handled by ASADAL/SIM, its predecessor. Simulation of the control system specification runs in conjunction with the environmental simulation, and the resulting interactive behavior of the controlled system is observed visually for analysis. Our vision is to incrementally model, simulate and analyze all three views (behavior, function, and form) of real-time system specification for its increased level of confidence at early prototyping stage.

KW - Object-oriented specification

KW - Real-time embedded systems

KW - Requirement analysis

KW - Simulation

KW - Visualization

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

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

M3 - Article

AN - SCOPUS:8844251551

VL - 9

SP - 643

EP - 661

JO - International Journal of Software Engineering and Knowledge Engineering

JF - International Journal of Software Engineering and Knowledge Engineering

SN - 0218-1940

IS - 5

ER -