447 search results - page 47 / 90 » Embedded Software Analysis with MOTOR |
121
Voted
TASE
2007
IEEE
15 years 8 months ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
104
Voted
RTAS
2010
IEEE
15 years 29 days ago
2010
IEEE
—Application of runtime monitoring to maintain the health of an embedded real-time software system requires that anomalous behavior be detected within a bounded time while preser...
115
Voted
ECSA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We propose a pattern-based software development method comprising analysis (using problem frames) and design (using architectural and design patterns), of which especiall...
151
Voted
SNPD
2008
15 years 4 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
106
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...