Searching for authors named "Christos Kloukinas" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
The Need to Revisit Architectural Connectors
- …Composing and analysing COTS-based critical systems depends on a great degree on the interaction patterns among the components and the strategies used by them to guarantee that the overall temporal, security and dependability requirements will be met. However, the element which naturally describes t…
- Add To MetaCart
-
Data-mining synthesised schedulers for hard realtime systems
- …The analysis of hard real-time systems, traditionally performed using RMA/PCP or simulation, is nowadays also studied as a scheduler synthesis problem, where one automatically constructs a scheduler which can guarantee avoidance of deadlock and deadline-miss system states. Even though this approach …
- Cited by 1 (0 self) – Add To MetaCart
-
A Pattern-Driven Framework for Monitoring Security and Dependability
- …Abstract. In this paper we describe a framework that supports the dynamic configuration, adaptation and monitoring of systems that need to guarantee specific security and dependability (S&D) properties whilst operating in distributed settings. The framework is based on patterns providing abstrac…
- Add To MetaCart
-
Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems
- …We present a new scheduler architecture, which permits adding QoS policies to the scheduling decisions. We also present a new scheduling synthesis method which allows a designer to obtain a safe scheduler for a particular application and at the same time helps him in analysing the task interactions …
- Cited by 21 (6 self) – Add To MetaCart
-
Automating the composition of middleware configurations
- …A method is presented for the automatic construction of all possible valid compositions of different middleware software architectures. This allows reusing the latter in order to create systems providing a set of different non-functional properties. These compositions are constructed by using only t…
- Cited by 7 (2 self) – Add To MetaCart
-
SPIN-ning Software Architectures: A Method for Exploring Complex Systems
- …When designing complex systems that provide multiple non-functional properties, it is usual to try to reuse (and finally compose) simpler existing designs, which deal with each of these properties in solitude. This paper describes a method for automatically and quickly identifying all the different …
- Cited by 3 (1 self) – Add To MetaCart
-
Towards Security Monitoring Patterns
- …Runtime monitoring is performed during system execution to detect whether the system’s behaviour deviates from that described by requirements. To support this activity we have developed a monitoring framework that expresses the requirements to be monitored in event calculus – a formal temporal first…
- Add To MetaCart
-
Fault Tolerant Access to Dynamically Located Services for CORBA Applications
- …This paper presents an effort that melds two facilities for localizing service providers and for tolerating failures into an assistance, which provides fault tolerant access to dynamically located services for objectbased applications. 1 Introduction The CORBA standard 1 eases the development of…
- Add To MetaCart
-
A methodology and tool support for generating scheduled native code for real-time java applications
- …Java applications ⋆…
- Cited by 13 (6 self) – Add To MetaCart
-
Quality Analysis of Dependable Systems: A Developer Oriented Approach
- … The quality of dependable systems (DS) is characterized by a number of non-functional properties (e.g., performance, reliability, availability, etc.). Assessing the DS quality against these properties imposes the application of quality analysis and evaluation. Quality analysis consists of checking…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
