Technology transfer and certification issues in safety critical real time systems

Mapping Intimacies ◽

10.1049/ic:19980523 ◽

1998 ◽

Author(s):

S. Hutchesson ◽

N. Hayes

Keyword(s):

Technology Transfer ◽

Real Time ◽

Real Time Systems ◽

Safety Critical ◽

Download Full-text

The fujaba real-time tool suite- model-driven development of safety-critical, real-time systems

Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. ◽

10.1109/icse.2005.1553646 ◽

2005 ◽

Author(s):

S. Burmester ◽

H. Giese ◽

M. Hirsch ◽

D. Schilling ◽

M. Tichy

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Driven Development ◽

Safety Critical ◽

Model Driven ◽

Download Full-text

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

2011 IEEE 35th Annual Computer Software and Applications Conference Workshops ◽

10.1109/compsacw.2011.29 ◽

2011 ◽

Author(s):

Andrew J. Kornecki ◽

Wendy F. Stevenson

Keyword(s):

Real Time ◽

Real Time Systems ◽

Safety Critical ◽

Download Full-text

Development of safety-critical real-time systems

SOFSEM '95: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-60609-2_11 ◽

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 ◽

Download Full-text

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

Control Engineering Practice ◽

10.1016/s0967-0661(97)00088-9 ◽

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 ◽

Download Full-text

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

IFAC Proceedings Volumes ◽

10.3182/20071107-3-fr-3907.00033 ◽

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 ◽

Download Full-text

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

Computer Safety, Reliability and Security - Lecture Notes in Computer Science ◽

10.1007/3-540-49646-7_4 ◽

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 ◽

Download Full-text

INCUS: A communication protocol for safety critical distributed real time systems

The 20th Asia-Pacific Conference on Communication (APCC2014) ◽

10.1109/apcc.2014.7091653 ◽

2014 ◽

Author(s):

David Chen ◽

Rene Hexel ◽

Fawad Riasat Raja

Keyword(s):

Real Time ◽

Communication Protocol ◽

Real Time Systems ◽

Safety Critical ◽

Download Full-text

Hardware Certification for Safety-Critical Real-Time Systems

IFAC Proceedings Volumes ◽

10.3182/20090210-3-cz-4002.00005 ◽

2009 ◽

Vol 42 (1) ◽

pp. 1-12

Author(s):

Andrew J. Kornecki ◽

Janusz Zalewski

Keyword(s):

Real Time ◽

Real Time Systems ◽

Safety Critical ◽

Download Full-text

Discrete feedback-based dynamic voltage scaling for safety critical real-time systems

Scientia Iranica ◽

10.1016/j.scient.2012.11.009 ◽

2012 ◽

Author(s):

A. Sharif Ahmadian ◽

M. Hosseingholi ◽

A. Ejlali

Keyword(s):

Real Time ◽

Voltage Scaling ◽

Dynamic Voltage Scaling ◽

Real Time Systems ◽

Safety Critical ◽

Dynamic Voltage ◽

Download Full-text

SaveCCM - a component model for safety-critical real-time systems

Proceedings. 30th Euromicro Conference, 2004. ◽

10.1109/eurmic.2004.1333431 ◽

2004 ◽

Author(s):

H. Hansson ◽

M. AAkerholm ◽

I. Crnkovic ◽

M. Torngren

Keyword(s):

Real Time ◽

Component Model ◽

Real Time Systems ◽

Safety Critical ◽

Download Full-text