2810 search results - page 175 / 562 » Contract-Based Component System Design |
128
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
123
click to vote
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
Recent years have seen the rapid development of microsensor technology, system on chip design, wireless technology and ubiquitous computing. When assembled into a complex microsys...
112
click to vote
ICDCS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes an architecture that provides support for quality of service (QoS) specification and enforcement in heterogeneous distributed computing systems. The Quartz Qo...
152
Voted
ICCD
2002
IEEE
16 years 6 days ago
2002
IEEE
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
128
click to vote
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...