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

Abeyance

书目名称Embedded Software影响因子(影响力)




书目名称Embedded Software影响因子(影响力)学科排名




书目名称Embedded Software网络公开度




书目名称Embedded Software网络公开度学科排名




书目名称Embedded Software被引频次




书目名称Embedded Software被引频次学科排名




书目名称Embedded Software年度引用




书目名称Embedded Software年度引用学科排名




书目名称Embedded Software读者反馈




书目名称Embedded Software读者反馈学科排名

记成蚂蚁

温和女人

引起

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.