Integrating Structural Design and Formal Methods in RealTime System Design
#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
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
Popular Searches: structural glazing, abiocor design, design hotels, realtime application interface, design of fermenters in ppt, ecological design, abstract of pervasive health system integrating patient,

[-]
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
  Particle Swarm Optimization Algorithm and Its Application in Engineering Design Optim computer science crazy 3 5,472 03-05-2013, 10:28 AM
Last Post: computer topic
  VLSI System Design seminar class 1 3,858 13-12-2012, 12:44 PM
Last Post: seminar details
  A survey of usage of Data Mining and Data Warehousing in Academic Institution and Lib seminar class 1 2,118 29-11-2012, 12:56 PM
Last Post: seminar details
  NANOTECHNOLOGY-ASSEMBLER DESIGN AND NANO-COMMUNICATION (Download Seminar Report) Computer Science Clay 13 13,021 28-11-2012, 12:59 PM
Last Post: seminar details
  Integrated Design and Implementation of Embedded Control Systems with Scilab seminar surveyer 1 2,347 19-10-2012, 01:58 PM
Last Post: seminar details
  Advanced Algorithm Design and Analysis FULL PRESENTATION seminar class 1 2,560 10-10-2012, 12:22 PM
Last Post: seminar details
  Intelligent Electronic Devices (IEDs) and Supervisory Control and Data Acquisition computer girl 0 1,140 09-06-2012, 06:01 PM
Last Post: computer girl
  A NOVEL REPLICA DETECTION SYSTEM USING BINARY CLASSIFIERS, R-TREES, AND PCA computer girl 0 1,040 07-06-2012, 05:16 PM
Last Post: computer girl
  Confidential Storage and Deletion methods for Electronic Media computer girl 0 828 07-06-2012, 10:34 AM
Last Post: computer girl
  Algorithms and Issues In Client Software Design computer girl 0 1,133 06-06-2012, 03:23 PM
Last Post: computer girl

Forum Jump: