Sciweavers

2141 search results - page 71 / 429
» Embedded Software
Sort
View
SOQUA
2004
14 years 3 days ago
Scenario-based Component Testing Using Embedded Metadata
We present an approach for the use case and scenario-based testing of software components. Use cases and scenarios are applied to describe the functional requirements of a software...
Mark Strembeck, Uwe Zdun
EMSOFT
2001
Springer
14 years 3 months ago
Giotto: A Time-Triggered Language for Embedded Programming
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
COMPSAC
2004
IEEE
14 years 2 months ago
Robustness Study of an Embedded Operating System for Industrial Applications
Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour in spite of the appearance of errors. ...
Juan Pardo, José Carlos Campelo, Juan Jos&e...
SEUS
2005
IEEE
14 years 4 months ago
SLAP: A Location-Aware Software Infrastructure for Smart Space
In this paper, aiming at the deficiencies of Open Agent Architecture (OAA) on accommodating the location-aware computing, we propose an improved software infrastructure for Smart ...
Hongliang Gu, Yuanchun Shi, Guangyou Xu, Weisheng ...
DATE
2003
IEEE
186views Hardware» more  DATE 2003»
14 years 4 months ago
Formal Methods for Integration of Automotive Software
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-C...