Automated analysis and fine-tuning of timing properties in embedded real-time systems

2000 ◽  
Vol 25 (1) ◽  
pp. 86-87
Author(s):  
David B. Stewart
Keyword(s):  
Real Time ◽  
Automated Analysis ◽  
Fine Tuning ◽  
Real Time Systems ◽  
Timing Properties ◽  
Time Systems

scholarly journals Specification and Automated Verification of Real-Time Behaviour —A Case Study

1995 ◽  
Vol 2 (60) ◽  
Author(s):  
Jørgen H. Andersen ◽  
Carsten H. Kristensen ◽  
Arne Skou
Keyword(s):  
Real Time ◽  
System Analysis ◽  
Real Life ◽  
Automated Analysis ◽  
Automated Verification ◽  
Real Time Systems ◽  
Verification Tool ◽  
Time Systems ◽  
Specification Techniques

<p>In this paper we sketch a method for specification and automatic<br />verification of real-time software properties. The method combines<br />the IEC 848 norm and the recent specification techniques TCCS (Timed<br />Calculus of Communicating Systems) and TML (Timed Modal Logic)<br /> - supported by an automatic verification tool, Epsilon. The method<br />is illustrated by modelling a small real-life steam generator example and<br />subsequent automated analysis of its properties.</p><p><br />Keywords: Control system analysis; formal specification; formal verification; real-time systems; standards.</p>

Safety analysis of timing properties in real-time systems

1986 ◽  
Vol SE-12 (9) ◽  
pp. 890-904 ◽  
Author(s):  
Farnam Jahanian ◽  
Aloysius Ka-Lau Mok
Keyword(s):  
Real Time ◽  
Safety Analysis ◽  
Real Time Systems ◽  
Timing Properties ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document