Sciweavers

4799 search results - page 262 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
EMSOFT
2007
Springer
16 years 23 days ago
Performance estimation of distributed real-time embedded systems by discrete event simulations
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
Gabor Madl, Nikil Dutt, Sherif Abdelwahed
IASTEDSE
2004
15 years 8 months ago
Experience of communications software evolution and performance improvement with patterns
: Software evolves as requirements or technologies change. Tremendous efforts are often needed to support software evolution as evolution may involve reverse engineering and subseq...
Chung-Horng Lung, Qiang Zhao, Hui Xu, Heine Mar, P...
AEI
2000
127views more  AEI 2000»
15 years 6 months ago
CAIRO: a concurrent engineering meeting environment for virtual design teams
This paper presents the software architecture for a next generation concurrent engineering environment that helps geographically separated designers and engineers to collaborate e...
Feniosky Peña-Mora, Karim Hussein, Sanjeev ...
DATE
2006
IEEE
91views Hardware» more  DATE 2006»
16 years 20 days ago
Virtual prototyping of embedded platforms for wireless and multimedia
Most of the challenges related to the development of multi-processor platforms for complex wireless and multimedia applications fall into the Electronic System Level (ESL) domain....
Tim Kogel, Matthew Braun
FATES
2006
Springer
15 years 10 months ago
A Symbolic Framework for Model-Based Testing
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse