Integrating Structural Design and Formal Methods in RealTime System Design
Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
computer science crazy
Super Moderator
******

Posts: 3,048
Joined: Dec 2008
#1
03-09-2009, 04:37 PM


Formal methods have been advocated as one of those techniques that can produce highquality software and hardware systems that has been demonstrated to come in ontime, within budget, and satisfy procurer requirements. They are, however, perceived to be difficult to use and unsuitable for presentation to nonspecialists. In addition, they have been criticized for paying too little attention to the system development process.

Traditional structured ("bubblesandarrows") methods, however, do excel at supporting the development process, but do not support proof of properties, etc.
Method integration offers a promising compromise. Such an approach exploits the benefits of both structured and formal methods, preserving an intuitive graphical notation and the ability to prove properties. The approach is of particular benefit in the area of realtime systems. We illustate the integration of a popular structured development method (JSD), which is assigned a formal semantics in terms of a variant of CSP, augmented with TLZ, itself a hybrid of Z and TLA, which addresses statebased aspects. The formalization suggests modifications to JSD which make it particularly suitable for use with realtime systems
Use Search at http://topicideas.net/search.php wisely To Get Information About Project Topic and Seminar ideas with report/source code along pdf and ppt presenaion
Reply

Important Note..!

If you are not satisfied with above reply ,..Please

ASK HERE

So that we will collect data for you and will made reply to the request....OR try below "QUICK REPLY" box to add a reply to this page

Quick Reply
Message
Type your reply to this message here.


Image Verification
Please enter the text contained within the image into the text box below it. This process is used to prevent automated spam bots.
Image Verification
(case insensitive)

Possibly Related Threads...
Thread Author Replies Views Last Post
  computer oriented numerical methods ppt jaseelati 0 252 13-02-2015, 01:15 PM
Last Post: jaseelati
  analysis on credit card fraud detection methods ppt jaseelati 0 154 22-01-2015, 02:45 PM
Last Post: jaseelati
  analysis on credit card fraud detection methods ppt jaseelati 0 148 09-01-2015, 02:41 PM
Last Post: jaseelati
  Design of an Error Detection and Data Recovery Architecture for Motion Estimation seminar projects maker 0 769 30-09-2013, 04:40 PM
Last Post: seminar projects maker
  Computational Methods for a Mathematical Theory of Evidence seminar projects maker 0 275 30-09-2013, 04:24 PM
Last Post: seminar projects maker
  Reverse Engineering and Part Design Report seminar projects maker 0 332 13-09-2013, 11:52 AM
Last Post: seminar projects maker
  LIBRARY MANAGEMENT SYSTEM: DESIGN AND IMPLEMENTATION pdf study tips 1 776 29-08-2013, 02:38 PM
Last Post: study tips
  Performance Analysis of Edge Detection Methods on Hexagonal Sampling Grid pdf study tips 0 324 21-08-2013, 04:01 PM
Last Post: study tips
  Design and Implementation of Improved Authentication System for Android pdf study tips 0 423 12-07-2013, 03:14 PM
Last Post: study tips
  Design, Implementation, and Performance of a Load Balancer for SIP Server pdf study tips 0 621 05-07-2013, 03:12 PM
Last Post: study tips