Real-Time System: Specification and Verification

1989 ◽  
Author(s):  
K. T. Narayana
Keyword(s):  
Real Time ◽  
System Specification ◽  
Time System ◽  
Real Time System ◽  
Specification And Verification

scholarly journals Comments on "An Interval Logic for Real-Time System Specification"

2006 ◽  
Vol 32 (6) ◽  
pp. 424-427
Author(s):  
C.A. Furia ◽  
A. Morzenti ◽  
M. Pradella ◽  
M.G. Rossi
Keyword(s):  
Real Time ◽  
System Specification ◽  
Time System ◽  
Real Time System ◽  
Interval Logic

Detection of cycle in real-time system specification

1994 ◽  
Vol 29 (7) ◽  
pp. 43-50
Author(s):  
Tereza G. Kirner
Keyword(s):  
Real Time ◽  
System Specification ◽  
Time System ◽  
Real Time System

Temporal logics for real-time system specification

2000 ◽  
Vol 32 (1) ◽  
pp. 12-42 ◽  
Author(s):  
P. Bellini ◽  
R. Mattolini ◽  
P. Nesi
Keyword(s):  
Real Time ◽  
System Specification ◽  
Temporal Logics ◽  
Time System ◽  
Real Time System

ADDING FORM TO REAL-TIME SYSTEM SPECIFICATION AND SIMULATION

1999 ◽  
Vol 09 (05) ◽  
pp. 643-661 ◽  
Author(s):  
JI Y. LEE ◽  
KYO C. KANG ◽  
GERARD J. KIM ◽  
HYE J. KIM
Keyword(s):  
Real Time ◽  
Critical Role ◽  
Real Time Systems ◽  
System Specification ◽  
Time System ◽  
Real Time System ◽  
Interactive Behavior ◽  
Behavior Function ◽  
And Behavior ◽  
Time Systems

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.

Reply to comments on "An Interval Logic for Real-Time System Specification"

2006 ◽  
Vol 32 (6) ◽  
pp. 428-431 ◽  
Author(s):  
P. Bellini ◽  
P. Nesi ◽  
D. Rogai
Keyword(s):  
Real Time ◽  
System Specification ◽  
Time System ◽  
Real Time System ◽  
Interval Logic
Sign in / Sign up

Export Citation Format

Share Document