Sciweavers

261 search results - page 17 / 53
» Some Synchronization Issues When Designing Embedded Systems ...
Sort
View
FM
2003
Springer
136views Formal Methods» more  FM 2003»
15 years 5 months ago
Improving Safety Assessment of Complex Systems: An Industrial Case Study
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi,...
RTCSA
2005
IEEE
15 years 5 months ago
A Distributed Middleware Solution for Context Awareness in Ubiquitous Systems
Context aware middleware infrastructures have traditionally been implemented with a modular approach to allow different components to work cooperatively and supply context synthes...
Saad Liaquat Kiani, Maria Riaz, Yonil Zhung, Sungy...
ISI
2005
Springer
15 years 5 months ago
Performance Study of a Compiler/Hardware Approach to Embedded Systems Security
Abstract. Trusted software execution, prevention of code and data tampering, authentication, and providing a secure environment for software are some of the most important security...
Kripashankar Mohan, Bhagirath Narahari, Rahul Simh...
ENTCS
2008
138views more  ENTCS 2008»
14 years 11 months ago
Compositionality of Statically Scheduled IP
Timing Closure in presence of long global wire interconnects is one of the main current issues in System-onChip design. One proposed solution to the Timing Closure problem is Late...
Julien Boucaron, Jean-Vivien Millo
92
Voted
ACSD
2010
IEEE
251views Hardware» more  ACSD 2010»
14 years 9 months ago
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, L...