UML and the formal development of safety-critical real-time systems

1999 ◽  
Author(s):  
A.S. Evans
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Safety Critical ◽  
Formal Development ◽  
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

Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems

1998 ◽  
pp. 45-59 ◽  
Author(s):  
Vincent David ◽  
Jean Delcoigne ◽  
Evelyne Leret ◽  
Alain Ourghanlian ◽  
Philippe Hilsenkopf ◽  
...  
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Safety Properties ◽  
Safety Critical ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document