Search

The human immune system is studied at different scales (molecular, cellular, tissue, organism, population) with varied granularity and spatiotemporal dimensions. Innate and adaptive immune responses to viral infections are researched in vitro, in vivo, and in silico using mathematical and computational methods. The construction of computational models is an iterative and interactive process which combines existing knowledge and hypotheses (knowledge-driven approach) with empirical datasets (data-driven approach). The resulting models should ideally provide reusability, composability, and interoperability to support system simulation. The main premises of this paper are (1) computational models can be used not only for representation of existing knowledge, but also as experimental tools to demonstrate, exemplify, create, and serve as test-beds for the analysis of empirical data;and (2) computational models should be evaluated in terms of their usability (defined as a measure of how well a specified group of users can achieve predefined goals effectively, efficiently, and satisfactorily in a specified context of use). The usability measure is specified by the context information: user characteristics, their goals, and additional constraints (e.g., data availability, temporal limitations). This paper focuses on the modelling process performed by multidisciplinary teams and the usability of models for the exploration of immune response to viral infections. (c) 2021 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY-NC-ND license (https://creativecommons.org/licenses/by-nc-nd/4.0) Peer-review under responsibility of the scientific committee of the Complex Adaptive Systems Conference, June 2021.

The article of record as published may be found at https://doi.org/10.1016/j.procs.2017.09.005 Unmanned aerial vehicle (UAV) swarm design and mission application is a burgeoning area of research. The applications of swarm technology to unmanned systems are in the infancy of realization, although clear benefits from the enhanced capabilities can be easily envisioned for commercial and government missions including persistent search, long-term monitoring, sensor data collection, object retrieval, and offensive attack missions. Designing a UAV swarm architecture without considering the mission doctrine is imprudent, as is developing a mission doctrine without understanding the unique capabilities of swarm technology. This paper provides a literature review of current UAV swarm design architectures, most of which employ bottom-up methods with little consideration for an intended operational mission. The proposed top-down framework and modeling approach is focused on developing a modular UAV swarm playbook-type architecture by decomposing a subset of US Navy missions, and developing tactics that can be applied to those missions and support future missions. The framework proposed herein is derived from a consolidation of heuristics from the model-based systems engineering, robotics, human systems integration, biology, and computer science disciplines. The goal of this framework is to provide a standard methodology for designing and operating swarm unmanned systems that will meet the performance requirements for military missions. In this paper, an integrated framework for designing a UAV swarm system with swarm mission doctrine as a primary design factor is presented.

We present a first evaluation of a Programming Model for real-time streaming applications on high performance embedded multi- and many-core systems. Realistic streaming applications are highly dependent on the execution context (usually of physical world), past learned strategies, and often real-time constraints. The proposed Programming Model encompasses both real- time requirements, determinism of execution and context dependency. It is an extension of the well-known Cyclo-Static Dataflow (CSDF), for its desirable properties (determinism and composability), with two new important data-flow filters: Select-duplicate, and Transaction which retain the main properties of CSDF graphs and also provide useful features to implement real-time computational embedded applications. We evaluate the relevance of our programming model thanks to several real-life case-studies and demonstrate that our approach overcomes a range of limitations that use to be associated with CSDF models.

Viewpoint modeling is an effective approach for analyzing and designing complex systems. Splitting various elements and corresponding constraints into different perspectives of interests, enables separation of concerns such as domains of expertise, levels of abstraction, and stages in lifecycle. Specifically, in Systems Engineering different viewpoints could include functional requirements, physical architecture, safety, geometry, timing, scenarios, etc. Despite partial interdependences, the models are usually developed independently by different parties, using different tools and languages. However, the essence of Systems Engineering requires repetitive integration of many viewpoints in order to find feasible designs and to make good architectural decisions, e.g., in each mapping between consecutive levels of abstraction and in each design space exploration. This integration into one consistent model becomes a significant challenge from both modeling and information management perspectives. In this paper we suggest (1) a unique modular algebraic viewpoint representation robust to design evolution and suitable for generation of the integrated optimization/analysis models, and (2) an underlying ontology-based approach for consistent integration of local viewpoint concepts into the unified design space model. We show an example of an optimization model with different combinations of partially interdependent Analysis Viewpoints. Using the proposed modeling and information management approaches the underlying viewpoint's equations can be applied without modification, making the approach pluggable.