P0400DA FBM01開(kāi)展的工作涉及到嵌入式系統(tǒng)軟件，并著手解決在為評(píng)估軟件資源耗用量提供一個(gè)簡(jiǎn)易并且安全的架構(gòu)時(shí)所出現(xiàn)的問(wèn)題。該評(píng)估工作如果通過(guò)基準(zhǔn)方法靠人工完成，將是一件困難的任務(wù)

。此外，通過(guò)實(shí)現(xiàn)Java應(yīng)用程序的動(dòng)態(tài)下載，本文介紹了一種在嵌入式應(yīng)用程序開(kāi)發(fā)周期中的非連續(xù)方法。對(duì)于嵌入式系統(tǒng)的應(yīng)用而而言，這是一個(gè)嶄新、具有深遠(yuǎn)意義的貢獻(xiàn)。 傳統(tǒng)上說(shuō)，P0400DA FBM01嵌入式軟件的開(kāi)發(fā)必須考慮源自于軟件本身或者嵌入式體系結(jié)果的一些約束條件。航空電子或機(jī)器人嵌入式軟件包含有需要由后臺(tái)操作系統(tǒng)支持的固有的、實(shí)時(shí)約束條件。至于嵌入式體系，資源受限和由客戶自主定義的資源問(wèn)題（如：帶有多個(gè)時(shí)鐘的共享內(nèi)存式多處理器、只有若干個(gè)內(nèi)存模型的小容量問(wèn)題、有限的蓄電池容量）使得搭建一個(gè)嵌入式操作系統(tǒng)更加復(fù)雜。

為了使P0400DA FBM01嵌入式系統(tǒng)開(kāi)發(fā)變得更加容易，我們要解決兩個(gè)不同的、并未出現(xiàn)在現(xiàn)行嵌入式系統(tǒng)中的挑戰(zhàn)。我們首先關(guān)注的是嵌入式軟件（CPU、能量或內(nèi)存）的資源耗用量評(píng)估。我們的第二個(gè)挑戰(zhàn)是要在小型嵌入式設(shè)備（如和個(gè)人數(shù)字助理（PDA）上實(shí)現(xiàn)Java的應(yīng)用。這將支持應(yīng)用程序的動(dòng)態(tài)下載，并且會(huì)*地改變嵌入式應(yīng)用程序開(kāi)發(fā)生命周期。 預(yù)測(cè)嵌入式軟件的資源耗用量：靜態(tài)zui差情況執(zhí)行時(shí)間分析 為了檢驗(yàn)系統(tǒng)是否能夠?qū)崿F(xiàn)它的實(shí)時(shí)和資源約束，預(yù)測(cè)嵌入式軟件需求的資源量是zui重要的。在硬實(shí)時(shí)嵌入式系統(tǒng)架構(gòu)中，尤其重要的是去預(yù)測(cè)任務(wù)的zui差情況執(zhí)行時(shí)間（WCET，下略），以便證明任務(wù)能夠在*內(nèi)完成。

我們正在開(kāi)展的研究涉及到自動(dòng)獲得某一特定硬件上應(yīng)用程序執(zhí)行時(shí)間的上界。應(yīng)用程序源代碼的靜態(tài)分析被應(yīng)用于驗(yàn)證靜態(tài)zui差情況執(zhí)行的情景；靜態(tài)分析方法已經(jīng)成為執(zhí)行檢測(cè)的*，這是因?yàn)檫@些方法的后者需要對(duì)某一軟件上的所有可能輸入進(jìn)行探測(cè)，進(jìn)而檢測(cè)它的zui長(zhǎng)執(zhí)行路徑。處理器的硬件模型被應(yīng)用去獲得WCET控制序列。對(duì)硬件模型的應(yīng)用（而不是對(duì)實(shí)際硬件的應(yīng)用）使得靜態(tài)WCET分析方法在早期就被應(yīng)用于應(yīng)用程序開(kāi)發(fā)生命周期中。

另處，P0400DA FBM01為了實(shí)現(xiàn)對(duì)截止期的核查，靜態(tài)WCET分析方法可以幫助選擇或者計(jì)算應(yīng)用于實(shí)時(shí)嵌入式系統(tǒng)的硬件，并且可以服務(wù)于不同應(yīng)用程序的執(zhí)行策略對(duì)比中。我們?cè)陟o態(tài)WCET分析方法研究上的一個(gè)成果是開(kāi)放源碼分析器Heptane（請(qǐng)看圖一），其目的在于在按次序排列執(zhí)行的、帶有高速緩沖存儲(chǔ)器和管道執(zhí)行的處理器上獲得WCET。Heptane的模塊性允許其接入到不同的目標(biāo)處理器和程序設(shè)計(jì)語(yǔ)言中。

KEITHLEY KEITHLEY 740 SYSTEM SCANNING THERMOMETER WITH 7402 THERMOCOUPLE .

LEITZ GERMANY CARD 301-360.060-007/04 REMOVED FROM WORKING LEITZ MICROSCOPE

HP HEWLETT PACKARD 1660EP LOGIC ANALYZER
    
NIKON SMZ-10 77132 JAPAN MICROSCOPE

PARKER COMPUMOTOR AT6250-240V 25W 2 AXIS CONTROLLER

BAUMER GXM2S.Z20 10-30VDC ROTARY ENCODER NEW UNIT NIB

BIO-TEK EL404 EL 404 MICROPLATE AUTOWASHER

MEGURO MJM-631C CD JITTER METER.

TAKASAGO REGULATED DC POWER SUPPLY SX010-150 230VAC

MELLES GRIOT PIEZOELECTRIC CONTROLLER WITH FEEDBACK

ORION CONDUCTIVITY SALINITY METER MODEL 140 WITH ORION CONDUCTIVITY CELL 014010

PHASE METRICS 550560000 WITH DIGITAL GLIDE 040561

BAUMER GXP5W.Z23 10-30VDC ROTARY ENCODER NEW UNIT NIB

BAXTER OPSIS VS6500 Camera System V MUELLER CAMERA HEAD

AEROTECH BM75 SERVOMOTOR w/ BAYSIDE GEARHEAD NR-23D-100

EMECANIQUE SAFETY CURTAIN SENSOR XUS-LC10603SBS2R/T

TOKYO SEIMITSU CONTOURECORDER SURF COM7 53A

Tektronix 2440 500MS/s TWO Channel Digital Oscilloscope

Yokogawa DL1520 Digital Oscilliscope 150MHz,200MSa/s,2Channel with opt GP-IB

OMRON AC SERVO MOTOR R88M-W90010H-BS2 W/ GEAR BAYSIDE

Tektronix 2402A TEKMATE GPIB CONTROLLER

MARCONI INSTRUMENTS 80 Khz - 520 Mhz SIGNAL GENERATOR MODEL NO 2018

MJ RESEARCH PTC-100 PROGRAMMABLE PELTIER THERMAL CONTROLLER SELL AS APARTS
    
HP 37722A DIGITAL ECOM ANALYZER WITH OPTION 5

BAUMER GM400.E14 10-30VDC ROTARY ENCODER NEW UNIT NIB

?