Lavniveau program modellering

<body topmargin=0 leftmargin=0 marginheight=0 marginwidth=0> <table cellpadding=0 cellspacing=0 border=0><tr> <td valign="top" colspan=2 height=50 BGCOLOR="#333366" TEXT="#080000"> <div> <B>Lavniveau program modellering</B></div> <div> </div> </td> </tr><tr> <td valign="top" width=165 BGCOLOR="#CCCC99" TEXT="#080000"> <div> <B> <TABLE BORDER="0" CELLPADDING="2" CELLSPACING="1" WIDTH="132" BORDERCOLORLIGHT="#C0C0C0" BORDERCOLORDARK="#808080" FRAME="BOX" RULES="ALL" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" > <tR> <tD VALIGN=TOP HEIGHT= 35 ><NOBR><div> <A HREF="id377.htm" TARGET="_top" TITLE="Højniveau program modellering"><U><B><IMG SRC="003151d0.gif" border=0 width="21" height="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> <tD VALIGN=TOP><NOBR><div> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="21"></div> </NOBR></tD> <tD VALIGN=TOP WIDTH="20"><IMG BORDER="0" SRC="1x1.gif" HEIGHT="35" ALIGN="bottom" WIDTH="20" HSPACE="0" VSPACE="0"></tD> <tD VALIGN=TOP><NOBR><div> <A HREF="id444.htm" TARGET="_top" TITLE="Generel systemmodellering systemudviklin"><U><B><IMG SRC="0c80d1d0.gif" border=0 width="13" height="29" ALT="up" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> <tD VALIGN=TOP><NOBR><div> <A HREF="id867.htm" TARGET="_top" TITLE="Lavniveau program modellering eksempel"><U><B><IMG SRC="0c71b1d0.gif" border=0 width="27" height="29" ALT="down" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> </tR> </TABLE></B></div> <div> <A HREF="id867.htm" TARGET="_top" TITLE="Lavniveau program modellering eksempel"><U><B>Lavniveau program modellering eksempel</B></U></A></div> <bR> <div> <A HREF="tanenbaum__1990__structured_computer_organization.htm" TARGET="_top" TITLE="Structured Computer Organization"><U><B>Tanenbaum [1990] Structured Computer Organization</B></U></A></div> <div> <A HREF="motorola__1986__m68000_8__16__32_bit_microprocessors_reference_manual.htm" TARGET="_top" TITLE="M68000 8/16/32Bit Microprocessors Refere"><U><B>Motorola [1986] M68000 8-/16-/32-Bit Microprocessors Reference Manual</B></U></A></div> <bR> </td> <td valign="top" height=430 BGCOLOR="#FFFFFF" TEXT="#080000"> <div> Lavniveau program modellering er detaljering af højniveau programkonstruktioner til af computeren direkte eksekverbare programinstruktioner i form af sekvenser af bytekoder til repræsentation af disse programinstruktioner samt data og adresser for data i computerens lager.</div> <bR> <div> Lavniveau program modellering svarer til højniveau program modellering blot med simplere programkonstruktioner og datatyper der er bundet til en bestemt computertypes processor og anden hardware. Datatyperne omfatter simple data som bits og bytes, og al bearbejdning af data skal ske med et givent antal variable i form dataregistre samt adresserbart lager i computeren, Programinstruktionerne omfatter tilsvarende simple programinstruktioner til kopiering og sammenligning samt matematisk og logisk bearbejdning af disse data.</div> <bR> <div> Dermed kan lavniveau program modellering ske med generel systemmodellering på tilsvarende måde som højniveau program modellering med netværk af programinstruktioner der er relateret via de data de anvender og bearbejder. De enkelte programinstruktioner og data er dog begrænset til et givent sæt af delsystemer der er defineret for en bestemt computertype. Disse delsystemer skal være nedbrudt til aksiomatiske delsystemer i form af for eksempel bits, som et generelt systemmodelleringsværktøj kan anvende til at generere direkte eksekverbare computer programfiler. Disse basale computerspecifikke delsystemer bør være defineret som standard delsystemmodeller for forskellige computertyper der umiddelbart kan anvendes i forbindelse med implementering af computerbaserede systemer.</div> <bR> <div> Som for højniveau program modellering er lavniveau program modellering heller ikke bundet til bestemte præsentationsformer. Dataflow lignende matematisk graf baserede præsentationer fremhæver de reelle relationer mellem de enkelte programinstruktioner, mens at tekstuel præsentation i programkildetekst format er mere kompakt og umiddelbart muliggør udveksling af generelle systemmodeller med traditionelle, specialiserede systemudviklingsværktøjer.</div> <bR> <div> Præsentation af lavniveau programmer (og højniveau programmer) som netværk af programinstruktioner viser at selv tilsyneladende forholdsvis simple programmer eventuelt omfatter mange relationer imellem de enkelte programinstruktioner i et komplekst netværk som det ses af et simpelt <A HREF="id867.htm" TARGET="_top" TITLE="Lavniveau program modellering eksempel"><U>eksempel</U></A> med generel systemmodellering af en funktion til kopiering af en blok data fra en adresse til en anden i computerens lager.</div> <bR> <div> Den matematisk graf baserede præsentation af den generelle systemmodel bliver således forholdsvis omfattende og kompleks, og generel systemmodellering af lavniveau programmer som matematisk graf baseret modellering med generelle systemmodelleringsværktøjer er dermed eventuelt ikke hensigtsmæssig. Omvendt viser den matematisk graf baserede repræsentation den reelle kompleksitet, der ellers skal udledes og håndteres mentalt af systemudviklerne.</div> <bR> <div> De enkelt basale programinstruktioner for en computerprocessor kan defineres meget detaljeret og præcist med generelle type-instance relationer for ind- og uddata. Dette svarer til formel specifikation af præ og post betingelser og sådanne definitioner kan således også danne udgangspunkt for formel specifikation og verifikation af (dele af) det samlede system. For de overliggende niveauer af systemmodellen vil præ og post betingelser således automatisk kunne beregnes igennem aggregering af de basale programinstruktioners præ og post betingelser, og dermed kan systemmodellen analyseres for konsistens.</div> <bR> <div> Detaljeret definition af Motorola 68000 processor TST maskinkode programinstruktionen.</div> <div> (Test om værdien af en lagercelle er nul, positiv eller negativ og angiv resultatet i processorens dataregister flag.)</div> <bR> <div> <IMG SRC="361d7dd0.gif" border=0 width="471" height="221" ALT="VISIO 5 Drawing" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></div> <bR> <div> <IMG SRC="363c36d0.gif" border=0 width="451" height="365" ALT="VISIO 5 Drawing" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></div> <bR> <div> Det er således også muligt at repræsentere lavniveau program modellering som generelle systemmodeller ved hjælp af de generelle koncepter i én integreret systemmodel for alle systemudviklingsaktiviteter.</div> <bR> </td> </tr></table></body>