Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems

2008 International Symposium on Industrial Embedded Systems ◽

10.1109/sies.2008.4577699 ◽

2008 ◽

Author(s):

Raul Barbosa ◽

Johan Karlsson

Keyword(s):

Embedded Systems ◽

Real Time ◽

Formal Specification ◽

Formal Specification And Verification ◽

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

Formal Specification and Verification of Real-Time Multi-Agent Systems using Timed-Arc Petri Nets

Advances in Electrical and Computer Engineering ◽

10.4316/aece.2015.03010 ◽

2015 ◽

Vol 15 (3) ◽

pp. 73-78 ◽

Author(s):

A. QASIM ◽

S. A. R. KAZMI ◽

I. FAKHIR

Keyword(s):

Real Time ◽

Formal Specification ◽

Multi Agent Systems ◽

Agent Systems ◽

Formal Specification And Verification ◽

Multi Agent ◽

Specification And Verification

Download Full-text

Formal specification and verification of a real-time kernel

Proceedings Sixth Euromicro Workshop on Real-Time Systems ◽

10.1109/emwrts.1994.336841 ◽

2002 ◽

Author(s):

J. Gorski ◽

A. Wardzinski

Keyword(s):

Real Time ◽

Formal Specification ◽

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

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

A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2009.05.054 ◽

2009 ◽

Vol 240 ◽

pp. 221-238 ◽

Author(s):

Paul Regnier ◽

George Lima ◽

Aline Andrade

Keyword(s):

Real Time ◽

Formal Specification ◽

Communication Protocol ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Formal specification and verification of the real-time scheduler in FIP

Proceedings 1995 IEEE International Workshop on Factory Communication Systems. WFCS'95 ◽

10.1109/wfcs.1995.482655 ◽

2002 ◽

Author(s):

L. Durante ◽

R. Sisto ◽

A. Valenzano

Keyword(s):

Real Time ◽

Formal Specification ◽

The Real ◽

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

Formal specification and verification of components' real-time behavior

2010 IEEE International Conference on Software Engineering and Service Sciences ◽

10.1109/icsess.2010.5552402 ◽

2010 ◽

Author(s):

Yangli Jia ◽

Zhenling Zhang ◽

Shengxian Xie

Keyword(s):

Real Time ◽

Formal Specification ◽

Time Behavior ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets

Component-Based Software Development for Embedded Systems - Lecture Notes in Computer Science ◽

10.1007/11591962_3 ◽

2005 ◽

pp. 35-58

Author(s):

Leandro Dias da Silva ◽

Angelo Perkusich

Keyword(s):

Embedded Systems ◽

Formal Specification ◽

Colored Petri Nets ◽

Model Based ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text