Example 1: After major surgery, a patient is allowed to operate an infusion pump with potentially lethal pain killers (patient controlled analgesia (PCA)). When pain is severe, the patient can push a button to get more painrelieving medication, e.g., morphine sulfate. This is an example of a safety critical device operated by an impossible to verify component, the patient. Nevertheless, the PCA...

In the last few years Component Based Development (CBD) and Aspect Oriented Programming (AOP) are gaining more and more relevance. Whilst CBD has been shown as a good mean to reuse designs and to build complex systems by the plug-and-play mechanisms, AOP makes code more reusable and complex systems more comprehensible. However, little efforts have been made to integrate both paradigms and conse...

A critical challenge faced by the developer of a software system is to understand whether the system’s components correctly integrate. While type theory has provided substantial help in detecting and preventing errors in mismatched static properties, much work remains in the area of dynamics. In particular, components make assumptions about their behavioral interaction with other components, bu...

The inability to express architectural concepts and constraints explicitly in implementation code invites the problem of architectural drift and corrosion. We propose runtime checks as a solution to mitigate this problem. The key idea of our approach is to express architectural constraints or properties in an assertion language and use the runtime assertion checker of the assertion language to ...

This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From the behavioural specification of primitive components, and from the architectural description of the composite components, our tools build models encoding the interactions between the components, suitable for analysis ...

 The main objective of this paper is to assess the effects of architectural components on residential complex to achieve a desirable rate of privacy for the residents. Privacy is a process in which the transactions among individuals can be adjus‌ted by means of providing a suitable relationship between people and their built environment. In addition, since the transaction between the behavior o...

Conventional doctrine holds that specifications are sufficient, complete, static, and homogeneous. For systemlevel specifications, especially for software architectures, conventional doctrine often fails to hold. This can happen when properties other than functionality are critical, when not all properties of interest can be identified in advance, or when the specifications are expensive to cre...

We test a method that was designed and used previously to reveal the hidden internal architectural structure of software systems. The focus of this paper is to test if it can also uncover new facts about the components and their relationships in an enterprise architecture, i.e., if the method can reveal the hidden external structure between architectural components. Our test uses data from a bi...