1784 search results - page 68 / 357 » Formal Models for Embedded System Design |
SIGSOFT
1998
ACM
14 years 1 months ago
1998
ACM
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
HASE
2008
IEEE
14 years 3 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
We introduce a new approach to take into account the memory architecture and the memory mapping in the High- Level Synthesis of Real-Time embedded systems. We formalize the memory...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
SIGOPS
2008
13 years 9 months ago
2008
The Caernarvon operating system was developed to demonstrate that a high assurance system for smart cards was technically feasible and commercially viable. The entire system has b...