Development and integration of a concurrently executing interactive user interface for the I-STAT protable clinical analyzer: A case study in real-time systems integration

1992 ◽  
Vol 2 (4) ◽  
pp. 349-387 ◽  
Author(s):  
Paul A. Gibson ◽  
Alexander D. Stoyenko
Keyword(s):  
User Interface ◽  
Real Time ◽  
Systems Integration ◽  
Real Time Systems ◽  
Time Systems ◽  
Interactive User ◽  
Interactive User Interface

Real-Time Systems in Tokamak Devices. A Case Study: The JET Tokamak

2011 ◽  
Vol 58 (4) ◽  
pp. 1420-1426 ◽  
Author(s):  
Gianmaria De Tommasi ◽  
Diogo Alves ◽  
Teresa Bellizio ◽  
Robert Felton ◽  
André Neto ◽  
...  
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Time Systems

Interpretive Real-Time Linux Interface and Its Applications

2005 ◽  
Author(s):  
Zhaoqing Wang ◽  
Stephen S. Nestinger ◽  
Harry H. Cheng ◽  
Frederick M. Proctor
Keyword(s):  
User Interface ◽  
Real Time ◽  
Multidimensional System ◽  
Real Time Systems ◽  
Web Based ◽  
Frequency Output ◽  
Deterministic Control ◽  
Computer Controlled ◽  
Time Systems ◽  
The Web

For time deterministic control, manufacturers and system designers of computer controlled machinery use real-time based systems to satisfy stringent requirements. Standard real-time systems contain built in kernel modules and often some type of user interface written in C. With a large multidimensional system spanning many smaller objective systems, it is hard for specialists to access real-time controlled objects on the spot. Making modifications to the user interface may require a slew of compilation and linking. This article presents an Interpretive Real-Time Linux Interface, which seamlessly integrates C/C++ applications using a C/C++ interpreter. Running the application interpretively makes the interface insensitive to user customization and product upgrading. An example of an insensitive interface is given in which a CGI web based user interface written in C has been implemented allowing users to control the frequency output of a speaker through a real-time Linux system from the web.

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>

Sign in / Sign up

Export Citation Format

Share Document