1098 search results - page 3 / 220 » System safety as an emergent property in composite systems |
SAFECOMP
1998
Springer
13 years 9 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
ESEC
1997
Springer
13 years 9 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
TGC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
ICSR
2011
Springer
12 years 8 months ago
2011
Springer
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
CONCUR
2009
Springer
13 years 12 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...