Sciweavers

40 search results - page 2 / 8
» A component-based real-time architecture for distributed sup...
Sort
View
ISORC
2005
IEEE
14 years 1 months ago
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
Zonghua Gu, Kang G. Shin
DOA
2000
69views more  DOA 2000»
13 years 8 months ago
Provisioning QoS in Real-Time Distributed Object Architectures for Power Plant Control Applications
L. Bacon, Erwan Becquet, Eric Gressier-Soudan, Chr...
ISORC
2000
IEEE
13 years 12 months ago
Hierarchical Feedback Adaptation for Real Time Sensor-Based Distributed Applications
This paper presents an innovative hierarchical feedback adaptation method that efficiently controls the dynamic QoS behavior of real-time distributed data-flow applications, such ...
Mihaela Cardei, Ionut Cardei, Rakesh Jha, Allalagh...
ETFA
2006
IEEE
13 years 11 months ago
Component based deployment of industrial control systems: a hybrid scheduling approach
This paper deals with the IEC 61499 standard. A function block (FB) is an event triggered component and an application is a distributed FBs network on several devices. We consider...
Mohamed Khalgui, Xavier Rebeuf, Françoise S...
SEW
2007
IEEE
14 years 1 months ago
A Generative Approach to Building a Framework for Hard Real-Time Applications
The communication and tasking infrastructure of a realtime application makes up a significant portion of any embedded control system. Traditionally, the tasking and communication...
Irfan Hamid, Elie Najm, Jérôme Hugues