4799 search results - page 160 / 960 » Model Based Requirements Engineering for Embedded Software |
78
Voted
CODES
2003
IEEE
15 years 3 months ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
ISSS
2002
IEEE
15 years 3 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
119
Voted
CSREAESA
2006
14 years 11 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
72
Voted
DATE
2002
IEEE
15 years 3 months ago
2002
IEEE
We present a design method (HASoC) for the lifecycle modelling of embedded systems that are targeted primarily, but not necessarily, at SoC implementations. The object-oriented de...
DAGSTUHL
2007
14 years 11 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...