10159 search results - page 139 / 2032 » System Design Validation Using Formal Models |
116
Voted
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
107
click to vote
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
During last years, the Time-Triggered Architecture (TTA) has been gaining acceptance as a generic architecture for highly dependable real-time systems. It is now being used to imp...
116
Voted
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
—This video submission presents the experimental validation and testing of a novel Hybrid Mobile Robot (HMR) system design using a complete physical prototype. The HMR consists o...
140
click to vote
TC
2010
15 years 19 days ago
2010
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
125
click to vote
ICAS
2009
IEEE
15 years 9 months ago
2009
IEEE
— User’s requirements have become a key factor for any Quality of Service (QoS) management model to succeed. The advent and rise of new broadband services and network architect...