447 search results - page 2 / 90 » Embedded Software Analysis with MOTOR |
CODES
1996
IEEE
13 years 9 months ago
1996
IEEE
ICSE
2009
IEEE-ACM
14 years 3 days ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
EMSOFT
2007
Springer
13 years 11 months ago
2007
Springer
CSMR
2011
IEEE
12 years 8 months ago
2011
IEEE
Abstract—PROGRESS is a project and strategic research centre at M¨alardalen University in Sweden that is funded for 2006– 2010 by the Swedish Foundation for Strategic Research...
DATE
2000
IEEE
13 years 9 months ago
2000
IEEE
This paper examines several techniques for static timing analysis. In detail, the first part of the paper analyzes the connection of prediction accuracy (worst case execution tim...