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

Abeyance

書目名稱Embedded Software影響因子(影響力)




書目名稱Embedded Software影響因子(影響力)學(xué)科排名




書目名稱Embedded Software網(wǎng)絡(luò)公開度




書目名稱Embedded Software網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Embedded Software被引頻次




書目名稱Embedded Software被引頻次學(xué)科排名




書目名稱Embedded Software年度引用




書目名稱Embedded Software年度引用學(xué)科排名




書目名稱Embedded Software讀者反饋




書目名稱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.

動脈

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

動脈

長處

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 ..

羅盤

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.