Real-time systems: A survey of approaches to formal specification and verification

Lecture Notes in Computer Science - Software Engineering — ESEC '93 ◽

10.1007/3-540-57209-0_3 ◽

1993 ◽

pp. 11-36

Author(s):

Carlo Ghezzi ◽

Miguel Felder ◽

Carlo Bellettini

Keyword(s):

Real Time ◽

Formal Specification ◽

Real Time Systems ◽

Formal Specification And Verification ◽

Specification And Verification ◽

Download Full-text

Formal specification and verification of real-time systems using Graph Grammars

Journal of the Brazilian Computer Society ◽

10.1590/s0104-65002007000400005 ◽

2007 ◽

Vol 13 (4) ◽

pp. 51-68

Author(s):

Leonardo Michelon ◽

Simone André da Costa ◽

Leila Ribeiro

Keyword(s):

Real Time ◽

Formal Specification ◽

Graph Grammars ◽

Real Time Systems ◽

Formal Specification And Verification ◽

Specification And Verification ◽

Download Full-text

Formal Specification and Verification of Task Time Constraints for Real-Time Systems

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34032-1_16 ◽

2012 ◽

pp. 143-157 ◽

Author(s):

Ning Ge ◽

Marc Pantel ◽

Xavier Crégut

Keyword(s):

Real Time ◽

Formal Specification ◽

Time Constraints ◽

Real Time Systems ◽

Formal Specification And Verification ◽

Task Time ◽

Specification And Verification ◽

Download Full-text

Software Tools for Formal Specification and Verification of Distributed Real-Time Systems

10.21236/ada283477 ◽

1994 ◽

Author(s):

J. Kim ◽

J. Choi ◽

I. Lee

Keyword(s):

Real Time ◽

Formal Specification ◽

Software Tools ◽

Real Time Systems ◽

Formal Specification And Verification ◽

Specification And Verification ◽

Download Full-text

Formal Specification and Verification of Real-Time Systems using Graph Grammars

Journal of the Brazilian Computer Society ◽

10.1007/bf03194256 ◽

2007 ◽

Vol 13 (4) ◽

pp. 51-68 ◽

Author(s):

Leonardo Michelon ◽

Simone André da Costa ◽

Leila Ribeiro

Keyword(s):

Real Time ◽

Formal Specification ◽

Graph Grammars ◽

Real Time Systems ◽

Formal Specification And Verification ◽

Specification And Verification ◽

Download Full-text

Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0002503200160025 ◽

2006 ◽

Keyword(s):

Real Time ◽

Formal Specification ◽

Real Time Systems ◽

Design Models ◽

Download Full-text

Formal specification of fault tolerant real time systems using minimal 3-sorted modal logic

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-55092-5_31 ◽

1992 ◽

pp. 571-590 ◽

Author(s):

Peter Coesmans ◽

Martin J. Wieczorek

Keyword(s):

Modal Logic ◽

Real Time ◽

Formal Specification ◽

Fault Tolerant ◽

Real Time Systems ◽

Download Full-text

The Use of Aggregate Approach for Formal Specification and Simulation of Real-Time Systems

Databases and Information Systems ◽

10.1007/978-94-015-9636-7_15 ◽

2001 ◽

pp. 189-198

Author(s):

Henrikas Pranevicius ◽

Dalius Makackas

Keyword(s):

Real Time ◽

Formal Specification ◽

Real Time Systems ◽

Download Full-text

Formal Specification and Timing Analysis of High-Integrity Real-Time Systems

Real Time Computing - NATO ASI Series ◽

10.1007/978-3-642-88049-0_10 ◽

1994 ◽

pp. 187-211

Author(s):

Miguel Felder ◽

Carlo Ghezzi ◽

Mauro Pezzé

Keyword(s):

Real Time ◽

Formal Specification ◽

Timing Analysis ◽

Real Time Systems ◽

High Integrity ◽

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