Verification of the models real-time systems using UPPAAL
$10-30 USD
Awarded
Posted over 10 years ago
$10-30 USD
Paid on delivery
model checking property checking refers to the following problem: Given a model of a system, exhaustively and automatically check whether this model meets a given specification. Typically, one has hardware or software systems in mind, whereas the specification contains safety requirements such as the absence of deadlocks and similar critical states that can cause the system to crash. Model checking is a technique for automatically verifying correctness properties of finite-state systems.
In order to solve such a problem algorithmically, both the model of the system and the specification are formulated in some precise mathematical language: To this end, it is formulated as a task in logic, namely to check whether a given structure satisfies a given logical formula. The concept is general and applies to all kinds of logics and suitable structures. A simple model-checking problem is verifying whether a given formula in the propositional logic is satisfied by a given structure.
To do model checking we need to use a tool called UPAAL. Uppaal is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).
REQUIREMENT: The project should be done with detailed documentation and source code.
[login to view URL]
www.freelancer.com/u/endlesswish.html .
I am sure all of other bidders are project manager or sales person so they are not capable to give you reasonable estimate. I am an individual and professional developer who is holding always 100% completion rate . check my profile and portfolio.
I want to discuss more about your project , so please give me your sky pe username or add me in sk ype : nowatch911
Dear Sir, We claim to get it done perfectly for you EXACTLY in the way you want it - Kindly give we a chance and we will prove myself - Ready to prove our words,
let's get it done right away and I mean RIGHT AWAY !! Looking forward to hear from you soon - GOD Bless You.