Retrospective exploration of safety properties in real-time concurrent systems

16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings ◽

10.1109/dasc.1997.635010 ◽

2002 ◽

Author(s):

N. Prywes ◽

P. Rehmet ◽

O. Sokolsky ◽

I. Lee

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Safety Properties

Download Full-text

Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems

10.21236/ada329736 ◽

1997 ◽

Author(s):

Scott A. Smolka

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Automated Tools

Download Full-text

Scalable compositional verification of high-level real-time concurrent systems from 10/sup 7/ to 10/sup 85/ states

Proceedings of 3rd International Workshop on Real-Time Computing Systems and Applications RTCSA-96 ◽

10.1109/rtcsa.1996.554967 ◽

2002 ◽

Author(s):

Farn Wang

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Compositional Verification ◽

High Level

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 ◽

Cited By ~ 5

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

Download Full-text

Incremental architectural modeling and verification of real-time concurrent systems

Proceedings Second International Conference on Formal Engineering Methods (Cat No 98EX241) ICFEM-98 ◽

10.1109/icfem.1998.730567 ◽

2002 ◽

Cited By ~ 2

Author(s):

Yi Deng ◽

Jiacun Wang ◽

R. Sinha

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Architectural Modeling

Download Full-text

Scalable compositional reachability analysis of real-time concurrent systems

Proceedings Real-Time Technology and Applications ◽

10.1109/rttas.1996.509535 ◽

2002 ◽

Author(s):

Farn Wang

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Reachability Analysis

Download Full-text

A transformational method for verifying safety properties in real-time systems

[1989] Proceedings. Real-Time Systems Symposium ◽

10.1109/real.1989.63562 ◽

2003 ◽

Cited By ~ 11

Author(s):

M.K. Franklin ◽

A. Gabrielian

Keyword(s):

Real Time ◽

Real Time Systems ◽

Safety Properties ◽

Time Systems

Download Full-text

A real-time specification method for specifying and validating real-time concurrent systems

Proceedings of Phoenix Conference on Computers and Communications ◽

10.1109/pccc.1993.344533 ◽

2002 ◽

Cited By ~ 6

Author(s):

K.-Y. Sung ◽

J.E. Urban

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Specification Method

Download Full-text

COVERS 3.0-an object-oriented environment for modeling, simulation and analysis of real-time concurrent systems

Proceedings First International Workshop on Distributed Interactive Simulation and Real Time Applications ◽

10.1109/idsrta.1997.568656 ◽

2002 ◽

Author(s):

A.V. Borshchev ◽

Y.G. Karpov ◽

V.V. Roudakov

Keyword(s):

Real Time ◽

Object Oriented ◽

Concurrent Systems ◽

Modeling Simulation

Download Full-text

Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System

2012 Sixth International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2012.46 ◽

2012 ◽

Cited By ~ 2

Author(s):

Jianqi Shi ◽

Longfei Zhu ◽

Yanhong Huang ◽

Jian Guo ◽

Huibiao Zhu ◽

...

Keyword(s):

Operating System ◽

Real Time ◽

Binary Code ◽

Safety Properties ◽

Real Time Operating System

Download Full-text

Using Program Transformations to Provide Safety Properties for Real-Time Systems

Real-Time Systems ◽

10.1023/b:time.0000027933.63133.5f ◽

2004 ◽

Vol 27 (2) ◽

pp. 191-207

Author(s):

Grace Tsai ◽

Shuhua Wang

Keyword(s):

Real Time ◽

Program Transformations ◽

Real Time Systems ◽

Safety Properties ◽

Time Systems

Download Full-text