Programy na navrhovanie mikroprocesorových zariadení. Mikroprocesory. Operátori a prevádzky

Mikroprocesorový systém zberu dát musí spĺňať nasledujúce požiadavky: poskytovať vysoký výkon a jednoducho sa implementovať, musí zabezpečiť stabilnú a bezproblémovú prevádzku, byť relatívne lacný a spotrebovať málo zdrojov. Na plnenie zadaných úloh a v súlade so základnými požiadavkami je vhodný mikrokontrolér série K1816BE51.

Obrázok 3 - Bloková schéma mikroprocesorového systému zberu dát.

mikroprocesorový programový algoritmus čip

Mikroprocesorový systém (MPS) pozostáva z nasledujúcich blokov: mikrokontrolér (MC), pamäť s náhodným prístupom (RAM), pamäť iba na čítanie (ROM), programovateľný časovač (PT), paralelné programovateľné rozhranie (PPI), analógovo-digitálne prevodník (ADC), digitálno-analógový prevodník (DAC), multiplexer (MUX), programovateľný regulátor prerušení (PIC).

MK tvorí adresovú zbernicu (ABA), dátovú zbernicu (SD) a riadiacu zbernicu (CC). Na zbernice sú pripojené bloky RAM, ROM, PT, PPI, PKP.

RAM je navrhnutá na ukladanie údajov z prieskumu senzorov, ako aj prechodných údajov. ROM je určená na ukladanie programového kódu a rôznych konštánt.

PT je navrhnutý tak, aby počítal časový interval, ktorý bude potrebný na vykonanie príkazov MK. Pred vykonaním operácie sa spustí PT. Ak je operácia úspešná, MK resetuje PT. Ak z MC nie je prijatý žiadny príkaz na vynulovanie počítania (došlo k zamrznutiu), PT na konci počítania časového intervalu vygeneruje signál resetovania MC.

PPI je určený na pripojenie externých zariadení. K SPI sú pripojené ADC, diskrétny multiplexor a DAC.

ADC je navrhnutý tak, aby konvertoval analógový signál zo senzorov a digitálny kód, ktorý je privádzaný do MK cez PPI. Analógové snímače sú pripojené k ADC cez analógový multiplexer.

Dáta z diskrétnych snímačov sa prijímajú cez diskrétny multiplexor.

DAC je navrhnutý tak, aby generoval riadiacu činnosť.

Ústredňa je určená na obsluhu externých prerušení.

Etapy navrhovania mikroprocesorových systémov

Mikroprocesorové systémy vo svojej zložitosti, požiadavkách a funkciách sa môžu výrazne líšiť v parametroch spoľahlivosti, objeme softvér, byť jednoprocesorové a viacprocesorové, postavené na jednom type mikroprocesorovej sady alebo niekoľkých atď. V tomto ohľade môže byť proces navrhovania modifikovaný v závislosti od požiadaviek na systémy. Napríklad proces navrhovania MPS, ktoré sa navzájom líšia obsahom ROM, bude pozostávať z vývoja programov a výroby ROM.

Pri návrhu viacprocesorových mikroprocesorových systémov obsahujúcich niekoľko typov mikroprocesorových zostáv je potrebné riešiť otázky organizácie pamäte, interakcie s procesormi, organizácie výmeny medzi systémovými zariadeniami a vonkajším prostredím, koordinácie fungovania zariadení s rôznymi prevádzkovými rýchlosťami a pod. Nižšie je uvedená približná postupnosť etáp typických pre vytvorenie mikroprocesorového systému:
1. Formalizácia systémových požiadaviek.
2. Vývoj štruktúry a architektúry systému.
3. Vývoj a výroba systémového hardvéru a softvéru.
4. Komplexné ladenie a akceptačné testovanie.

Fáza 1. V tejto fáze sú vypracované externé špecifikácie, sú uvedené funkcie systému, formalizované technické špecifikácie (TOR) pre systém a plány vývojára sú formálne uvedené v oficiálnej dokumentácii.

Etapa 2. V tejto etape sa určia funkcie jednotlivých zariadení a softvéru, vyberú sa zostavy mikroprocesorov, na základe ktorých bude systém implementovaný, zisťuje sa interakcia medzi hardvérom a softvérom a určujú sa časové charakteristiky jednotlivých zariadení a programov. .

Fáza 3. Po určení funkcií implementovaných hardvérom a funkcií implementovaných programami začnú dizajnéri obvodov a programátori súčasne vyvíjať a vyrábať prototyp a softvér. Vývoj a výroba zariadení pozostáva z vývoja štrukturálnych a obvodových schém, výroby prototypov a off-line ladenia.
Vývoj softvéru pozostáva z vývoja algoritmov; písanie textu zdrojové programy; preklady zdrojových programov do objektových programov; offline ladenie.

Fáza 4. Pozri Komplexné ladenie.

V každej fáze návrhu MPS môžu ľudia zaviesť chyby a urobiť nesprávne rozhodnutia o návrhu. Okrem toho sa môžu vyskytnúť chyby v zariadení.

Zdroje chýb

Uvažujme o zdrojoch chýb v prvých troch fázach návrhu.

Fáza 1. V tejto fáze môžu byť zdrojom chýb: logická nekonzistentnosť požiadaviek, opomenutia, nepresnosti algoritmu.

Etapa 2. V tejto fáze môžu byť zdrojom chýb: vynechanie funkcií, nekonzistentnosť protokolu pre interakciu medzi zariadením a programami, nesprávny výber zostáv mikroprocesorov, nepresnosti algoritmov, nesprávna interpretácia technických požiadaviek, vynechanie niektorých informačných tokov.

Etapa 3. V tejto fáze môžu byť zdroje chýb: počas vývoja zariadenia - vynechanie niektorých funkcií, nesprávna interpretácia technických požiadaviek, chyby v synchronizačných obvodoch, porušenie pravidiel návrhu; pri výrobe prototypu - poruchy komponentov, inštalačné a montážne chyby; pri vývoji softvéru - vynechanie niektorých funkcií zadávacích podmienok, nepresnosti v algoritmoch, nepresnosti kódovania.

Každý z uvedených zdrojov chýb môže generovať veľké množstvo subjektívnych alebo fyzických porúch, ktoré je potrebné lokalizovať a odstrániť. Detekcia chýb a lokalizácia porúch je náročná úloha z niekoľkých dôvodov: po prvé kvôli veľkému počtu porúch; po druhé, kvôli tomu, že rôzne poruchy sa môžu prejavovať rovnakým spôsobom. Keďže neexistujú žiadne modely subjektívnych chýb, táto úloha nie je formalizovaná. Určitý pokrok nastal v oblasti vytvárania metód a nástrojov na detekciu chýb a lokalizáciu fyzických porúch. Tieto metódy a nástroje sa široko používajú na kontrolu prevádzkového stavu a diagnostiku porúch diskrétnych systémov počas ich navrhovania, výroby a prevádzky.

Subjektívne poruchy sa líšia od fyzických v tom, že po zistení, lokalizácii a náprave sa už nevyskytujú. Ako však naznačuje zoznam zdrojov chýb, počas vývoja špecifikácie systému sa môžu vyskytnúť subjektívne chyby, čo znamená, že aj po najdôkladnejšom testovaní systému vzhľadom na jeho externé špecifikácie môžu byť subjektívne chyby v systéme stále prítomné.

Proces navrhovania je iteratívny proces. Poruchy objavené počas kolaudačného testu môžu viesť k oprave špecifikácií a následne k začatiu projektovania celého systému. Chyby je potrebné odhaliť čo najskôr, na to je potrebné kontrolovať správnosť projektu v každej fáze vývoja.

Validácia dizajnu

Hlavné metódy kontroly správnosti návrhu sú: overovanie - formálne metódy preukazovania správnosti návrhu; modelovanie; testovanie.

Existuje veľa práce na overovaní softvéru, firmvéru a hardvéru. Tieto práce sú však teoretickej povahy. V praxi sa stále používa modelovanie správania objektov a testovanie.

Pre kontrolu správnosti projektu v každej fáze návrhu je potrebné vykonať modelovanie na rôznych úrovniach abstraktnej reprezentácie systému a overiť správnu implementáciu daného modelu testovaním. Vo fáze formalizácie požiadaviek je obzvlášť potrebná kontrola správnosti, pretože mnohé ciele návrhu nie sú formalizované alebo ich v zásade nemožno formalizovať. Funkčná špecifikácia môže byť preskúmaná tímom odborníkov alebo simulovaná a testovaná, aby sa zistilo, či sa dosahujú požadované ciele. Po schválení funkčnej špecifikácie sa začína vývoj programov funkčných skúšok na stanovenie správneho fungovania systému v súlade s jeho funkčnou špecifikáciou. V ideálnom prípade sú vyvinuté testy, ktoré sú úplne založené na tejto špecifikácii a poskytujú možnosť testovať akúkoľvek implementáciu systému, o ktorej sa tvrdí, že je schopná vykonávať funkcie špecifikované v špecifikácii. Táto metóda je presným opakom iných, kde sú testy postavené vo vzťahu ku konkrétnym implementáciám. Funkčná verifikácia nezávislá od implementácie je zvyčajne atraktívna len z teoretického hľadiska, ale nemá praktický význam pre vysokú mieru všeobecnosti.

Automatizácia únavnej práce pri písaní testovacích programov nielen skracuje dobu navrhovania/ladenia generovaním testovacích programov počas fázy návrhu (keďže môžu byť generované ihneď po vygenerovaní systémových požiadaviek), ale tiež umožňuje dizajnérovi meniť špecifikácie bez toho, aby musel starajte sa o opätovné prepísanie všetkých testovacích programov. V praxi sa však vývoju testov často dáva nižšia priorita ako dizajnu testovacie programy sa prejavia oveľa neskôr ako po jeho dokončení. Ale aj keby podrobné testy Keď sa ukáže, že sú pripravené, je často nepraktické ich spúšťať na simulátore, pretože podrobné modelovanie si vyžaduje veľké výdavky na vývoj programu a výpočtový čas, v dôsledku čoho sa väčšina ladiacich prác musí odložiť na vytvorenie prototypu systému.

Po zistení chyby je potrebné lokalizovať jej zdroj, aby sa vykonala náprava na príslušnej úrovni abstrakcie systému a na vhodnom mieste. Nesprávna identifikácia zdroja chyby alebo vykonanie opráv na inej úrovni abstraktnej reprezentácie systému vedie k tomu, že informácie o systéme sú horné úrovne sa stáva chybným a nemožno ho použiť na ďalšie ladenie počas výroby a prevádzky systému. Napríklad, ak sa porucha zavedie do zdrojového textu programu napísaného v jazyku symbolických inštancií a oprava sa vykoná v objektovom kóde, potom sa ďalšie ladenie programu vykoná v objektovom kóde; v tomto prípade sú všetky výhody písania programu v jazyku symbolických inštancií zredukované na nič.

Bloková schéma zariadenia je uvedená v prílohe A.

Tento mikroprocesorový systém pozostáva z nasledujúcich blokov: mikroprocesor, RAM, ROM, programovateľné paralelné rozhranie, analógovo-digitálny prevodník, časovač, displej.

Analógové signály zo snímačov prichádzajú na vstupy analógového multiplexora zabudovaného v ADC, ktorý v každom časovom intervale prepne jeden zo signálov na vstup analógovo-digitálneho prevodníka.

Analógovo-digitálny prevodník sa používa na prevod analógového signálu na digitálny kód, s ktorým mikroprocesor pracuje.

Mikroprocesor pristupuje k ADC cez programovateľné paralelné rozhranie. Číta informácie z výstupov ADC a ukladá ich do pamäťovej bunky RAM. Okrem toho MP na základe informácií získaných zo snímača tlaku oleja na výstupe zo stanice vypočítava regulačný vplyv. Toto množstvo vo forme digitálny kód pohon sa prenáša.

RAM sa používa na dočasné ukladanie informácií prijatých zo senzorov a medzivýsledkov mikroprocesorových výpočtov.

Systémový softvér je uložený v ROM (pamäť len na čítanie). Operáciu čítania riadi mikroprocesor.

Program, ktorý je uložený v ROM, zabezpečuje nasledujúce systémové operácie:

Sekvenčný prieskum senzorov;

Riadenie analógovo-digitálnej konverzie analógového signálu;

Regulácia tlaku oleja;

Indikácia a alarm;

Reakcia na stratu energie.

Vývoj algoritmu systému

Bloková schéma algoritmu je uvedená v prílohe B.

Inicializácia

V tejto fáze sa riadiace slová zapisujú do RUS programovateľného paralelného rozhrania. PPI DD10 pracuje v nulovom režime. Porty fungujú nasledovne: port A - vstup, port B - výstup, port C - výstup. PPI DD1 pracuje v nulovom režime. Porty fungujú nasledovne: port A - výstup, port B - výstup, port C - výstup.

Dotazovanie senzorov

Analógové snímače sú dopytované ADC. Diskrétne senzory cez port A PPI 1 sú vyžiadané mikroprocesorom.

Ukladanie do pamäte RAM

Výsledky získané po vypočúvaní senzorov sa vložia do pamäťového zariadenia s náhodným prístupom na dočasné uloženie.

Kontrolná akcia

Mikroprocesorový systém analyzuje prijaté dáta a generuje digitálnu riadiacu akciu.

Vypracovanie schematického diagramu

Schematický diagram zariadenia je uvedený v prílohe D.

Adresová zbernica je vytvorená pomocou vyrovnávacieho registra a ovládača zbernice. Výber registra sa vykonáva pomocou signálu ALE mikroprocesora. Ovládač zbernice je potrebný na zvýšenie zaťažiteľnosti vysokého bajtu adresy.

Dátová zbernica je tvorená pomocou ovládača zbernice, ktorý je vybraný aplikáciou signálov DT/R a OE.

Systémová zbernica je tvorená cez dekodér DD10 aplikáciou kombinácie signálov M/IO, WR, RD.

Tabuľka 1 - Riadiace signály

Výber ROM, RAM a ďalších zariadení prebieha pomocou riadkov A13-A15 adresovej zbernice cez dekodér. Bunky ROM sa nachádzajú na adrese 0000h.

Tabuľka 2 - Výber zariadenia

			Zariadenie

Výber portu alebo registra riadiaceho slova PPI sa uskutočňuje prostredníctvom riadkov A0, A1 adresovej zbernice. Diskrétne snímače sú napájané na vstupy portu A PA0-PA7 PPI DD12; na vstupy portu B - z ADC; LED diódy sú pripojené na vstupy portu C.

Analógový multiplexor sa používa na výber zariadenia, z ktorého sa čítajú informácie. Analógový multiplexer je zabudovaný do ADC. Šírka ADC sa zhoduje so šírkou dátovej zbernice a je 8 bitov.

Rezistory R2-R4 slúžia na premenu unifikovaného prúdového signálu 4...20 mA na napätie 1...5V.

Kliknutím na tlačidlo „Stiahnuť archív“ si stiahnete potrebný súbor úplne zadarmo.
Pred stiahnutím tento súbor zamyslite sa nad dobrými abstraktmi, testami, semestrálnymi prácami, dizertáciami, článkami a inými dokumentmi, ktoré sú nevyžiadané vo vašom počítači. Toto je vaša práca, mala by sa podieľať na rozvoji spoločnosti a prospievať ľuďom. Nájdite tieto diela a odošlite ich do databázy znalostí.
Budeme vám veľmi vďační my a všetci študenti, absolventi, mladí vedci, ktorí pri štúdiu a práci využívajú vedomostnú základňu.

Ak chcete stiahnuť archív s dokumentom, zadajte päťmiestne číslo do poľa nižšie a kliknite na tlačidlo „Stiahnuť archív“

Podobné dokumenty

Analýza možností konštrukčného riešenia a na základe toho výber optimálneho riešenia. Syntéza funkčného diagramu mikroprocesorového systému na základe analýzy zdrojových dát. Proces vývoja hardvéru a softvéru pre mikroprocesorový systém.

kurzová práca, pridané 20.05.2014


Teoretický základ vývoj mikroprocesorového systému na báze mikrokontroléra a čítacieho zariadenia e-knihy, analýza ich technických a ekonomických ukazovateľov a porovnanie s analógmi. Základné normy ochrany práce pri práci s počítačom.

práca, pridané 13.07.2010


Možnosť použitia zariadenia MP. Architektúra mikroprocesorového systému. Štrukturálna organizácia LSI VT s izolovanými autobusmi. Obsah a možné zameranie mikrokontroléra. Zovšeobecnená štruktúra jednoduchého vstavaného mikrokontroléra.

abstrakt, pridaný 28.04.2011


Štruktúra mikroprocesorového systému, algoritmus jeho riadenia a prenosu signálu. Mapa distribúcie adries. Elektrotechnický vývoj schematický diagram a výber základne prvkov. Výpočet odberu prúdu, napájanie, softvér.

kurzová práca, pridané 22.01.2014


Rozdelenie funkcií medzi hardvérovú a softvérovú časť mikroprocesorového systému. Výber mikrokontroléra, vývoj a popis konštrukčnej, funkčnej a schémy zapojenia. Výber programovacieho prostredia, diagram algoritmu a výpis programu.

kurzová práca, pridané 17.08.2013


Účel a návrh mikroprocesorového riadiaceho systému. Popis funkčnej schémy mikroprocesorového riadiaceho systému. Výpočet statických charakteristík meracieho kanála. Vývoj algoritmu pre fungovanie mikroprocesorového riadiaceho systému.

kurzová práca, pridané 30.08.2010


Všeobecná koncepcia mikrokontrolérov, ich použitie a účel. Vývoj projektu mikroprocesorového systému zberu dát pomocou stojanov SDK 1.1 a SDX 0.9. Tvorba softvéru a jeho načítanie do laboratórneho stojana SDK-1.1.

kurzová práca, pridané 31.01.2014

Kvalitatívne a kvantitatívne zmeny v elementárnej základni zariadení VT viedli k

meniace sa zavedené princípy ich dizajnu (ako sú tuhé

štruktúra, dôsledné centrálne riadenie, líniová organizácia

pamäť a neschopnosť prispôsobiť štruktúru počítača zvláštnostiam

problém sa rieši).

Klasické von Neumannove princípy organizovania počítačových systémov boli nahradené myšlienkami problémovej orientácie MPS, paralelného a pipeline spracovania informácií, využitia tabuľkových metód spracovania dát, princípov pravidelnosti a homogenity MPS štruktúr; sa stáva skutočným

možnosť vytvárania adaptívne rekonfigurovateľných systémov, ako aj

hardvérová implementácia softvérových funkcií. Preto v súčasnosti

čas pri navrhovaní počítačových systémov založených na MPS prijatých

aplikácia takzvaného princípu „3M“: modularita, trunking,

mikroprogramovateľnosť.

Princíp modulárnej organizácie zahŕňa konštrukciu výpočtových a

riadenie MPS na základe súboru modulov: konštrukčný, funkčný a

elektricky kompletné výpočtové zariadenia, ktoré vám umožňujú samostatne

alebo v kombinácii s inými modulmi na riešenie problémov tejto triedy. Modulárny

prístup k návrhu mikropočítačov a systémov umožňuje (keď je implementovaný ako

univerzálne a špecializované moduly) na zabezpečenie vytvárania rodín

(riadky) MPS, líšia sa funkčnosť a vlastnosti,

pokrýva značnú škálu aplikácií, pomáha znižovať

náklady na dizajn a tiež zjednodušuje rozšírenie kapacity a

rekonfigurácia systémov, odďaľuje zastarávanie výpočtovej techniky

Chrbtová metóda výmeny informácií na rozdiel od spôsobu organizácie

ľubovoľné spojenia (podľa princípu „každý s každým“) vám umožňuje organizovať a

minimalizovať počet pripojení v MPS. Uľahčuje výmenu informácií medzi sebou

pomocou funkčných a konštrukčných modulov rôznych úrovní

diaľnice spájajúce vstupné a výstupné zbernice. Existujú jedno-, dvoj-,

troj- a viaclinkové spojenia. Je potrebné poznamenať vzťah

návrh obvodov a konštrukčné riešenia, ktoré sa objavia pri realizácii

túto metódu výmena vo forme vytvorenia špeciálnej obojsmernej vyrovnávacej pamäte

kaskád s tromi stabilnými stavmi a využitím dočasných

multiplexovanie výmenných kanálov.

Ovládanie firmvéru poskytuje najväčšiu flexibilitu v organizácii

multifunkčné moduly a umožňuje orientáciu v problémoch

MPS, a tiež v nich používať makrooperácie, čo je efektívnejšie ako používanie

štandardné rutiny. Okrem toho prenos riadených slov vo forme

kódované sekvencie kódov zodpovedajú podmienkam minimalizácie

počet pinov VLSI a zníženie počtu prepojení v moduloch.

Okrem vyššie uvedených hlavných vlastností dizajnu MPS by to malo byť

všimnite si princíp pravidelnosti, ktorý predpokladá prirodzený

opakovateľnosť prvkov štruktúry MPS a väzieb medzi nimi. Aplikácia tohto

princíp umožňuje zvýšiť integrálnu hustotu, znížiť dĺžku väzieb

na čipe, skrátiť čas topologického a obvodového návrhu

dizajn LSI a VLSI, znížiť počet križovatiek a typy funkčných

a konštrukčné prvky.

Pri vývoji architektúry MPS (systémový stupeň) je potrebné vyriešiť nasledovné

Popíšte koncepčnú štruktúru funkčného správania systému s

pozície zohľadňovania záujmov užívateľa pri jeho výstavbe a organizácii

výpočtový proces v ňom;

Určiť štruktúru, nomenklatúru a vlastnosti konštrukcie softvéru a

mikroprogramové nástroje;

Popíšte charakteristiky vnútornej organizácie dátových tokov a kontroly

informácie;

Vykonajte analýzu funkčnej štruktúry a vlastností fyziky

implementácia systémových zariadení z pohľadu vyváženosti softvéru,

mikroprogram a hardvér.

Hlavné fázy návrhu MPS sú znázornené na obr. 3.1.

V počiatočnom štádiu návrhu môže byť MPS opísaný v jednom z

tieto koncepčné úrovne: „čierna skrinka“, štrukturálna, programová,

logický, obvod.

Na úrovni „čiernej skrinky“ je MPS popísaný externými špecifikáciami, kde

sú uvedené vonkajšie charakteristiky.

Ryža. 3.1. Etapy návrhu MPS

Štrukturálnu úroveň vytvárajú hardvérové ​​komponenty MPS, ktoré

popísané funkciami jednotlivých zariadení, ich vzájomnými prepojeniami a informáciami

tokov.

Úroveň softvéru je rozdelená na dve podúrovne (inštrukcie procesora a

jazyk) a MPS sa interpretuje ako postupnosť operátorov resp

príkazy, ktoré spôsobujú jednu alebo druhú akciu na určitej dátovej štruktúre.

Logická úroveň je vlastná výlučne diskrétnym systémom a je rozdelená na

dve podúrovne: spínacie obvody a prenosy registrov.

Prvú podúroveň tvoria hradla (kombinačné obvody a pamäťové prvky) a na ich základe postavené operátory spracovania dát. Druhá podúroveň sa vyznačuje vyššou mierou abstrakcie a predstavuje popis registrov a prenos dát medzi nimi. Zahŕňa dve

časti: informácie a riadenie: prvú tvoria registre,

operátorov a cesty prenosu dát, druhá poskytuje v závislosti od

časové signály, ktoré iniciujú prenos dát medzi registrami.

Úroveň obvodu je založená na popise činnosti jednotlivých prvkov zariadenia.

V životnom cykle MPS, ako každého diskrétneho systému, existujú tri fázy:

dizajn, výroba a prevádzka.

Každá etapa je rozdelená do niekoľkých fáz, pre ktoré existuje pravdepodobnosť štrukturálnych alebo fyzických porúch. Poruchy sa klasifikujú podľa ich príčin: fyzické, ak sú príčinou chyby prvkov, a subjektívne, ak sú príčinou chyby návrhu.

Subjektívne chyby sa delia na dizajnové a interaktívne. Dizajn

poruchy sú spôsobené nedostatkami zavedenými do systému v rôznych fázach

realizácii pôvodnej úlohy. Interaktívne poruchy sa vyskytujú v

pri práci vinou obsluhujúceho personálu (operátora). Výsledok

prejavom poruchy je chyba a jedna porucha môže

spôsobiť množstvo chýb a môže byť spôsobená rovnaká chyba

veľa porúch.

Existuje aj pojem defekt – fyzická zmena parametrov

komponenty systému, ktoré prekračujú povolené limity. Vady sú tzv

zlyhania, ak sú dočasné, a zlyhania, ak sú trvalé.

Chybu nemožno zistiť, kým nie sú splnené podmienky pre

vznik poruchy v jej dôsledku, ktorej výsledkom by malo byť, v jej

fronte, odovzdané na výstup skúmaného objektu, aby sa

pozorovateľná porucha.

Diagnostika chyby je proces určenia príčiny chyby

výsledky testu.

Ladenie je proces zisťovania a určovania chýb

zdrojov ich vzhľadu podľa výsledkov testovania pri návrhu MPS.

Nástroje na ladenie sú zariadenia, komplexy a programy. Niekedy pod

Ladenie sa týka detekcie, lokalizácie a odstraňovania porúch. Úspech

odlaďovanie závisí od toho, ako je systém navrhnutý, či

vlastnosti, vďaka ktorým je vhodný na ladenie, ako aj z použitých nástrojov

na ladenie.

Na vykonanie ladenia musí mať navrhnutý MPS

vlastnosti ovládateľnosti, pozorovateľnosti a predvídateľnosti.

Ovládateľnosť – vlastnosť systému, v ktorej je jeho správanie náchylné

manažment, t.j. Prevádzku systému je možné zastaviť v

určitý stav a reštartujte systém.

Pozorovateľnosť– vlastnosť systému, ktorá umožňuje sledovať jeho správanie

systému, za zmenou jeho vnútorných stavov.

Predvídateľnosť– vlastnosť systému, ktorá umožňuje inštaláciu systému

stav, z ktorého sa dajú predpovedať všetky nasledujúce stavy.

MPS sa môžu výrazne líšiť v zložitosti, požiadavkách a funkciách

prevádzkové parametre, objem softvéru, typ

sada mikroprocesorov atď. V tomto ohľade môže proces navrhovania

sa líšia v závislosti od požiadaviek na systém.

Proces navrhovania je iteratívny proces. Poruchy zistené počas akceptačnej skúšky môžu viesť k oprave špecifikácie a

teda na začiatok návrhu celého systému. Nájsť

chyby musia byť zistené čo najskôr; na to musíte ovládať

správnosť projektu v každej fáze vývoja. Existujú nasledujúce metódy

kontrola správnosti návrhu: overenie (formálne metódy

dôkaz o správnosti projektu); modelovanie; testovanie.

V poslednej dobe sa objavilo veľa práce na overovaní softvéru

softvér, firmvér, hardvér. Tieto práce sú však stále

teoretickej povahy. Preto sa v praxi častejšie využíva modelovanie

správanie a testovanie objektu na rôznych abstraktných úrovniach

reprezentácie systému.

Vo fáze formalizácie systémových požiadaviek, sledovanie správnosti projektu

potrebné najmä preto, že mnohé ciele dizajnu nie sú formalizované resp

nemožno v zásade formalizovať. Funkčná špecifikácia môže

analyzované tímom odborníkov alebo simulované a testované v

experimentálne identifikovať dosiahnutie požadovaných cieľov. Po schválení

funkčná špecifikácia začína vývoj testovacích programov,

navrhnuté tak, aby zabezpečili správnu činnosť systému v súlade s

jeho špecifikáciu. V ideálnom prípade sú testy úplne vyvinuté

na základe tejto špecifikácie a umožňujúce overenie akejkoľvek

implementácia systému, ktorý je deklarovaný ako schopný vykonávať funkcie

špecifikované v špecifikácii. Táto metóda je úplným opakom iných,

kde sú testy zostavené vo vzťahu ku konkrétnym implementáciám. Avšak v praxi

vývoj testov má často nižšiu prioritu ako

projektu, takže testovacie programy sa objavia oveľa neskôr