星載微波探測(cè)儀軟件時(shí)序表化的設(shè)計(jì)方法

在航天技術(shù)日新月異發(fā)展的今天，人類(lèi)為了更有效地探索和研究太空，需要基于計(jì)算機(jī)
技術(shù)的、功能強(qiáng)大的、可靠性非常高的航天系統(tǒng)和設(shè)備支持，航天軟件則是這些系統(tǒng)和設(shè)備的靈魂。因此研究高質(zhì)量、設(shè)計(jì)合理、運(yùn)行可靠的航天軟件具有重要的意義。
國(guó)內(nèi)外的眾多事例已經(jīng)表明，當(dāng)代飛行器的大量災(zāi)難性事故是由軟件故障引起的，因此
如何減少軟件缺陷，提高航天軟件的可靠性已經(jīng)成為軟件界面臨的嚴(yán)峻挑戰(zhàn)[1]。軟件可靠性是最重要的軟件特性[2]，而航天軟件具有高實(shí)時(shí)性、工作環(huán)境惡劣、高精度、長(zhǎng)壽命、工作期間無(wú)法直接人為干預(yù)等特點(diǎn)，因此對(duì)其進(jìn)行高可靠性的設(shè)計(jì)尤為重要。而充分的軟件測(cè)試是當(dāng)前提高軟件可靠性的有效手段，亦是軟件質(zhì)量保證的關(guān)鍵步驟，軟件錯(cuò)誤往往是在設(shè)計(jì)時(shí)形成的，與硬件錯(cuò)誤相比更難看到、更難檢測(cè)，那么在航天軟件設(shè)計(jì)中充分考慮可測(cè)性則是非常必要的。
星載微波探測(cè)儀是某衛(wèi)星的有效載荷，其軟件運(yùn)行的安全可靠和正確穩(wěn)定是保證該載荷
成功完成探測(cè)任務(wù)的重要環(huán)節(jié)。本文提出了將軟件時(shí)序表化的設(shè)計(jì)方法，即將整個(gè)軟件設(shè)計(jì)為一張時(shí)序表，軟件設(shè)計(jì)中傳統(tǒng)的順序執(zhí)行結(jié)構(gòu)和循環(huán)執(zhí)行結(jié)構(gòu)替換為查時(shí)序表執(zhí)行，使微波探測(cè)儀軟件具有結(jié)構(gòu)簡(jiǎn)單、模塊功能和結(jié)構(gòu)松散、易更改、可測(cè)性好、安全可靠等優(yōu)點(diǎn)。