123 search results - page 6 / 25 » Specifying Mode Requirements of Embedded Systems |
RTAS
2010
IEEE
13 years 5 months ago
2010
IEEE
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...
IFIP
2000
Springer
13 years 11 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
FPGA
2000
ACM
13 years 11 months ago
2000
ACM
The Embedded System Block (ESB) of the APEX E programmable logic device family from Altera Corporation includes the capability of implementing content addressable memory (CAM) as ...
EMSOFT
2001
Springer
13 years 12 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
BIRTHDAY
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...