Sciweavers

1518 search results - page 73 / 304
» Rapid Embedded Hardware Software System Generation
Sort
View
DAC
1999
ACM
16 years 4 months ago
Synthesis of Embedded Software Using Free-Choice Petri Nets
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
Marco Sgroi, Luciano Lavagno
145
Voted
ICESS
2004
Springer
15 years 8 months ago
A New Approach for Predictable Hard Real-Time Transaction Processing in Embedded Database
Real-time transaction processing becomes concerns as embedded time coming rapidly. However, the transaction process in real-time embedded system still has some problems in resource...
Tianzhou Chen, Yi Lian, Jiangwei Huang
ISORC
2006
IEEE
15 years 9 months ago
Interaction-Based Behavior Modeling of Embedded Software using UML 2.0
Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of...
Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae
159
Voted
SAC
2008
ACM
15 years 2 months ago
Towards a model-driven engineering approach for developing embedded hard real-time software
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro
123
Voted
DSD
2007
IEEE
151views Hardware» more  DSD 2007»
15 years 7 months ago
P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications
We present a component-based framework and its supporting simulation tool for joint software-hardware modelling and performance analysis of multiprocessor embedded systems. This j...
Ismail Assayad, Sergio Yovine