Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Runtime verification of embedded real-time systems
Reinbacher T., Függer M., Brauer J. Formal Methods in System Design44 (3):203-239,2014.Type:Article
Date Reviewed: Aug 28 2015

Runtime verification involves checking whether a given system (in software or hardware) satisfies a given property during the execution of the system. This paper presents a set of runtime verification algorithms, their correctness, and complexity, as well as their realization in field-programmable gate array (FPGA) hardware. The properties verified are temporal properties expressed in past time metric temporal logic, and the system is an embedded system required to satisfy timing properties. The discrete model of time is used in the paper.

The paper is quite comprehensive and balanced since it is rich in theoretical results like correctness and complexity bounds as well as practical realization of the algorithms. It is very useful for researchers working in the area of runtime verification systems and formal methods. Due to the many illustrative examples, I believe that practitioners interested in rigorous development of embedded systems would also find the paper useful. The paper could have been split into two, one dealing with theoretical aspects and the other focusing on practical aspects. By covering these aspects together, I hope that the paper has not lost both types of readers.

Reviewer:  S. Ramesh Review #: CR143730 (1511-0962)
Bookmark and Share
  Editor Recommended
Featured Reviewer
 
 
Real-Time Systems And Embedded Systems (D.4.7 ... )
 
 
Performance Attributes (C.4 ... )
 
 
Verification (D.4.5 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Real-Time Systems And Embedded Systems": Date
Real-time software techniques
Heath W., Van Nostrand Reinhold Co., New York, NY, 1991. Type: Book (9780442003050)
Aug 1 1991
Developing safety systems
Pyle I., Prentice-Hall, Inc., Upper Saddle River, NJ, 1991. Type: Book (9780132042987)
Jul 1 1992
Real-time systems with transputers
Zedan H.  Real-time systems with transputers,York, UK,Sep 18-20, 1990,1990. Type: Whole Proceedings
Apr 1 1992
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy