Sciweavers

9 search results - page 1 / 2
» tii 2008
Sort
View
TII
2008
80views more  TII 2008»
13 years 5 months ago
Towards a Systematic Test for Embedded Automotive Communication Systems
Eric Armengaud, Andreas Steininger, Martin Horauer
TII
2008
85views more  TII 2008»
13 years 5 months ago
Recent and Emerging Topics in Wireless Industrial Communications: A Selection
In this paper we discuss a selection of promising and interesting research areas in the design of protocols and systems for wireless industrial communications. We have selected top...
Andreas Willig
TII
2008
176views more  TII 2008»
13 years 5 months ago
Adaptive Multilevel Code Update Protocol for Real-Time Sensor Operating Systems
In wireless sensor networks each sensor node has very limited resources, and it is very difficult to find and collect them. For this reason, updating or adding programs in sensor n...
Sangho Yi, Hong Min, Yookun Cho, Jiman Hong
TII
2008
98views more  TII 2008»
13 years 5 months ago
Formal Methods for Systems Engineering Behavior Models
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
Charlotte Seidner, Olivier H. Roux
TII
2008
169views more  TII 2008»
13 years 5 months ago
Fine-Tuning MAC-Level Protocols for Optimized Real-Time QoS
In distributed real-time systems, meeting the real-time constraints is mandatory but the satisfaction of other application-dependent criteria is most generally required as well. I...
Mathieu Grenier, Nicolas Navet