Integrating Structural Design and Formal Methods in RealTime System Design
Thread Rating:
  • 1 Vote(s) - 4 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Computer Science Clay
Active In SP
**

Posts: 712
Joined: Jan 2009
#1
01-03-2009, 01:25 PM


Integrating Structural Design and Formal Methods in RealTime System Design

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
  DESIGN AND IMPLEMENTATION OF FASTER AND LOW POWER MULTIPLIERS seminar flower 1 735 26-07-2014, 01:00 AM
Last Post: Guest
  AUTOMATED RATIONING SYSTEM USING EMBEDDED SYSTEM ajukrishnan 12 8,111 23-01-2014, 07:28 AM
Last Post: Guest
  Design and implementation of a test tool for the GSM traffic channel uploader 1 956 14-01-2014, 08:53 PM
Last Post: Guest
  Real Time Vehicle Locking and Tracking System using GSM and GPS Technology....... project uploader 2 1,922 30-10-2013, 03:05 PM
Last Post: Guest
  DESIGN AND CONSTRUCTION OF NON CONTACT DIGITAL TACHOMETER REPORT seminar projects maker 0 777 24-09-2013, 03:11 PM
Last Post: seminar projects maker
  Electronics Cooling Methods in Industry pdf seminar projects maker 0 611 14-09-2013, 04:09 PM
Last Post: seminar projects maker
  DESIGN AND DEVELOPMENT OF OVER SPEED AND DRUNKEN DRIVE INDICATOR seminar class 3 2,923 04-09-2013, 01:35 PM
Last Post: Guest
  DESIGN AND IMPLEMENTATION OF PYROELECTRIC INFRARED SENSOR BASED SECURITY SYSTEM seminar ideas 8 5,766 30-08-2013, 09:51 AM
Last Post: study tips
  System-on-chip design methodology in engineering education pdf study tips 0 421 02-08-2013, 01:03 PM
Last Post: study tips
  A 0.5-V Biomedical System-on-a-Chip for Intrabody Communication System pdf project girl 4 1,283 26-07-2013, 11:16 AM
Last Post: study tips