The use of complex electronic devices in aerospace missions presents new challenges for safety and certification. The development of projects has led to a new generation of problems that require a superior method of specifying and representing these systems. When developing a digital aerospace module using VHDL, three main concerns must be considered: clearly stating the requirements, meeting performance requirements, and complying with regulations. This research aims to offer a process that lowers the abstraction level to conform to the VHDL. The ASP provides methods to discover and document information collected throughout the specification process. The focus group found that the ASP is an effective tool for the specification process and generates good documentation for certification purposes. This research presents a specification process with fewer tasks and is supported by templates that may help less experienced people ensure the execution of specifications on complex electronic hardware.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    ASP: An Aerospace Specification Process for Modules Using VHDL


    Contributors:


    Publication date :

    2024-09-29


    Size :

    4287743 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Specification and Verification of VHDL Designs

    Jamsek, D. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995


    An Illustration of Specification Modeling with VHDL Using a Futurebus - Model

    Izzo, P. / IEEE / AIAA | British Library Conference Proceedings | 1994



    Object-Process Model-Based Operational Viewpoint Specification for Aerospace Architectures

    Mordecai, Yaniv / James, Nicholas K. / Crawley, Edward F. | IEEE | 2020