Impact of Adding Security to Safety-Critical Real-Time Systems: A Case Study

2011 ◽  
Author(s):  
Andrew J. Kornecki ◽  
Wendy F. Stevenson
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Safety Critical ◽  
Time Systems

COMPONENT-BASED VERIFICATION IN A SYNCHRONOUS SETTING

2001 ◽  
Vol 11 (02) ◽  
pp. 181-203 ◽  
Author(s):  
AGATHE MERCERON ◽  
G. MICHELE PINNA
Keyword(s):  
Formal Verification ◽  
Real Time ◽  
Point Of View ◽  
Practical Relevance ◽  
Real Time Systems ◽  
Temporal Logics ◽  
Synchronous Languages ◽  
Safety Critical ◽  
Time Systems

Formal verification of properties in reactive real-time systems is crucial, as these systems are often safety-critical. Such systems are successfully implemented using synchronous languages, where refinement is a relevant operation. This paper investigates the interplay between this operation and formal verification. It turns out that, while for the refined program component-based verification of properties expressed using suitable temporal logics is easily achieved, component-based verification from the point of view of the refining program is best achieved with observers. Our results are based on a translation of synchronous programs into Boolean automata. Their practical relevance is illustrated with a protocol case study.

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

Development of safety-critical real-time systems

1995 ◽  
pp. 206-235 ◽  
Author(s):  
Hans Rischel ◽  
Jorge Cuellar ◽  
Simon Mørk ◽  
Anders P. Ravn ◽  
Isolde Wildgruber
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Safety Critical ◽  
Time Systems

BUILDING SAFETY-CRITICAL REAL-TIME SYSTEMS WITH REUSABLE CYCLIC EXECUTIVES

1997 ◽  
Vol 5 (7) ◽  
pp. 999-1005 ◽  
Author(s):  
J. Zamorano ◽  
A. Alonso ◽  
J.A. de la Puente
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Safety Critical ◽  
Building Safety ◽  
Time Systems

A SAFE AND EFFICIENT PROTOCOL FOR OASIS-BASED DISTRIBUTED SAFETY-CRITICAL REAL-TIME SYSTEMS

2007 ◽  
Vol 40 (22) ◽  
pp. 245-248
Author(s):  
Jean-Sylvain Camier ◽  
Damien Chabrol ◽  
Vincent David ◽  
Christophe Aussagués
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Safety Critical ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document