Sciweavers

5252 search results - page 245 / 1051
» Requirements engineering: a roadmap
Sort
View
EMSOFT
2001
Springer
15 years 11 months ago
Bus Architectures for Safety-Critical Embedded Systems
Abstract. Embedded systems for safety-critical applications often integrate multiple “functions” and must generally be fault-tolerant. These requirements lead to a need for mec...
John M. Rushby
WOSP
2000
ACM
15 years 11 months ago
How system architectures impede interoperability
Interoperability problems arise when complex software systems are constructed by integrating distinct, and often heterogeneous, components. By performing interoperability analysis...
Leigh A. Davis, Jamie Payton, Rose F. Gamble
ICFEM
2000
Springer
15 years 10 months ago
Using Use Cases in Executable Z
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
Wolfgang Grieskamp, Markus Lepper
ECSA
2008
Springer
15 years 8 months ago
A Security Model for Internet-Based Digital Asset Management Systems
Abstract. Usage and exploitation of the Internet is a critical requirement for managing and distributing valuable digital assets. This requirement introduces a great number of thre...
Ioannis Chatzigiannakis, Vasiliki Liagkou, D. Salo...
EMSOFT
2010
Springer
15 years 4 months ago
Modeling buffers with data refresh semantics in automotive architectures
Automotive architectures consist of multiple electronic control units (ECUs) which run distributed control applications. Such ECUs are connected to sensors and actuators and commu...
Linh Thi Xuan Phan, Reinhard Schneider, Samarjit C...