146 search results - page 9 / 30 » Modeling System Safety Requirements Using Input Output Const... |
TAP
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
ENTCS
2006
13 years 7 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...
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents a unique spectral modelling approach suitable for digital camera image processing. The proposed vector model combines both the magnitude and directional charac...