Separation of concerns ≈ Separation of concerns
View article
Open-Unmix - A Reference Implementation for Music Source Separation Open
International audience
View article
Creative computing with Landlab: an open-source toolkit for building, coupling, and exploring two-dimensional numerical models of Earth-surface dynamics Open
The ability to model surface processes and to couple them to both subsurface and atmospheric regimes has proven invaluable to research in the Earth and planetary sciences. However, creating a new model typically demands a very large invest…
View article
Privtrans: Automatically Partitioning Programs for Privilege Separation Open
Privilege separation partitions a single program into two parts: a privileged program called the monitor and an unprivileged program called the slave. All trust and privileges are relegated to the monitor, which results in a smaller and mo…
View article
Principles of feature modeling Open
Feature models are arguably one of the most intuitive and successful notations for modeling the features of a variant-rich software system. Feature models help developers to keep an overall understanding of the system, and also support sco…
View article
Components, Scripts, and Glue: A conceptual framework for software composition Open
The last decade has shown that object-oriented technology alone is not enough to cope with the rapidly changing requirements of present-day applications. Typically, objectoriented methods do not lead to designs that make a clear separation…
View article
ALBANY: USING COMPONENT-BASED DESIGN TO DEVELOP A FLEXIBLE, GENERIC MULTIPHYSICS ANALYSIS CODE Open
Albany is a multiphysics code constructed by assembling a set of reusable, general components. It is an implicit, unstructured grid finite element code that hosts a set of advanced features that are readily combined within a single analysi…
View article
Distributed system development with ScalaLoci Open
Distributed applications are traditionally developed as separate modules, often in different languages, which react to events, like user input, and in turn produce new events for the other modules. Separation into components requires time-…
View article
Addressing modularity for heterogeneous multi-model systems using model federation Open
International audience
View article
FlexOS: towards flexible OS isolation Open
At design time, modern operating systems are locked in a specific safety and isolation strategy that mixes one or more hardware/software protection mechanisms (e.g. user/kernel separation); revisiting these choices after deployment require…
View article
On well-separation of GR(1) specifications Open
Specifications for reactive synthesis, an automated procedure to obtain a correct-by-construction reactive system, consist of assumptions and guarantees. One way a controller may satisfy the specification is by preventing the environment f…
View article
Semantic Integration of Plug-and-Play Software Components for Industrial Edges Based on Microservices Open
The industrial cyber-physical system enables collaboration between distributed nodes across industrial clouds and edge devices. Flexibility and interoperability could be enhanced significantly by introducing the service-oriented architectu…
View article
Using BPMN to model Internet of Things behavior within business process Open
Whereas, traditionally, business processes use the Internet of Things (IoTs) as a distributed source of information, the increase of computational capabilities of IoT devices provides them with the means to also execute parts of the busine…
View article
Monolith to Microservices: Representing Application Software through Heterogeneous Graph Neural Network Open
Monolithic software encapsulates all functional capabilities into a single deployable unit. But managing it becomes harder as the demand for new functionalities grow. Microservice architecture is seen as an alternative as it advocates buil…
View article
A language and framework for dynamic component ensembles in smart systems Open
Smart system applications (SSAs)—a heterogeneous landscape of applications of Internet of things, cyber-physical systems, and smart sensing systems—are composed of autonomous yet inherently cooperating components. An important problem in t…
View article
Igloo: soundly linking compositional refinement and separation logic for distributed system verification Open
Lighthouse projects like CompCert, seL4, IronFleet, and DeepSpec have demonstrated that full system verification is feasible by establishing a refinement between an abstract system specification and an executable implementation. Existing a…
View article
Context-Oriented Behavioral Programming Open
Modern systems require programmers to develop code that dynamically adapts to\ndifferent contexts, leading to the evolution of new context-oriented\nprogramming languages. These languages introduce new software-engineering\nchallenges, suc…
View article
Aspect Weaving Strategies Open
We propose a model to support aspect-oriented programming in object-oriented languages, expressing general purpose aspects. To apply this model, the developer should implement the abstraction and composition mechanisms as well as one or mo…
View article
Cloud based centralized task control for human domain multi-robot operations Open
With an increasing number of assistive robots operating in human domains, research efforts are being made to design control systems that optimize the efficiency of multi-robot operations. As part of the EU funded RoboEarth project, this pa…
View article
Novel Approaches Concerning the Numerical Modeling of Particle and Cell Separation in Microchannels: A Review Open
The demand for precise separation of particles, cells, and other biological matter has significantly increased in recent years, leading to heightened scientific interest in this topic. More recently, due to advances in computational techni…
View article
A New Era of Modeling MOF‐Based Membranes: Cooperation of Theory and Data Science Open
Membrane‐based separation can offer significant energy savings over conventional separation methods. Given their highly customizable and porous structures, metal–organic frameworks‐ (MOFs) are considered as next‐generation membrane materia…
View article
Towards a Self-Driving Management System for the Automated Realization of Intents Open
Network management faces the interrelated challenges of increasing network complexity, meeting sophisticated business requirements, and being subject to human oversight. Self-driving networks possess the key properties to overcome such cha…
View article
A compositional approach to creating architecture frameworks with an application to distributed AI systems Open
Artificial intelligence (AI) in its various forms finds more and more its way into complex distributed systems. For instance, it is used locally, as part of a sensor system, on the edge for low-latency high-performance inference, or in the…
View article
On distributed concern delivery in user interface design Open
Increasing demands on user interface (UI) usability, adaptability, and dynamic behavior drives ever-growing development and maintenance complexity. Traditional UI design techniques result in complex descriptions for data presentations with…
View article
Delaying decisions in variable concern hierarchies Open
International audience
View article
Applying Separation of Concern for Developing Softwares Using Aspect Oriented Programming Concepts Open
Aspects provide a means of separating cross-cutting concerns from our core implementation code into separate modules. Cross-cutting concerns are pieces of functionality that are used across multiple parts of a system. They cut across, as o…
View article
Compositional Non-interference for Concurrent Programs via Separation and Framing Open
Reasoning about information flow in a concurrent setting is notoriously difficult due in part to timing channels that may leak sensitive information. In this paper, we present a compositional and flexible type-and-effect system that guaran…
View article
A model-based infrastructure for the specification and runtime execution of self-adaptive IoT architectures Open
To meet increasingly restrictive requirements and improve quality of service (QoS), Internet of Things (IoT) systems have embraced multi-layered architectures leveraging edge and fog computing. However, the dynamic and changing IoT environ…
View article
A Microservice-Based Framework for Developing Internet of Things and People Applications Open
The Internet of things (IoT) is characterized by billions of heterogeneous, distributed, and intelligent objects—both from the digital and the physical worlds—running applications and services. Objects are connected through het…
View article
Loose Coupling: An Invisible Thread in the History of Technology Open
We present an interdisciplinary survey of the history of loosely coupled systems. We apply the presented concepts in communication networks and suggest hybrid self-organizing networks (SONs) as a universal model for future networks. Self-o…
View article
The ANTAREX tool flow for monitoring and autotuning energy efficient HPC systems Open
Designing and optimizing HPC applications are difficult and complex tasks, which require mastering specialized languages and tools for performance tuning. As this is incompatible with the current trend to open HPC infrastructures to a wide…