2276 search results - page 278 / 456 » Aspect-Oriented Requirements Engineering for Component-Based... |
130
click to vote
DISCEX
2003
IEEE
15 years 9 months ago
2003
IEEE
Huge challenges exist with systems and networks that must dependably satisfy stringent requirements for security, reliability, and other attributes of trustworthiness. Drawing on ...
136
click to vote
SERA
2007
Springer
15 years 10 months ago
2007
Springer
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
An advanced communication system, the FlexRay system, has been developed for future automotive applications. It consists of time-triggered clusters, such as drive-by-wire in cars,...
160
click to vote
HCI
2009
15 years 2 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
118
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...