391 search results - page 52 / 79 » Embedded software development on top of transaction-level mo... |
164
Voted
EMSOFT
2003
Springer
15 years 8 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
144
Voted
VLSID
2003
IEEE
16 years 4 months ago
2003
IEEE
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
119
Voted
SOFSEM
2007
Springer
15 years 9 months ago
2007
Springer
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
125
Voted
IWSSD
2000
IEEE
15 years 8 months ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
120
Voted
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper outlines some fundamental concepts for the development of a system design framework based on standard notations and common CASE tools. We describe an environment for HW...