Form, the missing piece in effective real-time system specification and simulation

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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
Title of host publicationReal-Time Technology and Applications - Proceedings
Editors Anon
PublisherIEEE Comp Soc
Pages155-164
Number of pages10
Publication statusPublished - 1998
Externally publishedYes
EventProceedings of the 1998 4th Real-Time Technology and Application - Denver, CO, USA
Duration: 1998 Jun 31998 Jun 5

Other

OtherProceedings of the 1998 4th Real-Time Technology and Application
CityDenver, CO, USA
Period98/6/398/6/5

Fingerprint

Real time systems
Specifications
Physical properties
Control systems

ASJC Scopus subject areas

  • Hardware and Architecture
  • Computer Networks and Communications
  • Software

Cite this

Lee, J. Y., Kang, K. C., Kim, J., & Kim, H. J. (1998). Form, the missing piece in effective real-time system specification and simulation. In Anon (Ed.), Real-Time Technology and Applications - Proceedings (pp. 155-164). IEEE Comp Soc.

Form, the missing piece in effective real-time system specification and simulation. / Lee, Ji Y.; Kang, Kyo C.; Kim, Jeonghyun; Kim, Hye J.

Real-Time Technology and Applications - Proceedings. ed. / Anon. IEEE Comp Soc, 1998. p. 155-164.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Lee, JY, Kang, KC, Kim, J & Kim, HJ 1998, Form, the missing piece in effective real-time system specification and simulation. in Anon (ed.), Real-Time Technology and Applications - Proceedings. IEEE Comp Soc, pp. 155-164, Proceedings of the 1998 4th Real-Time Technology and Application, Denver, CO, USA, 98/6/3.
Lee JY, Kang KC, Kim J, Kim HJ. Form, the missing piece in effective real-time system specification and simulation. In Anon, editor, Real-Time Technology and Applications - Proceedings. IEEE Comp Soc. 1998. p. 155-164
Lee, Ji Y. ; Kang, Kyo C. ; Kim, Jeonghyun ; Kim, Hye J. / Form, the missing piece in effective real-time system specification and simulation. Real-Time Technology and Applications - Proceedings. editor / Anon. IEEE Comp Soc, 1998. pp. 155-164
@inproceedings{ee2e9a15514e4d4fb0f3381475d1f2e9,
title = "Form, the missing piece in effective 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.",
author = "Lee, {Ji Y.} and Kang, {Kyo C.} and Jeonghyun Kim and Kim, {Hye J.}",
year = "1998",
language = "English",
pages = "155--164",
editor = "Anon",
booktitle = "Real-Time Technology and Applications - Proceedings",
publisher = "IEEE Comp Soc",

}

TY - GEN

T1 - Form, the missing piece in effective real-time system specification and simulation

AU - Lee, Ji Y.

AU - Kang, Kyo C.

AU - Kim, Jeonghyun

AU - Kim, Hye J.

PY - 1998

Y1 - 1998

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.

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

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

M3 - Conference contribution

AN - SCOPUS:0031618632

SP - 155

EP - 164

BT - Real-Time Technology and Applications - Proceedings

A2 - Anon, null

PB - IEEE Comp Soc

ER -