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 ◽

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

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

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

Application of Formal Description Techniques to Real-Time Scheduling

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)50157-3 ◽

1992 ◽

Vol 25 (11) ◽

pp. 253-258

Author(s):

A. García Lirola ◽

F. Fournón y González-barcia ◽

F. Gómez Molinero

Keyword(s):

Real Time ◽

Formal Description ◽

Real Time Scheduling ◽

Time Scheduling ◽

Formal Description Techniques

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 ◽

Author(s):

A. Lakas ◽

G.S. Blair ◽

A. Chetwynd

Keyword(s):

Real Time ◽

Specification And Verification

Download Full-text

Architecture description languages for high-integrity real-time systems

IEEE Software ◽

10.1109/ms.2006.36 ◽

2006 ◽

Vol 23 (2) ◽

pp. 71-79 ◽

Author(s):

A. Radjenovic ◽

R. Paige

Keyword(s):

Real Time ◽

Real Time Systems ◽

High Integrity ◽

Architecture Description Languages ◽

Architecture Description ◽

Description Languages ◽

Download Full-text

Specification and verification of real-time, distributed systems using the theory of constraints

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 - Lecture Notes in Computer Science ◽

10.1007/3-540-10009-1_10 ◽

1980 ◽

pp. 110-125 ◽

Author(s):

Frederick C. Furtek

Keyword(s):

Distributed Systems ◽

Real Time ◽

Theory Of Constraints ◽

Specification And Verification

Download Full-text

Formal Specification and Verification for Real-Time Scheduling Based on PAR

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-13651-2_7 ◽

2019 ◽

pp. 108-122

Author(s):

Zhen You ◽

Zhuo Cheng ◽

Jinyun Xue ◽

Qimin Hu ◽

Wuping Xie

Keyword(s):

Real Time ◽

Formal Specification ◽

Real Time Scheduling ◽

Formal Specification And Verification ◽

Time Scheduling ◽

Specification And Verification

Download Full-text

Timed traces and their applications in specification and verification of distributed real-time systems

Proceedings of the Third Symposium on Information and Communication Technology - SoICT '12 ◽

10.1145/2350716.2350723 ◽

2012 ◽

Author(s):

Do Van Chieu ◽

Dang Van Hung

Keyword(s):

Real Time ◽

Real Time Systems ◽

Specification And Verification ◽

Download Full-text

A statecharts-based specification and verification of real-time job scheduling systems

Control Engineering Practice ◽

10.1016/0967-0661(93)92159-2 ◽

1993 ◽

Vol 1 (1) ◽

pp. 200-201

Keyword(s):

Real Time ◽

Job Scheduling ◽

Specification And Verification

Download Full-text