2210 search results - page 73 / 442 » Applying a Model-based Approach for Embedded System Developm... |
SCAM
2008
IEEE
15 years 5 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
ICECCS
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
106
click to vote
DSN
2002
IEEE
15 years 4 months ago
2002
IEEE
—Advanced automotive control applications such as steer-by-wire are typically implemented as distributed systems comprising many embedded processors, sensors, and actuators inter...
103
click to vote
BIRTHDAY
1999
Springer
15 years 3 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...
EMSOFT
2010
Springer
14 years 8 months ago
2010
Springer
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...