{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T06:07:09Z","timestamp":1740809229447,"version":"3.38.0"},"publisher-location":"Recife, Brasil","reference-count":0,"publisher":"Even3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"This work intends to specify a process to develop aerospace devices that use VHDL (Very High-Speed Integrated Circuit (VHSIC) Hardware Description Language) to describe the digital hardware logic and assure all safety-critical features involved in the process were assessed. This work aims to a process that goes from the requirements to the logic implementation at the component described level. The research methodology contains 4 phases (Phases 1 to 4). We have already completed Phases 1 and 2. Currently, we are working on Phase 3. This work is being developed as part of a master's degree to be concluded by the end of 2023 inside of the Postgraduate Program in Space Sciences and Technologies of the Instituto Tecnol\u00f3gico de Aeron\u00e1utica.<\/jats:p>","DOI":"10.29327\/1298262.25-22","type":"proceedings-article","created":{"date-parts":[[2023,9,8]],"date-time":"2023-09-08T19:09:25Z","timestamp":1694200165000},"source":"Crossref","is-referenced-by-count":0,"title":["ASP: An Aerospace Specification Process for Hardware Logic"],"prefix":"10.29327","author":[{"given":"Carlos Renato dos","family":"Santos","sequence":"first","affiliation":[]},{"given":"Johnny Cardoso","family":"Marques","sequence":"additional","affiliation":[]}],"member":"11875","published-online":{"date-parts":[[2022]]},"event":{"name":"Workshop on Requirements Engineering","start":{"date-parts":[[2022,8,24]]},"number":"25","location":"Natal-RN, Brazil","end":{"date-parts":[[2022,8,27]]},"acronym":"WER2022"},"container-title":["Anais do Workshop em Engenharia de Requisitos"],"original-title":[],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T01:27:43Z","timestamp":1740792463000},"score":1,"resource":{"primary":{"URL":"http:\/\/wer.inf.puc-rio.br\/WERpapers\/artigos\/artigos_WER22\/WER_2022_Camera_ready_paper_11.pdf"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29327\/1298262.25-22","relation":{},"subject":[],"published":{"date-parts":[[2022]]}}}