World Library  


Add to Book Shelf
Flag as Inappropriate
Email this Book

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation: by Michael G. Hinchey

By Hinchey, Michael G.

Click here to view

Book Id: WPLBN0000658308
Format Type: PDF eBook
File Size: 1.16 MB
Reproduction Date:
Full Text

Title: Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation: by Michael G. Hinchey  
Author: Hinchey, Michael G.
Volume:
Language: English
Subject: Government publications, National Aeronautics and Space Administration (U.S.), NASA reference publication
Collections: NASA Publication Collection
Historic
Publication Date:
Publisher: National Aeronautics and Space Administration Publication

Citation

APA MLA Chicago

G, H. M. (n.d.). Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation. Retrieved from http://worldlibrary.org/


Excerpt
Introduction: Sensor networks and other highly distributed autonomous systems cannot attain high dependability without addressing software dependability issues. Development of a system that will have a high level of reliability requires the developer to represent the system as a formal model that can be proven to be correct. Through the use of currently available tools, the model can then be automatically transformed into code with minimal or no human intervention to reduce the chance of inadvertent insertion of errors by developers. Automatically producing the formal model from customer requirements would further reduce the chance of insertion of errors by developers...

Table of Contents
Contents 1 Introduction 2 12 Problem Statement 2 2.1 Specifications, Models, and Designs . . . . . . . . . . . . . . . . 3 2.2 A Novel Approach . . . . . . . . . . . . . . . . . . . . . . . . . 5 3 Technical Approach 6 3.1 R2D2C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3.2 Short-cut R2D2C . . . . . . . . . . . . . . . . . . . . . . . . . . 9 4 A Simple Example 10 4.1 Specification of LOGOS . . . . . . . . . . . . . . . . . . . . . . 11 5 Application Areas 14 6 RelatedWork 15 7 Conclusions and Future Work 16

 

Click To View

Additional Books


  • Common File User's Guide (by )
  • National Polar-Orbiting Operational Envi... (by )
  • Flight According to Principle (by )
  • National Aeronautics and Space Administr... (by )
  • Space Shuttle: Information Management Re... (by )
  • Landsat 7 Processing System (Lps) Users ... (by )
  • Space Telescope Science Institute Next G... (by )
  • Version 3 (by )
  • Analysis of Phase-Type Stochastic Petri ... (by )
  • Developing an Open Source Option for Nas... (by )
  • Assessing Generalization of Feed Forward... (by )
  • Mission Operations Directorate Flight Di... (by )
Scroll Left
Scroll Right

 



Copyright © World Library Foundation. All rights reserved. eBooks from World Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.