Sciweavers

2141 search results - page 4 / 429
» Embedded Software
Sort
View
105
Voted
DATE
2005
IEEE
172views Hardware» more  DATE 2005»
15 years 7 months ago
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development
Embedded software design for real time reactive system
Massimo Baleani, Alberto Ferrari, Leonardo Mangeru...
122
Voted
CSIE
2009
IEEE
15 years 2 months ago
On Test Script Technique Oriented Automation of Embedded Software Simulation Testing
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...
Yongfeng Yin, Bin Liu, Bentao Zheng
121
Voted
IWSAS
2000
Springer
15 years 5 months ago
Model-Integrated Embedded Systems
Abstract. Model-Integrated Computing is a proven technology for designing and implementing complex software systems. Making the designtime models available at run-time benefits the...
Ákos Lédeczi, Arpad Bakay, Miklos Ma...
DSD
2007
IEEE
217views Hardware» more  DSD 2007»
15 years 8 months ago
Component-Based Hardware/Software Co-Simulation
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...
Ping Hang Cheung, Kecheng Hao, Fei Xie
80
Voted
DATE
2003
IEEE
99views Hardware» more  DATE 2003»
15 years 7 months ago
Software Architectural Transformations: A New Approach to Low Energy Embedded Software
Tat Kee Tan, Anand Raghunathan, Niraj K. Jha