447 search results - page 11 / 90 » Embedded Software Analysis with MOTOR |
SERP
2007
13 years 10 months ago
2007
- Functional testing of software dedicated for hybrid embedded systems should start at the early development phase and requires analysis of discrete and continuous signals, where t...
SCAM
2008
IEEE
14 years 3 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
ECRTS
2005
IEEE
14 years 2 months ago
2005
IEEE
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
JUCS
2010
13 years 3 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
EMSOFT
2006
Springer
13 years 11 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...