Modeling and Verification of Real-time Systems

Modeling and Verification of Real-time Systems

4.11 - 1251 ratings - Source

This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools.AG(prob1em Q (mg AF (alarmA (I Q 10)))) where x is a formula clock which is reset to zero when the proposition problem is true, and it is used to ensure that the time elapsed between the problem and the activation of the alarm is less than 10 time units. This extension with ... if and only if Aa#39; : CDa#39;. Verifying TCTL formulae over parallel compositions of timed automata can be done with the Kronos tool [ YOVanbsp;...

Title:Modeling and Verification of Real-time Systems
Author: Nicolas Navet, Stephan Merz
Publisher:John Wiley & Sons - 2013-03-07

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.

Click button below to register and download Ebook
Privacy Policy | Contact | DMCA