Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Integrating Structural Design and Formal Methods in RealTime System Design
Post: #1

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

Important Note..!

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


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
Popular Searches: graphite design golf shafts, how to design a miniature golf, treadle wheat thresher design, zoop design, seminario design thinking, free details on how to design swashplate, pd 5500 design formulae,

Quick Reply
Type your reply to this message here.

Image Verification
Image Verification
(case insensitive)
Please enter the text within the image on the left in to the text box below. This process is used to prevent automated posts.

Possibly Related Threads...
Thread: Author Replies: Views: Last Post
  Particle Swarm Optimization Algorithm and Its Application in Engineering Design Optim computer science crazy 3 4,484 03-05-2013 10:28 AM
Last Post: computer topic
  VLSI System Design seminar class 1 3,073 13-12-2012 12:44 PM
Last Post: seminar details
  NANOTECHNOLOGY-ASSEMBLER DESIGN AND NANO-COMMUNICATION (Download Seminar Report) Computer Science Clay 13 11,725 28-11-2012 12:59 PM
Last Post: seminar details
  Integrated Design and Implementation of Embedded Control Systems with Scilab seminar surveyer 1 1,507 19-10-2012 01:58 PM
Last Post: seminar details
  Advanced Algorithm Design and Analysis FULL PRESENTATION seminar class 1 2,535 10-10-2012 12:22 PM
Last Post: seminar details
  Confidential Storage and Deletion methods for Electronic Media computer girl 0 425 07-06-2012 10:34 AM
Last Post: computer girl
  Algorithms and Issues In Client Software Design computer girl 0 614 06-06-2012 03:23 PM
Last Post: computer girl
  Design Technique for Voice Browsers ( Download Full Seminar Report ) computer science crazy 6 5,772 08-03-2012 04:04 PM
Last Post: ravikumar572
  An Introduction to Low Power Design in VLSI computer science crazy 1 3,466 03-03-2012 01:01 PM
Last Post: seminar paper
  Design Of 2-D Filters Using A Parallel Processor Architecture (Download Full Seminar Computer Science Clay 3 2,323 18-02-2012 10:37 AM
Last Post: seminar paper