98 search results - page 3 / 20 » Testing real-time embedded software using UPPAAL-TRON: an in... |
ENTCS
2006
13 years 9 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
OOIS
2001
Springer
14 years 2 months ago
2001
Springer
Identifying the objects that constitute a software system is a critical task for any object-oriented system development and several techniques have already been introduced to tack...
COMPSAC
2004
IEEE
14 years 1 months ago
2004
IEEE
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. ...
ECRTS
2005
IEEE
14 years 3 months ago
2005
IEEE
Embedded systems are usually an integral component of a larger system and are used to control and/or directly monitor this system by using special hardware devices. The complexity...
AGILEDC
2008
IEEE
13 years 11 months ago
2008
IEEE
Automated acceptance testing is a quite recent addition to testing in agile software development holding great promise of improving communication and collaboration. This paper sum...