3256 search results - page 60 / 652 » Integrated Environment for Embedded Control Systems Design |
106
click to vote
USENIX
2003
15 years 4 months ago
2003
We explore the requirements, design, and implementation of the TrustedBSD MAC Framework. The TrustedBSD MAC Framework, integrated into FreeBSD 5.0, provides a flexible framework ...
147
Voted
RSP
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
160
click to vote
RTCSA
2003
IEEE
15 years 8 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
126
click to vote
RTSS
2009
IEEE
15 years 9 months ago
2009
IEEE
Real-time embedded systems are increasingly being built using commercial-off-the-shelf (COTS) components such as mass-produced peripherals and buses to reduce costs, timeto-market...
135
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Due to the better utilization of computational and communication resources and the improved coordination of application subsystems, designers of large distributed embedded systems...