Florida Tech Logo
    • Login
    View Item 
    •   Scholarship Repository at Florida Tech
    • College of Engineering and Science
    • Theses/Dissertations
    • View Item
    •   Scholarship Repository at Florida Tech
    • College of Engineering and Science
    • Theses/Dissertations
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Applying Formal Methods for Integrating Advanced Algorithms in Safety Critical Systems

    Thumbnail
    View/Open
    Thesis PDF (1.133Mb)
    Date
    2019-12
    Author
    Stafford, Milton
    Metadata
    Show full item record
    Abstract
    In software engineering it is essential that updates are deployed for continual improvement. While software updates bring new functionality, updates also may introduce instability. This leads to failures of various kinds. This is especially problematic in safety-critical systems where there is a potential for injury or loss of life. However, newer and more sophisticated software carries potential advantages, including higher performance and reliability. Therefore, there are benefits in adopting newer software if the integration process is assured. In this thesis, I present a framework for assured integration; one that links requirements, design, and implementation. The proposed framework includes a new design approach and new software design tools. The approach calls for an embedded decision-making architecture in an autonomous system which contains constrained variants of the desired complex software. The modules are subject to an authoritative module that observes their behavior. Constrained modules are developed by creating verified formal models from underlying component requirements. Those models are used to generate runtime validation code that detects requirement failures.
    URI
    http://hdl.handle.net/11141/3063
    Collections
    • Theses/Dissertations

    DSpace software copyright © 2002-2015  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    @mire NV
     

     

    Browse

    All of Scholarship RepositoryCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    Statistics

    Most Read ItemsStatistics by CountryMost Read Authors

    DSpace software copyright © 2002-2015  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    @mire NV