Software Architecture

The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mechanisms for requirements and software verification are by now a well-accepted part of the design process, and model driven architectures support the automation of the refinement process. We claim that we can further push the envelope towards the automatic exploration and selection among design alternatives and show that this is concretely possible for Secure Tropos, a requirements engineering methodology that addresses security and trust concerns. In Secure Tropos, a design consists of a network of actors (agents, positions or roles) with delegation/permission dependencies among them. Accordingly, the generation of design alternatives can be accomplished by a planner which is given as input a set of actors and goals and generates alternative multiagent plans to fulfill all given goals. We validate our claim with a case study using a state-of-the-art planner.

DLP is a data security technology that detects and prevents data breach incidents  by monitoring data in-use, in-motion and at-rest.  It has been widely applied for regulatory compliances, data privacy  and intellectual property protection. This talk will introduce basic concepts and security models to describe DLP systems with high level architecture.  DLP is an interesting discipline with content inspection techniques supported by sophisticated algorithms.  Special investigation will be taken for  a few algorithms:  document fingerprinting,  data record fingerprinting, scalable M-pattern string match and etc..

This thesis aims at developing software-intensive systems
architecture for the Healthcare Industry to meet information
assurance, legislative security and privacy standards by proposing
an architecture and framework - “SARCHIA” using data mining
and statistical techniques. “SARCHIA” can help the software
industry guard against unauthorized access to Health Information.
SARCHIA will help companies to track compliance in the
healthcare industry by leveraging SARCHIA framework and
architecture. The framework will be evaluated through a case
study from the healthcare industry. SARCHIA will do the
auditing, impact analysis of Key Compliance Attributes (KCA) on
Key Quality Attributes (KQA), and will regulate financial and
health information, and identify related risks.

Talk about everything interior designers need to know every day:

Project mangement tools
Sequencing spaces
Design software
Digital presentation
Sustainability guidelines
standard dimensions tabels
Codes and accessibility
Contrast and color rules
paint types
Wall coverings
Flooring Types and specs
Natural and artificial light
Invisible systems
Drawing Basics

This paper describes a tool for managing architectural knowledge and rationale. The tool has been developed to support a framework for capturing and using architectural knowledge to improve the architecture process. This paper describes the main architectural components and features of the tool. The paper also provides examples of using the tool for supporting wellknown architecture design and analysis methods.

Electronic Commerce is one of the most significant fields in internet appli- cations. With the focus moving from B2C-commerce to B2B-commerce, in- tegrating internet and legacy systems within one company and getting technologies used in different companies to work together is a pretentious task. After discussing the current research in software architecture, includ- ing suitable notations for describing them, the

In deze handleiding wordt gespecificeerd hoe de aanpak van pesten en andere vormen van agressief gedrag in scholen kan worden gesteund via passende Informatie- en Communicatie Technologie. De inbreng en mede-verantwoordelijkheid van leerlingen speelt een zeer essentiele rol in de pedagogiek die hier wordt voorgestaan. De eigen meetbare, positieve resultaten kunnen door de leerlingen steeds worden verbeterd.

This paper provides a complete framework for thread migration using JPDA. In our framework neither we lose portability nor do we insert any artificial code. The system developed based on our framework needs no extra involvement of programming to continue the whole migration system. It is a powerful autonomous system for heterogeneous environment maintaining its portability since Java Virtual Machine (JVM) is not modified.

A substantial number of enterprises and independent software vendors are adopting a strategy in which software-intensive systems are developed with an open architecture (OA) that may contain open source software (OSS) components or components with open APIs. The emerging challenge is to realize the benefits of openness when components are subject to different copyright or property licenses. In this position paper, we identify key properties of OSS licenses, present a license analysis scheme, and discuss our approach for automatically analyzing license interactions.

Ultra large scale (ULS) systems are future software intensive systems that have billions of lines of code, composed of heterogeneous, changing, inconsistent and independent elements that are dispersed through worldwide global networks. Huge scale of this heterology in addition to distinctive characteristics like decentralization of operation, management, deployment and evolution, continuous evolving, people participation in system operation and normal failures that dominate in ULS systems face them to new challenges that today software architectures and developers have less or no concerns about them. To face these challenges there must be an appropriate infrastructure with enough or at least extendable features and capabilities to support ULS distinctive characteristics. In this paper we propose computational grid as an appropriate infrastructure for ULS systems that not only supports some of ULS characteristics itself, but also can exploit service oriented architecture, fault tolerant approaches, distributed management algorithms and many other mechanisms in order to extend its fundamental capabilities to adapt itself with ULS systems. We explain what kind of grid is appropriate for ULS and expound how it provides solutions for each of the ULS particular characteristics.

Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the interaction with its environments, architectures that describe the dynamic aspects are also needed. Although such architectural view is significantly important in embedded software development, the existing approaches do not practically guide the architectural design based on the dynamic aspects. In this paper, we propose an operational architecture to represent the dynamic aspects of an embedded software. Also we explain how to use our operational architecture in the process of embedded software modeling. Our operational architecture effectively reflects interactionbased dynamic behavior of the system, and gives traceability between requirements and design model.

E2 is a plugin-based, service-oriented middleware architecture. E2 extends the popular Eclipse platform's idea of building a software system entirely and dynamically from XML-interfaced plugins, adds the feature to remove and replace plugins on the fly, administers the plugin connection process, and provides a message transport plugin for distributed inter-E2 system communication. E2 introduces a generic user interface plugin that separates user interfaces and application functionality. With these extensions, E2 extends the plugin concept, with its success on the desktop, to the broader areas of distributed middleware and multi-agent systems. E2 retains compatibility with Eclipse so that it can reuse Eclipse plugins but also, via an extensible interpreter capability, adds compatibility with Web Services and WSDL. This paper describes the E2 platform, implemented in Java, being used to develop the Everything is Alive agent system.

This paper summarizes the workshop on Architecture-Based Testing and System Validation which was organized in conjunction with the 9th Working IEEE/IFIP Conference on Software Architecture. The main goal of the workshop was to bring together researchers and practitioners both from the architecture design and software testing community to enable architecture-based software testing.

Service-oriented architecture (SOA) is a popular design paradigm for distributed systems today but the high adaptivity and complexity of SOA implementations may also introduce additional sources of faults. We first describe typical steps in SOA to understand possible faults. Then, we provide a corresponding fault taxonomy according to the process of service invocation. Finally, we present possible benefits of our taxonomy for dependability enhancement in SOA-based systems.

Software architecture is a technique which aids the development of complex and dynamic systems. Architecture Description Languages (ADLs) describe software architectures using a textual syntax or a graphical notation. However, not many ADLs have provided ...

In this paper, a set of 11 embedded machine contro l system pat- terns are presented. These patterns were identified during architectural as- sessments carried out at several sites of Finnish m achine industry. The pattern set is categorized according to three major characteristics of such software: distribution, real-time, and fault tolera nce. The pattern set does not yet constitute

Mobile computing empowers its users to exploit portable computation and context-aware communication, however; a mobile device lacks energy and performance to execute computation and memory intensive tasks. On the contrary, cloud computing exploits the 'pay-per-use' software and hardware services to provide virtually unlimited processing and storage resources. The unification of mobile and cloud computing as Mobile Cloud Computing (MCC) enables mobility and context awareness with computation and storage services to provide systems that are portable, yet resource sufficient. In an architectural context for MCC systems that require context-awareness, mobility and scalability, etc., there is a need to capitalise on reusable solutions – utilising patterns and best practices – to architect and develop mobile cloud software. This research aims to build and exploit a catalogue of patterns that support reusable design knowledge for architecture-based development of the MCC systems. We have discovered some patterns as generic and reusable solutions and demonstrate their usage in the context of mobile cloud systems. The proposed research aims to establish the catalogue as patterns repository – facilitating a continuous discovery and documentation of new patterns overtime that support reusable knowledge and practices to develop MCC systems.

A single-chip video codec with embedded display controller for videotelephony applications is described. It encodes and decodes simultaneously up to 30 CIF pictures per second according to video-conferencing recommendations H261, H263 (all five options), and H263+ (six additional options). The die area is 132 mm 2 in a 0.35-m technology, and the power consumption is 1.4 W. The chip uses a distributed dedicated multiprocessor architecture, where computation-intensive functions are done by dedicated hardware, and where picture quality or standard dependent parts are done in software on dedicated programmable processors. Main architectural choices are discussed, and emphasis is put on hardware/software partitioning and codesign.

This paper describes a phased incremental integration approach for application of image analysis and data fusion technologies to provide automated intelligent target tracking and identification for airborne surveillance on board an Aurora Maritime Patrol Aircraft. The sensor suite of the Aurora consists of a radar, an identification friend or foe (IFF) system, an electronic support measures (ESM) system, a spotlight

Cooperative mobile robots have recently been gaining importance within the field of robotics. It's been proven that collaborative robots can do tasks in a faster and more reliable manner than a single robot can. Additionally, recent advances in distributed coordination algorithms have dramatically improved the feasibility and suitability of cooperative approaches. This has lead researchers to develop Inter-robot communication frameworks. While several frameworks have been introduced, one of the most common is the Service-Oriented Architecture (SOA). However, the suitability of SOA for collaborative robotic communication has not been fully evaluated. In this paper we evaluate the SOA from an overhead perspective against non service-based architectures in a wireless environment. Our evaluation is based on performance suitability, which is determined by measuring throughput and delay for different numbers of mobile robots sharing real time data.

The increasing demand of World Wide Web raises the need of predicting the user's web page request. The most widely used approach to predict the web pages is the pattern discovery process of Web usage mining. This process involves inevitability of many techniques like Markov model, association rules and clustering. Fuzzy theory with different techniques has been introduced for the better results. Our focus is on Markov models. This paper is introducing the vague Rules with Markov models for more accuracy using the vague set theory.

Turning large volumes of data into actionable knowledge is a top challenge in high performance computing. Our previous work in this area demonstrated algorithmic techniques for massively parallel graph analysis on multithreaded systems. This work led to the development of GraphCT, the first endto-end graph analytics platform for the Cray XMT and x86class systems with OpenMP, and STINGER, a high performance, multithreaded, dynamic graph data structure and algorithms. Both of these packages are freely available as open source software. This dissertation research culminates in experimental and analytical techniques to study the marriage of disk-based systems, such as Hadoop, with shared memory-based systems, such as the Cray XMT, for data-intensive applications. David Ediger is a fifth year PhD candidate in Electrical and Computer Engineering.

Software architectures are becoming centric to the development of quality software systems, being the first concrete model of the software system and the base to guide the implementation of software systems. When architecting dependable systems, in addition to improving system dependability by means of construction (fault-tolerant and redundant mechanisms, for instance), it is also important to evaluate, and thereby confirm, system dependability. There are many different approaches for evaluating system dependability, and testing has been always an important one, being fault removal one of the means to achieve dependable systems. Previous work on software architecture-based testing has shown it is possible to apply conformance testing techniques to yield some confidence on the implemented system conformance to expected, architecture-level, behaviors. This work explores how regression testing can be systematically applied at the software architecture level in order to reduce the cost of retesting modified systems, and also to assess the regression testability of the evolved system. We consider assessing both ''low-level'' and ''high-level'' evolution, i.e., whether a slightly modified implementation conforms to the initial architecture, and whether the implementation continues to conform to an evolved architecture. A better understanding on how regression testing can be applied at the software architecture level will help us to assess and identify architecture with higher dependability.

Scientific workflows have recently emerged as a new paradigm for scientists to formalize and structure complex and distributed scientific processes to enable and accelerate many scientific discoveries. In contrast to business workflows, which are typically control flow oriented, scientific workflows tend to be dataflow oriented, introducing a new set of requirements for system development. These requirements demand a new architectural design for scientific workflow management systems (SWFMSs). Although several ...

We propose a log-based analysis tool for evaluating web application computer system. A feature of the tool is an integration software log with infrastructure log. Software engineers alone can resolve system faults in the tool, even if the faults are complicated by both software problems and infrastructure problems. The tool consists of 5 steps: preparation software, preparation infrastructure, collecting logs, replaying the log data, and tracing the log data. The tool was applied to a simple web application system in a small-scale local area network. We confirmed usefulness of the tool when a software engineer detects faults of the system failures such as " 404 " and " no response " errors. In addition, the tool was partially applied to a real large-scale computer system with many web applications and large network environment. Using the replaying and the tracing in the tool, we found causes of a real authentication error. The causes were combined an infrastructure problem with a software problem. Even if the failure is caused by not only a software problem but also an infrastructure problem, we confirmed that software engineers alone could distinguish between a software problem and an infrastructure problem using the tool.

In Mobile communications age, the IT environment and IT technology update rapidly. The requirements change is the software project must face challenge. Able to overcome the impact of requirements change, software development risks can be effectively reduced. Agile software development uses the Iterative and Incremental Development (IID) process and focuses on the workable software and client communication. Agile software development is a very suitable development method for handling the requirements change in software development process. In agile development, user stories are the important documents for the client communication and criteria of acceptance test. However, the agile development doesn't pay attention to the formal requirements analysis and artifacts tracability to cause the potential risks of software change management. In this paper, analyzing and collecting the critical quality factors of user stories, and proposes the User Story Quality Measurement (USQM) model. Applied USQM model, the requirements quality of agile development can be enhanced and risks of requirement changes can be reduced.

Because of new economical challenges and recent trends regarding international trade and globalization, many companies from the Canadian forest products industry have reached the point where profit improvement cannot be reaped without the coordinated involvement of their entire organization. Such a new level of efficiency concerns their distributed facilities and offices spread around the world, as well as their customers. One consequence of this new reality is that forest products companies are now facing the need to reengineer their organizational processes and business practices with their partners. To do this they must adopt new technologies to support the coordination of their planning and control efforts in a customer-centered environment. This paper first proposes a generic software architecture for the development of an experimentation environment to design and test distributed advanced planning and scheduling systems. This architecture allows combining agent-based technology and operations researchbased tools in order to take advantage, on the one hand, of the ability of agent technology to integrate distributed decision problems, and, one the other hand, the ability of operations research to develop and exploit specific normative decision models. Next, this paper describes how this architecture has been configured into an advanced planning and scheduling tool for the lumber industry. Finally, we present how an application of this advanced planning tool is currently being validated and tested in a real manufacturing setting.

Modern embedded computing systems tend to be heterogeneous in the sense of being composed of subsystems with very different characteristics, which communicate and interact in a variety of ways-synchronous or asynchronous, buffered or unbuffered, etc. Obviously, when designing such systems, a modeling language needs to reflect this heterogeneity. Today's modeling environments usually offer a variant of what we call amorphous heterogeneity to address this problem. This paper argues that modeling systems in this manner leads to unexpected and hard-to-analyze interactions between the communication mechanisms and proposes a more structured approach to heterogeneity, called hierarchical heterogeneity, to solve this problem. It proposes a model structure and semantic framework that support this form of heterogeneity, and discusses the issues arising from heterogeneous component interaction and the desire for component reuse. It introduces the notion of domain polymorphism as a way to address these issues.

This paper describes the application of an organic programming language Gaea in programming complex and flexible multi-agent systems. We consider a soccer game as an example. Using organic programming, we can program soccer players in an extended version of a subsumption architecture, called a dynamic subsumption architecture, which is more flexible and efficient than the original one

The Product-Line Architecture (PLA) is the main artifact of a Software Product Line (SPL). Search-based approaches can provide automated discovery of near-optimal PLAs and make its design less dependent on human architects. To do this, it is necessary to adopt a suitable PLA representation to apply the search operators. In this sense, we review existing architecture representations proposed by related work, but all of them need to be extended to encompass specific characteristics of SPL. Then, the use of such representations for PLA is discussed and, based on the performed analysis, we introduce a novel direct PLA representation for search-based optimization. Some implementation aspects are discussed involving implementation details about the proposed PLA representation, constraints and impact on specific search operators. Ongoing work addresses the application of specific search operators for the proposed representation and the definition of a fitness function to be applied in a multi-objective search-based approach for the PLA design.

The tremendous advances in wireless networks, mobile computing, and sensor networks, along with the rapid growth of small, portable and powerful computing devices, offers more and more opportunities for pervasive computing and communications. This topic deals with cutting-edge research in various aspects related to the theory and practice of mobile computing or wireless and mobile networking. These aspects include architectures, algorithms, networks, protocols, modeling and performance issues, data management, ...

Context: Technical Debt (TD) is a metaphor that refers to short-term solutions in software development that may affect the cost to the software development life cycle. Objective: To explore and understand TDrelated to the software industry as well as an overview on the current state of TD research. Forty-three TD empirical studies were collected for classification and analyzation. Goals: Classify TD types, find the indicators used to detect TD, find the estimators used to quantify the TD, evaluate how researchers investigate TD. Method: By performing a systematic mapping study to identify and analyze the TD empirical studies which published between 2014 and 2017. Results: We present the most common indicators and evaluators to identify and evaluate the TD, and we gathered thirteen types of TD. We showed some ways to investigate the TD, and used tools in the selected studies. Conclusion: The outcome of our systematic mapping study can help researchers to identify interestand future in TD.

CT-guided percutaneous biopsy is a widely accepted practice in the medical field. Because efficient and safe CT-guided percutaneous interventions require accurate needle placement, there are limitations to the accuracy obtainable using free-hand techniques, particularly for small or deeply situated target areas. In addition, CT-directed percutaneous biopsy can be tedious and time consuming, since frequent re-imaging may be required. As a demonstration platform, we are developing a robotic biopsy testbed incorporating a mobile CT scanner, a small ''needle driver'' robot, and a localizer. This testbed will be used to compare robotically assisted biopsy to the current manual technique. The testbed will also allow us to investigate software architectures for integrating various hardware and software components. This testbed is the first step in developing the robotically assisted biopsy system of the future. In this paper, we present the overall concept and then provide details about the user interface and coordinate transformations.

This paper proposes a software architecture and a development process for engineering dependable and controllable self-organising (SO) systems. Our approach addresses dependability by exploiting metadata to support decision making and adaptation based on the dynamic enforcement of explicitly defined policies. Control is obtained by actively modifying metadata, policies or components. We show how this applies to two different systems: (1) a dynamically resilient Web service system; and (2) an industrial assembly system with self-adaptive and SO capabilities.

The recent trend of ubiquitous access to embedded physical devices over the Internet as well as increasing penetration of wireless protocols such as ZigBee has raised attention to smart homes. These systems consist of sensors, devices and smart appliances that can be monitored and controlled remotely by human users and cloud services. However, the lack of a de facto communication standard for smart homes creates a barrier against the interoperability of devices from different vendors. We address this challenge by proposing a holistic, extensible software architecture that seamlessly integrates heterogeneous protocol-and vendor-specific devices and services, while making these services securely available over the Internet. Our architecture is developed on top of the OSGi framework and incorporates a semantic model of a smart home system. As a result, we achieve semantic interoperability-the ability to integrate new applications and drivers into the deployed system during runtime. Furthermore, we integrate a new access control model for specific smart home scenarios. As a proof of our concept, we demonstrate the seamless semantic discovery of home devices at runtime by integrating several protocols including X10, Insteon, ZigBee and UPnP into a real test. Using smart phones and cloud services together with our home gateway implementation, we further demonstrate the ease of integration of new applications and drivers.

The Morpheus Analytics Cryptocurrency Dashboard Sydney Meetup on Tue, Mar 10, 2020 was run  by David Auton, Managing Director, Morpheus Analytics. Guest speakers were Niall Clerkin, founder of Employee First, Employee First Digital and Blockchanger, and Tim Lea, CEO of Fractonium

In the field of software architecture, there has been a paradigm shift from describing the outcome of architecting process mostly described by component and connector (know-what) to documenting architectural design decisions and their rationale (know-how) which leads to the production of an architecture. This paradigm shift results in emergence of various models and related tools for capturing, managing and sharing architectural design decisions and their rationale explicitly. This paper analyzes existing architectural design decisions models and provides a criteria-based comparison on tools that support these models. The major contribution of this paper is twofold: to show that all of these models have a consensus on capturing the essence of an architectural design decision; and to clarify the major difference among the tools and show what desired features are missing in these tools.

Measurements are very useful to gauge the actual performance of various architectures and their components. In this paper we investigate the performance of the LAMP(Linux, Apache, MySQL, PHP) architecture and MySQL and PHP components. We build a web-site using LAMP and measure the application level performance. We use "measurements as a means" to improve the performance of the website. We then investigate the performance of the application when ported to Windows with running IIS and Apache with MySQL and PHP.

The technologies, architectures, and methodologies traditionally used to develop distributed applications exhibit a variety of limitations and drawbacks when applied to large scale distributed settings (e.g., the Internet). In particular, they fail in providing the desired degree of configurability, scalability, and customizability. To address these issues, researchers are investigating a variety of innovative approaches. The most promising and intriguing ones are those based on the ability of moving code across the nodes of a network, exploiting the notion of mobile code. As an emerging research field, code mobility is generating a growing body of scientific literature and industrial developments. Nevertheless, the field is still characterized by the lack of a sound and comprehensive body of concepts and terms. As a consequence, it is rather difficult to understand, assess, and compare the existing approaches. In turn, this limits our ability to fully exploit them in practice, and to further promote the research work on mobile code. Indeed, a significant symptom of this situation is the lack of a commonly accepted and sound definition of the term "mobile code" itself.

The flexibility required of an agile manufacturing system must be achieved largely through computer software. The system's control software must be adaptable to new products and to new system components without becoming unreliable or difficult to maintain. This requires designing the software specifically to facilitate future changes. As part of the Agile Manufacturing Project at Case Western Reserve University, we have developed a software architecture for control of an agile manufacturing workcell, and we have demonstrated its flexibility with rapid changeover and introduction of new products. In this paper, we describe the requirements for agile manufacturing software and how our software architecture addresses them.

This paper describes the GOLD (generic obstacle and lane detection) system, a stereo vision-based hardware and software architecture developed to increment road safety of moving vehicles: it allows detection of both generic obstacles (without constraints on symmetry or shape) and the lane position in a structured environment (with painted lane markings). It has been implemented on the PAPRICA system and works at a rate of 10 Hz

An introductory course on Software Engineering remains one of the hardest
subjects to teach largely because of the wide range of topics the area encompasses.
I have believed for some time that we often tend to teach too many
concepts and topics in an introductory course resulting in shallow knowledge
and little insight on application of these concepts. And Software Engineering
is finally about application of concepts to efficiently engineer good software
solutions.