Titlebook: Embedded Software; Second International Alberto Sangiovanni-Vincentelli,Joseph Sifakis Conference proceedings 2002 Springer-Verlag Berlin H

Abeyance

書(shū)目名稱(chēng)Embedded Software影響因子(影響力)




書(shū)目名稱(chēng)Embedded Software影響因子(影響力)學(xué)科排名




書(shū)目名稱(chēng)Embedded Software網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱(chēng)Embedded Software網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱(chēng)Embedded Software被引頻次




書(shū)目名稱(chēng)Embedded Software被引頻次學(xué)科排名




書(shū)目名稱(chēng)Embedded Software年度引用




書(shū)目名稱(chēng)Embedded Software年度引用學(xué)科排名




書(shū)目名稱(chēng)Embedded Software讀者反饋




書(shū)目名稱(chēng)Embedded Software讀者反饋學(xué)科排名

記成螞蟻

溫和女人

引起

A Giotto-Based Helicopter Control System,he Giotto compiler performs a schedulability analysis on the Giotto code, and generates timing code for the helicopter platform. The Giotto methodology guarantees the stringent hard real-time requirements of the autopilot system, and at the same time supports the automation of the software developme

HIKE

Principles of Real-Time Programming,ime programming . that support the development of real-time . based on different abstractions of soft-time. We informally introduce a real-time process model to study (1) the . of the real-time programming models and (2) the . of real-time programs developed in these models.

動(dòng)脈

Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems,real-time virtual resource abstraction allows tasks with wide-ranging timing criticality to be programmed as if they run on dedicated but slower CPUs such that global knowledge of the tasks is not necessary for schedulability analysis. More importantly, events or signals that are timing sensitive ma

動(dòng)脈

長(zhǎng)處

Intuitive

Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?),directly from the system’s GUI, or some abstract version thereof [.], and behavior can then be “played out” freely, adhering to all the requirements [.]. The approach, which is joint with Rami Marelly, is supported and illustrated by a tool we have built - the ..

羅盤(pán)

Synchronous Modelling of Asynchronous Systems,ynchronous processes can be composed according to various asynchronous models. Common synchronization and communication mechanisms can be described. The resulting descriptions can be simulated and verified, using classical tools of synchronous programming.