Programi za načrtovanje mikroprocesorskih naprav. Mikroprocesorji. Operaterji in operacije
Mikroprocesorski sistem za zajemanje podatkov mora izpolnjevati naslednje zahteve: zagotavljati visoko zmogljivost in biti enostaven za izvedbo, zagotavljati mora stabilno in nemoteno delovanje, biti relativno poceni in porabiti malo virov. Za opravljanje dodeljenih nalog in v skladu z osnovnimi zahtevami je primeren mikrokrmilnik serije K1816BE51.
Slika 3 - Blokovna shema mikroprocesorskega sistema za zajemanje podatkov.
mikroprocesor program algoritem čip
Mikroprocesorski sistem (MPS) sestavljajo naslednji bloki: mikrokrmilnik (MC), pomnilnik z naključnim dostopom (RAM), bralni pomnilnik (ROM), programabilni časovnik (PT), vzporedni programabilni vmesnik (PPI), analogno-digitalni pretvornik (ADC), digitalno-analogni pretvornik (DAC), multiplekser (MUX), programabilni krmilnik prekinitev (PIC).
MK tvori naslovno vodilo (ABA), podatkovno vodilo (SD) in krmilno vodilo (CC). Na vodila so povezani bloki RAM, ROM, PT, PPI, PKP.
RAM je namenjen shranjevanju podatkov senzorskih raziskav in tudi vmesnih podatkov. ROM je namenjen shranjevanju programske kode in različnih konstant.
PT je zasnovan za štetje časovnega intervala, ki bo potreben za izvajanje ukazov MK. Pred izvedbo operacije se zažene PT. Če je operacija uspešna, MK ponastavi PT. Če od MC ni prejet ukaz za ponastavitev štetja (prišlo je do zamrznitve), PT ob koncu štetja časovnega intervala ustvari signal za ponastavitev MC.
PPI je namenjen povezovanju zunanje naprave. Na SPI so povezani ADC, diskretni multiplekser in DAC.
ADC je zasnovan za pretvorbo analognega signala iz senzorjev in digitalne kode, ki se napaja v MK prek PPI. Analogni senzorji so povezani z ADC prek analognega multiplekserja.
Podatki iz diskretnih senzorjev se sprejemajo prek diskretnega multiplekserja.
DAC je zasnovan za ustvarjanje krmilnega delovanja.
Nadzorna plošča je zasnovana za servisiranje zunanjih prekinitev.
Faze načrtovanja mikroprocesorskih sistemov
Mikroprocesorski sistemi po svoji kompleksnosti, zahtevah in funkcijah se lahko bistveno razlikujejo po parametrih zanesljivosti, obsegu programsko opremo, biti enoprocesorski in večprocesorski, zgrajen na eni vrsti mikroprocesorskega sklopa ali več itn. V zvezi s tem se lahko postopek načrtovanja spremeni glede na zahteve za sisteme. Na primer, proces oblikovanja MPS-jev, ki se med seboj razlikujejo po vsebini ROM-a, bo sestavljen iz razvoja programov in izdelave ROM-ov.
Pri načrtovanju večprocesorskih mikroprocesorskih sistemov, ki vsebujejo več vrst mikroprocesorskih nizov, je treba rešiti vprašanja organizacije pomnilnika, interakcije s procesorji, organizacije izmenjave med sistemskimi napravami in zunanjim okoljem, koordinacije delovanja naprav z različnimi hitrostmi delovanja itd. Spodaj je približno zaporedje stopenj, značilnih za izdelavo mikroprocesorskega sistema:
1. Formalizacija sistemskih zahtev.
2. Razvoj strukture in arhitekture sistema.
3. Razvoj in proizvodnja sistemske strojne in programske opreme.
4. Celovito odpravljanje napak in sprejemljivo testiranje.
Faza 1. Na tej stopnji se sestavijo zunanje specifikacije, navedejo se funkcije sistema, formalizirajo se tehnične specifikacije (TOR) za sistem in načrti razvijalca so uradno navedeni v uradni dokumentaciji.
Faza 2. V tej fazi se določijo funkcije posameznih naprav in programske opreme, izberejo se mikroprocesorski sklopi, na podlagi katerih bo sistem implementiran, določi se interakcija med strojno in programsko opremo ter časovne karakteristike posameznih naprav in programov. .
Faza 3. Po določitvi funkcij, ki jih izvaja strojna oprema, in funkcij, ki jih izvajajo programi, načrtovalci vezij in programerji hkrati začnejo razvijati in izdelovati prototip oziroma programsko opremo. Razvoj in izdelava opreme je sestavljena iz razvoja strukturnih in veznih diagramov, izdelave prototipov in off-line odpravljanja napak.
Razvoj programske opreme je sestavljen iz razvoja algoritmov; pisanje besedil izvornih programov; prevodi izvornih programov v objektne programe; odpravljanje napak brez povezave.
Faza 4. Glejte Celovito odpravljanje napak.
Na vsaki stopnji načrtovanja MPS lahko ljudje vnesejo napake in sprejmejo napačne odločitve glede oblikovanja. Poleg tega lahko pride do napak na opremi.
Viri napak
Razmislimo o virih napak v prvih treh fazah načrtovanja.
Faza 1. Na tej stopnji so lahko viri napak: logična nedoslednost zahtev, opustitve, netočnosti algoritma.
Faza 2. Na tej stopnji so lahko viri napak: opustitve funkcij, nedoslednost protokola za interakcijo med opremo in programi, nepravilna izbira mikroprocesorskih sklopov, netočnosti algoritmov, napačna interpretacija tehničnih zahtev, opustitev nekaterih informacijskih tokov.
Faza 3. Na tej stopnji so lahko viri napak: med razvojem opreme - opustitve nekaterih funkcij, nepravilna razlaga tehničnih zahtev, napake v sinhronizacijskih vezjih, kršitev pravil načrtovanja; pri izdelavi prototipa - okvare komponent, napake pri vgradnji in montaži; pri razvoju programske opreme - opustitve nekaterih funkcij projektna naloga, netočnosti v algoritmih, netočnosti kodiranja.
Vsak od naštetih virov napak lahko povzroči veliko število subjektivnih ali fizičnih napak, ki jih je treba lokalizirati in odpraviti. Odkrivanje in lokalizacija napak je težka naloga iz več razlogov: prvič, zaradi velikega števila napak; drugič, zaradi dejstva, da se lahko različne napake manifestirajo na enak način. Ker ni modelov subjektivnih napak, ta naloga ni formalizirana. Določen napredek je bil dosežen na področju ustvarjanja metod in orodij za odkrivanje napak in lokalizacijo fizičnih okvar. Te metode in orodja se pogosto uporabljajo za preverjanje stanja delovanja in diagnosticiranje napak diskretnih sistemov med načrtovanjem, proizvodnjo in delovanjem slednjih.
Subjektivne motnje se od fizičnih razlikujejo po tem, da se po odkritju, lokalizaciji in odpravi ne pojavijo več. Vendar, kot nakazuje seznam virov napak, se med razvojem sistemske specifikacije lahko uvedejo subjektivne napake, kar pomeni, da so lahko subjektivne napake v sistemu še vedno prisotne tudi po najbolj temeljitem testiranju sistema glede na njegove zunanje specifikacije.
Proces načrtovanja je ponavljajoč se proces. Motnje, odkrite v fazi sprejemnega testiranja, lahko privedejo do popravka specifikacij in posledično do začetka načrtovanja celotnega sistema. Napake je treba odkriti čim prej, za to pa je potrebno nadzorovati pravilnost projekta na vsaki stopnji razvoja.
Validacija zasnove
Glavne metode za spremljanje pravilnosti projektiranja so naslednje: verifikacija - formalne metode dokazovanja pravilnosti dizajna; modeliranje; testiranje.
Veliko je dela na preverjanju programske, strojne in strojne opreme. Vendar so ta dela teoretične narave. V praksi se še vedno uporablja modeliranje obnašanja objektov in testiranje.
Za kontrolo pravilnosti projekta na vsaki stopnji načrtovanja je potrebno izvesti modeliranje na različnih ravneh abstraktne predstavitve sistema in s testiranjem preveriti pravilnost izvedbe danega modela. Na stopnji formalizacije zahtev je kontrola pravilnosti še posebej potrebna, saj mnogi cilji projektiranja niso formalizirani ali jih načeloma ni mogoče formalizirati. Funkcionalno specifikacijo lahko pregleda skupina strokovnjakov ali simulira in preizkusi, da ugotovi, ali so želeni cilji doseženi. Ko je funkcionalna specifikacija potrjena, se začne razvoj funkcionalnih testnih programov za vzpostavitev pravilnega delovanja sistema v skladu z njegovo funkcionalno specifikacijo. V idealnem primeru so razviti testi, ki v celoti temeljijo na tej specifikaciji in zagotavljajo možnost testiranja katere koli izvedbe sistema, za katerega se trdi, da je sposoben opravljati funkcije, določene v specifikaciji. Ta metoda je pravo nasprotje drugih, kjer so testi zgrajeni glede na specifične implementacije. Funkcionalno preverjanje, neodvisno od izvedbe, je običajno privlačno samo v teoretičnem smislu, vendar nima praktičnega pomena zaradi visoke stopnje splošnosti.
Avtomatizacija dolgočasnega pisanja testnih programov ne samo skrajša obdobje načrtovanja/razhroščevanja z generiranjem testnih programov med fazo načrtovanja (saj jih je mogoče generirati takoj po generiranju sistemskih zahtev), ampak tudi omogoča oblikovalcu, da spremeni specifikacije, ne da bi mu bilo treba skrbeti za ponovno pisanje vseh testnih programov. Vendar ima v praksi razvoj testov pogosto nižjo prednost kot načrtovanje, torej testni programi pojavi veliko kasneje kot je dokončan. A tudi če podrobni testi Izkažejo, da so pripravljeni, jih je pogosto nepraktično izvajati na simulatorju, saj podrobno modeliranje zahteva velike izdatke za razvoj programa in računski čas, posledično je treba večino dela za odpravljanje napak odložiti do izdelave prototipa sistema.
Ko je napaka odkrita, je treba njen izvor lokalizirati, da se izvede popravek na ustrezni ravni abstrakcije sistema in na ustreznem mestu. Napačna identifikacija vira napake ali popravki na drugi ravni abstraktne predstavitve sistema vodijo do dejstva, da so informacije o sistemu zgornje ravni postane napačen in ga ni mogoče uporabiti za nadaljnje odpravljanje napak med proizvodnjo in delovanjem sistema. Na primer, če je napaka vnesena v izvorno besedilo programa, napisanega v zbirnem jeziku, in se popravek izvede v objektni kodi, potem se nadaljnje odpravljanje napak programa izvede v objektni kodi; v tem primeru so vse prednosti pisanja programa v zbirnem jeziku zmanjšane na nič.
Blokovni diagram naprave je predstavljen v dodatku A.
Ta mikroprocesorski sistem sestavljajo naslednji bloki: mikroprocesor, RAM, ROM, programabilni vzporedni vmesnik, analogno-digitalni pretvornik, časovnik, zaslon.
Analogni signali iz senzorjev prihajajo na vhode analognega multiplekserja, vgrajenega v ADC, ki v vsakem časovnem intervalu preklopi enega od signalov na vhod analogno-digitalnega pretvornika.
Analogno-digitalni pretvornik se uporablja za pretvorbo analognega signala v digitalno kodo, s katero deluje mikroprocesor.
Mikroprocesor dostopa do ADC prek programabilnega vzporednega vmesnika. Bere informacije iz izhodov ADC in jih shrani v pomnilniško celico RAM. Poleg tega MP na podlagi informacij, prejetih s senzorja tlaka olja na izhodu postaje, izračuna regulatorni vpliv. Ta količina v obliki digitalna koda aktuator se prenaša.
RAM se uporablja za začasno shranjevanje informacij, prejetih od senzorjev, in vmesnih rezultatov mikroprocesorskih izračunov.
Sistemska programska oprema je shranjena v ROM-u (pomnilnik samo za branje). Operacijo branja nadzira mikroprocesor.
Program, ki je shranjen v ROM-u, omogoča naslednje sistemske operacije:
Zaporedno anketiranje senzorjev;
Nadzor analogno-digitalne pretvorbe analognega signala;
Regulacija tlaka olja;
Indikacija in alarm;
Odziv na izgubo moči.
Razvoj sistemskega algoritma
Blok diagram algoritma je predstavljen v dodatku B.
Inicializacija
Na tej stopnji se kontrolne besede zapišejo v RUS programabilnega vzporednega vmesnika. PPI DD10 deluje v ničelnem načinu. Vrata delujejo na naslednji način: vrata A - vhod, vrata B - izhod, vrata C - izhod. PPI DD1 deluje v ničelnem načinu. Vrata delujejo na naslednji način: vrata A - izhod, vrata B - izhod, vrata C - izhod.
Anketiranje senzorjev
Analogne senzorje anketira ADC. Mikroprocesor vpraša diskretne senzorje prek vrat A PPI 1.
Shranjevanje v RAM
Rezultati, dobljeni po zasliševanju senzorjev, se vnesejo v pomnilnik z naključnim dostopom za začasno shranjevanje.
Nadzorni ukrep
Mikroprocesorski sistem analizira prejete podatke in generira digitalno krmiljenje.
Razvoj shematskega diagrama
Shematski diagram naprave je predstavljen v dodatku D.
Naslovno vodilo se oblikuje z uporabo vmesnega registra in gonilnika vodila. Izbira registra se izvaja s pomočjo signala ALE mikroprocesorja. Gonilnik vodila je potreben za povečanje obremenitve visokega bajta naslova.
Podatkovno vodilo se oblikuje z gonilnikom vodila, ki se izbere z uporabo signalov DT/R in OE.
Sistemsko vodilo se oblikuje preko dekoderja DD10 z uporabo kombinacije signalov M/IO, WR, RD.
Tabela 1 - Kontrolni signali
Izbira ROM-a, RAM-a in drugih naprav poteka z uporabo linij A13-A15 naslovnega vodila prek dekoderja. Celice ROM se nahajajo na naslovu 0000h.
Tabela 2 - Izbira naprave
Naprava |
|||
Izbira vrat ali registra kontrolne besede PPI se izvede prek linij A0, A1 naslovnega vodila. Diskretni senzorji se napajajo na vhode vrat A PA0-PA7 PPI DD12; na vhode vrat B - iz ADC; LED diode so priključene na vhode vrat C.
Analogni multiplekser se uporablja za izbiro naprave, iz katere se berejo informacije. V ADC je vgrajen analogni multiplekser. Širina ADC sovpada s širino podatkovnega vodila in je 8 bitov.
Upori R2-R4 se uporabljajo za pretvorbo enotnega tokovnega signala 4...20 mA v napetost 1...5V.
S klikom na gumb "Prenesi arhiv" boste popolnoma brezplačno prenesli potrebno datoteko.
Pred prenosom ta datoteka pomislite na tiste dobre izvlečke, teste, seminarske naloge, disertacije, članke in druge dokumente, ki ležijo neprevzeti na vašem računalniku. To je vaše delo, mora sodelovati pri razvoju družbe in koristiti ljudem. Poiščite ta dela in jih oddajte v bazo znanja.
Mi in vsi študenti, podiplomski študenti, mladi znanstveniki, ki bazo znanja uporabljajo pri študiju in delu, vam bomo zelo hvaležni.
Za prenos arhiva z dokumentom vnesite petmestno številko v spodnje polje in kliknite gumb »Prenesi arhiv«.
Podobni dokumenti
Analiza možnosti oblikovalskih rešitev in na podlagi tega izbira optimalne rešitve. Sinteza funkcionalnega diagrama mikroprocesorskega sistema na osnovi analize izvornih podatkov. Proces razvoja strojne in programske opreme za mikroprocesorski sistem.
tečajna naloga, dodana 20.05.2014
Teoretične osnove razvoj mikroprocesorskega sistema na osnovi mikrokontrolerja in bralne naprave e-knjige, analiza njihovih tehničnih in ekonomskih kazalcev ter primerjava z analogi. Osnovni standardi varstva dela pri delu z računalnikom.
diplomsko delo, dodano 13.7.2010
Izvedljivost uporabe MP naprave. Arhitektura mikroprocesorskega sistema. Strukturna organizacija LSI VT z izoliranimi vodili. Vsebina in možni fokus mikrokrmilnika. Posplošena struktura preprostega vgrajenega mikrokrmilnika.
povzetek, dodan 28.4.2011
Zgradba mikroprocesorskega sistema, algoritem za njegovo krmiljenje in prenos signala. Zemljevid distribucije naslovov. Razvoj elektrotehnike shematski diagram in izbor elementne baze. Izračun porabe toka, napajanje, programska oprema.
tečajna naloga, dodana 22.01.2014
Porazdelitev funkcij med strojno in programsko opremo mikroprocesorskega sistema. Izbira mikrokrmilnika, razvoj in opis strukturne, funkcionalne in vezne sheme. Izbira programskega okolja, diagrama algoritma in seznama programov.
tečajna naloga, dodana 17.08.2013
Namen in zasnova mikroprocesorskega krmilnega sistema. Opis funkcionalne sheme mikroprocesorskega krmilnega sistema. Izračun statičnih karakteristik merilnega kanala. Razvoj algoritma za delovanje mikroprocesorskega krmilnega sistema.
tečajna naloga, dodana 30.08.2010
Splošni koncept mikrokontrolerjev, njihova uporaba in namen. Razvoj projekta mikroprocesorskega sistema za zajemanje podatkov z uporabo stojal SDK 1.1 in SDX 0.9. Izdelava programske opreme in nalaganje v laboratorijsko stojalo SDK-1.1.
tečajna naloga, dodana 31.01.2014
Kvalitativne in kvantitativne spremembe v elementarni bazi opreme VT so privedle do
spreminjanje uveljavljenih načel njihove zasnove (kot je togo
struktura, dosledno centralno vodstvo, linijska organizacija
pomnilnik in nezmožnost prilagajanja strukture računalnika posebnostim
problem se rešuje).
Klasične Von Neumannove principe organiziranja računalniških sistemov so nadomestile ideje problemske naravnanosti MPS, vzporedne in cevovodne obdelave informacij, uporaba tabelarnih metod obdelave podatkov, načela regularnosti in homogenosti struktur MPS; postane resnično
možnost ustvarjanja prilagodljivo rekonfigurabilnih sistemov, kot tudi
strojna izvedba programskih funkcij. Zato trenutno
čas pri načrtovanju računalniških sistemov na podlagi prejetih MPS
uporaba t.i. principa “3M”: modularnost, kanali,
mikroprogramabilnost.
Načelo modularne organizacije vključuje gradnjo računalniških in
krmiljenje MPS na podlagi nabora modulov: strukturnega, funkcionalnega in
električno popolne računalniške naprave, ki vam omogočajo samostojno
ali v kombinaciji z drugimi moduli za reševanje problemov tega razreda. Modularno
pristop k načrtovanju mikroračunalnikov in sistemov omogoča (če se izvaja kot
univerzalni in specializirani moduli) za zagotavljanje ustvarjanja družin
(vrstic) MPS, razl funkcionalnost in lastnosti,
pokriva velik obseg aplikacij, pomaga zmanjšati
stroške načrtovanja, poenostavlja pa tudi širitev zmogljivosti in
rekonfiguracija sistemov, odloži zastarelost računalništva
Hrbtenična metoda izmenjave informacij v nasprotju z načinom organizacije
poljubne povezave (po načelu "vsi z vsemi") vam omogoča organiziranje in
zmanjšajte število povezav v MPS. Omogoča izmenjavo informacij med
uporabo funkcionalnih in strukturnih modulov različnih ravni
avtoceste, ki povezujejo vhodna in izhodna vodila. Obstajajo eno-, dvo-,
tri- in večlinijske povezave. Treba je opozoriti na razmerje
vezja in konstrukcijske rešitve, ki se pojavijo med izvedbo
ta metoda izmenjavo v obliki ustvarjanja posebnega dvosmernega medpomnilnika
kaskade s tremi stabilnimi stanji in uporabo začasnih
multipleksiranje kanalov izmenjave.
Nadzor vdelane programske opreme zagotavlja največjo fleksibilnost v organizaciji
večnamenskih modulov in omogoča problemsko orientacijo
MPS in v njih uporabite tudi makro operacije, kar je bolj učinkovito kot uporaba
standardne rutine. Poleg tega prenos nadzorovanih besed v obliki
šifrirana zaporedja kode ustrezajo pogojem minimizacije
število pinov VLSI in zmanjšanje števila medsebojnih povezav v modulih.
Poleg zgoraj navedenih glavnih značilnosti zasnove MPS bi morala biti
upoštevajte načelo pravilnosti, ki predpostavlja naravno
ponovljivost elementov strukture MPS in povezav med njimi. Uporaba tega
Načelo vam omogoča povečanje integralne gostote, zmanjšanje dolžine vezi
na čipu, skrajšajo topološki čas in čas načrtovanja vezja
oblikovanje LSI in VLSI, zmanjšanje števila križišč in tipov funkcionalnih
in strukturni elementi.
Pri razvoju arhitekture MPS (sistemska stopnja) je potrebno rešiti naslednje
Opišite konceptualno strukturo funkcionalnega obnašanja sistema z
stališča upoštevanja interesov uporabnika pri njeni izgradnji in organizaciji
Določite strukturo, nomenklaturo in značilnosti konstruiranja programske opreme in
mikroprogramska orodja;
Opišite značilnosti notranje organizacije podatkovnih tokov in nadzora
informacije;
Izvedite analizo funkcionalne strukture in značilnosti fizičnega
implementacija sistemskih naprav z vidika programske uravnoteženosti,
mikroprogram in strojna oprema.
Glavne faze načrtovanja MPS so prikazane na sl. 3.1.
V začetni fazi načrtovanja lahko MPS opišemo v enem od
naslednje konceptualne ravni: »črna skrinjica«, strukturna, programska,
logično, vezje.
Na ravni »črne skrinjice« je MPS opisan z zunanjimi specifikacijami, kjer
zunanje značilnosti so navedene.
riž. 3.1. Faze načrtovanja MPS
Strukturno raven tvorijo strojne komponente MPS, ki
opisano s funkcijami posameznih naprav, njihovimi medsebojnimi povezavami in informacijami
tokovi.
Raven programske opreme je razdeljena na dve podravni (navodila procesorja in
jezik) in MPS interpretiramo kot zaporedje operatorjev oz
ukazi, ki povzročijo takšno ali drugačno dejanje na določeni podatkovni strukturi.
Logična raven je lastna izključno diskretnim sistemom in je razdeljena na
dve podravni: stikalna vezja in registrski prenosi.
Prvo podnivo tvorijo vrata (kombinacijska vezja in pomnilniški elementi) in na njihovi osnovi zgrajeni operaterji za obdelavo podatkov. Za drugo podnivo je značilna višja stopnja abstrakcije in predstavlja opis registrov in prenos podatkov med njimi. Vključuje dva
deli: informacijski in nadzorni: prvega tvorijo registri,
operaterje in poti prenosa podatkov, drugi zagotavlja glede na
časovni signali, ki sprožijo prenos podatkov med registri.
Nivo vezja temelji na opisu delovanja elementov diskretne naprave.
V življenjskem ciklu MPS, tako kot pri vsakem diskretnem sistemu, obstajajo tri stopnje:
projektiranje, proizvodnja in delovanje.
Vsaka stopnja je razdeljena na več faz, za katere obstaja verjetnost strukturnih ali fizičnih okvar. Napake delimo glede na vzroke: fizične, če so vzrok napake v elementih, in subjektivne, če so vzrok konstrukcijske napake.
Subjektivne napake delimo na oblikovne in interaktivne. Oblikovanje
okvare so posledica pomanjkljivosti, vnesenih v sistem na različnih stopnjah
izvajanje prvotne naloge. Interaktivne napake se pojavljajo v
med delom po krivdi servisnega osebja (upravljavca). Rezultat
manifestacija okvare je napaka, ena okvara pa lahko
povzroči več napak in lahko povzroči isto napako
veliko okvar.
Obstaja tudi koncept napake - fizična sprememba parametrov
komponente sistema, ki presegajo dovoljene meje. Napake se imenujejo
napake, če so začasne, in napake, če so trajne.
Napake ni mogoče odkriti, dokler niso izpolnjeni pogoji za
nastanek okvare zaradi nje, katere posledica naj bi bila, v njenem
čakalno vrsto, posredovano na izhod preučevanega predmeta, da bi
opazna okvara.
Diagnoza napake je postopek ugotavljanja vzroka napake z
Rezultati testov.
Odpravljanje napak je postopek odkrivanja in določanja napak
viri njihovega videza glede na rezultate testiranja med načrtovanjem MPS.
Orodja za odpravljanje napak so naprave, kompleksi in programi. Včasih pod
Odpravljanje napak se nanaša na odkrivanje, lokalizacijo in odpravo napak. Uspeh
odpravljanje napak je odvisno od tega, kako je sistem zasnovan, ali
lastnosti, zaradi katerih je priročen za odpravljanje napak, pa tudi od uporabljenih orodij
za odpravljanje napak.
Za izvedbo odpravljanja napak mora imeti oblikovani MPS
lastnosti obvladljivosti, opazljivosti in predvidljivosti.
Upravljivost – lastnost sistema, v kateri je njegovo vedenje dovzetno za
upravljanje, tj. Možna ustavitev delovanja sistema v
določeno stanje in znova zaženite sistem.
Opazljivost– lastnost sistema, ki vam omogoča spremljanje njegovega obnašanja
sistema, ki stoji za spremembo njegovih notranjih stanj.
Predvidljivost– lastnost sistema, ki omogoča namestitev sistema
stanje, iz katerega je mogoče predvideti vsa naslednja stanja.
MPS se lahko zelo razlikujejo po svoji kompleksnosti, zahtevah in funkcijah
operativni parametri, obseg programske opreme, vrsta
mikroprocesorski komplet itd. V zvezi s tem lahko proces oblikovanja
razlikujejo glede na zahteve za sistem.
Proces načrtovanja je ponavljajoč se proces. Motnje v delovanju, odkrite med fazo prevzemnega testiranja, lahko privedejo do popravka specifikacij in
torej na začetek načrtovanja celotnega sistema. Najti
napake je treba odkriti čim prej; za to morate nadzorovati
pravilnost projekta na vsaki stopnji razvoja. Obstajajo naslednje metode
kontrola pravilnosti projektiranja: verifikacija (formalne metode
dokazilo o pravilnosti projekta); modeliranje; testiranje.
V zadnjem času se je pojavilo veliko dela na preverjanju programske opreme
programska oprema, vdelana programska oprema, strojna oprema. Vendar pa so ta dela še vedno
teoretične narave. Zato se v praksi pogosteje uporablja modeliranje
obnašanje objektov in testiranje na različnih abstraktnih ravneh
sistemske predstavitve.
V fazi formalizacije sistemskih zahtev spremljanje pravilnosti projekta
še posebej nujna, ker veliko projektantskih ciljev ni formaliziranih oz
načeloma ni mogoče formalizirati. Funkcionalna specifikacija lahko
analizira skupina strokovnjakov ali simulira in testira v
eksperimentalno ugotoviti doseganje želenih ciljev. Po odobritvi
funkcionalna specifikacija začne razvoj testnih programov,
namenjen vzpostavitvi pravilnega delovanja sistema v skladu z
njegovo specifikacijo. V idealnem primeru so testi razviti v celoti
ki temelji na tej specifikaciji in omogoča preverjanje katerega koli
izvajanje sistema, za katerega je razglašeno, da je sposoben opravljati funkcije
določeno v specifikaciji. Ta metoda je popolno nasprotje drugih,
kjer so testi zgrajeni glede na specifične izvedbe. Vendar pa v praksi
razvoju testov je pogosto dana nižja prednost kot
projekt, zato se testni programi pojavijo veliko kasneje kot to