Sciweavers

355 search results - page 7 / 71
» Schedule Validation for Embedded Reactive Real-Time Systems
Sort
View
DSD
2009
IEEE
106views Hardware» more  DSD 2009»
13 years 10 months ago
Model-Driven Design of Embedded Multimedia Applications on SoCs
This paper addresses the design issue of System-onelevating the design abstraction levels, through a model-driven approach. It considers the standard Marte profile, which is dedic...
Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc...
AINA
2007
IEEE
14 years 1 months ago
A Real-Time Scheduling Algorithm with Buffer Optimization for Embedded Signal Processing Systems
Embedded signal processing system is a typical type of application in embedded domain. Such systems typically have requirements on high real-time responsiveness and large buffer c...
Nan Guan, Mingsong Lv, Qingxu Deng, Ge Yu
DATE
2005
IEEE
172views Hardware» more  DATE 2005»
14 years 10 days ago
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development
Embedded software design for real time reactive system
Massimo Baleani, Alberto Ferrari, Leonardo Mangeru...
RTCSA
2009
IEEE
14 years 1 months ago
Supporting Sporadic Pipelined Tasks with Early-Releasing in Soft Real-Time Multiprocessor Systems
Soft real-time sporadic multiprocessor task systems are considered that include processing pipelines. Conditions are presented for guaranteeing bounded deadline tardiness in such ...
Cong Liu, James H. Anderson
ECRTS
2006
IEEE
14 years 23 days ago
The Feasibility Analysis of Multiprocessor Real-Time Systems
The multiprocessor scheduling of collections of real-time jobs is considered. Sufficient tests are derived for determining whether a given collection of jobs can be scheduled to m...
Sanjoy K. Baruah, Nathan Fisher