A Method on Specification and Verification of Component Interaction in Real-Time Reactive Systems

2008 International Conference on Advanced Computer Theory and Engineering ◽

10.1109/icacte.2008.133 ◽

2008 ◽

Author(s):

Yangli Jia ◽

Zhoujun Li ◽

Zhenling Zhang ◽

Shengxian Xie

Keyword(s):

Real Time ◽

Reactive Systems ◽

Component Interaction ◽

Specification And Verification

Download Full-text

Timed Component-Interaction Automata for Specification and Verification of Real-Time Reactive Systems

2008 International Conference on Computer Science and Software Engineering ◽

10.1109/csse.2008.1132 ◽

2008 ◽

Cited By ~ 1

Author(s):

Yangli Jia ◽

Zhoujun Li ◽

Zhenling Zhang

Keyword(s):

Real Time ◽

Reactive Systems ◽

Component Interaction ◽

Specification And Verification

Download Full-text

A Specification and Verification Method on Component Composition of Real-Time Reactive Systems

2008 Third Asia-Pacific Trusted Infrastructure Technologies Conference ◽

10.1109/aptc.2008.14 ◽

2008 ◽

Author(s):

Yangli Jia ◽

Zhoujun Li ◽

Xutao Du ◽

Zhenling Zhang

Keyword(s):

Real Time ◽

Reactive Systems ◽

Component Composition ◽

Verification Method ◽

Specification And Verification

Download Full-text

Specification and verification of trustworthy component-based real-time reactive systems

International workshop on Synthesis and analysis of component connectors in conjunction with the 6th ESEC/FSE joint meeting - SYANCO '07 ◽

10.1145/1292316.1292327 ◽

2007 ◽

Cited By ~ 6

Author(s):

Vasu Alagar ◽

Mubarak Mohammad

Keyword(s):

Real Time ◽

Reactive Systems ◽

Specification And Verification

Download Full-text

Automated modular specification and verification of real-time reactive systems

Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques ◽

10.1109/wift.1995.515483 ◽

2002 ◽

Cited By ~ 2

Author(s):

J.S. Ostroff

Keyword(s):

Real Time ◽

Reactive Systems ◽

Specification And Verification

Download Full-text

Real-Time System: Specification and Verification

10.21236/ada206467 ◽

1989 ◽

Author(s):

K. T. Narayana

Keyword(s):

Real Time ◽

System Specification ◽

Time System ◽

Real Time System ◽

Specification And Verification

Download Full-text

The specification and verification of Real-Time system based on the temporal logic of action

2010 International Conference on Computer Application and System Modeling (ICCASM 2010) ◽

10.1109/iccasm.2010.5622979 ◽

2010 ◽

Author(s):

Tang Zheng-yi ◽

Li Jun-tao ◽

Peng Chang-gen ◽

Li Xiang

Keyword(s):

Real Time ◽

Temporal Logic ◽

Time System ◽

Real Time System ◽

Logic Of Action ◽

Specification And Verification

Download Full-text

Specification and verification of real-time properties using LOTOS and SQTL

Proceedings of the 8th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1996.501149 ◽

2002 ◽

Cited By ~ 3

Author(s):

A. Lakas ◽

G.S. Blair ◽

A. Chetwynd

Keyword(s):

Real Time ◽

Specification And Verification

Download Full-text

Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines

IFIP International Federation for Information Processing - Design Methods and Applications for Distributed Embedded Systems ◽

10.1007/1-4020-8149-9_30 ◽

2004 ◽

pp. 297-306

Author(s):

Uwe Glässer ◽

Mona Vajihollahi

Keyword(s):

Real Time ◽

Reactive Systems ◽

State Machines ◽

Abstract State Machines

Download Full-text

Specification and verification of a real-time field bus with formal description languages

Transformation-Based Reactive Systems Development - Lecture Notes in Computer Science ◽

10.1007/3-540-63010-4_28 ◽

1997 ◽

pp. 415-429 ◽

Cited By ~ 5

Author(s):

P. Mariño ◽

F. Poza ◽

M. Domínguez ◽

J. Nogueira

Keyword(s):

Real Time ◽

Formal Description ◽

Field Bus ◽

Specification And Verification ◽

Description Languages

Download Full-text

A Graphical Environment for the Specification and Verification of Reactive Systems

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

10.1007/3-540-48249-0_37 ◽

1999 ◽

pp. 431-444 ◽

Cited By ~ 2

Author(s):

A. K. Bhattacharjee ◽

S. D. Dhodapkar ◽

Sanjit Seshia ◽

R. K. Shyamasundar

Keyword(s):

Reactive Systems ◽

Graphical Environment ◽

Specification And Verification

Download Full-text