123 search results - page 6 / 25 » Specifying Mode Requirements of Embedded Systems |
RTAS
2010
IEEE
14 years 7 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...
102
click to vote
IFIP
2000
Springer
15 years 1 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...
87
Voted
FPGA
2000
ACM
15 years 1 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
15 years 2 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
15 years 1 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...