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

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

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: free details on how to design swashplate, formal dress, methods used to internalize an externality, 6t sram design using microwind, privention methods of a system, preparing formal, locatoroklet structural,

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
  BIT for Intelligent System Design Electrical Fan 2 1,891 13-02-2013 10:27 AM
Last Post: seminar details
  Design & Development of a GSM Based Vehicle Theft Control System seminar class 9 10,211 29-11-2012 01:15 PM
Last Post: seminar details
  Improved Design of High-Performance Parallel Decimal Multipliers seminar-database 1 1,375 29-11-2012 12:34 PM
Last Post: seminar details
  DIGITAL CIRCUITS & LOGIC DESIGN seminar class 1 3,278 22-10-2012 02:17 PM
Last Post: seminar details
  DESIGN OF A DUAL ELEVATOR CONTROLLER seminar surveyer 1 3,415 07-06-2012 11:14 AM
Last Post: computer girl
  Embedded systems Design A unified hardware and software introduction computer girl 0 352 06-06-2012 10:53 AM
Last Post: computer girl
  BSV by Example- The next-generation language for electronic system design computer girl 0 507 05-06-2012 05:03 PM
Last Post: computer girl
Last Post: computer girl
  Nanotechnology Assembler Design And Nano-Communication computer science crazy 4 6,464 17-02-2012 08:25 PM
Last Post: [email protected]
  Design and development of X-band micro strip patch antenna computer science crazy 1 3,249 11-02-2012 11:21 AM
Last Post: seminar addict