391 search results - page 11 / 79 » Embedded software development on top of transaction-level mo... |
118
click to vote
DSD
2007
IEEE
15 years 6 months ago
2007
IEEE
Developing highly efficient and reliable embedded systems demands hardware/software (HW/SW) co-design and, therefore, co-simulation. In order to be highly configurable, embedded...
111
click to vote
ICCAD
1994
IEEE
15 years 3 months ago
1994
IEEE
Embedded computer systems are characterized by the presence of a dedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical com...
APSEC
2007
IEEE
15 years 6 months ago
2007
IEEE
E-AoSAS++ is an aspect-oriented software architecture style for embedded software. It basically gives the style in which a set of state transition machines organizes a software. W...
82
Voted
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
107
click to vote
LCTRTS
2010
Springer
14 years 9 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...